HessenbergDecompositionComputerPropertiesSuppliableTopLevelFunctions