ID: 333.0 Parent: 309.0 Tree
Covered by:
343.0
x17^3*x16^2*x15^2-1
PDER
VAR\IND x17 x15 x16
x15 0 1 0
x16 0 0 1
x17 1 0 0
FOCUS
x17^20*x15^22*x16^16-x17^17*x15^20*x16^14
x17^5*x15^5*x16^4
x17^4*x15^4*x16^3
x17^4*x15^5*x16^3
x15^3*x16^2*x17^3
x16*x17^2*x15^3
x17*x15^2
x15
x16
DEPempty
MAP
x1 x17^10*x15^11*x16^8
x2 x16^4*x17^5*x15^6
x3 x16^5*x17^6*x15^7
IMAP
x15 x2^2/x1
x16 x3^5/x2^4/x1
x17 x1^2/x3^4*x2
STACK
WBO (dim: 3)
J
x17^3*x16^2*x15^2-1 1
c 1
Nempty
(E,a)
Ea
x16 6
x17 7
x15 8
C empty
TBO (dim: 3)
J
x17^3*x16^2*x15^2-1 1
Nempty
E
x16
x17
x15
EMempty
C empty
SBO (dim: 3)
J
x17^3*x16^2*x15^2-1 1
Nempty
Hempty
E
x16
x17
x15
C empty
Covered by:
343.0
x17^3*x16^2*x15^2-1
ID: 333.0 Parent: 309.0 Tree