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
fix isQuotientRing for cases that parameter ring and basering are not the same
merged with spielwiese
 used Hans routine hasGlobalOrdering instead of my hasGlobalMonomialOrdering
Merge branch 'spielwiese' into add.assume.in.primdec.lib
fixed indentation
bugfix for isSubset, see track ticket 551
handling nonredundant primary decompositions in primDecsAreEquivalent-test
updated documentation of primDecsAreEquivalent
Merge branch 'spielwiese' into add.assume.in.primdec.lib
Merge remote-tracking branch 'origin/spielwiese' into add.assume.in.primdec.lib
Merge remote-tracking branch 'origin/spielwiese' into fix.isSubset
new version of ncfactor.lib
Merge branch 'add.assume.in.primdec.lib' of https://github.com/surface-smoothers/Sources into add.assume.in.primdec.lib
Merge pull request #601 from surface-smoothers/fix.primDecsAreEquivalent

handling nonredundant primary decompositions in primDecsAreEquivalent-te...
Merge pull request #598 from surface-smoothers/fix.isSubset

bugfix for isSubset(), see trac ticket 551
missing routines for coeff_BIGINT