ID: 137.0 Parent: 120.0 Tree
Covered by:
140.0 141.0
x14 -1+x14
PDER
VAR\IND x14 x12 x15
x12 0 1 0
x14 1 0 0
x15 0 0 1
FOCUS
x15^14*x12^26*x14^8-x14^7*x12^26*x15^14
x15^5*x12^9*x14^3
x15^3*x12^5*x14^2
x15*x14*x12^2
x12^2*x15
x15*x12
x12
DEPempty
MAP
x1 x15^7*x12^13*x14^4
x2 x12^4*x15^2*x14
x3 x15^6*x12^11*x14^3
IMAP
x12 x2^3/x3
x14 x1^2/x3^2/x2
x15 x3^3/x2^5/x1
STACK
WBO (dim: 3)
J
-1+x14 1
c 1
Nempty
(E,a)
Ea
x14 3
x15 6
x12 11
C empty
TBO (dim: 3)
J
-1+x14 1
Nempty
E
x14
x15
x12
EMempty
C empty
SBO (dim: 3)
J
-1+x14 1
Nempty
Hempty
E
x14
x15
x12
C empty
Covered by:
140.0 141.0
x14 -1+x14
ID: 137.0 Parent: 120.0 Tree