-
Notifications
You must be signed in to change notification settings - Fork 0
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
Note: SW passed 2217 tests, on snork in 18m:53s
- 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)
Manual/ModEqn.tst, Manual/StabEqn.tst, Manual/StabEqnId.tst (Yue?)Old/m139si.tst, Old/m24si.tst (Hans)
- Manual/realrad.tst (Wolfram?)
- 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)
- 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):
expected:
I[1]=x(1)
I[2]=x(3)
I[3]=x(1)^2*x(2)
I[4]=x(1)*x(2)*x(3)
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[8]=x(1)*x(2)^2*x(3)^2
I[9]=x(1)*x(2)^3*x(3)^3
which randomly changes into:
I[1]=x(1)
I[2]=x(2)
I[3]=x(1)^2*x(3)
I[4]=x(1)*x(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
I[8]=x(1)*x(2)^2*x(3)^2
I[9]=x(1)*x(2)^3*x(3)^3
the above occurs with the use of normaliz 2.7 whereas normaliz 2.8 produces:
> I[1]=x(1)*x(2)^3*x(3)^3
> I[2]=x(1)
> I[3]=x(1)*x(2)*x(3)
> I[4]=x(3)
> I[5]=x(1)^3*x(2)^2
> I[6]=x(2)*x(3)^2
> I[7]=x(1)*x(2)^2*x(3)^2
> I[8]=x(1)^2*x(2)^2*x(3)
> I[9]=x(1)^2*x(2)
> I[10]=x(1)*x(2)*x(3)
which randomly changes is as follows:
I[7]=x(1)*x(2)^2*x(3)^2
I[8]=x(1)^2*x(2)^2*x(3)
I[9]=x(1)^2*x(2)
---
I[7]=x(1)^2*x(2)
I[8]=x(1)*x(2)^2*x(3)^2
I[9]=x(1)^2*x(2)^2*x(3)
Singular call exited with status (33792) != 0
STDIN 1> LIB "tst.lib"; tst_init();
init >> MillerRabin.new.stat
STDIN 2> LIB "crypto.lib";
STDIN 3> ring R = 0,z,dp;
STDIN 4> number x=2;
STDIN 5> x=x^787-1;
STDIN 6> MillerRabin(x,3);
--- MillerRabin Illegal instruction (core dumped)
Manual/equidimZ.tst and Manual/primdecZ.tst: "// ** name conflict par(1) and var(1):a, renaming the VARIABLE to@@(1)"
-
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)
- get the list from Hans
Note: it seems that most of the problems are due to no normalization, mostly in case of a transcendental field extension
- Manual/normalToricRingFromBinomials.tst (randomly fails/passes on master branch / snork 64bit!!!)
-
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)
- Buch/Example_1_9_31.tst (normalization over K(Q)?)
- Plural/Syz-qso3-q3.tst, Plural/doc-syz.tst (too slow)