Project

General

Profile

Activity

From 12 Jun 2013 to 11 Jul 2013

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

20 Jun 2013

14:46 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 Feature #379 (Closed): Iter for subsets/tuples
Add new iters for subsets/tuples.
[JAA see file @ShortTerm/oscar.C@]
John Abbott
10:57 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 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:05 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 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 Design #254: How to return a Hilbert Series in CoCoALib
New name implemented & checked-in.
John Abbott
14:15 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 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
08:49 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 Feature #374: Porting "IdealOfProjectivePoints"
requested by Marie Ermete and Susan Cooper
Anna Maria Bigatti
08:15 Feature #374 (Closed): Porting "IdealOfProjectivePoints"
port also @IdealOfProjectivePoints@ Anna Maria Bigatti

17 Jun 2013

18:26 Bug #351 (Resolved): Problems with DenseMatImpl::myResize
fixed really subtle bug in myResize()... Anna Maria Bigatti
16:08 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 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:15 Feature #373 (In Progress): add DeleteCol, DeleteRow
first implementation and some tests and documentation. Anna Maria Bigatti
15:12 Feature #373 (Closed): add DeleteCol, DeleteRow
Add functions for deleting row and cols from matrices (no throw guarantee) Anna Maria Bigatti
 

Also available in: Atom