Activity
From 30 Sep 2012 to 29 Oct 2012
24 Oct 2012
- 14:51 Bug #271 (Closed): test lecture-HF4
- 12:10 Bug #271 (Closed): test lecture-HF4
- Cartatone reports that @lecture-HF4.cocoa5@ failed. The problem seems to be simply minor variations in the generator...
18 Oct 2012
- 15:19 Feature #270 (Closed): Distribution for linux
- Simplify process for preparing the distribution for linux
- 13:50 Bug #267 (Closed): Cyclotomic(106743) fails
- Closing this issue because the problem is that addressed in issue #268 (namely the range of exponents to allow).
- 12:52 Bug #267 (Resolved): Cyclotomic(106743) fails
- The problem was silent exponent overflow. In the file *@config.H@* there is the line:...
- 11:40 Bug #267 (Closed): Cyclotomic(106743) fails
- How is this possible?...
17 Oct 2012
- 12:17 Support #265 (Closed): Linking problems in CoCoA-5 GUI
- Sometimes building the C5 GUI fails because of linking problems.
The problem is that in *@C5Makefile@* there is no...
08 Oct 2012
- 12:07 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Further improvement of error message:...
05 Oct 2012
- 17:40 Feature #243: Normaliz tests for CoCoA5
- Add some tests and will extend it when new Nmz functions come.
- 17:22 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- ...
04 Oct 2012
- 12:12 Feature #7: Automatic mapping between (some) rings
- Assignment of an integer (or rational) to a RingElem will automatically map into the ring.
However, we want to be ...
03 Oct 2012
- 17:05 Bug #249 (Closed): BuiltIn Normaliz functions not available in CoCoA5Interpreter
- Due to a change of the compile flags variables in the autoconf.mk and a seperated build command for cocoa5 the COCOA_...
- 14:34 Feature #237 (In Progress): port homog/homogenized for ideal to cocoa-5
- Still missing: multihomogenization.
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...
- 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... - 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... - 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 ... - 08:35 Feature #19: How to get the version number of CoCoA-5?
- Added field @CompilationDefines@
(used to be part of @CompilationFlags@)
- 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... - 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...
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... - 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...
- 11:27 Feature #243: Normaliz tests for CoCoA5
- the line in Makefile running the tests is...
- 16:47 Support #240: GUI compilation: GMP is not naturally thread-safe
- it works for me!
- 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.
- 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... - 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...
- 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...
Also available in: Atom