ID: 109.0 Parent: 104.0 Tree
Covered by:
113.0
x17^2*x16-1
PDER
VAR\IND x17 x16 x15
x15 0 0 1
x16 0 1 0
x17 1 0 0
FOCUS
x17^26*x16^30*x15^12-x16^29*x15^12*x17^24
x17^9*x16^10*x15^4
x17^5*x16^5*x15^2
x15*x17^3*x16^3
x16^3*x15*x17^2
x16^2*x15*x17
x15*x16*x17
x16*x15
x15
x16
DEPempty
MAP
x1 x17^13*x16^15*x15^6
x2 x16^5*x17^4*x15^2
x3 x15^5*x17^10*x16^12
IMAP
x15 x3^5/x2^6/x1^2
x16 x2^5/x3^2
x17 1/x2^3*x1
STACK
WBO (dim: 3)
J
x17^2*x16-1 1
c 1
Nempty
(E,a)
Ea
x17 10
x15 5
x16 12
C empty
TBO (dim: 3)
J
x17^2*x16-1 1
Nempty
E
x17
x15
x16
EMempty
C empty
SBO (dim: 3)
J
x17^2*x16-1 1
Nempty
Hempty
E
x17
x15
x16
C empty
Covered by:
113.0
x17^2*x16-1
ID: 109.0 Parent: 104.0 Tree