ID: 625.0 Parent: 623.0 Tree
Exchanged to:
627.0
3<->x24^2*x21-1
PDER
VAR\IND x18 x2 x21 x24
x2 0 1 0 0
x18 1 0 0 0
x21 0 0 1 0
x24 0 0 0 1
x25 0 0 0 -2*x24*x25^2
FOCUS
x18^66*x24^28*x21^59*x2^6-x18^66*x24^30*x21^60*x2^6
x18^9*x24^4*x21^8
x21^7*x18^8*x24^3
x18^7*x24^3*x21^6
x21^5*x18^6*x24^2
x18^5*x24^2*x21^4
x21^3*x18^4*x24
x18^3*x24*x21^2
x21*x18^2
x18
x21*x18
x21
x24*x21
DEP
x24^2*x25-1
MAP
x1 x18^9*x24^4*x21^8*x2
x2 x2
x3 x21^17*x18^19*x24^8*x2
x4 x18^11*x24^5*x21^10*x2
IMAP
x2 x2
x18 x1^5/x2/x4^4
x21 x3/x1^7*x2^2*x4^4
x24 x1^3/x2^2*x4/x3^2
x25 1/x1^6*x2^4/x4^2*x3^4
STACK
WBO (dim: 4)
J
-x24^2*x21+1 1
c 1
Nempty
(E,a)
Ea
x2 5
x18 47
x21 41
C empty
TBO (dim: 4)
J
-x24^2*x21+1 1
Nempty
E
x2
x18
x21
EM
x2
x18
C empty
SBO (dim: 4)
J
-x24^2*x21+1 1
Nempty
Hempty
E
x21
C empty
Exchanged to:
627.0
3<->x24^2*x21-1
ID: 625.0 Parent: 623.0 Tree