CoCoA

24 Jul 2013

18:02 CoCoA-5 Bug #394 (Rejected): problem with ContentFreeFactor (and missing manual entry)

the problem probably is at cocoalib level
*2014-04* probably there was no problem, anyway it works fine now and ha... Anna Maria Bigatti

17:44 CoCoA-5 Feature #392 (Feedback): add Value::from(factorization<..>)

Implemented for BigInt and RingElem (in AST.H and Interpreter.C).
Looks like it should be templated, but I'm doing s... Anna Maria Bigatti

17:39 CoCoA-5 Feature #392 (Closed): add Value::from(factorization<..>)

Adding it functions like *factor* and *SmoothFactor* can become oneliners Anna Maria Bigatti

17:41 CoCoA-5 Feature #393 (Closed): add Value::from(HPSeries)

for and elegant porting of cocoalib's *HilbertSeries* to cocoa5 Anna Maria Bigatti

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

I tested it and I didn't manage to create a messy library.H again.
Anna Maria Bigatti

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

I have modified the script *@MakeUnifiedHeader.sh@*.
It now uses temporary files, so should avoid problems
if sever... John Abbott

23 Jul 2013

18:41 CoCoALib 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 CoCoALib 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 CoCoALib Feature #390 (Closed): Store unique copy of QQ[t_1..t_n] (RingQQt) in GlobalManager

Anna Maria Bigatti

18:13 CoCoA-5 Feature #93 (Closed): Hilbert series: global output rings for non-standard gradings

The ring is called *RingQQt*, see related issue, closing this one. Anna Maria Bigatti

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

Anna Maria Bigatti

16:04 CoCoALib 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 CoCoALib Bug #389 (Feedback): problem loading library.H (parallel make -j4)

Anna Maria Bigatti

14:45 CoCoALib 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 CoCoALib 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

11:15 CoCoA-5 Feature #381 (Feedback): Emacs User Interface: Easier binding for sending a line to cocoa-5

There was a problem with Emacs 23:
cua-mode had the binding C-RET for "cua-rectangle-mark-key", so I had to overwrit... Anna Maria Bigatti

10:05 CoCoA-5 Feature #388 (New): port optimized resolutions to CoCoA-5

Anna Maria Bigatti

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

(with M.Caboara) Anna Maria Bigatti

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

Description:
work in progress Anna Maria Bigatti

11 Jul 2013

17:08 CoCoALib 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 CoCoALib Feature #92: Error Codes: BadIndex

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 CoCoALib Feature #92: Error Codes: BadIndex

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 CoCoALib 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:27 CoCoA-5 Design #83: C++11 compatibility questions

C++11 has a more flexible exception mechanism than the one in C++. Reconsider the design of CoCoALib exceptions (see... John Abbott

14:24 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

05 Jul 2013

15:04 CoCoA-5 Feature #384 (Closed): IsZero for matrix

The built-in fn *@IsZero@* works for many types (@INT, RAT, RINGELEM, MODULEELEM@ and @IDEAL@).
Should it work for m... John Abbott

04 Jul 2013

17:06 CoCoALib 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

28 Jun 2013

14:09 CoCoA-5 Feature #380: Add Frobby functions to cocoa-5

Corrected Frobby fn names: in example file, test file & RegsiterServer file..
Still need discuss about Register se... John Abbott

27 Jun 2013

19:05 CoCoALib 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 CoCoALib 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

17:05 CoCoA-5 Bug #382 (Closed): Subtle bug with CoeffEmbeddingHom

This lines cause crashing (bug already tracked in CoCoALib)... Anna Maria Bigatti

26 Jun 2013

19:49 CoCoA-5 Feature #381 (Resolved): Emacs User Interface: Easier binding for sending a line to cocoa-5

These are the two bindings:
C-return (works in graphical emacs) [note: *one* movement]
C-c return (works both in... Anna Maria Bigatti

16:45 CoCoA-5 Feature #381 (Closed): Emacs User Interface: Easier binding for sending a line to cocoa-5

set an easier binding (easier than C-c C-l) for sending a line to cocoa-5.
Macaulay-2 mode sets f11, but that's unco... Anna Maria Bigatti

12:12 CoCoA-5 Feature #380 (In Progress): Add Frobby functions to cocoa-5

functions in ExternalLib-Frobby have been ported: prefix is *Frb*
Might change names slightly.
Manual partially upd... Anna Maria Bigatti

12:07 CoCoA-5 Feature #380 (Closed): Add Frobby functions to cocoa-5

Anna Maria Bigatti