A magma is right distributive if it satisfies the right distributive law (XY)Z = (XZ)(YZ).

The IsRightDistributive command returns true if the given magma is right distributive. It returns false otherwise.

The Magma[IsRightDistributive] command was introduced in Maple 15.

For more information on Maple 15 changes, see Updates in Maple 15.