ID: 457.0 Parent: 456.0 Tree
Covered by:
464.0
x14*x17^2*x16-1
PDER
VAR\IND x14 x17 x16
x14 1 0 0
x16 0 0 1
x17 0 1 0
FOCUS
x14^4*x17^18*x16^20-x17^16*x16^19*x14^3
x14*x17^4*x16^4
x17*x16
x14*x17^3*x16^3
x14*x16^5*x17^4
x14*x16^4*x17^3
x14*x16^3*x17^2
x14*x16^2*x17
x16^2*x17
x16
DEPempty
MAP
x1 x14^2*x17^9*x16^10
x2 x17^6*x16^7*x14
x3 x14*x16^6*x17^5
IMAP
x14 x1/x2^4*x3^3
x16 x3^3/x1/x2
x17 x2^2/x3^4*x1
STACK
WBO (dim: 3)
J
x14*x17^2*x16-1 1
c 1
Nempty
(E,a)
Ea
x14 1
x17 6
x16 7
C empty
TBO (dim: 3)
J
x14*x17^2*x16-1 1
Nempty
E
x14
x17
x16
EMempty
C empty
SBO (dim: 3)
J
x14*x17^2*x16-1 1
Nempty
Hempty
E
x14
x17
x16
C empty
Covered by:
464.0
x14*x17^2*x16-1
ID: 457.0 Parent: 456.0 Tree