Spielwiese TODO Overview

Missing (?) Commits:

• many tests fail due to missing commits from master (see cherry)!!!
  • either go through commits (a lot of commits)
  • or for each fail search missing stuff (dengerous!!!)
• Examples of known issues which are probably due to missing commits:
  1. Manual/testNCfac.tst ?
  2. O: dump/read/write* output difference: Old/m24si.tst
  3. missing aliases? Short/alias.tst
  4. mlee: signed/positive 'mod' (different to master). Examples: Manual/chineseRem.tst (&Manual/coeffmod.tst?)
  5. O: missing Interpreter update: different indentation output during package/variables listing (e.g. Manual/{Dynamic_modules,Loading_a_library,Miscellaneous_oddities_4,exportto,importfrom,listvar,load,package_declarations}.tst)
  6. O: "chinrem/extgcd"? Short/paraplan_s.tst, Manual/rationalPointConic.tst: probably due to missing Hans's commits from master: 10912c588c406e6aab9dd2342c3d0c200096cb22 and 4b8a660ce83e9c109ec9eae1f413ab721fea2fd4 (see also paraplanecurves.lib::squareRoot)
  7. missing Interpreter update: '// ** SOME_VARIABLE_NAME is already global': see Manual/{allprint.tst,texobj.tst,closureFrac.tst,KSconvert.tst,texmap.tst,morsesplit.tst}
  8. mlee: ebf3a465 "primeFactorization"? see: Manual/primefactors.tst
  9. mlee: f25cc9241 seems to affect option handling
  10. mlee: 125f6587 see Short/bug_tr300.tst
  11. ~~O.: the following bug has been fixed in master but not in SW:ring r = integer,(x),dp;ideal i=0;qring q=i; // segfault !~~~

Bugs:

Differences in GB-engine:

• possibly different degree functions and/or
• possibly different option selected

Example tests:

1. Manual/Tracing_of_procedures.tst (!)

2. Old/weight2.tst

3. Old/res.tst, Old/res2.tst, Old/std_test.tst, Old/Example_3_2_3.tst (fixed already)

Maps between different rings

• imap/fetch
• map

stuff modifying the ring structure

• Groebner walk: currently completely broken
  1. Manual/frwalk.tst
• ringsum
  1. Short/ring*.tst
• ring.lib
• ringlist
• introducing a new type for "coeff" ?

integer as coeff

• ringtype versus cf->type mlee: got rid of ringtype

1. minAssZ, ringz, ...

tranzedental/algebraic extensions

• what is the "normal form"
• when to normalize
• general tests

see also: Remaining failing tests with SW

1. Old/agnes.tst
2. Old/algnorm.tst,...
3. Old/Zahlen0.tst

integer linear algebra

• qhweight/weights: overflow checks and/or use bigintmat

1. Short/qhw_s.tst (mlee: seems to fail only on 32-bit now)

Check Python-related stuff (TODO: A.Dreyer?)

1. pyobject*
2. polybori*

General

update libraries

• needs to be ported from master (Done by O. not easy...)

loading modules/libs

• needs to be ported from master
• needs discussions about standard paths

parallel.lib/signal handling/ssi-links

• needs to be ported from master

modstd.lib.loc (?),normal.lib,modnormal.lib

• needs to be based on waitfirst/waitall/parallel.lib (?!)

Adapt Sage/lmonade (TODO: Burcin?)

• create a SW package
• use SW (libSingular +....) instead of late libsingular in cython library layer (?)

Warnings elimination (easy task for people with a bit of C/C++ understanding)

1. choose a single simple warning occurring in multiple places and assign it to you (e.g. by writing about it here)
2. investigate the issue
3. find the best solution
4. in a non-trivial case: discuss it with others
5. fix it everywhere (e.g. using the multiple-search-and-replace tool)

here are some tips to make the hunt easier:

• configure with "CFLAGS=-Wno-unused-function -Wno-unused-parameter -Wno-unused-variable" "CXXFLAGS=-Wno-unused-function -Wno-unused-parameter -Wno-unused-variable"
• make with something like make -j -l 5 LIBTOOLFLAGS=--silent QUIET=yes -s V=0 (substitute that 5 with the number of cores on your CPU)
• best to use clang - configure with 'CC=clang' 'CXX=clang++'

Currently failing tests (69):

'New' probably due to missing commits (see above):

