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}
The corresponding rules are the following:
C
-A - B + l
The expressions with unknown variables {}
and knowns {l}
l l l l l
-9
l +
l l -
20 l l l +
l l l l
|
|---|
| USER CREATIONS APPEAR BELOW
|
|
|---|
|
|---|
| | | |
|
|---|
|
|---|
| SOME RELATIONS WHICH APPEAR BELOW
|
|
|---|
| MAY BE UNDIGESTED
|
|
|---|
|
|---|
THE FOLLOWING VARIABLES HAVE NOT BEEN SOLVED FOR: {A}
and knowns {l}
A A
A
A l
l A
The expressions with unknown variables {B}
and knowns {l}
B B
B
B l
l B
The expressions with unknown variables {B, A}
and knowns {l}
B A
-2 A -2 B + l - A B + 2
l A + 2 l B - l l