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