CoCoA » CoCoALib

11 Feb 2013

18:49 Support #302: Compilation on M$Windows: Visual Studio

John Abbott wrote:
> Try separating the definition from the declaration:
Tried, but no success :-(
With the in... Christof Soeger

15:16 Support #302: Compilation on M$Windows: Visual Studio

Try separating the definition from the declaration:
inside the class definition put just... John Abbott

14:59 Support #302: Compilation on M$Windows: Visual Studio

Next I tried to build the console application. It does not need qt.
But here I get an error during the compilation... Christof Soeger

14:54 Support #302: Compilation on M$Windows: Visual Studio

Anna Maria Bigatti wrote:
> Christof Soeger wrote:
> > I'm aware that the RandomXYZ.C files are removed. I only wan... Christof Soeger

14:14 Support #302: Compilation on M$Windows: Visual Studio

Christof Soeger wrote:
> I'm aware that the RandomXYZ.C files are removed. I only wanted to document that this chang... Anna Maria Bigatti

14:11 Support #302: Compilation on M$Windows: Visual Studio

I agree that most warnings are not important, I just wanted to give them to you, since they are valid sometimes. And ... Christof Soeger

12:43 Support #302: Compilation on M$Windows: Visual Studio

... John Abbott

12:39 Support #302: Compilation on M$Windows: Visual Studio

... John Abbott

12:38 Support #302: Compilation on M$Windows: Visual Studio

Please disable your compiler's warning about automatic conversion from @int@ to @bool@. Many basic functions "inheri... John Abbott

12:31 Support #302: Compilation on M$Windows: Visual Studio

The source files @RandomXYZ.C@ were removed from CVS some time (months) ago. Please update from the current CVS.
John Abbott

12:28 Support #302: Compilation on M$Windows: Visual Studio

Even Microsoft says that it should work with an @unsigned long@:
*@http://msdn.microsoft.com/en-us/library/zfae7kt8%2... John Abbott

12:01 Support #302: Compilation on M$Windows: Visual Studio

On my work laptop I have VS 2010. In addition to the already mentioned points I get an error:... Christof Soeger

11:35 Support #302: Compilation on M$Windows: Visual Studio

I think "ExternalLibs-NormalizTypes.C" is a relict from the time when libnormaliz was not a compiled independently an... Christof Soeger

11:10 Support #302 (In Progress): Compilation on M$Windows: Visual Studio

Bruno wrote:
I tried the new cocoa version and it is different from the version you
sent me. There is at least a ... Christof Soeger

11:09 Support #302 (In Progress): Compilation on M$Windows: Visual Studio

We should offer all documentation is needed for compiling CoCoALib/CoCoA-5 on MSWindows.
CoCoA-5 has been compiled... Christof Soeger

18:31 Feature #304: Module ordering and grading (and shifts)

Now the function *NewFreeModule(R, n)* calls *NewGradedFreeModule(R, n)* when *R* is a polynomial ring (more precisel... Anna Maria Bigatti

15:59 Feature #304 (Closed): Module ordering and grading (and shifts)

Set the interface for ordering and grading (and then shifts)
Add tests and examples.
Port to CoCoA5 Anna Maria Bigatti

16:18 Feature #236 (Feedback): Add homog (homogenized) for ideal

Anna Maria Bigatti

15:56 Feature #210 (Resolved): Normaliz: "double" cone for speed and safety

Anna Maria Bigatti

15:53 Feature #303: Rows and Columns of a matrix

I prefer *cols* (always the same abbreviation).
Or should it be *GetCols*?
Which name represents better it is makin... Anna Maria Bigatti

15:30 Feature #303 (Closed): Rows and Columns of a matrix

Two new fns *@rows(M)@* and *@cols(M)@* -- or should its name be *@columns@*?
These take a matrix and return a lis... John Abbott

15:35 Feature #298 (Feedback): Valgrind: keep CoCoALib at 0 memory leaks

John Abbott

15:24 Feature #300: Add fault tolerant rational reconstruction to library

The hardest parts will be fixing the UI and choosing the name(s) of the fn(s).
I should also put in my impl of the... John Abbott

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

06 Feb 2013

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

05 Feb 2013

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

04 Feb 2013

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

30 Jan 2013

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

28 Jan 2013

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

25 Jan 2013

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

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

22 Jan 2013

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

21 Jan 2013

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

18 Jan 2013

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