Activity
From 29 May 2013 to 27 Jun 2013
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... -
- Mario Albert has written an implementation for computing resolutions & Betti numbers.
Incorporate it into CoCoALib
20 Jun 2013
-
- 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
-
- Add new iters for subsets/tuples.
[JAA see file @ShortTerm/oscar.C@] -
- The problem with dividing @4/2@ in @ZZ/6@ is that the true answer is @2@ in @ZZ/3@ -- a different ring! The answer ...
-
- 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....
-
- Christof Soeger wrote:
> Anna Maria Bigatti wrote:
> > ... what about *@RingQQt(n)@*? That is pretty self-explanat... -
- 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 ... -
- Christof Soeger wrote:
> I spoke with W.Bruns about a name for the ring. One suggestion is PolynomialInvarianceRing ... -
- 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...
-
- requested by Marie Ermete and Susan Cooper
-
- port also @IdealOfProjectivePoints@
17 Jun 2013
-
- fixed really subtle bug in myResize()...
-
- I spoke with W.Bruns about a name for the ring. One suggestion is PolynomialInvarianceRing (or a shortened form) inst...
-
- Design:
new class *HilbertSeries*: member fields
*myNum* RingElem and *myDenFactors* factorization.
Constructors... -
- first implementation and some tests and documentation.
-
- Add functions for deleting row and cols from matrices (no throw guarantee)
11 Jun 2013
-
-
- Might require some thoughts about @GBMill@
*2014-04-02* postponed again @GBMill@. Added functions *MinGens* and *...
06 Jun 2013
-
- added documentation and tests
04 Jun 2013
-
- mostly done, needs cleaning
03 Jun 2013
-
- It might be worth moving the impl into its own *separate file*: this would remove the need to include @vector@ in the...
-
- The code was effectively tested while updating the article. So I'm regarding it as OK. Closing!
-
- Might be able to talk about this in Osnabruck...
-
- Why are the ctor and the mem fn @FastCmp@ inline?
Now that the components of the degree vector are @BigInt@, I doubt ...
31 May 2013
-
- This is not urgent for 0.9953 so moving to 0.9954.
-
- Simply "moving" the issue to 0.9954 so we remember to do valgrind again.
-
- 2013-05-30 all tests clean!
-
- Since the actual changes I had to make were minimal (i.e. we had anyway used @long@ for almost all instances of indic...
-
- Added a comment in the newly organized installation guides (see @INSTALL-advanced.txt@). There is no perfect answer ...
30 May 2013
-
- The design principle is that indices should be of type @long@; note that this *includes* _size specifications_ given ...
-
- I have checked/modified all the following:
* matrix indices
* PPMonoid indet indices
* PolyRing indet indices
* @... -
- I am rejecting this task since it is effectively covered by #89 which deals with indices in general; and it seems sim...
-
- done and tested.
29 May 2013
-
- First implementation done, can be improved with "IsIntegralDomain3"
-
- John Abbott wrote:
> Anna could you help me with this? It should be quick and easy once you know what to do.
OK,... -
- Anna could you help me with this? It should be quick and easy once you know what to do.
-
- This is neither urgent nor necessary for CoCoA School, so I'm postponing it.
-
- No chance of finishing this in time for CoCoALib-0.9953/CoCoA School 2013.
-
- No hope of finishing this in time for 0.9953/CoCoA School 2013.
-
- JAA has effected the "transplant". All the code should become totally obsolete when the proper new impl has been mad...
-
- This has been in feedback for 2 months without problems (and it has been used).
It may well become largely obsolet... -
- The stopgap impls will have to suffice for 0.9953/CoCoA School as there's no chance of completing a proper impl in ti...
-
- No troubles after 2 months in "feedback", so closing.
I have improved the doc slightly (added a couple of missing co... -
- I'm closing this even though strictly speaking there are no tests for @BinomialRepr@.
-
- To *Anna:* I think this can be closed. There are tests.
However doc is rather thin; also there is no clear distincti... -
- We should implement functions like *IsPrime3* which returns true3/false3 if it easy to calculate, or already calculat...
-
- JAA now thinks it is better to offer both @MatByRows@ and @MatByCols@ so that user code is more readable (& expresses...
-
- Since this change entailed just moving some files (& some minor changes to a @Makefile@ here and there), I am letting...
Also available in: Atom