ID: 76.0 Parent: 74.0 Tree
Exchanged to:
78.0
2<->x13^4*x6^6*x11^2-x13*x6^3-1
PDER
VAR\IND x11 x13 x6
x6 0 0 1
x11 1 0 0
x13 0 1 0
x14 -8*x13^3*x6^6*x11*x14^2 -12*x13^2*x6^6*x11^2*x14^2
-(24*x13^3*x6^5*x11^2-3*x6
^2)*x14^2
FOCUS
x11^6*x6^18-x13^4*x11^8*x6^24+x11^6*x6^21*x13
x13*x11*x6^3
x11*x6^2
x13*x11*x6^2
x11*x6
x13*x11*x6
x11
x13*x11
2*x13^4*x6^6*x11
DEP
x14*(4*x13^3*x6^6*x11^2-x6^3)-1
MAP
x1 x11*x6^3
x2 x6^6*x11^2*x13
x3 x6^4*x11
IMAP
x6 x3/x1
x11 x1^4/x3^3
x13 x2/x1^2
x14 -x1^4/(-4*x2^3+x1*x3^3)
STACK
WBO (dim: 3)
J
-x13^4*x6^6*x11^2+x13*x6^3+1 1
c 1
Nempty
(E,a)
Ea
x11 4
C empty
TBO (dim: 3)
J
-x13^4*x6^6*x11^2+x13*x6^3+1 1
Nempty
E
x11
EM
x11
C empty
SBO (dim: 3)
J
-x13^4*x6^6*x11^2+x13*x6^3+1 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
78.0
2<->x13^4*x6^6*x11^2-x13*x6^3-1
ID: 76.0 Parent: 74.0 Tree