CoCoA » CoCoA-5

02 Oct 2012

14:04 Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi)

Several CoCoALib test files need to be improved, and probably some more new ones written. This could also prove a us... John Abbott

09:57 Feature #243: Normaliz tests for CoCoA5

CVSed first trivial test for Normaliz and mechanisms for running it when *HAVE_NORMALIZ=yes*
(modified RunTests.sh mo... Anna Maria Bigatti

09:54 Support #251: How to add a test for CoCoA-5 (CoCoAInterpreter)

*For external libraries*:
same as above, but the test file has to be called, say for library *Foo*,
*ExtLibFOO.coco... Anna Maria Bigatti

09:10 Support #251 (Closed): How to add a test for CoCoA-5 (CoCoAInterpreter)

# write a test file *foo.cocoa5* in *tests/*
# run it and check if it really does what you want it to do ;-)
# add ... Anna Maria Bigatti

08:35 Feature #19: How to get the version number of CoCoA-5?

Added field @CompilationDefines@
(used to be part of @CompilationFlags@)
Anna Maria Bigatti

08:32 Feature #250 (Closed): CoCoALib BuildInfo vs CoCoA-5 VersionInfo

Some functions defined in VersionInfo are just returning strings defined in BuildInfo.
Should this structure be simp... Anna Maria Bigatti

08:13 Bug #249: BuiltIn Normaliz functions not available in CoCoA5Interpreter

Very strange! I compiled yesterday and I see (at least one of ;-) Normaliz functions... Anna Maria Bigatti

01 Oct 2012

18:44 Bug #249 (Closed): BuiltIn Normaliz functions not available in CoCoA5Interpreter

Now Normaliz is available in C5 (see #207) but not in the text interpreter, very strange.
But it shows that tests f... Christof Soeger

17:11 Feature #243: Normaliz tests for CoCoA5

Another possibility is to modify the test script to behave slightly different with external libs. For an example libr... Christof Soeger

11:27 Feature #243: Normaliz tests for CoCoA5

the line in Makefile running the tests is... Anna Maria Bigatti

16:47 Support #240: GUI compilation: GMP is not naturally thread-safe

it works for me!
Anna Maria Bigatti

11:38 Support #240 (Resolved): GUI compilation: GMP is not naturally thread-safe

If Anna and Renzo confirm that my solution works for them too, I'll close this issue.
John Abbott

11:28 Feature #245: Meaningful error for functions defined in "missing" external library

Here is a reasonable proposal for how we could implement the ideas above.
We define a CPP macro called @DECLARE_MISS... John Abbott

11:13 Feature #245: Meaningful error for functions defined in "missing" external library

Initially I was unconvinced, but then realised that an error message is necessary, and naturally the error message sh... John Abbott

10:19 Feature #245 (Closed): Meaningful error for functions defined in "missing" external library

Right now if an external library, say, Normaliz is not linked in, all its cocoa-5 functions are not defined.
This me... Anna Maria Bigatti

28 Sep 2012

17:31 Feature #243 (Closed): Normaliz tests for CoCoA5

I will make a little Normaliz test CoCoA5 script.
But we have to find a way how to let it run automatically if and... Christof Soeger

16:18 Support #242 (In Progress): CoCoA-5 Projects for students (e.g. crediti F and tesi)

Here we list all ideas for possible student projects.
Some are already in redmine, so we just add them as "related i... Anna Maria Bigatti

12:49 Support #240 (In Progress): GUI compilation: GMP is not naturally thread-safe

I confirmed the problem using the GUI on my computer (Mac OS 10.5.8).
I reinstalled GMP (version 5.0.5), selecting a... John Abbott

27 Sep 2012

18:26 Support #240: GUI compilation: GMP is not naturally thread-safe

The first failing computation was (by L.Robbiano)... Anna Maria Bigatti

18:24 Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe

Difficult to notice, but it appears that the GUI (rarely) crashes (maybe!) for GMP not being thread-safe (the GUI run... Anna Maria Bigatti

18:10 Bug #239 (Resolved): Normaliz functions not available in C5 GUI (again!)

The problem turned out to be not passing @-DCoCoA_WITH_NORMALIZ@ flag to the script which builds @C5Makefile@.
The... John Abbott

18:03 Bug #239 (Closed): Normaliz functions not available in C5 GUI (again!)

The builtin normaliz functions are not available in the C5 GUI. John Abbott

26 Sep 2012

17:53 Bug #220 (Closed): Trouble on Linux: many CoCoA-5 tests fail (0.9952)

John Abbott

17:52 Bug #197: ./C5.bin: fork: Resource temporarily unavailable

In the @src/CoCoA-5/@ directory I found that @make clean; make@ was sufficient on my computer. John Abbott

14:57 Feature #237 (Closed): port homog/homogenized for ideal to cocoa-5

Anna Maria Bigatti

10:57 Feature #235 (New): Add LucasTest to cocoa5?

primality test implemented in CoCoALib
Anna Maria Bigatti

25 Sep 2012

16:14 Feature #7 (In Progress): Automatic mapping between (some) rings

John Abbott

21 Sep 2012

14:32 Slug #31: theValue makes copy

Giovanni Lagorio wrote:
> The solution is to implement a move constructor in BigInt (and every "huge" data structure... Anna Maria Bigatti

14:22 Slug #230 (New): More curiously slow code -- squaring a polynomial

The function @SquaredPoly@ should be of quadratic complexity, so doubling the degree should increase computation by a... John Abbott

10 Sep 2012

10:46 Bug #226 (Closed): HilbertBasis segv

... Anna Maria Bigatti

10:40 Support #225 (Closed): HilbertBasis: cocoa vs normaliz

In CoCoA HilbertBasis(M) is the HilbertBasis of the kernel of M.
In Normaliz is the HilbertBasis of the monoid "gene... Anna Maria Bigatti

03 Sep 2012

17:19 Bug #217 (Closed): Makedependencies of CoCoA-5 fails if BOOST is absent

Niko reports that it works for him, so I'm closing this issue.
John Abbott