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