Remaining failing tests with SW

Remaining failing tests with SW

Note: please check with the latest TC build whether a test has been already fixed and report the assigment resp. the fix. status here.

Note: the following is as per recent TC / 64bit testing!

Wrong mathematics (??!)

Note: it seems that most of the problems are due to no normalization, mostly in case of a transcendental field extension

Normalization (i.e. during clearing content and/or denominators)

• Manual/canonize.tst, Manual/divideUnits.tst, Manual/errormap.tst, Manual/findifs_example.tst, Manual/modS.tst, Manual/qslimgb.tst, Manual/visualize.tst: different -normalization (TODO for O: check vs. modified master & regenerate tests on snork/64bit)
• Manual/Qso3Casimir.tst, Manual/annfsParamBM.tst (-normalization!)
• Manual/grobcovold.tst (-normalization! + timing)
• Manual/buildtreetoMaple.tst, Manual/cgsdrold.tst, Manual/qepcad.tst, Manual/qepcadsystem.tst (-normalization!)
• Manual/fouriersystem.tst (-normalization!?)
• Old/algnorm.tst (normalization!: solving this will probably have a lot of impact on most others, anyone?)
• Old/palg.tst (alg. ext. of F_5 - wrong normalization after elim + std!)

Misc:

• Old/h4.tst (different tail terms in the result of std over F_{32003})

• Old/res.tst, Old/weight2.tst, Manual/Groebner_basis_conversion.tst (different prot-output of std/res/...)

• Old/agnes.tst

• Old/res2.tst

• Old/std_test.tst

• Manual/AGcode_Omega.tst

• Manual/cgs.tst

• Manual/divideUnits.tst

• Manual/fitting.tst

• Manual/flatteningStrat.tst

• Manual/gauss_col.tst

• Manual/groebner_and_std.tst

• Manual/intersectZ.tst

• Manual/leftInverse.tst

• Manual/minAssZ.tst

• Manual/primdecZ.tst

• Manual/radicalZ.tst

• Manual/realzero.tst

• Manual/reduce_BR_PLURAL_BR.tst

• Manual/rightInverse.tst

• Manual/scheme.tst

• Manual/stdhilb.tst

• Manual/syz_BR_PLURAL_BR.tst

• Manual/primeClosure.tst: different result only on 64 bit builds, fine on 32 bit (assigned to Janko long time ago)

• Manual/facFirstWeyl.tst, Manual/testNCfac.tst - wrong result (missing an item?) at ncfactor.lib::facFirstWeyl

• Manual/findifs_example.tst

• Manual/CurveRes.tst: missing leading term: "x(1)*x(2)"!? (not a normalization issue??!)

• Manual/imageLattice.tst, Manual/int_operations.tst, Manual/integralSection.tst Manual/preimageLattice.tst were broken by 6993c8371c2a089de1e05f7e0a7e9ab0f8c76145: "fix: mod -> %, removed INTMOD_CMD (from master)" and fixed by 1d579f645ed6a1c4f08c80546ec23f4e273a7dde (fix: use c-% for mod and % for int)

• Manual/Deformations.tst, Manual/T_1.tst, Manual/deform.tst, Manual/matrixT1.tst, Manual/semiCMcod2.tst, Manual/versal.tst, Manual/primary_charp.tst, Manual/primary_charp_random.tst, Old/err5.tst, Old/moralex.tst, Old/mre.tst, Old/regul.tst ??? (O.)

