arbitrary choices (like ordering the variables), which introduce difficulties for testing the equality of two objects resulting in independent computations. Therefore, in computer algebra, normal form is a weaker notion: A normal form is a representation such that zero is uniquely represented. This allows testing for equality by putting the difference of two objects in normal form.

Canonical form can also mean a differential form that is defined in a natural (canonical) way.

Definition

1.Previous
3.Next