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: 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
chg: added more tests for char_series from old libfac/charset/tests
chg: move algext.* -> cfGcdAlgExt.*
chg: update includes due to moving algext
fix: really need a charSet
fix: stupid bug in compress
chg: refactor SteelTrager