Split LessGenerators into two files.
Merge pull request #6 from wagh/devel

Split LessGenerators into two files.
documented SuslinLemma for two polynomials and an integer
Added documentation for SuslinLemma - 4 arguments case
Merge pull request #7 from wagh/devel

Added documentation for SuslinLemma - 4 arguments case
added example for SuslinLemma on three arguments
Added example for SuslinLemma - four arguments
Merge pull request #8 from wagh/devel

Added example for SuslinLemma - four arguments
fixed homepages of Anna and Mohamed

+ added Anna to title.xml
declared and installed GetFirstMonicOfSmallestDegree and CleanRowUsingMonics

in order to streamline and fix Horrocks in a later commit
streamlined and fixed Horrocks

using GetFirstMonicOfSmallestDegree and CleanRowUsingMonics
Merge pull request #9 from wagh/devel

Devel
coding style
moved an Assert from Horrocks to SuslinLemma
SuslinLemma now takes care of setting IsRightInvertibleMatrix

an no longer Horrocks
issue an Error instead of Assertion failure in Horrocks

if the ring is not univariate
Documented Horrocks
Merge pull request #10 from wagh/devel

Documented Horrocks
Added example for Patch

+ Enhanced example for Horrocks
Merge pull request #11 from wagh/devel

Added example for Patch