declared and installed UnorderedTuplesRespectingOrder

and used it to fix:
. AnnihilatingOperators (two methods)
. NumeratorOfDifferentialAction
outsourced the declaration of IntersectWithSubalgebra

to Modules v2012.06.28
outsourced test code from Geisha.g
added example files and check roots of b-function
comply with the new GAPDoc testing methods
require GAP 4.5 and Modules and Sheaves
declared and installed AnnihilatorOfPower

+ used
  . AnnihilatorOfPower
  . ExportIndeterminates and relative RingOfDerivations
    (MatricesForHomalg and RingsForHomalg v2012.10.25)
  to simplify example files
+ used the Divisor constructor in the example files
  (we now require Sheaves v2012.09.22, where Divisor of ring elements
   was made an attribute)
split Reiffen_data.g from Reiffen.g and call the former in examples/doc/*.g
several methods now accept defining equations in the base ring

+ NumeratorOfDifferentialAction
+ AnnihilatingOperators

simplified doc files accordingly
order now is the first argument in operations involving differentiation

. NumeratorOfDifferentialAction
. CoefficientsOfAnnihilatingOperators
. AnnihilatingOperators
. BasisOfAnnihilatingOperators
. Annihilator
. AnnihilatorOfPower
activated AutoDoc
use AssignGeneratorVariables instead of ExportIndeterminates

needs MatricesForHomalg v2013.04.16
removed the yet obsolete examples.xml file
AssociatedOrderGradedModule is now an attribute
tried OnBasisOfPresentation in AssociatedOrderGradedModule

it slowed down computations of one example, but on average
it probably provides considerable speedup when applied to the
input of AssociatedOrderGradedModule
fix in AnnihilatorOfPower
declared and installed AnnihilatorOfPower for divisors
declared and installed PrimaryIdealOfGrAnn1AtTheOrigin

(needs the setter of AssociatedPrimes,
 which is now hosted in Modules v2013.09.19)
declared and installed FiltrationByOrder

this a first trial
Update documentation generation to latest AutoDoc