declared and installed BasisCoefficientsOfRingElement
declared and installed IdealBasisOverCoefficientRing
Solved problem in RepresentationOverCoefficientsRing.

Now it will only return immutable matrices.
declared and installed IdealBasisToGroebner
exchanged the Groebner basis algorithms for the new functions.
deleted some commented lines
coding style
Tried to correct computation of reduced echelon form in IdealBasisToGroebner.

Is still not 100% correct.
Improved IdealBasisOverCoefficientsRing.

In case that all generators are zero over the residue class ring, the algorithm returns a zero matrix without any further computation.
skipped the reduction of Groebner basis in the function IdealBasisToGroebner.

There occured some problems I don't understand yet. Now the function returns a basis over the coefficients ring together with the groebner basis of the defining ideal of the residue class ring.
declared and installed DerivativeSep.

Computes the derivative of a univariate polynomial.
Added three examples.

BasisCoefficientsOfRingElement
DerivativeSep
IdealBasisOverCoefficientsRing
Changed the most important example.

Exchanged the generators of the ideal by a Groebner Basis.
declared, installed and added example for FGLMToGroebner
Useless lines I don't want to see in the modified stuff of git anymore.
coding style and added comments
Changed order of monomials in BasisOverCoefficientsRing and fixed the reduced echelon form in IdealBasisToGroebner

Solved the problem with IdealBasisToGroebner.
coding style
added some comments.
Fixed IdealBasisToGroebner

Belongs actually to a commit before.