The Valid_State_Monomial procedure returns true iff the Monomial is in a valid state - that is, iff the Monomial passes all of the valid state tests.
|Logical = Valid_State(Monomial)|
|Monomial||The Monomial to be checked.|
|Valid_State||True iff the Monomial is in a valid state.|
The Valid_State_Monomial code listing contains additional documentation.
Michael L. Hall