YOUR SESSION HAS DIGESTED | ||
---|---|---|

THE FOLLOWING RELATIONS | ||

{

*C*
2 - *A* - *B*

*l*
2

| ||
---|---|---|

USER CREATIONS APPEAR BELOW |
| |

| ||||
---|---|---|---|---|

SOME RELATIONS WHICH APPEAR BELOW |
| |||

| MAY BE UNDIGESTED |
| ||

{

The expressions with unknown variables {

and knowns {}

*A* *A*
*A*

The expressions with unknown variables {

and known {}

*B* *B*
*B*

The expressions with unknown variables {

and knowns {}

*A* *B*
-1 + *A* + *B*

*B*
*A*
-1 + *A* + *B*