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