Activity

From 28 Jan 2018 to 26 Feb 2018

16:32 CoCoALib Design #1159 (In Progress): Add global enum "verify/DontVerify": After speaking to Anna...
* a "boolean" interface is easy to understand (and simple to use)
* a more sophisticated ... John Abbott
15:48 CoCoALib Design #1162 (Closed): Check semantics of NoSmallFactorSeq: I have just added the new class *@NoSmallFactorSeq@* but it is awkward to use.
Reconsider its public interface. John Abbott
15:41 CoCoALib Support #1161 (In Progress): Split NumTheory.C into several smaller files: I have split off the code to do with prime testing and generation. It is in *@NumTheory-prime@*
*Note* it is better... John Abbott

17:36 CoCoALib Support #1161: Split NumTheory.C into several smaller files: Some suggestions for the subfiles:
primes, RatReconstruct, CRT
Note that there is no need to split the docume... John Abbott
17:35 CoCoALib Support #1161 (Closed): Split NumTheory.C into several smaller files: The file *@NumTheory.C@* has become rather large. Consider splitting it into several smaller files.
John Abbott
17:33 CoCoALib Support #1160 (New): Clean up revised RatReconstructByContFrac code: The @RatReconstructByContFrac@ code has been revised (made better?), but there is lots of commented out cruft.
Cle... John Abbott
16:55 CoCoALib Design #1159: Add global enum "verify/DontVerify": John says it might be better to have a "reliability flag", which takes "0" as "certain".
I am thinking of the functi... Anna Maria Bigatti
16:32 CoCoALib Design #1159 (Closed): Add global enum "verify/DontVerify": should we have a global enum for "verify/DontVerify"?
this could be a pervasive feature in cocoalib.
Anna Maria Bigatti
16:27 CoCoALib Feature #1158 (Closed): New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel: In our applications a wrong Minimal polinomial can be detected (we proved that if wrong, the degree is too low).
So ... Anna Maria Bigatti
03:36 CoCoA-5 Bug #1157: FactorAlgExt: Ho cambiato solo il return finale.
Elisa Elisa Palezzato

17:26 CoCoA-5 Bug #1152 (Resolved): Release: problems with sed: I have changed the relevant lines in @Doc/Makefile@. It works for me.
I'm still a bit uneasy about calling a comm... John Abbott
08:43 CoCoA-5 Bug #1157: FactorAlgExt: Missing coefficient:... Anna Maria Bigatti
06:14 CoCoA-5 Bug #1157 (Closed): FactorAlgExt: In cocoa-5.2.2 @FactorAlgExt@ overlooks the missing coefficient: that is, the irreducible factors are correct, but th... Elisa Palezzato

10:41 CoCoA-5 Bug #1152 (In Progress): Release: problems with sed: Try *@doc/Makefile@* ;-)
John Abbott
09:08 CoCoA-5 Bug #1152: Release: problems with sed: There is a problem now.... I cannot remember and find where sed is called.... Anna Maria Bigatti
08:57 CoCoA-5 Bug #1152: Release: problems with sed: John Abbott wrote:
> *(A)* The simplest solution is to call @sed@ directly without using its full path:
> * *@+++@*... Anna Maria Bigatti

12:37 CoCoALib Design #1156: Printing for RingElem: Part of the motivation is that it seems to be tricky to resolve issue #930 about printing out TwinFloat values as pol... John Abbott
12:30 CoCoALib Design #1156 (New): Printing for RingElem: JAA would like to reconsider the design of printing for @RingElem@ because the current design is rather inelegant. John Abbott
12:28 CoCoA-5 Bug #1152: Release: problems with sed: *(A)* The simplest solution is to call @sed@ directly without using its full path:
* *@+++@* should work everywhere
... John Abbott

21:10 CoCoALib Feature #1154: SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime: Another posibility is for a "prime source" to produce values of a new type @SmallPrime@ (which is really just a @long... John Abbott
20:52 CoCoALib Feature #1154: SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime: Several CRT loops look a lot like this:... John Abbott
20:49 CoCoALib Feature #1154 (Closed): SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime: I propose adding a new ctor for @SmallFpImpl@ where the caller can use a flag to guarantee that the arg is prime.
... John Abbott
21:02 CoCoALib Feature #1155: Create a new "prime source" iterator: Add a new class to CoCoALib for generating primes in succession -- for use inside CRT loops.
Currently a CRT loop ... John Abbott
20:55 CoCoALib Feature #1155 (Closed): Create a new "prime source" iterator: In CoCoA-4 the old factorizer code had an "iterator" for generating primes in succession.
Add such an object to Co... John Abbott

08:08 CoCoA-5 Feature #1153 (New): New function: gin for algebraic extensions: Think of theory and implement @gin@ for algebraic extensions Anna Maria Bigatti
07:40 CoCoA-5 Bug #1152 (Closed): Release: problems with sed: For some compilations there are problems with the path for @sed@.
Anna Maria Bigatti

13:55 CoCoALib Feature #1115 (In Progress): New class: exterior algebra: Anna Maria Bigatti
13:48 CoCoALib Feature #1115: New class: exterior algebra: JAA has made a first impl (mostly copying code from @RingWeyl@). Many fns are still NYI.
Anna, Michele and Elisa ... John Abbott

Also available in: Atom

CoCoA