CoCoA

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

20 Jun 2013

14:46 CoCoALib Design #377: IsDivisible -- exact semantics?

JAA continues to believe that attempting to compute @0/0@ in any ring should give an error. Giving an answer is almo... John Abbott

19 Jun 2013

19:01 CoCoALib Feature #379 (Closed): Iter for subsets/tuples

Add new iters for subsets/tuples.
[JAA see file @ShortTerm/oscar.C@] John Abbott

17:16 CoCoA-5 Bug #378 (Closed): Ungraceful behaviour: Source inside For loop

The following input produces an unexpected effect:... John Abbott

12:20 Bug #238: Cleaner CVS?

Another argument: The CVS merged some Makefile_dependencies and when I then tried to compile I just got
Makefile_... Christof Soeger

10:57 CoCoALib Design #377 (In Progress): IsDivisible -- exact semantics?

The problem with dividing @4/2@ in @ZZ/6@ is that the true answer is @2@ in @ZZ/3@ -- a different ring! The answer ... John Abbott

10:28 CoCoALib Design #377 (Closed): IsDivisible -- exact semantics?

While dealing with issue #248 I realised that the exact semantics of @IsDivisible@ are not clear.
The problem is whe... John Abbott

18 Jun 2013

23:11 CoCoA-5 Design #376: Hilbert: Redesign hp.cpkg5 and public functions in TmpHilbert.C

work on numerator in hp.cpkg5 Anna Maria Bigatti

23:08 CoCoA-5 Design #376 (In Progress): Hilbert: Redesign hp.cpkg5 and public functions in TmpHilbert.C

modify the current design (hp.cpkg5) to reflect the decision made for CoCoALib. Anna Maria Bigatti

23:05 CoCoALib Feature #203 (In Progress): Function to get the Hilbert Polynomial ring from GlobalManager

Now that we have *RingQQt(n)* clean up older tentatives.... Anna Maria Bigatti

19:12 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib

Christof Soeger wrote:
> Anna Maria Bigatti wrote:
> > ... what about *@RingQQt(n)@*? That is pretty self-explanat... Anna Maria Bigatti

18:40 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib

New name implemented & checked-in.
John Abbott

14:15 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib

Anna Maria Bigatti wrote:
> ... what about *@RingQQt(n)@*? That is pretty self-explanatory and flexible ;-)
Yes ... Christof Soeger

08:54 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib

Christof Soeger wrote:
> I spoke with W.Bruns about a name for the ring. One suggestion is PolynomialInvarianceRing ... Anna Maria Bigatti

10:37 CoCoA-5 Feature #375 (New): allow single function call in "use" : e.g. "Use NewFractionField(R);"

After "use" the interpreter expectes the special poly ring constructor, such as @QQ[x,y]@, with the unconventional me... Anna Maria Bigatti

08:49 CoCoALib Feature #374: Porting "IdealOfProjectivePoints"

I know this is not pretty, but for the time being there is this workaround (if you can put your points in an affine s... Anna Maria Bigatti

08:34 CoCoALib Feature #374: Porting "IdealOfProjectivePoints"

requested by Marie Ermete and Susan Cooper
Anna Maria Bigatti

08:15 CoCoALib Feature #374 (Closed): Porting "IdealOfProjectivePoints"

port also @IdealOfProjectivePoints@ Anna Maria Bigatti

17 Jun 2013

18:26 CoCoALib Bug #351 (Resolved): Problems with DenseMatImpl::myResize

fixed really subtle bug in myResize()... Anna Maria Bigatti

16:08 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib

I spoke with W.Bruns about a name for the ring. One suggestion is PolynomialInvarianceRing (or a shortened form) inst... Christof Soeger

11:59 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib

Design:
new class *HilbertSeries*: member fields
*myNum* RingElem and *myDenFactors* factorization.
Constructors... Anna Maria Bigatti

15:26 CoCoA-5 Support #325: CoCoAManual: display syntax first

I changed the code in OnlineHelp.C so that syntax is displayed first (2013-02).
It would be worth having the syntax ... Anna Maria Bigatti

15:15 CoCoALib Feature #373 (In Progress): add DeleteCol, DeleteRow

first implementation and some tests and documentation. Anna Maria Bigatti

15:12 CoCoALib Feature #373 (Closed): add DeleteCol, DeleteRow

Add functions for deleting row and cols from matrices (no throw guarantee) Anna Maria Bigatti

14:31 CoCoA-5 Feature #372 (Feedback): add IsFactorClosed

Added a reasonable impl of *@IsFactorClosed@* to the package @monomial_ideals.cpkg5@.
Added doc to CoCoAManual.
John Abbott

11:18 CoCoA-5 Feature #372 (Closed): add IsFactorClosed

Anna Maria Bigatti

14 Jun 2013

09:50 CoCoA-5 Feature #243 (In Progress): Normaliz tests for CoCoA5

Anna Maria Bigatti

09:49 CoCoA-5 Design #332 (Resolved): Approx pts preprocessing fns

Anna Maria Bigatti

13 Jun 2013

15:58 CoCoA-5 Feature #371 (Feedback): Resurrect LinearSimplify

JAA has revived the code -- the main problem was that @Coefficients(F,X)@ in CoCoA-4 used the opposite order to @Coef... John Abbott

15:26 CoCoA-5 Feature #371 (Closed): Resurrect LinearSimplify

translate LinearSimplify package to CoCoA-5 Anna Maria Bigatti

15:35 CoCoA-5 Support #325 (In Progress): CoCoAManual: display syntax first

Anna Maria Bigatti

12 Jun 2013

16:03 CoCoA-5 Support #322: Installation instructions (on website)

slight improvement (at cocoaschool 2013) Anna Maria Bigatti

15:50 CoCoA-5 Support #370 (Feedback): OnlineHelp: Problem with "><" in syntax of CartesianProduct

fixed "OnlineHelp.C" and improved entry for "CartesianProduct" in CoCoAHelp.xml Anna Maria Bigatti

15:47 CoCoA-5 Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct

Anna Maria Bigatti

11 Jun 2013

18:41 CoCoA-5 Support #369 (Closed): write documentation for TgCone and other function from the "primary" package

TgCone is not efficient, but it does what it should. Document it (Anna). Anna Maria Bigatti

18:33 CoCoA-5 Feature #368 (In Progress): port SmithNormalForm (CoCoA-4)package to CoCoA-5

Anna Maria Bigatti

18:31 CoCoA-5 Feature #367 (Closed): implement LF/DF for an ideal

*LF* is the *leading form*. As for the other _leading_ functions it throws an error if the polynomial is 0.
*DF* is... Anna Maria Bigatti

17:24 CoCoALib Feature #366 (In Progress): function (CoCoALib) for minimal generators (like old Minimalize)

Anna Maria Bigatti

14:58 CoCoALib Feature #366 (Closed): function (CoCoALib) for minimal generators (like old Minimalize)

Might require some thoughts about @GBMill@
*2014-04-02* postponed again @GBMill@. Added functions *MinGens* and *... Anna Maria Bigatti

14:56 CoCoA-5 Feature #365 (Closed): add function to compute minimal generators (like Minimalize)

*2014-04* added *MinGens*, *MinGensGeneral* (for ideals and submodules) *minimalize*, *minimalized* (for ideals) Anna Maria Bigatti