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