THE ORDER IS NOW THE FOLLOWING:
l « A < B < C
|
---|
| YOUR SESSION HAS DIGESTED |
|
---|
| THE FOLLOWING RELATIONS |
|
---|
|
---|
THE FOLLOWING VARIABLES HAVE BEEN SOLVED FOR:
{C, l}
The corresponding rules are the following:
C
2 - A - B
l
2
|
---|
| USER CREATIONS APPEAR BELOW |
|
---|
|
---|
| |
| | |
---|
|
---|
| SOME RELATIONS WHICH APPEAR BELOW |
|
---|
| MAY BE UNDIGESTED |
|
---|
|
---|
THE FOLLOWING VARIABLES HAVE NOT BEEN SOLVED FOR:
{A, B}
The expressions with unknown variables
{A}
and knowns {}
A A
A
The expressions with unknown variables
{B}
and known {}
B B
B
The expressions with unknown variables
{B, A}
and knowns {}
A B
-1 + A + B
B
A
-1 + A + B