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