CoCoA » CoCoA-5

06 Jul 2023

12:14 Feature #1752: Make it easy to run the tests in a public/distrib version

One possibility is to include the @src/CoCoA-5/tests@ directory in the distribution... it is no doubt small in compar... John Abbott

12:12 Feature #1752 (New): Make it easy to run the tests in a public/distrib version

It is not currently so easy to verify that the distributed "pre-compiled" version of CoCoA-5 passes all the tests.
M... John Abbott

03 Jul 2023

20:54 Support #1751: Manual of functions vs ManExamples

Look at the function... Anna Maria Bigatti

18:13 Support #1751 (In Progress): Manual of functions vs ManExamples

In the manual we have things like these:... Anna Maria Bigatti