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