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