Used as an option to monoid, or when a polynomial ring is created.
See monoid for details.
Go to main index.
Go to concepts index.