ID: 226.0 |
Parent: 214.0
|
Tree |
Exchanged to: |
228.0 |
1<->x19-4 |
|
PDER |
VAR\IND |
x19
|
x18
|
x16^2-1
|
x4
|
x4 |
0
|
0
|
0
|
1
|
x8 |
((3/2*x19^4*x18^6*(x
16^2-1)^2-1/2*x16*x1
9^4*x18^6*(x16^2-1)^
2)*x18^2*(x16^2-1)*x
19-x16*x18^8*(x16^2-
1)^3*x19^5+x18*(x16^
2-1)*(-x16*x19^5*x18
^7*(x16^2-1)^2+x19*x
18*(3/2*x19^4*x18^6*
(x16^2-1)^2-1/2*x16*
x19^4*x18^6*(x16^2-1
)^2)))*x18
|
(-x16*x19^5*x18^7*(x
16^2-1)^2+x19*x18*(3
/2*x19^4*x18^6*(x16^
2-1)^2-1/2*x16*x19^4
*x18^6*(x16^2-1)^2))
*x19*x18*(x16^2-1)+x
19*((3/2*x19^4*x18^6
*(x16^2-1)^2-1/2*x16
*x19^4*x18^6*(x16^2-
1)^2)*x18^2*(x16^2-1
)*x19-x16*x18^8*(x16
^2-1)^3*x19^5+x18*(x
16^2-1)*(-x16*x19^5*
x18^7*(x16^2-1)^2+x1
9*x18*(3/2*x19^4*x18
^6*(x16^2-1)^2-1/2*x
16*x19^4*x18^6*(x16^
2-1)^2)))
|
-1/2*x17*x19^6*x18^9
*(x16^2-1)^3+x18^2*(
-x16*x19^5*x18^7*(x1
6^2-1)^2+x19*x18*(3/
2*x19^4*x18^6*(x16^2
-1)^2-1/2*x16*x19^4*
x18^6*(x16^2-1)^2))*
x19
|
0
|
x16 |
0
|
0
|
x17
|
0
|
x17 |
0
|
0
|
-2*x17^3
|
0
|
x18 |
0
|
1
|
0
|
0
|
x19 |
1
|
0
|
0
|
0
|
|
FOCUS |
x19^11*x18^18*(x16^2-1)^7*x4^4+x19^6*x18^9*(x16^2-1)^3*x4^4*x8-x8^2*x4^4
|
x19^2*x18^3*(x16^2-1)
|
x19^3*x18^5*(x16^2-1)^2
|
x8
|
x16*x19^4*x18^6*(x16^2-1)^2
|
x16*x19^3*x18^4*(x16^2-1)
|
x19*x18
|
x16*x19^2*x18^2
|
x19*x18*x16
|
x18*(x16^2-1)
|
(3/2*x19^4*x18^6*(x16^2-1)^2-1/2*x16*x19^4*x18^6*(x16^2-1)^2)*x18^2*(x16^2-1)*x1
9-x16*x18^8*(x16^2-1)^3*x19^5+x18*(x16^2-1)*(-x16*x19^5*x18^7*(x16^2-1)^2+x19*x1
8*(3/2*x19^4*x18^6*(x16^2-1)^2-1/2*x16*x19^4*x18^6*(x16^2-1)^2))
|
-1/2*x19^6*x18^9*(x16^2-1)^3
|
x18
|
DEP |
x18^9*(x16^2-1)^3*x19^6*x16-x19^6*x18^9*(x16^2-1)^3+2*x8
|
2*x17*x16-1
|
MAP |
x1 |
x19^2*x18^3*(x16^2-1)*x4
|
x2 |
x18^5*(x16^2-1)^2*x19^3*x4
|
x3 |
x8*x4
|
x4 |
x4
|
|
IMAP |
x4 |
x4
|
x8 |
x3/x4
|
x16 |
-(2*x3*x4^2-x1^3)/x1^3
|
x17 |
-1/2*x1^3/(2*x3*x4^2-x1^3)
|
x18 |
1/4*x1^3/x4*x2^2/x3/(x3*x4^2-x1^3)
|
x19 |
4/x1/x2^3*x3*(x3*x4^2-x1^3)
|
|
|
STACK |
WBO (dim: 4) |
J |
-x19+4
| 1 |
c |
1 |
N | empty |
(E,a) |
E | a |
x4 | 3 |
x19 | 1 |
x16^2-1 | 1 |
x18 | 2 |
C |
empty |
TBO (dim: 4) |
J |
-x19+4
| 1 |
N | empty |
E |
x4 |
x19 |
x16^2-1 |
x18 |
EM |
x4 |
C |
empty |
SBO (dim: 4) |
J |
-x19+4
| 1 |
N | empty |
H | empty |
E |
x19 |
x16^2-1 |
x18 |
C |
empty |
Exchanged to: |
228.0 |
1<->x19-4 |
|
ID: 226.0 |
Parent: 214.0
|
Tree |