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