Activity
From 25 Sep 2012 to 24 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
-
- Simplify process for preparing the distribution for linux
-
- Closing this issue because the problem is that addressed in issue #268 (namely the range of exponents to allow).
-
- The problem was silent exponent overflow. In the file *@config.H@* there is the line:...
-
- How is this possible?...
17 Oct 2012
-
- 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
-
- Add some tests and will extend it when new Nmz functions come.
-
- ...
04 Oct 2012
-
- Assignment of an integer (or rational) to a RingElem will automatically map into the ring.
However, we want to be ...
03 Oct 2012
-
- Due to a change of the compile flags variables in the autoconf.mk and a seperated build command for cocoa5 the COCOA_...
-
- Still missing: multihomogenization.
02 Oct 2012
-
- Several CoCoALib test files need to be improved, and probably some more new ones written. This could also prove a us...
-
- CVSed first trivial test for Normaliz and mechanisms for running it when *HAVE_NORMALIZ=yes*
(modified RunTests.sh mo... -
- *For external libraries*:
same as above, but the test file has to be called, say for library *Foo*,
*ExtLibFOO.coco... -
- # write a test file *foo.cocoa5* in *tests/*
# run it and check if it really does what you want it to do ;-)
# add ... -
- Added field @CompilationDefines@
(used to be part of @CompilationFlags@)
-
- Some functions defined in VersionInfo are just returning strings defined in BuildInfo.
Should this structure be simp... -
- Very strange! I compiled yesterday and I see (at least one of ;-) Normaliz functions...
01 Oct 2012
-
- Now Normaliz is available in C5 (see #207) but not in the text interpreter, very strange.
But it shows that tests f... -
- Another possibility is to modify the test script to behave slightly different with external libs. For an example libr...
-
- the line in Makefile running the tests is...
-
- it works for me!
-
- If Anna and Renzo confirm that my solution works for them too, I'll close this issue.
-
- Here is a reasonable proposal for how we could implement the ideas above.
We define a CPP macro called @DECLARE_MISS... -
- Initially I was unconvinced, but then realised that an error message is necessary, and naturally the error message sh...
-
- Right now if an external library, say, Normaliz is not linked in, all its cocoa-5 functions are not defined.
This me...
28 Sep 2012
-
- I will make a little Normaliz test CoCoA5 script.
But we have to find a way how to let it run automatically if and... -
- Here we list all ideas for possible student projects.
Some are already in redmine, so we just add them as "related i... -
- I confirmed the problem using the GUI on my computer (Mac OS 10.5.8).
I reinstalled GMP (version 5.0.5), selecting a...
27 Sep 2012
-
- The first failing computation was (by L.Robbiano)...
-
- Difficult to notice, but it appears that the GUI (rarely) crashes (maybe!) for GMP not being thread-safe (the GUI run...
-
- The problem turned out to be not passing @-DCoCoA_WITH_NORMALIZ@ flag to the script which builds @C5Makefile@.
The... -
- The builtin normaliz functions are not available in the C5 GUI.
26 Sep 2012
-
-
- In the @src/CoCoA-5/@ directory I found that @make clean; make@ was sufficient on my computer.
-
-
- primality test implemented in CoCoALib
25 Sep 2012
Also available in: Atom