Merge branch 'normal.lib.add.quotientCheck' into spielwiese.patched
Merge branch 'spielwiese.patched' of https://github.com/surface-smoothers/Sources into spielwiese.patched
Merge branch 'spielwiese.patched' of https://github.com/surface-smoothers/Sources into spielwiese.patched
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
fix some zerogens and size(ideal) issues in primdecint.lib
removed addIdealZ and fixed ASSUME level
merged with spielwiese
updated primdecint_some_special_cases.tst
add quotient ring check
Merge branch 'spielwiese.patched' of https://github.com/surface-smoothers/Sources into spielwiese.patched
merged with smoothers/normal.lib.add.quotientCheck
merged with smoothers/pure.fix.zerogens.and.size.misusage.in.primdecint.lib
Merge remote-tracking branch 'remotes/ren/gcd_fixes' into spielwiese.patched