ID: 559.0 Parent: 552.0 Tree
Covered by:
564.0
1-x15
PDER
VAR\IND x14 x10 x15
x10 0 1 0
x14 1 0 0
x15 0 0 1
FOCUS
x14^10*x10^24*x15^2-x10^24*x14^10*x15^3
x10^5*x14^2
x10^3*x14
x14*x10^2
x14^2*x15*x10^4
x14*x15*x10^2
x10
x14*x15*x10
x14*x15
x14
x15
DEPempty
MAP
x1 x14^5*x10^12*x15
x2 x10^10*x14^4*x15
x3 x10^7*x14^3*x15
IMAP
x10 x2^2/x3/x1
x14 x1^3/x2^5*x3^2
x15 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
1-x15 1
c 1
Nempty
(E,a)
Ea
x15 1
x10 10
x14 4
C empty
TBO (dim: 3)
J
1-x15 1
Nempty
E
x15
x10
x14
EM
x15
C empty
Covered by:
564.0
1-x15
ID: 559.0 Parent: 552.0 Tree