ID: 19.0 | Parent: 10.0 | Tree | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||
PDER |
| |||||||||||||||||||||||||
FOCUS | ||||||||||||||||||||||||||
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1) | ||||||||||||||||||||||||||
2*x1 | ||||||||||||||||||||||||||
x6 | ||||||||||||||||||||||||||
DEP | ||||||||||||||||||||||||||
-x5*(2*x2-2)*x3-1 | ||||||||||||||||||||||||||
x6*(x1^2+x2^2-2*x2)-2*x2-x3^2+1 | ||||||||||||||||||||||||||
MAP |
| |||||||||||||||||||||||||
IMAP |
| |||||||||||||||||||||||||
STACK | ||||||||||||||||||||||||||
WBO (dim: 3) | ||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||
1+x6 | 1 | |||||||||||||||||||||||||
c | 1 | |||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||
(E,a) | ||||||||||||||||||||||||||
E | a | |||||||||||||||||||||||||
x1^2+x2^2-2*x2 | 1 | |||||||||||||||||||||||||
C | empty | |||||||||||||||||||||||||
TBO (dim: 3) | ||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||
1+x6 | 1 | |||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||
E | ||||||||||||||||||||||||||
x1^2+x2^2-2*x2 | ||||||||||||||||||||||||||
EM | ||||||||||||||||||||||||||
x1^2+x2^2-2*x2 | ||||||||||||||||||||||||||
C | empty | |||||||||||||||||||||||||
SBO (dim: 3) | ||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||
1+x6 | 1 | |||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||
H | empty | |||||||||||||||||||||||||
E | empty | |||||||||||||||||||||||||
C | empty | |||||||||||||||||||||||||
| ||||||||||||||||||||||||||
ID: 19.0 | Parent: 10.0 | Tree |