Activity

From 10 Jan 2013 to 08 Feb 2013

18:18 Feature #125: Matrix equation solving; linear system solving: Check compatibility of fn names with those in CoCoA-5 (see #206).
Need fast lin sys solving over QQ for Buchberger... John Abbott
18:04 Feature #300 (Closed): Add fault tolerant rational reconstruction to library: Implement the various fault tolerant rational reconstruction algms, and incorporate them into CoCoALib.
Experiment... John Abbott
18:00 Feature #143 (In Progress): Buchberger-Moeller (parent task): John Abbott

08:10 Feature #206: Matrix equation solving: LinKer: Both ways make sense, then I think we should follow the usual rule: "do what other systems do" (and then find a good ... Anna Maria Bigatti

11:55 Feature #206: Matrix equation solving: LinKer: Non sono d'accordo. Se si guarda la risposta, non si può proprio capire che le soluzioni sono le colonne.
Infatti que... Lorenzo Robbiano
09:06 Feature #206: Matrix equation solving: LinKer: I think that solutions (and kernel) *X* should be written so that
*AX = b* and that is what we have chosen for CoCoA... Anna Maria Bigatti

16:41 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks: Removed leaks from *toric*.
This is now the situation on my Mac (which seems to have the mentioned problem with "thro... Anna Maria Bigatti
12:51 Feature #206: Matrix equation solving: LinKer: Renzo does not like the current interface where the elements of the kernel appear as *columns* rather than rows. He ... John Abbott

18:01 Design #297: Modules design: brainstorming: I think *GensToCols/GensToRows* would be quite useful functions, but what would be the actual meaning? It should rep... Anna Maria Bigatti
11:51 Design #297: Modules design: brainstorming: It would make lots of sense a syntax for creating a submodule from a matrix.
I suggest the syntax *SubmoduleCols(F,M... Anna Maria Bigatti
11:43 Design #297: Modules design: brainstorming: I added (in CoCoA-5) the function *ModuleOf* analogue for *RingOf*
Does it make sense? for a ModuleElem yes, for a ... Anna Maria Bigatti

15:00 Feature #298 (In Progress): Valgrind: keep CoCoALib at 0 memory leaks: JAA has corrected the leak which was detected in @test-RingElem1@.
JAA running @valgrind-3.8.1@ on his computer was ... John Abbott
08:26 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks: Almost all tests run with @definitely lost: 0 bytes in 0 blocks@.
These are the exceptions (I guess many are related)... Anna Maria Bigatti
08:02 Feature #298 (Closed): Valgrind: keep CoCoALib at 0 memory leaks: We say CoCoALib does not leak memory, and that's mostly true.
Run... Anna Maria Bigatti

11:41 Design #297 (In Progress): Modules design: brainstorming: Currently (25th Jan 2013) we have this inheritance:... Anna Maria Bigatti

16:37 Feature #229: Generator for random ring elements: Is this true? do we really need it?
I suggest we remove this issue.
Anna Maria Bigatti

18:27 Feature #278 (In Progress): add CoeffVecWRT to cocoalib: The function *@CoeffVecWRT@* has been implemented (and documented).
Needs testing.
John Abbott
16:36 Design #291 (Feedback): NewZZmod and NewRingFp: improve manual, clarify implementation: Added comment to doc files. John Abbott
15:30 Feature #144 (Feedback): Buchberger-Moeller: generic impl: Improved impl to handle case where NumPts differs from NumIndets.
Added *@IdealOfPoints@* to CoCoA-5.
Added a test ... John Abbott
15:21 Feature #123: IdealOfPoints with generic coeffs: A reasonable outline of algorithm is:
# Choose a suitable homomorphism (to a prime (finite?) field?).
# Compute bas... John Abbott

19:18 Feature #51: polynomial coefficient extraction w.r.t. variable: After verbal discussion with Anna, we decided that we prefer that the "terms" in the result be in *decreasing order o... John Abbott

09:32 Feature #51: polynomial coefficient extraction w.r.t. variable: I think that, by its current implementation, the order of the elements in the result of *@CoefficientsWRT@* is set (i... Anna Maria Bigatti

Also available in: Atom

CoCoA » CoCoALib