coding style
renamed PolynomialEmbeddingmatrix -> CompanionMatrix
coding style
renamed RadicalForHomalgIdeal -> RadicalOfIdeal

should become RadicalSubobject when code stabizes
correctly declared IsPrimeZeroDim

should be renamed to IsPrimeModule when code stabilizes
correctly declared and installed IsPrimaryZeroDim

should be renamed to IsPrimaryModule when code stabilizes