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
Merge pull request #573 from surface-smoothers/fix.variableconflict.in.primdecint.lib

fix variable conflict issue in primdecint.lib
comments - documentation
make gcc happy - include factory to have CanonicalForm
README for interpreter
format