added some assume tests in primdec.lib (quotient rings are not allowed and expected global monomial ordering)
proc Ann does accept nonglobal ordering
allow qrings and nonglobal order for Ann ,AnnExt_R
fix variable conflict issue in primdecint.lib
merged with spielwiese
 used Hans routine hasGlobalOrdering instead of my hasGlobalMonomialOrdering
Merge branch 'spielwiese' into add.assume.in.primdec.lib
fixed indentation
Merge branch 'spielwiese' into add.assume.in.primdec.lib
Merge remote-tracking branch 'origin/spielwiese' into add.assume.in.primdec.lib
Merge branch 'add.assume.in.primdec.lib' of https://github.com/surface-smoothers/Sources into add.assume.in.primdec.lib
no unconditional ASSUME in static routines
Merge pull request #616 from surface-smoothers/spielwiese

the second typo in ring.lib . Gotcha\!
fix: an example is an exmaple, nothing more
fix: degree test for subst(ideal/module/matrix...)
check if coefficient ring is field
fix: check for wrong args in eliminate:  eliminate(I,a(1..4))
introduced new tokens: cring, cnumber,cmatrix
fix: typo in doc.
fix: allow overloading with static routines