Activity
From 26 May 2013 to 24 Jun 2013
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
04 Jun 2013
- 07:20 Bug #335 (Resolved): Equality of (sub)modules
- mostly done, needs cleaning
03 Jun 2013
- 17:38 Feature #312: LongRange(a,b) returning vector of long a..b (included)
- It might be worth moving the impl into its own *separate file*: this would remove the need to include @vector@ in the...
- 17:31 Feature #300 (Closed): Add fault tolerant rational reconstruction to library
- The code was effectively tested while updating the article. So I'm regarding it as OK. Closing!
- 17:29 Feature #248: IsDivisible for RingElem with nice interface
- Might be able to talk about this in Osnabruck...
- 17:26 Bug #264 (In Progress): Compilation problem with "degree.H" (inline fn defns)
- 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
- 16:58 Support #195: OrdvArith documentation needs rewriting
- This is not urgent for 0.9953 so moving to 0.9954.
- 16:56 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- Simply "moving" the issue to 0.9954 so we remember to do valgrind again.
- 14:41 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- 2013-05-30 all tests clean!
- 16:53 Bug #89 (Closed): MachineInt or long as fn arg type for indices
- Since the actual changes I had to make were minimal (i.e. we had anyway used @long@ for almost all instances of indic...
- 16:50 Design #268 (Closed): Exponent range (in power products)
- Added a comment in the newly organized installation guides (see @INSTALL-advanced.txt@). There is no perfect answer ...
30 May 2013
- 16:40 Bug #89: MachineInt or long as fn arg type for indices
- The design principle is that indices should be of type @long@; note that this *includes* _size specifications_ given ...
- 16:31 Bug #89 (Feedback): MachineInt or long as fn arg type for indices
- I have checked/modified all the following:
* matrix indices
* PPMonoid indet indices
* PolyRing indet indices
* @... - 15:55 Feature #124 (Rejected): change long args in matrices into MachineInt (?)
- I am rejecting this task since it is effectively covered by #89 which deals with indices in general; and it seems sim...
- 15:11 Bug #349 (Feedback): IdealOfPoints: gens are actually a GBasis
- done and tested.
29 May 2013
- 19:11 Feature #356 (Resolved): IsZeroDivisor
- First implementation done, can be improved with "IsIntegralDomain3"
- 17:11 Bug #349: IdealOfPoints: gens are actually a GBasis
- John Abbott wrote:
> Anna could you help me with this? It should be quick and easy once you know what to do.
OK,... - 17:01 Bug #349: IdealOfPoints: gens are actually a GBasis
- Anna could you help me with this? It should be quick and easy once you know what to do.
- 17:05 Feature #150: RingOf rather than owner? (and than AmbientRing, ...)
- This is neither urgent nor necessary for CoCoA School, so I'm postponing it.
- 17:04 Feature #147: Buchberger-Moeller: impl via modular reduction
- No chance of finishing this in time for CoCoALib-0.9953/CoCoA School 2013.
- 17:02 Feature #145: Buchberger-Moeller: fast modular impl
- No hope of finishing this in time for 0.9953/CoCoA School 2013.
- 16:58 Feature #121 (Closed): Porting "IdealOfPoints"
- JAA has effected the "transplant". All the code should become totally obsolete when the proper new impl has been mad...
- 16:54 Feature #144 (Closed): Buchberger-Moeller: generic impl
- This has been in feedback for 2 months without problems (and it has been used).
It may well become largely obsolet... - 16:51 Feature #143: Buchberger-Moeller (parent task)
- The stopgap impls will have to suffice for 0.9953/CoCoA School as there's no chance of completing a proper impl in ti...
- 16:48 Support #140 (Closed): Doc & example for convert
- No troubles after 2 months in "feedback", so closing.
I have improved the doc slightly (added a couple of missing co... - 16:41 Feature #354 (Closed): New function BinRepr (was BinExp, also known as Macaulay representation)
- I'm closing this even though strictly speaking there are no tests for @BinomialRepr@.
- 16:32 Feature #219: myDeriv for RingDenseUPolyClean still missing
- To *Anna:* I think this can be closed. There are tests.
However doc is rather thin; also there is no clear distincti... - 14:55 Feature #361 (Closed): implement IsPrime3, IsMaximal3
- We should implement functions like *IsPrime3* which returns true3/false3 if it easy to calculate, or already calculat...
- 12:22 Feature #72 (In Progress): MatByRows, MatByCols
- JAA now thinks it is better to offer both @MatByRows@ and @MatByCols@ so that user code is more readable (& expresses...
- 11:36 Bug #119 (Closed): CoCoA4io
- Since this change entailed just moving some files (& some minor changes to a @Makefile@ here and there), I am letting...
28 May 2013
- 18:57 Design #339 (Closed): DenseUPolyClean uses size_t
- In general mem fns will have args f type *@long@* (rather than @MachineInt@) because assume that only "experts" call ...
- 18:41 Feature #340 (Closed): "configure" does not set BOOST if there are multiple copies in "standard" location
- Forgot to update status & %done. OK now.
- 18:31 Feature #340: "configure" does not set BOOST if there are multiple copies in "standard" location
- No complaints in the last month (but then again Bruno has left...).
It should all be sorted out now, so I'm closing ... - 18:30 Bug #355 (Feedback): Colon of zero ideal fails (zero-divisors)
- 18:16 Feature #269 (Closed): PPMonoids: check for exponent overflow in power function
- This issue has been in feedback for about 2 months; no problems have surfaced, so I'm closing the issue.
- 18:11 Feature #278 (Closed): add CoeffVecWRT to cocoalib
- Added doc, an example and a simple test.
Closing this issue. - 08:59 Feature #304: Module ordering and grading (and shifts)
- fixed bug on shifts
added test
CVS'ed
27 May 2013
- 18:19 Feature #51 (Closed): polynomial coefficient extraction w.r.t. variable
- This issue has been in "feedback" for 4 months, and no problems has arisen. So I'm closing it.
- 18:16 Feature #50 (Closed): Polynomial content
- The main issue has been satisfactorily resolved for a year or so.
The question about "normalization" (in post 3) i... - 14:46 Design #360 (New): CoCoAServer: what future, what issues?
- What do we want to do with the @CoCoAServer@ in the future? It has been "dormant" for a long time!
*We gather her... - 14:22 Bug #135 (Closed): Revise interface to SmallFpImpl & friends
- Conducted final check ==> some "cosmetic changes".
Added an example program @ex-SmallFp1.C@
Closing this issue.
Also available in: Atom