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
chg: rewrite assprimeszerodim.lib based on modular.lib

(cherry picked from commit eeb2187019e8f379569be07360d245edfba0903a)
Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>

Conflicts:
	Singular/LIB/assprimeszerodim.lib
chg: update tests for assprimeszerodim.lib

(cherry picked from commit 56603b02d3f85bff9a5dc45e81b00295f235a284)
Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>

Conflicts:
	Tst/Short/ok_s.lst

+ add assprimeszerodim_s.tst to Short.lst
chg: update results for Manual/assPrimes.tst

The old and the new result are mathematically the same.
I have checked this manually.
chg: remove assprimeszerodim.lib from comment in modstd.lib

(cherry picked from commit 1ef0808a0a380adcc154495021d1684cb966a853)
Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>

Conflicts:
	Singular/LIB/modstd.lib
Merge pull request #596 from steenpass/assprimeszerodim_sw

update assprimeszerodim.lib
activate 64bit repr. for Q
chg: break factor recovery earlier
chg: make sure factor's not a constant from the alg. func. field
fix: clear denominators before computing norm
chg: asserts in cfModResultant
chg: added new test for factorization over Q(a)
chg: moved some commented out tests from Short to Long