Installed DegreeOfChernPolynomial, Name ( IsChernPolynomialWithRank )
Merge pull request #4 from sebastianpos/master

Name
Merge pull request #5 from sebasguts/master

ToDoListEntries fix
fixed a serious bug in PushPresentationByIsomorphism
LeftSubmodule( [ ], R ) and RightSubmodule( [ ], R ) now return the zero ideal
declared and installed \* for [ IsRingElement, IsHomalgModuleElement ]
fixed PrimaryDecompositionOp and RadicalDecompositionOp for zero ideals
homalg generators now support a component ConvertTransitionMatrix

affected:
. NewHomalgGenerators
. UnionOfRelations
. \* for [ IsHomalgMatrix, IsHomalgGenerators ]
LeadingModule now checks for RP!.LeadingIdeal

and AffineDegree now uses LeadingModule as a last choice
(this makes AffineDegree computable with MAGMA)
HilbertPoincareSeries and HilbertPolynomial now support IsDivisionRingForHomalg
use LeadingModule as a last choice

to compute
. HilbertPoincareSeries
. HilbertPolynomial
this makes them computable with MAGMA
fixed PrimaryDecompositionOp for IsHomalgResidueClassMatrixRep
host declaration of ModuleOfKaehlerDifferentials

(outsourced from GradedModules v2013.06.27)
ViewString for module elements now prints ( ... ) instead of [ ... ]
installed a method \in for [ IsRingElement, ConstructedAsAnIdeal ]
Installed Lcm_UsingCayleyDeterminant for IsHomalgRingElement
Merge pull request #6 from wagh/devel

Installed Lcm_UsingCayleyDeterminant for IsHomalgRingElement
outsourced Intersect2 to homalg v2013.07.02
hopefully the final fix for PrimaryDecompositionOp and RadicalDecompositionOp

to take care of the degenerate case NrColumns( M ) = 0
fixed AMaximalIdealContaining: n = 1 -> IsOne( n )

where n is an ideal