Todo

Ideas for Singular on top of libpolys

Fix the compilation of libkernel.a (BASE/kernel):

1. svn rebase!
2. make script (just make in BASE/kernel)
3. eliminate mod2.h (replace by aux...h)
4. reintroduce currRing/rSetCurrRing()
5. try compiling a test.cc with all the headerh #included inside (make test.oinBASE/kernel`):

• works except for kutil.h
• what is wrong with kutil.h? try to fix...

1. try compiling a test.cc with all the sources #included inside (make test.oinBASE/kernel`):

• no missing headers now!
• complains about a lot of stuff... :(

1. deal with structs.h!
2. install coeffs/mpr_complex.h and factory/templates/ftmpl_list.h
3. what about longrat.h modulop.h (i placed dummy including coeffs/number for now)
4. deal with other dummy's (re-introduced stubs instead of correcting lots of code)
5. Coordinate work with other active! people (please assign yourself) for working through files:

• structs.h
• dbm_sl.h
• eigenval.h
• fast_maps.h
• fegetopt.h
• fglm.h
• fglmgauss.h
• fglmvec.h
• gfan.h
• GMPrat.h
• hutil.h
• ideals.h
• idrec.h
• int64vec.h
• khstd.h
• kmatrix.h
• kstd1.h
• kstdfac.h
• mmalloc.h
• multicnt.h
• npolygon.h
• ratgring.h
• semic.h
• shiftgb.h
• spectrum.h
• splist.h
• stairc.h
• syz.h
• units.h
• walkMain.h
• walkProc.h
• walkSupport.h

Ideas for improving libpolys:

• we have a lot of easy to-get-get-rid-of-warnings (in compile time): eliminate them.
• create a single libpolys.a (and libpolys.so!?) out of all our libraries (libpolys/misc.a .... etc)
• try to make use of clang and Sun-Studio-compiler for libpolys: don't work as of now :(
• no n_InpAdd/n_InpDiv: only n_InpMult!
• Moreover we have 3 (!) variants of division WITHOUT ANY DESCRIPTIONS!!!:
  1. number n_Div(number a, number b, const coeffs r)
  2. number n_IntDiv(number a, number b, const coeffs r)
  3. number n_ExactDiv(number a, number b, const coeffs r)
• Writing/reading/conversion-to-string OF polynomials/numbers is very inconsistent and misleading: n_Write/p_Write should take reporter as an argument (can be optionally = standard reporter)
• number output (n_Write) MUST NOT change a number!
• same goes for the conversion to integer by n_Int!
• Only n_Test(NUMBER, COEFFS): no way to test a domain consistency... same for polys/rings?

Errors in libpolys:

Note: Frank will take a look!

• In the face of brand new extension fields by Frank: the following seem to be obsolete together with the corresponding n_Par/n_ParDeg...right???
  1. number ndPar(int, const coeffs r) { return n_Init(0,r); }
  2. int ndParDeg(number, const coeffs) { return 0; }
• search for above and switch to the new interface (Done by Frank?)
• Ring-interface is scarcely documented: add more doxygen there (Done by Frank?)