Activity
From 08 May 2012 to 06 Jun 2012
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
31 May 2012
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... - 13:40 Bug #63 (Closed): Add links to examples in documentation
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!
- 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...
- 16:16 Feature #157 (Closed): Separate ThreadsafeCounter from symbol.C
- Separated *@ThreadsafeCounter@*; written documentation.
Used @ThreadsafeCounter@ inside @NewRingID@ in @ring.C@.
Al...
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@, ... - 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....
- 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...
- 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... - 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.
- 14:11 Support #160 (Closed): Cleanup doc for rings
- 11:31 Feature #167: Integer operations
- I've moved (into *@IntOperations@*) and reorganized all the integer functions. There were lots of consequential chan...
25 May 2012
- 14:42 Feature #167: Integer operations
- Problem originally arose in CoCoA-5, but the solution lies in changes to CoCoALib.
- 14:41 Feature #167 (In Progress): Integer operations
- The hard part will be all the consequential changes.
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...
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...
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... - 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 ... - 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...
- 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 ... - 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... - 11:50 Feature #41: Squarefree factorization - overhead
- Oh dear, I keep forgetting to log time here. I'll just make a guess.
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...
- 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... - 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...
11 May 2012
- 19:01 Bug #155 (Closed): gcd: multivariate over non-prime finite field
- 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 ...
10 May 2012
- 18:34 Bug #135 (In Progress): Revise interface to SmallFpImpl & friends
- 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... - 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...
- 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...
- 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...
- 16:48 Feature #156: Brand new symbol(s)
- Check through existing code, and use anonymous symbols where appropriate. Then check everything!
- 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... - 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... - 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...
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...
08 May 2012
- 14:32 Feature #142: Improve threadsafety
- Anna Maria Bigatti wrote:
> *@Elim@* (and a few other functions) create a temporary ring.
Yes. Temporary rings are ... - 12:48 Feature #142: Improve threadsafety
- John Abbott wrote:
> No doubt the problem is due to the temporary rings (inside @Elim@) not self destroying when the... - 09:49 Feature #156: Brand new symbol(s)
- JAA suggests that internally the head of an "anonymous" symbol be the empty string; the accessor function then checks...
Also available in: Atom