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
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
check if coefficient ring is field
removed unnecessary and unwanted ASSUME (shadows error msg)
Merge pull request #594 from surface-smoothers/add.assume.in.primdec.lib

added some precondition checks to 'primdec.lib'