ID: 278.0 Parent: 261.0 Tree
Covered by:
281.0 282.0
x15 -1+x15
PDER
VAR\IND x15 x16 x13
x13 0 0 1
x15 1 0 0
x16 0 1 0
FOCUS
x15^14*x13^44*x16^26-x16^26*x13^44*x15^13
x15^4*x13^12*x16^7
x16^3*x13^5*x15^2
x16^2*x15*x13^3
x13^2*x15*x16
x13^4*x16^2*x15
x16*x13^2
x16*x13
x13
DEPempty
MAP
x1 x15^7*x13^22*x16^13
x2 x16^6*x13^10*x15^3
x3 x16^10*x13^17*x15^5
IMAP
x13 x3^3/x2^5
x15 x1^2/x3^2/x2
x16 x2^9/x3^4/x1
STACK
WBO (dim: 3)
J
-1+x15 1
c 1
Nempty
(E,a)
Ea
x15 6
x16 12
x13 20
C empty
TBO (dim: 3)
J
-1+x15 1
Nempty
E
x15
x16
x13
EMempty
C empty
SBO (dim: 3)
J
-1+x15 1
Nempty
Hempty
E
x15
x16
x13
C empty
Covered by:
281.0 282.0
x15 -1+x15
ID: 278.0 Parent: 261.0 Tree