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