Activity
From 21 May 2012 to 19 Jun 2012
19 Jun 2012
-
17:04 Feature #174: IsStdGraded: add for PPOrdering, PPMonoid, (Sparse)PolyRing..
- John Abbott wrote:
> Should modules also have an @IsStdGraded@?
> *Note* we have already used the abbrev @std@ for ... -
16:38 Bug #190 (Closed): Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
- The function below looks perfectly reasonable, but it creates a *dangling reference*...
18 Jun 2012
-
- Yes, in its current form it requires BOOST.
I can add some *@#ifdef@* directive to make it compile without BOOST (an... -
- Does this mean that users are now forced to have boost, or we can have a non-threadsafe version without boost?
11 Jun 2012
-
- doc for degree and PPVector needs a bit of cleaning (but is comprehensible anyway)
PPWithMask has a (now useless) ...
08 Jun 2012
-
- Should modules also have an @IsStdGraded@?
*Note* we have already used the abbrev @std@ for standard (_e.g._ *@StdDe... -
- JAA is not keen on such automatic methods. We should try harder to be diligent about updating the percentages. If w...
-
- If I understend well (but I think it is dangerous to test it) that we can have percentege set automatically based on ...
07 Jun 2012
-
- Add a feature to *@GlobalManager@* which mimics the Unix fn *@atexit@*.
This allows users to register pseudo-dtors... -
- Yes, I think throwing an error is best(=safest) in this case. Same applies to any other "homog" function.
*2013-02-1... -
- Here is a piece of code from CoCoA-5...
01 Jun 2012
-
- Which types should offer *@IsStdGraded@*?
Port it also to CoCoA-5
31 May 2012
30 May 2012
-
- Alessandra has looked at the doc and examples for:
* @PPMonoid@ -- approved by Alessandra!
* @symbol@ -- approved b... -
29 May 2012
-
- I've written a simple example -- I hope Alessandra Caleo likes it!
-
- Implemented the last suggestion, that way we can try it. Remember that *@bool3@* may eventually be replaced by *@tri...
-
- Separated *@ThreadsafeCounter@*; written documentation.
Used @ThreadsafeCounter@ inside @NewRingID@ in @ring.C@.
Al...
28 May 2012
-
- Proposal for shorter names: *@IsTrue3@* and *@IsFalse3@* and *@IsUncertain3@*
Propose replacing @DefinitelyTrue@, ... -
- JAA is not sure how to test the threadsafe counter since we don't know how to compile and run multithreaded programs....
-
- A "very small exp" version may be slightly faster because more PPs fit in the cache, but I doubt the slight gain woul...
-
- I've cleaned the code, and updated the documentation.
Note: Task #157 will make a further change to this one.
A... -
- Alessio has written a prototype test program; he will improve it.
He has added some detail to the report.
-
-
- I've moved (into *@IntOperations@*) and reorganized all the integer functions. There were lots of consequential chan...
25 May 2012
-
- Problem originally arose in CoCoA-5, but the solution lies in changes to CoCoALib.
-
- The hard part will be all the consequential changes.
24 May 2012
-
- While adding *@IsDivisible@* for integers, it was not clear where to put the declarations and definitions. So far th...
22 May 2012
-
- 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
-
- After speaking to Anna and Renzo, we concluded that it is better to keep @FractionField@ general.
Anna proposed cr... -
- John Abbott wrote:
> JAA proposes: the base ring of a *@FractionField@* must be a @TrueGCDDomain@ (and this must be ... -
- If my proposal is accepted, someone will have to look through the existing code and remove any checks which will have...
-
- I've started implementing @IsTrueGCDDomain@.
I noticed that the ctor for a *@FractionField@* checks that the base ... -
- Alessio has a first solid version of his report.
We spoke of how to generate tables of timings automatically; Alessi... -
- Oh dear, I keep forgetting to log time here. I'll just make a guess.
Also available in: Atom