ID: 143.0 Parent: 142.0 Tree
PDER
VAR\IND -1+x14 x12 x15
x12 0 1 0
x14 x16 0 0
x15 0 0 1
x16 -x16^3 0 0
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
DEP
x16*x14-1
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
x16 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
1 0
c 0
Nempty
(E,a)
Ea
x15 6
x12 11
-1+x14 0
C empty