search

jakobkroeker / test_singular

manage a personal issue list for Singular CAS
0 stars 0 forks source link

bugs in 'algemodstd.lib' #108

Open jakobkroeker opened 9 years ago

jakobkroeker commented 9 years ago

origin: https://github.com/surface-smoothers/lipmanresolve/issues/394

algemodstd contains (at least) option handling bugs in LiftPolyCRT(), modStdparallelized() and chinrempoly().

algemodstd() cannot handle zero ideal

chinrempoly() does not document parameter restrictions properly, even if obvious and does not perform parameter check (at higher assumeLevel) at all

minpoly = 1; is allowed in Singular for whatever reasons, so algemodStd() hangs :

LIB "algemodstd.lib"; ring rng = (0,a),x,dp; minpoly=1; ideal I = 10; algemodStd(I); //hangs

reported to package authors update: review https://github.com/Singular/Sources/pull/664/files reviewed. Asked for a Test for the zero ideal input