ID: 11.0 Parent: 8.0 Tree
Exchanged to:
13.0
2<->x12^6*x11*x9^4-1
PDER
VAR\IND x1 x11 x9 x12
x1 1 0 0 0
x9 0 0 1 0
x11 0 1 0 0
x12 0 0 0 1
x13 0 0 -4*x12^6*x9^3*x13^2 -6*x12^5*x9^4*x13^2
FOCUS
x1^6*x11^5*x9^8-x12^6*x9^12*x11^6*x1^6
DEP
x13*x12^6*x9^4-1
MAP
x1 x1
x2 x11*x9*x1
x3 x9^2*x11*x1
x4 x12*x9^2*x11*x1
IMAP
x1 x1
x9 x3/x2
x11 x2^2/x1/x3
x12 x4/x3
x13 1/x4^6*x3^2*x2^4
STACK
WBO (dim: 4)
J
-x12^6*x11*x9^4+1 1
c 1
Nempty
(E,a)
Ea
x1 5
x11 4
C empty
TBO (dim: 4)
J
-x12^6*x11*x9^4+1 1
Nempty
E
x1
x11
EM
x1
x11
C empty
SBO (dim: 4)
J
-x12^6*x11*x9^4+1 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
13.0
2<->x12^6*x11*x9^4-1
ID: 11.0 Parent: 8.0 Tree