ID: 126.0 Parent: 105.0 Tree
Exchanged to:
127.0
1<->x17^2*x12-x16^2+x17
PDER
VAR\IND x17 x12 x3 x16
x3 0 0 1 0
x12 0 1 0 0
x15 -x15^2*x12 -x17*x15^2 0 0
x16 0 0 0 1
x17 1 0 0 0
x18 -2*x12*x18^2 -2*x18^2*x17 0 0
FOCUS
x17^5*x12^14*x3^4+x17^6*x12^15*x3^4-x3^4*x16^2*x12^14*x17^4
x17^2*x12^5
x12^3*x17
x16*x12^4*x17
x17*x12^2
x16*x12^2
x16*x12
x17*x12
x17*x12
x16*x12
x16
DEP
x15*(x17*x12+1)-1
x18*(2*x17*x12+1)-1
MAP
x1 x17^2*x12^5*x3
x2 x12^3*x17*x3
x3 x3
x4 x16*x12^7*x17^2*x3
IMAP
x3 x3
x12 x2^2/x3/x1
x15 x2^3/(x1^2*x3+x2^3)
x16 x4/x2^4*x3^2*x1
x17 x1^3/x2^5*x3^2
x18 x2^3/(2*x1^2*x3+x2^3)
STACK
WBO (dim: 4)
J
x17^2*x12-x16^2+x17 1
c 1
Nempty
(E,a)
Ea
x3 3
x17 2
x12 7
C empty
TBO (dim: 4)
J
x17^2*x12-x16^2+x17 1
Nempty
E
x3
x17
x12
EM
x3
x17
x12
C empty
SBO (dim: 4)
J
x17^2*x12-x16^2+x17 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
127.0
1<->x17^2*x12-x16^2+x17
ID: 126.0 Parent: 105.0 Tree