• Old/sre.tst ??? (Hannes, https://github.com/Singular/Sources/issues/73)

• Manual/goodBasis.tst (???)

• Manual/par2varRing.tst &=> Manual/groebner.tst (poly Minpoly = minpoly; + map, Martin, O.)

• Manual/cantreetoMaple.tst, Manual/ParToVar.tst (Martin + O.)

Legacy Singular fails (on 64 bit vs 32 bit?):

• Manual/normalToricRingFromBinomials.tst (randomly fails/passes on master branch / snork 64bit!!!)

Technical/software errors: Segment faults

• Manual/mp_res_mat.tst
• Manual/frwalk.tst
• Manual/closureFrac.tst (O.)
• Manual/Resolution_of_singularities.tst (n_Int / ext. fields, O.)
• Manual/intersectionDiv.tst (alg.ext, O)
• Manual/size.tst, Manual/texring.tst (ederc)

Strange errors:

• Manual/sysNewton.tst: S(2)+sigma(1)*S(1) -->>> S(2)+sigma(1)S(1)+0sigma(2)??
• Manual/elimRing.tst (?)

Interpreter errors or not (re-)implemented features: sqrfree syntax change

• Manual/cgsdr.tst: (O.) NOTE: WHY was it fixed in MASTER but not here!??

Alarm: Too long or recursion or memory corruption (Exit Status: 36352)

• Manual/paraPlaneCurve.tst
• Manual/realrad.tst
• Old/longalg.tst -- stuck in std in the following:

ring s2=(0,a),(x,y,z,w),dp; minpoly=8a4+1;
> s2;
//   characteristic : 0
//   1 parameter    : a 
//   minpoly        : (8a4+1)
//   number of vars : 4
//        block   1 : ordering dp
//                  : names    x y z w
//        block   2 : ordering C
> ideal j0=(a2-1)*x2-z10-z20,(a+1)*xy3-z10-z30,y6-(a+1)*xy3w40;
> option(prot);
> ideal j = std(j0); // HERE: too long (even after all the protocol output, which was correct)!
[65535:2]20(2)s30s40s41s42s44s51(3)52-82-s(2)s84(4)85-s92--95-125-s126135-
product criterion:9 chain criterion:13
> j;
j[1]=72*x2y6+(144a3-144a+81)*x6+(216a-216)*x3y3+(-144a2+288a-144)*x4+(-128a3+128a2-128a+128)*xy3+(-256a3+256a2-256a+112)*x2
j[2]=9*x2z10+(-16a2-16)*z10+(8a3+8a2+8a+8)*xy3-9*x2
j[3]=16*y3z10+(16a-16)*xz10+(-8a-8)*xy6+(-16a3+16a2+7a-7)*x5+(-24a2+24)*x2y3
j[4]=72*xy12+(144a3-144a+81)*x5y6+(216a-216)*x2y9+(-144a2+288a-144)*x3y6+(-128a3+128a2-128a+128)*y9+(-256a3+256a2-256a+112)*xy6
j[5]=z20+z10+(-a2+1)*x2
j[6]=9*xy3w40+(8a3-8a2+8a-8)*y6
j[7]=729*x6w40+(-3456a3-3456a2-1512a-1512)*x3y3w40+(-1296a2-1296)*x4w40+(2944a3+2944a2+640a+640)*xy3w40+(2304a2+1008)*x2w40+(1472a3+1472a2+320a+320)*xy9
j[8]=16*y9w40+(-16a+16)*xy6w40+8*y15+(16a3-16a+9)*x4y9+(24a-24)*xy12+(-16a2+32a-16)*x2y9
j[9]=32*z10w40+(8a2+16a+8)*x2y6w40+(-23a2+5)*x6w40+(24a3+24a2-24a-24)*x3y3w40+(-16a-16)*xy3w40+(-16a2+16)*x2w40-16*y6z10

• Old/zahlen0.tst
• Manual/Gauss-Manin_connection.tst, Manual/bernstein.tst, Manual/monodromyB.tst (minpoly?, algext?, rSum?)

? no conversion from bigint to this field

• New/bigints.tst (Martin Lee) + TODO: test result has to be updated since legacy Singular was wrong there!

? coeff sum not yet implemented

• ~~Manual/grobcov.tst, Manual/linear_relations.tst

? ring with polynomial data must be the base ring or compatible

• Manual/assPrimes.tst, Manual/jungfib.tst, Manual/jungnormal.tst, Manual/jungresolve.tst (tensor product of rings, Matrin & O.)

? // ** no square matrix before ? leaving linalg.lib::inverse

• Manual/Gauss-Manin_connection_1.tst, Manual/endvfilt.tst, Manual/monodromy.tst, Manual/spectrum.tst, Manual/sppairs.tst, Manual/tmatrix.tst, Manual/vfilt.tst, Manual/vwfilt.tst (disabled have_eigenval, Martin)

? wrong type declaration. type 'help poly;'

• Manual/hilbertSeries.tst,Manual/normalI.tst,Manual/multiDegResolution.tst (denominator/numerator, O. + Martin)

? cannot open template.lib

• Manual/mdouble.tst,Manual/msum.tst,Manual/mtriple.tst (need template.lib, O.)

? f is undefined in kill

• Manual/molien.tst, Manual/reynolds_molien.tst, Manual/secondary_charp.tst (the map f was killed while setting minpoly, O.) ???

The rest of existing tests:

Note: some of these tests are due to minpoly-related chage (missing objects after setting minpoly, e.g. BuchDL/Ex_L6.tst)

Buch.lst

• Buch/Example_1_9_31.tst (normalization over K(Q)?)
• Buch/Example_3_2_3.tst, Buch/Example_7_3_14.tst (missing terms in the output!?)
• Buch/Example_7_2_6.tst, Buch/Example_7_3_12.tst (different results...?)
• Buch/Proc_4_6.tst -- an issue in cleardenom over trans. field ext. Q(x)! Short test is as follows:

ring s=(0,x),(e,g),lp; // ring over a trans. field ext. of Q: Q(x)!
poly p = 5*e-g2; simplify(p,1); p = _;
p; // e-1/5*g2
cleardenom(p);// WRONG result: e-1/5*g2, CORRECT: 5*e-g2!

BuchDL.lst

• BuchDL/Ex_L6.tst (minpoly=...;!) easy to approach
• BuchDL/Sol_Exe_1.tst (normalization/content/cleardenom?)
• BuchDL/Ex_App.tst, BuchDL/Ex_L9.tst, BuchDL/Sol_Exe_5.tst (too slow)

Plural.lst

• Plural/Syz-qso3-q3.tst, Plural/doc-syz.tst (too slow)
• Plural/dmod_lib.tst (different sorting of output elements)
• Plural/doc-std.tst (normalization/content/cleardenom?)

Short.lst

• Short/finvar_s.tst : easy printing error, e.g. 1x or -1x instead of x or -x...

• Short/Zdim_s.tst : Segment fault (dim or std over arith. rings )

• Short/allres_s.tst, Short/brnoeth_s.tst (too long)

• Short/bug_10.tst (O.) alg. ext of Q with non-irreducible minpoly, simple test is as follows:

ring S=(0,m),x,dp;minpoly=m7-1;S; // alg. ext. of Q with 'm' s.th. m7-1 == 0
1/(m-1); // MUST produce 'zero divisor found - your minpoly is not irreducible'!

this is another Frank's bug, which is due to his assumption that minpoly is irreducible: see 'libpolys/polys/ext_fields/algext.cc'

/* the gcd must be 1 since naMinpoly is irreducible and a != NULL: */
assume(naIsOne((number)theGcd, cf));

which is wrong here...

• Short/bug_15.tst
• Short/bug_17.tst
• Short/bug_31.tst
• Short/bug_42.tst
• Short/bug_46.tst
• Short/bug_50.tst
• Short/bug_51.tst
• Short/bug_c_dp.tst
• Short/bug_chinrem_mat.tst
• Short/bug_sres.tst
• Short/bug_tr224.tst
• Short/bug_tr300.tst
• Short/bug_tr357.tst: would not handle ~ in library file names (easy?)
• Short/cyc5_lp.tst
• Short/decodegb.tst
• Short/equising_s.tst
• Short/finvarlb.tst
• Short/gcd0_s.tst
• Short/gcdp_s.tst
• Short/hilb_weights.tst
• Short/homolog_s.tst
• Short/imap.tst
• Short/modstd.tst
• Short/ncfactor_example_all_procedures_s.tst
• Short/ncfactor_inhomog_s.tst
• Short/normal.tst
• Short/polylib_s.tst
• Short/primdec_s.tst
• Short/primitiv_s.tst
• Short/qhw_s.tst
• Short/rInit.tst
• Short/rcyclic_17_32003_lp.tst
• Short/res_s.tst
• Short/resultantp_s.tst
• Short/ringlist-z.tst
• Short/ringmaps.tst
• Short/ringmod2m.tst
• Short/ringz.tst
• Short/solve_s.tst
• Short/std_s.tst
• Short/test_c_dp.tst