next up previous
Next: Overlappingness Up: Trs Menu Previous: Trs Menu

Left-linearity

One can check left-linearity for the current TRS $ \mathcal{R}$ by using the Left-linearity command.

Irene DURAND
2005-02-01