Things_I_wish_Macaulay2_could_do

---

title: Things I wish Macaulay2 could do permalink: wiki/Things_I_wish_Macaulay2_could_do/ layout: wiki

Hans-Christian v. Bothmer

• p-adic numbers.
• fast linear algebra over finite fields.
• interface to a SQL database (to store interesting examples found by random search).
• I'd also like secions/subsections in simple doc.
• A way to change the coefficientfield of any ring (including quotient ring, and iterated ring QQ[a][b][c])
• have ZZ[x]**(ZZ/101) return (ZZ/101)[x] (for all rings over ZZ including quotien rings and iterated rings)
• calculate a basis of degree d polynomials in an ideal directly. super basis (d,I) seems to do a lot of uneccessary work.

Charley Crissman

• implement (SPACE, matrix, vector) to mirror (*, matrix, vector).
  • Done, on the trunk. [Dan].

Florian Geiß

• Tutorials inside of package documentation
• It would be nice to have a sections/subsections structure available in simple doc.
• special characters (e.g. german Umlaute ä,ö,ü or the letter ß) in authors name in the documentation.
• documentation of options without Macaulay checking that the function actually has these options.

Parallel: It would be nice to have

• a command to silently cancel a task (without getting an error message from the canceled task)
• a command that cancels only tasks that are on the schedule but have not yet started
• an option corresponding to "nice" in Unix that gives a certain priority to tasks (compatible with the graph of dependencies)

Lars Kastner

• It would be nice to know, how much of the code is actually run when a package is checked. One should also be able to see on the homepage if a package is well-checked.
• It would nice to have the possibility to make M2 flush its output immediately even if not run in a terminal, i.e. such that "for i from 1 to 5 do (sleep 1; << i)" prints out a number every second.

Jakob Kroeker

• provide an interface to LinBox or to FFPACK(LinBox kernel)

FFPAS-FFPACK is avaiable here:
svn co svn://linalg.org/fflas-ffpack/

get a simple rank computation example:
svn co https://centerfocus.svn.sourceforge.net/svnroot/centerfocus/strudel/trunk/c-program/LinuxSrc/sandbox/fflas-test/

Anton Leykin

Develop a fast implementation of StraightLineProgram that works with polynomial expressions (not expanded in the basis of monomials) over an arbitrary field complete with methods for arithmetic operations, automatic differentiation, etc.

Stefan Keil

• better controle of finite fields (GF 3 is of type quotient ring and not of type galois field and does not remember a generator)
  • this has been changed on the trunk for future versions. Compile from source to get the benefit now. [Dan]
• legendre symbol
• elliptic curves over finite fields and over number fields...

---

Return to the Main Göttingen2011 page