Activity
From 05 Jun 2013 to 04 Jul 2013
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.
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... - 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
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...
19 Jun 2013
- 19:01 Feature #379 (Closed): Iter for subsets/tuples
- Add new iters for subsets/tuples.
[JAA see file @ShortTerm/oscar.C@] - 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 ...
- 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...
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....
- 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... - 18:40 Design #254: How to return a Hilbert Series in CoCoALib
- New name implemented & checked-in.
- 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 ... - 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 ... - 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...
- 08:34 Feature #374: Porting "IdealOfProjectivePoints"
- requested by Marie Ermete and Susan Cooper
- 08:15 Feature #374 (Closed): Porting "IdealOfProjectivePoints"
- port also @IdealOfProjectivePoints@
17 Jun 2013
- 18:26 Bug #351 (Resolved): Problems with DenseMatImpl::myResize
- fixed really subtle bug in myResize()...
- 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...
- 11:59 Design #254: How to return a Hilbert Series in CoCoALib
- Design:
new class *HilbertSeries*: member fields
*myNum* RingElem and *myDenFactors* factorization.
Constructors... - 15:15 Feature #373 (In Progress): add DeleteCol, DeleteRow
- first implementation and some tests and documentation.
- 15:12 Feature #373 (Closed): add DeleteCol, DeleteRow
- Add functions for deleting row and cols from matrices (no throw guarantee)
11 Jun 2013
- 17:24 Feature #366 (In Progress): function (CoCoALib) for minimal generators (like old Minimalize)
- 14:58 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 *...
06 Jun 2013
- 08:04 Bug #335: Equality of (sub)modules
- added documentation and tests
Also available in: Atom