ID: 492.0 Parent: 484.0 Tree
Exchanged to:
494.0
1<->x17*x18^2-1
PDER
VAR\IND x17 x2 x16 x18
x2 0 1 0 0
x16 0 0 1 0
x17 1 0 0 0
x18 0 0 0 1
x19 0 0 0 -2*x18*x19^2
FOCUS
x17^17*x16^30*x18^10*x2^6-x18^12*x16^30*x17^18*x2^6
x17^2*x16^3*x18
x16^4*x17^2*x18
x17*x16
x16^3*x17*x18
x16^2*x17
x16
DEP
x19*x18^2-1
MAP
x1 x17^2*x16^3*x18*x2
x2 x2
x3 x16^9*x17^5*x18^3*x2
x4 x18^2*x16^5*x17^3*x2
IMAP
x2 x2
x16 x3/x4/x1*x2
x17 x1^3/x2^2/x3
x18 x4^3/x1^2/x3
x19 1/x4^6*x1^4*x3^2
STACK
WBO (dim: 4)
J
-x17*x18^2+1 1
c 1
Nempty
(E,a)
Ea
x2 5
x17 12
x16 21
C empty
TBO (dim: 4)
J
-x17*x18^2+1 1
Nempty
E
x2
x17
x16
EM
x2
x17
x16
C empty
SBO (dim: 4)
J
-x17*x18^2+1 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
494.0
1<->x17*x18^2-1
ID: 492.0 Parent: 484.0 Tree