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!

Note: Running Singular with the following arguments in oder to get all the possible trace output: -c 'TRACE=3;option(prot);' -teq

Due to SW_Build: 7 / SW_Test_Default&_Static: 12 (Debug: 281+...?)

Note: SW passed 2217 tests, on snork in 18m:53s

Update (fractions output): (Martin?)

• New/subst_denoms.tst (the difference is due to new representation of transc. ext., may change it if all other issues with these are fixed)

Update (< type of i: ?unknown type? and > attrib(result,\"isSB\",1);):

• Manual/ModEqn.tst, Manual/StabEqn.tst, Manual/StabEqnId.tst (Yue?)
• Old/m139si.tst, Old/m24si.tst (Hans)

Check results:

• Manual/realrad.tst (Wolfram?)

Normalization: (Janko, Hans, Claus?)

• Manual/fwalk.tst, Manual/qslimgb.tst, Manual/syz_BR_PLURAL_BR.tst, Buch/Example_1_9_31.tst, Plural/Syz-qso3-q3.tst, Short/gcd0_s.tst
• Manual/ArnoldAction.tst, Manual/KSlinear.tst (Check results!)
• Short/ringmod2m.tst (takes a bit longer)

Order of elements: (Hans?)

• Manual/pwalk.tst
• Manual/primeClosure.tst (32/64 bit story & also in [master]) (postpone?)
• Manual/normalToricRingFromBinomials.tst (this is also the legacy Singular bug: it fails randomly (e.g. on snork with Singular314):

9,10c9,10
< I[2]=x(3)
< I[3]=x(1)^2*x(2)
---
> I[2]=x(2)
> I[3]=x(1)^2*x(3)
12,14c12,14
< I[5]=x(2)*x(3)^2
< I[6]=x(1)^3*x(2)^2
< I[7]=x(1)^2*x(2)^2*x(3)
---
> I[5]=x(2)^2*x(3)
> I[6]=x(1)^3*x(3)^2
> I[7]=x(1)^2*x(2)*x(3)^2

Additional failures in static version:

• Manual/endvfilt.tst, Manual/fouriersystem.tst, Manual/Gauss-Manin_connection_1.tst, Manual/goodBasis.tst, Manual/monodromy.tst, Manual/qepcadsystem.tst, Manual/spectrum.tst, Manual/sppairs.tst, Manual/tmatrix.tst, Manual/vfilt.tst, Manual/vwfilt.tst, Manual/Gauss-Manin_connection.tst, Manual/monodromyB.tst, Manual/bernstein.tst, Short/gaussm_ex.tst, Short/monodromy_s.tst (Oleksandr, thanks to Martin)

• Manual/pyobject.tst, Manual/pyobject_declarations.tst, Manual/pyobject_expressions.tst, Manual/pyobject_operations.tst, Manual/pyobject_related_functions.tst (Oleksandr: static embedding of dynamic mnodules + python embedding, TODO: python embedding/OSX)

Additional long tests: (?)

• get the list from Hans

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)

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

Strange errors:

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

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

? no conversion from bigint to this field

? coeff sum not yet implemented

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

? // ** 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 (have_eigenval has to be disabled!!! see GH issues, Martin)

? wrong type declaration. type 'help poly;'

? cannot open template.lib

? f is undefined in kill

The rest of existing tests:

BuchDL.lst

Short.lst

Buch.lst

• Buch/Example_1_9_31.tst (normalization over K(Q)?)

Plural.lst

• Plural/Syz-qso3-q3.tst, Plural/doc-syz.tst (too slow)