Activity
From 21 Feb 2018 to 22 Mar 2018
20 Mar 2018
19 Mar 2018
- 14:24 CoCoALib Feature #1169: New function: RandomLinearForm (CoCoALib)
- John Abbott wrote:
> I am not so convinced of the utility of @RandomLinearForm(P,lo,hi)@, and suggest commenting it ... - 13:26 CoCoALib Feature #1169: New function: RandomLinearForm (CoCoALib)
- I am not so convinced of the utility of @RandomLinearForm(P,lo,hi)@, and suggest commenting it out until we find a ge...
- 09:52 CoCoALib Feature #1169 (Resolved): New function: RandomLinearForm (CoCoALib)
- Done.
*RandomLinearForm(P)* -- if coeff ring of P is F_p
*RandomLinearForm(P, n)* -- same as _RandomLinearForm(P, -... - 09:49 CoCoALib Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib)
- Port @RandomLinearForm@ to CoCoALib
- 10:25 CoCoA-5 Feature #1122 (Feedback): New fn: RandomLinearForm
- Implemented in CoCoALib. See Feature #1169
17 Mar 2018
- 09:16 CoCoALib Slug #1165: MinPoly over QQ: verification may be very slow
- Working well, but now this should also be accessible by @IsRadical, IsMaximal,...@
Think well before doing this!! - 09:15 CoCoALib Design #1168: ideal: does const ourGetPtr really need to be private?
- After discussing with John, I made it public.
Indeed the rest of the code is clenear, i.e. we do not need so many fr...
16 Mar 2018
- 08:57 CoCoALib Slug #1165: MinPoly over QQ: verification may be very slow
- After many many experiments, code is settled as this:
- *MinPolyQuot(f, I, x)* makes the complete verification (over...
15 Mar 2018
- 14:12 CoCoALib Design #1168 (In Progress): ideal: does const ourGetPtr really need to be private?
- If many functions have to be @friend@ that is not a good sign.
I'm too busy to think about it now, so suggest making... - 10:10 CoCoALib Design #1168 (In Progress): ideal: does const ourGetPtr really need to be private?
- To be able to call this...
13 Mar 2018
- 18:48 CoCoALib Feature #1167 (In Progress): New class VerificationLevel
- JAA has checked in a first impl (using KISS philosophy).
Anna will test it shortly.
The idea is that fns which ... - 18:43 CoCoALib Feature #1167 (Closed): New class VerificationLevel
- To help offer the user the chance to choose between guaranteed algorithms and fast, probably-correct ones,
create a ...
12 Mar 2018
- 16:45 CoCoALib Feature #1131 (Resolved): Sturm sequence
- The implementation seems to be mostly complete (for coeffs in QQ).
The elements of the sequence are scaled so that t... - 11:51 CoCoALib Design #1166 (In Progress): C++11: allows large integer literals (in NumTheory-prime.C)
- I'd like the code to compile whenever a 64-bit (or wider) integer type is available. This is guaranteed if the C++ s...
- 11:47 CoCoALib Design #1166 (Closed): C++11: allows large integer literals (in NumTheory-prime.C)
- I would like to include some "large" (greater than 2^32) integer literals in @NumTheory-prime.C@.
This cannot be d... - 08:57 CoCoALib Slug #1165: MinPoly over QQ: verification may be very slow
- Tried with TwinFloat: good for the 87 points (10 times faster) bad for example QQ-rand (10 times slower)
- 08:24 CoCoALib Slug #1165: MinPoly over QQ: verification may be very slow
- An impressive example is given by 87 points in QQ^3.
@MinPoly@ takes ~4s and the verification take 44s on my Mac.
... - 08:05 CoCoALib Slug #1165 (Closed): MinPoly over QQ: verification may be very slow
- The verification step after the modular algorithm may be very slow.
On the other side it is easy to construct exampl...
09 Mar 2018
- 18:18 CoCoALib Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- Maybe there could be a fn called *@IsPrime3@* which is guaranteed (reasonably) fast, and returns a @bool3@?
- 18:14 CoCoALib Design #1145 (In Progress): File names, coding conventions: Fns, Ops, Operations? part 2
- JAA has a preference for *@Ops@* rather than *@Operations@*. I think they are equally clear, and see no advantage in...
- 18:08 CoCoALib Feature #1155 (Resolved): Create a new "prime source" iterator
- I have added 4 "iterators: *@PrimeSeq@*, *@PrimeSeqForCRT@*, *@FastMostlyPrimeSeq@*, *@NoSmallFactorsSeq@*.
First ... - 18:05 CoCoALib Design #1162: Check semantics of NoSmallFactorSeq
- Currently the choice of biggest prime which is "filtered" is somewhat arbitrary.
Is it worth doing anything more ref...
08 Mar 2018
- 18:15 CoCoA-5 Design #1164: Manual: loading manual entries written by users
- While doing some cleaning and minor re-designing, I introduced a bunch of silly bugs.
Now all fixed.
cvs-ed and m... - 15:00 CoCoA-5 Design #1164 (In Progress): Manual: loading manual entries written by users
- Implemented (and also done a little cleaning in OnlineHelp.H and C)
Example:... - 10:10 CoCoA-5 Design #1164: Manual: loading manual entries written by users
- [Elisa Palezzato and Michele Torielli are developing new packages (for the school in Japan) and would like to test th...
- 10:00 CoCoA-5 Design #1164 (Closed): Manual: loading manual entries written by users
- Design a way to load into the online manual extra entries (say, for new packages by users).
For example append entri...
05 Mar 2018
- 09:40 CoCoALib Feature #1158: New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel
- Added @error@ if CoeffRing is not QQ.
- 09:14 CoCoALib Feature #1158 (In Progress): New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel
01 Mar 2018
- 21:18 CoCoA-5 Slug #907: ApproxSolve very slow on this example
- greatly improved, now part of @test-ApproxSolve@
- 09:30 CoCoA-5 Bug #1157 (Feedback): FactorAlgExt
27 Feb 2018
- 18:22 CoCoALib Design #1163 (In Progress): Split SparsePolyRing.C in smaller files
- 18:20 CoCoALib Design #1163 (Closed): Split SparsePolyRing.C in smaller files
- The file is now too long.
Split off code for ideals and for involutive operations,
and whatever can be usefully be ... - 16:40 CoCoALib Support #1161: Split NumTheory.C into several smaller files
- I get a strange infinite loop on a 32-bit machine. Seems to be related to @FastMostlyPrimeSeq@.
Must investigate.... - 16:37 CoCoALib Design #1162 (Resolved): Check semantics of NoSmallFactorSeq
- I have introduced a new class *@FastMostlyPrimeSeq@* which produces an increasing sequence of positive integers which...
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 ... - 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. - 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...
22 Feb 2018
- 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... - 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.
- 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... - 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... - 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.
- 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 ... - 03:36 CoCoA-5 Bug #1157: FactorAlgExt
- Ho cambiato solo il return finale.
Elisa
21 Feb 2018
- 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... - 08:43 CoCoA-5 Bug #1157: FactorAlgExt
- Missing coefficient:...
- 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...
Also available in: Atom