CoCoA

08 Feb 2013

18:18 CoCoALib 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:12 CoCoA-5 Design #301 (Closed): How to obtain an integer from a finite field element? AsINT?

Let @X@ be a ring elem belonging to a finite field.
How can I get an integer value from @X@?
At the moment *@AsINT(... John Abbott

18:04 CoCoALib 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 CoCoALib Feature #143 (In Progress): Buchberger-Moeller (parent task)

John Abbott

06 Feb 2013

16:29 Support #266: Compilation on M$Windows: cygwin

After a fresh install I can confirm it still works as before. :-)
The INSTALL-cygwin file is indeed helpful. It sa... Christof Soeger

08:10 CoCoALib 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

05 Feb 2013

11:55 CoCoALib 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 CoCoALib 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

04 Feb 2013

16:41 CoCoALib 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 CoCoALib 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

30 Jan 2013

18:06 CoCoA-5 Feature #299 (New): GUI: message "running.." (close to output window?)

The message saying that cocoa is running should be close to the output window (instead of at the bottom)
Anna Maria Bigatti

18:01 CoCoALib 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 CoCoALib 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 CoCoALib 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

28 Jan 2013

15:00 CoCoALib 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 CoCoALib 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 CoCoALib 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

25 Jan 2013

17:40 CoCoA-5 Bug #226: HilbertBasis segv

Definitely *@valgrind@* time!
I suppose the bug never revealed itself before because @malloc@ may well reserve sli... John Abbott

15:40 CoCoA-5 Bug #226: HilbertBasis segv

Still some error (I guess of the same nature): this time triggered by... Anna Maria Bigatti

14:47 CoCoA-5 Bug #226 (Resolved): HilbertBasis segv

This was (one of) the bug(s?)... Anna Maria Bigatti

11:41 CoCoALib Design #297 (In Progress): Modules design: brainstorming

Currently (25th Jan 2013) we have this inheritance:... Anna Maria Bigatti

24 Jan 2013

16:28 CoCoA-5 Bug #226: HilbertBasis segv

I further reduced the error:... Anna Maria Bigatti

16:01 CoCoA-5 Bug #226 (In Progress): HilbertBasis segv

Here is some "simpler" CoCoA-5 code which triggers the problem:... John Abbott

14:23 CoCoA-5 Bug #102 (Feedback): Packages: should exported functions be automatically "Protect"ed?

JAA notes that _system protected_ variables cannot be unprotected (_e.g._ the variable *@QQ@*).
Internally the inter... John Abbott

12:11 CoCoA-5 Support #296: Documentation for Parser/Interpreter

I have already assigned it to myself as I'm the one most using it Anna Maria Bigatti

11:42 CoCoA-5 Support #296: Documentation for Parser/Interpreter

I thought the most difficult question would be _who is going to do it?_
John Abbott

08:37 CoCoA-5 Support #296 (In Progress): Documentation for Parser/Interpreter

Even though the code is written quite well it would be handy to have some documentation ;-)
The most difficult quest... Anna Maria Bigatti

08:28 CoCoA-5 Design #294: BuiltInFunctions: General "OneLiner" for arguments of different type

Not quite the dream solution, but I found this function making life easier:
*@evalArgAsT1orT2orT3@*... Anna Maria Bigatti

23 Jan 2013

17:42 CoCoA-5 Bug #102 (In Progress): Packages: should exported functions be automatically "Protect"ed?

After considering typical use patterns, it makes most sense for *@Export@* to protect the exported names, and for *@D... John Abbott

15:40 CoCoA-5 Support #293 (Feedback): Add CpuTime to C5 manual

Anna Maria Bigatti

14:50 CoCoA-5 Bug #226: HilbertBasis segv

If you run the two offending lines in a fresh CoCoA-5 then C5 reports an error that @CurrentRing@ has no value! This... John Abbott

14:43 CoCoA-5 Bug #100: BringIn should map only the indets in its arg

We need a sort of _partial_ canonical hom which maps symbols which are not in the codomain to zero. Before applying ... John Abbott

12:51 CoCoA-5 Design #294 (Closed): BuiltInFunctions: General "OneLiner" for arguments of different type

one liner functions work like a dream (thanks Giovanni! ;-)
Is it possible to simplify writing the code for _overloa... Anna Maria Bigatti

12:44 CoCoA-5 Feature #193: BuiltinFunctions.C getting too long (2000 lines)

Splitting the code seems to work very well.
Now I wonder whether I should also split BuiltinFunctions separating the... Anna Maria Bigatti

22 Jan 2013

18:17 CoCoA-5 Feature #200: add modules and module operations

added zero(module), BaseRing(module), RingOf(module), RingOf(ModuleElem)
added stub documentation
Anna Maria Bigatti

17:17 CoCoA-5 Feature #200 (In Progress): add modules and module operations

added types MODULE and MODULEELEM.
added functions: NewFreeModule, arithmetics for type MODULEELEM. Anna Maria Bigatti

17:19 CoCoA-5 Support #293 (In Progress): Add CpuTime to C5 manual

Anna Maria Bigatti

16:51 CoCoA-5 Support #293 (Closed): Add CpuTime to C5 manual

Add @CpuTime@ to CoCoA-5 manual.
Suggested keywords: time, cpu, timing, timer John Abbott

16:37 CoCoALib Feature #229: Generator for random ring elements

Is this true? do we really need it?
I suggest we remove this issue.
Anna Maria Bigatti

15:21 Bug #238: Cleaner CVS?

Another little argument for my point:
@make veryclean; cvs up@
gives warnings like
@cvs update: warning: `includ... Christof Soeger

21 Jan 2013

18:27 CoCoALib Feature #278 (In Progress): add CoeffVecWRT to cocoalib

The function *@CoeffVecWRT@* has been implemented (and documented).
Needs testing.
John Abbott

16:36 CoCoALib Design #291 (Feedback): NewZZmod and NewRingFp: improve manual, clarify implementation

Added comment to doc files. John Abbott

15:30 CoCoALib 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 CoCoALib 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

18 Jan 2013

19:18 CoCoALib 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

17 Jan 2013

18:15 CoCoA-5 Design #292 (Closed): Rename IndetsCalled to indets

Rename *@IndetsCalled@* to *@indets@*.
Non-trivial because there is already a fn called *@indets@* John Abbott

15:24 CoCoA-5 Feature #273: Package for Polynomial Algebra Homomorphisms

Giulia has produced a first version of the code for phi: R/I --> S/J.
For next time she will:
* change the ring name ... John Abbott

11 Jan 2013

09:32 CoCoALib 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