fix: prefer reduce(module,ideal) over reduce(module,module)
opt: p_ChineseRemainder (from spielwiese)
fixL locnormal.tst
opt: avoid pAdd, use pReverse in chinrem
fix: wrong index
fix: wrong check
chg: toying around
chg: more toying around
fix: error in lift bound
fix: missing delete
fix: wrong index
fix: make sure the right level is computed
chg: leave precomputeLeadingCoeff in corner case
chg: back to old version
chg: update leading coefficients if multiplier non-constant
chg: retry with different level
chg: change level if necessary
chg: clean up and editing
fix: typo
chg: deleted duplicate code