ID: 377.0 Parent: 375.0 Tree
Exchanged to:
379.0
1<->x17*x12^2-1
PDER
VAR\IND x12 x15 x17
x12 1 0 0
x15 0 1 0
x17 0 0 1
x18 -4*x17*x12*x18^2 0 -2*x12^2*x18^2
FOCUS
x12^30*x17^12*x15^14-x15^14*x12^28*x17^11
x12^7*x17^3*x15^3
x12^5*x17^2*x15^2
x15^3*x12^6*x17^2
x12^3*x17*x15
x12^2*x15
x15*x12
x17*x15*x12
x15
x17*x15
DEP
2*x18*x17*x12^2-1
MAP
x1 x12^15*x17^6*x15^7
x2 x17^3*x15^4*x12^8
x3 x17^4*x15^5*x12^10
IMAP
x12 x1/x3^3*x2^2
x15 1/x1^2*x3^3
x17 x3^4/x2^5
x18 1/2*x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
x17*x12^2-1 1
c 1
Nempty
(E,a)
Ea
x15 6
C empty
TBO (dim: 3)
J
x17*x12^2-1 1
Nempty
E
x15
EMempty
C empty
SBO (dim: 3)
J
x17*x12^2-1 1
Nempty
Hempty
E
x15
C empty
Exchanged to:
379.0
1<->x17*x12^2-1
ID: 377.0 Parent: 375.0 Tree