1. Manual/CornacchiaModified.tst
2. Manual/Dynamic_modules.tst
3. Manual/KSconvert.tst
4. Manual/Loading_a_library.tst
5. Manual/Miscellaneous_oddities_4.tst
6. Manual/Schoof.tst
7. Manual/Tracing_of_procedures.tst
8. Manual/allprint.tst
9. Manual/bigint_operations.tst
10. Manual/chineseRem.tst
11. Manual/closureFrac.tst
12. Manual/coeffmod.tst
13. Manual/exportto.tst
14. Manual/facFirstShift.tst
15. Manual/facSubWeyl.tst
16. Manual/importfrom.tst
17. Manual/listvar.tst
18. Manual/load.tst
19. Manual/morsesplit.tst
20. Manual/package_declarations.tst
21. Manual/powerpolyX.tst
22. Manual/primefactors.tst
23. Manual/rationalPointConic.tst
24. Manual/texmap.tst
25. Manual/texobj.tst
26. Old/m24si.tst
27. Short/alias.tst
28. Short/bug_tr300.tst
29. Short/bug_tr329.tst
30. Short/bug_tr357.tst
31. Short/ncfactor_example2_7FromMaster_s.tst
32. Short/ncfactor_koepfShift_s.tst
33. Short/ncfactor_koepf_s.tst
34. Short/ncfactor_tsai_s.tst
35. Short/paraplan_s.tst
36. Short/primefactors.tst

the rest:

• see also Remaining failing tests with SW for an older list (with additional details?)

1. Buch/Example_1_9_31.tst
2. BuchDL/Ex_L6.tst (update the test for SW and regenerate. easy todo!)
3. BuchDL/Ex_L9.tst
4. Manual/AGcode_Omega.tst
5. Manual/frwalk.tst
6. Manual/intersectZ.tst
7. Manual/minAssZ.tst
8. Manual/multiDegBasis.tst
9. Manual/paraPlaneCurve.tst
10. Manual/primdecZ.tst
11. Manual/primeClosure.tst
12. Manual/radicalZ.tst
13. Manual/syz_BR_PLURAL_BR.tst
14. Manual/testNCfac.tst
15. New/bigints.tst
16. Old/agnes.tst
17. Old/algnorm.tst
18. Old/longalg.tst
19. Old/palg.tst
20. Old/weight2.tst
21. Old/zahlen0.tst
22. Plural/Syz-qso3-q3.tst
23. Plural/doc-std.tst
24. Plural/doc-syz.tst
25. Short/brnoeth_s.tst
26. Short/equising_s.tst
27. Short/gcdp_s.tst
28. Short/imap.tst
29. Short/ncfactor_example_all_procedures_s.tst
30. Short/ncfactor_inhomog_s.tst
31. Short/rInit.tst
32. Short/ringmod2m.tst
33. Short/ringz.tst

There are some tests failing randomly already in master:

1. Manual/normalToricRingFromBinomials.tst
2. Manual/primeClosure.tst (TODO: Janko???)

Or on 32 bit machine

1. Eliminations (order of output elements)
   • Manual/Elimination.tst, Old/m8ex.tst

On flammo: wrong instructions 'random mod'?

see the comments to (https://github.com/Singular/Sources/pull/236). Examples:

• Manual/Cornacchia.tst
• Manual/CornacchiaModified.tst
• Manual/ShanksMestre.tst
• Manual/ellipticAllPoints.tst
• Manual/ellipticRandomCurve.tst
• Manual/ellipticRandomPoint.tst
• Manual/factorLenstraECM.tst
• Manual/rootsModp.tst
• Manual/squareRoot.tst

On both our 32-bit machines:

• Short/qhw_s.tst makes SW seg.fault as follows:

STDIN 50> intvec vv=qhweight(id); Singular : signal 6 (v: 0/ spielwiese ): current line:>> intvec vv=qhweight(id);<< Segment fault/Bus error occurred (r:12345678) please inform the authors trying to restart...

Some tests may fail together with normaliz 2.8:

1. Manual/diagInvariants.tst
2. Manual/ehrhartRing.tst
3. Manual/exportNuminvs.tst
4. Manual/finiteDiagInvariants.tst
5. Manual/intclMonIdeal.tst
6. Manual/intclToricRing.tst
7. Manual/intersectionValRingIdeals.tst
8. Manual/intersectionValRings.tst
9. Manual/normalToricRing.tst
10. Manual/normaliz.tst
11. Manual/readNmzData.tst
12. Manual/showNuminvs.tst
13. Manual/torusInvariants.tst