ID: 30.0 Parent: 28.0 Tree
Covered by:
31.0
x13^3*x12-1
PDER
VAR\IND x13 x2 x7 x13^3*x12-1
x2 0 1 0 0
x7 0 0 1 0
x12 -3*x14*x12*x13^2 0 0 x14
x13 1 0 0 0
x14 -3*x13^2*x14^2 0 0 0
FOCUS
x2^6*x7^3*x12^2-x13^3*x12^3*x2^6*x7^3
x13*x12*x2*x7
x13*x12*x2
x13*x12
3*x12*x13^2
DEP
x14*x13^3-1
MAP
x1 x13*x12*x2^2*x7
x2 x2
x3 x7*x2
x4 x12*x2^2*x7
IMAP
x2 x2
x7 x3/x2
x12 x4/x3/x2
x13 x1/x4
x14 1/x1^3*x4^3
STACK
WBO (dim: 4)
J
-x13^3*x12+1 1
c 1
Nempty
(E,a)
Ea
x7 2
x2 4
x12 1
C empty
TBO (dim: 4)
J
-x13^3*x12+1 1
Nempty
E
x7
x2
x12
EM
x7
x2
x12
C empty
SBO (dim: 4)
J
-x13^3*x12+1 1
Nempty
Hempty
Eempty
C empty
Covered by:
31.0
x13^3*x12-1
ID: 30.0 Parent: 28.0 Tree