ID: 478.0 Parent: 477.0 Tree
Covered by:
486.0
x17^2*x16*x12-1
PDER
VAR\IND x12 x17 x16
x12 1 0 0
x16 0 0 1
x17 0 1 0
FOCUS
x12^20*x17^12*x16^14-x17^10*x16^13*x12^19
x12^4*x17^3*x16^3
x17*x16*x12
x12^3*x17^2*x16^2
x16^3*x12^5*x17^2
x17*x16^2*x12^4
x12^3*x16
x16*x12^2
x17*x16
x16*x12
x16
DEPempty
MAP
x1 x12^10*x17^6*x16^7
x2 x17^4*x16^5*x12^7
x3 x17^3*x16^4*x12^6
IMAP
x12 x1/x2^3*x3^2
x16 1/x1^3*x2^6/x3^2
x17 1/x2^2/x3*x1^2
STACK
WBO (dim: 3)
J
x17^2*x16*x12-1 1
c 1
Nempty
(E,a)
Ea
x17 4
x12 7
x16 5
C empty
TBO (dim: 3)
J
x17^2*x16*x12-1 1
Nempty
E
x17
x12
x16
EMempty
C empty
SBO (dim: 3)
J
x17^2*x16*x12-1 1
Nempty
Hempty
E
x17
x12
x16
C empty
Covered by:
486.0
x17^2*x16*x12-1
ID: 478.0 Parent: 477.0 Tree