Coding style and moved CompanionMatrix to ToolsForNonPerfectRings
Changed name of IsPrimeZeroDim into IsMaximal
Coding style
Changed comments
Changed if request in IdealBasisToGroebner