CoCoA » CoCoALib

07 Jun 2012

23:11 Feature #180 (Closed): GlobalManager: registration of global variables

Add a feature to *@GlobalManager@* which mimics the Unix fn *@atexit@*.
This allows users to register pseudo-dtors... John Abbott

22:57 Bug #178: IsHomog: should it throw an error when there is no grading?

Yes, I think throwing an error is best(=safest) in this case. Same applies to any other "homog" function.
*2013-02-1... John Abbott

17:17 Bug #178 (Closed): IsHomog: should it throw an error when there is no grading?

Here is a piece of code from CoCoA-5... Anna Maria Bigatti

01 Jun 2012

17:43 Feature #174 (New): IsStdGraded: add for PPOrdering, PPMonoid, (Sparse)PolyRing..

Which types should offer *@IsStdGraded@*?
Port it also to CoCoA-5 Anna Maria Bigatti

31 May 2012

17:39 Feature #167 (Closed): Integer operations

Anna Maria Bigatti

30 May 2012

18:02 Support #75: Documentation review by Caleo

Alessandra has looked at the doc and examples for:
* @PPMonoid@ -- approved by Alessandra!
* @symbol@ -- approved b... John Abbott

13:40 Bug #63 (Closed): Add links to examples in documentation

Anna Maria Bigatti

29 May 2012

18:45 Feature #153 (Closed): Shorter simpler names for some bool3 values and functions

I've written a simple example -- I hope Alessandra Caleo likes it!
John Abbott

10:07 Feature #153 (Resolved): Shorter simpler names for some bool3 values and functions

Implemented the last suggestion, that way we can try it. Remember that *@bool3@* may eventually be replaced by *@tri... John Abbott

16:16 Feature #157 (Closed): Separate ThreadsafeCounter from symbol.C

Separated *@ThreadsafeCounter@*; written documentation.
Used @ThreadsafeCounter@ inside @NewRingID@ in @ring.C@.
Al... John Abbott

28 May 2012

17:10 Feature #153: Shorter simpler names for some bool3 values and functions

Proposal for shorter names: *@IsTrue3@* and *@IsFalse3@* and *@IsUncertain3@*
Propose replacing @DefinitelyTrue@, ... John Abbott

16:25 Feature #157: Separate ThreadsafeCounter from symbol.C

JAA is not sure how to test the threadsafe counter since we don't know how to compile and run multithreaded programs.... John Abbott

16:20 Bug #22: Rename PPMonoidEvZZ?

A "very small exp" version may be slightly faster because more PPs fit in the cache, but I doubt the slight gain woul... John Abbott

16:13 Feature #156 (Closed): Brand new symbol(s)

I've cleaned the code, and updated the documentation.
Note: Task #157 will make a further change to this one.
A... John Abbott

15:54 Feature #40: Squarefree factorization - Alessio d'Ali`

Alessio has written a prototype test program; he will improve it.
He has added some detail to the report.
John Abbott

14:11 Support #160 (Closed): Cleanup doc for rings

Anna Maria Bigatti

11:31 Feature #167: Integer operations

I've moved (into *@IntOperations@*) and reorganized all the integer functions. There were lots of consequential chan... John Abbott

25 May 2012

14:42 Feature #167: Integer operations

Problem originally arose in CoCoA-5, but the solution lies in changes to CoCoALib.
John Abbott

14:41 Feature #167 (In Progress): Integer operations

The hard part will be all the consequential changes. John Abbott

24 May 2012

16:19 Feature #167 (Closed): Integer operations

While adding *@IsDivisible@* for integers, it was not clear where to put the declarations and definitions. So far th... John Abbott

22 May 2012

12:06 Feature #165: FractionField -- only of TrueGCDDomain?

I've just looked at the code for @FractionFieldImpl@. I must make a separate impl for arithmetic if GCD is not avai... John Abbott

21 May 2012

17:11 Feature #165 (In Progress): FractionField -- only of TrueGCDDomain?

After speaking to Anna and Renzo, we concluded that it is better to keep @FractionField@ general.
Anna proposed cr... John Abbott

15:09 Feature #165: FractionField -- only of TrueGCDDomain?

John Abbott wrote:
> JAA proposes: the base ring of a *@FractionField@* must be a @TrueGCDDomain@ (and this must be ... Anna Maria Bigatti

14:36 Feature #165: FractionField -- only of TrueGCDDomain?

If my proposal is accepted, someone will have to look through the existing code and remove any checks which will have... John Abbott

12:51 Feature #165 (Closed): FractionField -- only of TrueGCDDomain?

I've started implementing @IsTrueGCDDomain@.
I noticed that the ctor for a *@FractionField@* checks that the base ... John Abbott

15:59 Feature #40: Squarefree factorization - Alessio d'Ali`

Alessio has a first solid version of his report.
We spoke of how to generate tables of timings automatically; Alessi... John Abbott

11:50 Feature #41: Squarefree factorization - overhead

Oh dear, I keep forgetting to log time here. I'll just make a guess.
John Abbott

16 May 2012

10:16 Support #160: Cleanup doc for rings

A richer template for the documentation is offered in @empty.txt@ for homogeneity in class descriptions and facilitat... Anna Maria Bigatti

07:46 Support #160 (Closed): Cleanup doc for rings

Some documentation has already been rewritten.
Check that all files have appropriate links to operations in the righ... Anna Maria Bigatti

07:57 Support #161 (New): Convert old "task table" into redmine

Redmine seems a lot easier to keep up-to-date than our old task table page.
We should then remove the task table and... Anna Maria Bigatti

11 May 2012

19:01 Bug #155 (Closed): gcd: multivariate over non-prime finite field

Anna Maria Bigatti

12:36 Support #75: Documentation review by Caleo

Alessandra reports that the doc for *@PPMonoid@* did not explain clearly what a PPMonoid is, nor why CoCoALib offers ... John Abbott

10 May 2012

18:34 Bug #135 (In Progress): Revise interface to SmallFpImpl & friends

John Abbott

18:34 Bug #135: Revise interface to SmallFpImpl & friends

Added fns equivalent to many of the procedures for arithmetic.
Needed to add several other fns. Development proce... John Abbott

18:16 Feature #157: Separate ThreadsafeCounter from symbol.C

Consider making a BOOST-free (and possibly non-threadsafe) version so that CoCoALib can be compiled without requiring... John Abbott

16:40 Feature #157 (Closed): Separate ThreadsafeCounter from symbol.C

The *@ThreadsafeCounter@* recently added to @symbol.C@ will be useful elsewhere (_e.g._ in rings for the ring counter... John Abbott

17:16 Feature #156: Brand new symbol(s)

It is simpler to move the "special" ctor into the private zone, and remove the *@AnonymousMarker@*. This should take... John Abbott

16:48 Feature #156: Brand new symbol(s)

Check through existing code, and use anonymous symbols where appropriate. Then check everything!
John Abbott

16:38 Feature #156: Brand new symbol(s)

I have opted not to implement *@IsAnonymous@* because I cannot think of when it might actually be useful.
The curr... John Abbott

15:53 Feature #156 (In Progress): Brand new symbol(s)

JAA has completed a first impl. The new public fns (pseudo-ctors) are:
* *@NewSymbol()@* which creates a single new... John Abbott

15:44 Bug #155 (Resolved): gcd: multivariate over non-prime finite field

A first impl of nameless symbols together with a change to line 1480 in @TmpGReductor.C@ has solved the problem.
A... John Abbott

09 May 2012

17:18 Feature #156: Brand new symbol(s)

The current suggestion for imlpementation is the following:
* internally an anonymous symbol has empty head
* the p... John Abbott