ID: 412.0 Parent: 409.0 Tree
Exchanged to:
415.0
2<->x13^3*x16-1
PDER
VAR\IND x13 x16 x8 x14
x8 0 0 1 0
x13 1 0 0 0
x14 0 0 0 1
x16 0 1 0 0
x17 -3*x13^2*x17^2 0 0 0
FOCUS
x16^5*x14^9*x13^9*x8^6-x13^12*x16^6*x14^9*x8^6
x8*x16*x14*x13^2
x8*x13*x16*x14
x8
x16*x14*x13^2
x16*x14*x13
x14
3*x13^2*x16
DEP
x17*x13^3-1
MAP
x1 x13^4*x16^2*x14^3*x8^2
x2 x16^2*x14^3*x13^3*x8^2
x3 x8^2*x14^2*x13^2*x16
x4 x14^2*x13^2*x16*x8
IMAP
x8 x3/x4
x13 x1/x2
x14 x4^2/x1
x16 x2^2/x4^2/x3
x17 1/x1^3*x2^3
STACK
WBO (dim: 4)
J
-x13^3*x16+1 1
c 1
Nempty
(E,a)
Ea
x8 4
x16 3
x14 5
C empty
TBO (dim: 4)
J
-x13^3*x16+1 1
Nempty
E
x8
x16
x14
EM
x8
x16
C empty
SBO (dim: 4)
J
-x13^3*x16+1 1
Nempty
Hempty
E
x14
C empty
Exchanged to:
415.0
2<->x13^3*x16-1
ID: 412.0 Parent: 409.0 Tree