zeroRadical.example output with option(prot) enabled

zeroRadical.res

$  ../Singular/Singular  -teqr12345678 --no-rc
> option(prot);
STDIN   1> option(prot);
> LIB "assprimeszerodim.lib";
STDIN   2> LIB "assprimeszerodim.lib";
> ring R = 0, (x,y), dp;
STDIN   3> ring R = 0, (x,y), dp;
> ideal I = xy4-2xy2+x, x2-x, y4-2y2+1;
STDIN   4> ideal I = xy4-2xy2+x, x2-x, y4-2y2+1;
> zeroRadical(I);
STDIN   5> zeroRadical(I);
std in (ZZ/2147483647),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483629),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483587),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483563),(x,y),(dp(2),C)
std in (ZZ/2147483579),(x,y),(dp(2),C)
[65535:2[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483543),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483549),(x,y),(dp(2),C)
std in (ZZ/2147483489),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
[65535:2]2std in (ZZ/2147483423),(x,y),(dp(2),C)(2)
s4[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483477),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483497),(x,y),(dp(2),C)
[65535:2]std in (ZZ/2147483399),(x,y),(dp(2),C)
2(2)s[65535:24]s2(2)s4s5
(S:1)std in (ZZ/2147483249),(x,y),(dp(2),C)
5-
product criterion:1 chain criterion:0

(S:1)[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
-
product criterion:1 chain criterion:0
std in (ZZ/2147483269),(x,y),(dp(2),C)
std in (ZZ/2147483323),(x,y),(dp(2),C)
[65535:2]2[65535:2(2)s]24s(2)s54
(S:1)-
sproduct criterion:1 chain criterion:0
5std in (ZZ/2147483353),(x,y),(dp(2),C)

(S:1)-
product criterion:1 chain criterion:0
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483179),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483171),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483137),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483123),(x,y),(dp(2),C)
std in (ZZ/2147483237),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483077),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483069),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483059),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483053),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483033),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147483029),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147482951),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147482949),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147482943),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147482937),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147482921),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147482873),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147482877),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147482859),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
std in (ZZ/2147482867),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
(S:2)rr
r
r
r
std in (ZZ/1335380029),(x,y),(dp(2),C)
[65535:2]2(2)s4s5
(S:1)-
product criterion:1 chain criterion:0
r
r
r
r
r
0 pairs created
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
child: end of queue
64 children created
child: end of queue
ccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc