ID: 228.0 Parent: 225.0 Tree
Covered by:
236.0
x15*x17^2*x16^2-1
PDER
VAR\IND x16 x17 x15
x15 0 0 1
x16 1 0 0
x17 0 1 0
FOCUS
x16^20*x17^38*x15^42-x17^36*x15^41*x16^18
x16^6*x17^11*x15^12
x16^3*x17^5*x15^5
x15^2*x17^2*x16
x15^3*x16^2*x17^3
x17^4*x15^5*x16^2
x16*x17^2*x15^3
x17*x15^2
x17*x15
x15
DEPempty
MAP
x1 x16^10*x17^19*x15^21
x2 x17^8*x15^9*x16^4
x3 x17^14*x15^16*x16^7
IMAP
x15 x3^4/x2^7
x16 x1^2/x2^10*x3^3
x17 x2^13/x3^6/x1
STACK
WBO (dim: 3)
J
x15*x17^2*x16^2-1 1
c 1
Nempty
(E,a)
Ea
x16 8
x17 16
x15 18
C empty
TBO (dim: 3)
J
x15*x17^2*x16^2-1 1
Nempty
E
x16
x17
x15
EMempty
C empty
SBO (dim: 3)
J
x15*x17^2*x16^2-1 1
Nempty
Hempty
E
x16
x17
x15
C empty
Covered by:
236.0
x15*x17^2*x16^2-1
ID: 228.0 Parent: 225.0 Tree