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
check if coefficient ring is field
fix: memory leak while calling gcd with a term and a non-term poly
new: division and gcd of integer polynomials via factory

added conversion functions between integer polynomials in Singular and Factory
extended the singclap_gcd and singclap_pdivide functions to cover the case where
ground ring is integer
hunting for the last bit: do not count the sign bit in mult/subst for poly
side-by-side installation: not possible
add: overloading kernel functions (which)
chg: currRing may be set elsethere, do not reset it after last hdl is gone
overflow handling for mult