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