CoCoA » CoCoALib

23 Jul 2013

18:41 Support #391 (Closed): Check consistency of template class factorization

I would find convenient to have a function checking whether the factorization is consistent, _i.e._ all factors and r... Anna Maria Bigatti

18:21 Feature #390 (Feedback): Store unique copy of QQ[t_1..t_n] (RingQQt) in GlobalManager

All related discussion is in #254 Anna Maria Bigatti

18:10 Feature #390 (Closed): Store unique copy of QQ[t_1..t_n] (RingQQt) in GlobalManager

Anna Maria Bigatti

18:07 Feature #203 (Feedback): Function to get the Hilbert Polynomial ring from GlobalManager

Anna Maria Bigatti

16:04 Bug #389: problem loading library.H (parallel make -j4)

I don't know how to fix this properly -- need help from a @Makefile@ expert.
*Workaround:* make the unified header... John Abbott

14:47 Bug #389 (Feedback): problem loading library.H (parallel make -j4)

Anna Maria Bigatti

14:45 Bug #389: problem loading library.H (parallel make -j4)

Well not all debugging was useless: I cleaned up some .H (yuk ;-) and .C including library.H. (it makes the compilat... Anna Maria Bigatti

14:24 Bug #389 (Closed): problem loading library.H (parallel make -j4)

I had problems loading library.H in my new installation on linux:
compilation of files including @library.H@ gives
... Anna Maria Bigatti

09:56 Feature #387 (New): implement algorithm(s) for resolutions

(with M.Caboara) Anna Maria Bigatti

09:46 Feature #386 (In Progress): add resolution data type

Description:
work in progress Anna Maria Bigatti

11 Jul 2013

17:08 Feature #385: Design new errors using inheritance

The (work in progress) list of errors is now in the documentation (cvs will help us getting to the final design)
@do... Anna Maria Bigatti

14:50 Feature #92: Error Codes

What is a reasonable syntax for adjoining a suppl mesg to an error object?
(A) Anna suggests a fn-call style: *@Inde... John Abbott

14:40 Feature #92: Error Codes

Note: our current thinking is to have only very few types of error, and allow each error object to contain a _supplem... John Abbott

10 Jul 2013

15:28 Feature #385: Design new errors using inheritance

After a long discussion (yesterday) with Anna, we concluded that:
# we are too ignorant about catching/handling excep... John Abbott

08 Jul 2013

14:24 Feature #385: Design new errors using inheritance

BOOST exceptions are quite sophisticated. Since exceptions currently play a very minor role in CoCoALib, *I am incli... John Abbott

12:10 Feature #385: Design new errors using inheritance

The following URL @http://stackoverflow.com/questions/9387377/how-to-design-exception-types-in-c@ suggests deriving a... John Abbott

11:18 Feature #385: Design new errors using inheritance

The current error mechanism allows for *error messages in different languages* -- and the user can change language ar... John Abbott

11:10 Feature #385 (In Progress): Design new errors using inheritance

So that C++'s *@try...catch@* mechanism can be used easily we should redesign CoCoALib's error codes so that they are... John Abbott

04 Jul 2013

17:06 Feature #383: Resolution/morse: integrate Mario Albert's code into CoCoALib

The inclusion of Mario's code is essentially complete.
There are still several questions about its public interface.
John Abbott

27 Jun 2013

19:05 Feature #383 (In Progress): Resolution/morse: integrate Mario Albert's code into CoCoALib

John and Mario have been incorporating his code into CoCoALib.
We have also cleaned the code somewhat. Perhaps Co... John Abbott

19:00 Feature #383 (In Progress): Resolution/morse: integrate Mario Albert's code into CoCoALib

Mario Albert has written an implementation for computing resolutions & Betti numbers.
Incorporate it into CoCoALib John Abbott