Caprasse's system

caprasse [1]

ì
ï
í
ï
î
y2z+2 xyt-2 x-z
yzt+xt2-x-2 z
-x3z+4 xy2z+4 x2yt+2 y3t+4 x2-10 y2+4 xz-10 yt+2
-xz3+4 yz2t+4 xzt2+2 yt3+4 xz+4 z2-10 yt-10 t2+2
Also in the PoSSo Tests suite.

Characteristics:




Example 1:
[y**2*z+2*x*y*t-2*x-z,
-x**3*z+4*x*y**2*z+4*x**2*y*t+2*y**3*t+4*x**2-10*y**2+4*x*z-10*y*t+2,
2*y*z*t+x*t**2-x-2*z,
-x*z**3+4*y*z**2*t+4*x*z*t**2+2*y*t**3+4*x*z+4*z**2-10*y*t-10*t**2+2];

References

[1]
D. Bini and B. Mourrain. Polynomial test suite. 1996.