ID: 729.0 Parent: 728.0 Tree
Covered by:
736.0 737.0
x17^3*x12^2 x17^3*x12^2*x16-1
PDER
VAR\IND x17 x16 x3 x12
x3 0 0 1 0
x12 0 0 0 1
x16 0 1 0 0
x17 1 0 0 0
FOCUS
x17^9*x16^11*x3^6*x12^4-x12^6*x17^12*x16^12*x3^6
x17*x16
x16^5*x12^2*x17^4
x17^2*x16^3*x12^2
x17^2*x16^3*x12
x16^2*x12*x17
x16*x12
x16
DEPempty
MAP
x1 x17*x16*x3
x2 x16^5*x12^2*x17^4*x3
x3 x3
x4 x12*x17^2*x16^2*x3
IMAP
x3 x3
x12 x4/x1^2*x3
x16 x3/x4^2*x2
x17 x1/x3^2*x4^2/x2
STACK
WBO (dim: 4)
J
-x17^3*x12^2*x16+1 1
c 1
Nempty
(E,a)
Ea
x3 5
x17 5
x12 2
x16 6
C empty
TBO (dim: 4)
J
-x17^3*x12^2*x16+1 1
Nempty
E
x3
x17
x12
x16
EM
x3
x17
x12
x16
C empty
SBO (dim: 4)
J
-x17^3*x12^2*x16+1 1
Nempty
Hempty
Eempty
C empty
Covered by:
736.0 737.0
x17^3*x12^2 x17^3*x12^2*x16-1
ID: 729.0 Parent: 728.0 Tree