ID: 557.0 Parent: 551.0 Tree
PDER
VAR\IND x12 x14 x13
x12 1 0 0
x13 0 0 1
x14 0 1 0
x15 0 0 x15^2
FOCUS
x12^24*x14^14*x13^2-x14^14*x12^24*x13^3
x14^3*x12^5
x12^3*x14^2
x12^2*x14
x13*x12^4*x14^2
x13*x12^2*x14
x14*x12
x13*x12
x13
DEP
x15*(-x13+1)-1
MAP
x1 x12^12*x14^7*x13
x2 x14^6*x12^10*x13
x3 x14^4*x12^7*x13
IMAP
x12 x1^2/x2^3*x3
x13 x2/x1^2*x3^2
x14 x2^5/x3^2/x1^3
x15 -x1^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
-x13+1 0
c 0
Nempty
(E,a)
Ea
x13 1
x14 6
x12 10
C empty