IsHomalgRing now lies in the filter IsRingWithOne

comply with MatricesForHomalg v2013.04.15
simplified code of PrimaryDecomposition
installed RadicalDecomposition for graded modules

needs RingsForHomalg and Modules v2013.04.16
Added todo-list entries.

Fixed an undeclared local variable.
GradedLeft/RightSubmodule( [ ], R ) now return the zero ideal
renamed BettiDiagram -> BettiTable

complying with homalg v2013.06.03
changed the warning text in GuessModuleOfGlobalSectionsFromATateMap

+ updated example file HorrocksMumford.g accordingly
installed TateResolution for Sepp's talk

installed TateResolution for E-modules
adapted bounds to visualize the Serre vector bundle criterion in HorrocksMumford.g
outsourced declaration of ModuleOfKaehlerDifferentials

(to Modules v2013.06.27)
Merge pull request #2 from sebasguts/master

Added todo-list entries.
increased version further

and complied to coding style
cleanup

moved misplaced items from intrinsic_properties_specific_shared_with_factors_modulo_ideals
to intrinsic_attributes_specific_shared_with_factors_modulo_ideals
added automatic items for ideals

in intrinsic_attributes_specific_shared_with_factors_modulo_ideals:
. PrimaryDecomposition
. RadicalDecomposition
. RadicalSubobject
installed method for SymmetricAlgebra

(needs Modules v2013.09.15)
installed method for ExteriorAlgebra

(needs Modules v2013.09.17)
installed method for ExteriorPower

(needs Modules v2013.09.18)
SymmetricAlgebra is now graded instead of multigraded

this is a temporary solution until we have generalized
HomogeneousPartOverCoefficientsRing to deal with multigraded rings
installed SymmetricPower for graded modules
comply to new behavior of Eliminate

in MatricesForHomalg/GradedRingForHomalg v2013.10.27
the main operation for Eliminate in now expects a matrix and a list

simplified code here accordingly