Activity
From 11 Apr 2016 to 10 May 2016
10 May 2016
- 16:36 Slug #881: ReadExpr is too slow on large polys
- I have already implemented (and checked in) a version which uses geobuckets when the ring is a sparsepolyring.
Mar... - 16:19 Slug #881: ReadExpr is too slow on large polys
- John Abbott wrote:
> I have done a quick profile of the current version of the code (using the _ad hoc_ impl with @s... - 15:33 Slug #881 (In Progress): ReadExpr is too slow on large polys
- I have done a quick profile of the current version of the code (using the _ad hoc_ impl with @std::map@). Now most (...
- 13:25 Slug #881: ReadExpr is too slow on large polys
- I have hacked the @ReadExpr@ code so that it produces a table of symbols (of type @std::map@).
This improved the rea...
09 May 2016
- 22:10 Slug #882: Impl faster multiplication for DUP (dense univariate polys)
- I also tried implementing a method which uses fast integer multiplication in GMP.
Evaluate both polys at 1000000 (... - 22:07 Slug #882: Impl faster multiplication for DUP (dense univariate polys)
- I made a very _ad hoc_ impl of karatsuba when I was in Osnabrueck as I wanted to get an idea of when cross-over might...
- 22:05 Slug #882 (New): Impl faster multiplication for DUP (dense univariate polys)
- Christof wanted faster multiplication for DUPs.
He suggested implementing karatsuba's method. - 21:49 Slug #881: ReadExpr is too slow on large polys
- I did a quick test:...
- 21:23 Slug #881: ReadExpr is too slow on large polys
- Since my "stupid" MacBook cannot profile, I can only guess that reading a symbol is probably quite costly (see line 7...
- 21:13 Slug #881: ReadExpr is too slow on large polys
- I have implemented a first improvement by implementing a new fn @ReadExprInSparsePolyRing@ which uses geobuckets to s...
- 21:10 Slug #881 (Closed): ReadExpr is too slow on large polys
- Recently Mario has passed me some large polys in their printed form (_i.e._ sum of terms). Reading them by pasting t...
- 20:51 Slug #874: factor: too slow on largish multivariate poly
- I have implemented a prototype "heuristic" irred test which returns a @bool3@.
First it checks for a non-triv comm...
06 May 2016
- 16:43 Slug #866: implicit, ImplicitHypersurface: improve output verification
- I have not yet had time to look at your horner code. Anyway, I would expect it work fairly well provided the "variab...
03 May 2016
- 13:14 Slug #874: factor: too slow on largish multivariate poly
- Mario has just sent me an even bigger polynomial to try: 100 indets, about 127000 terms, total degree 9.
He also m... - 10:50 Slug #874 (In Progress): factor: too slow on largish multivariate poly
- Computing all contents takes about 44s; and computing contents wrt all indets which appear just linearly takes about ...
- 10:42 Slug #874: factor: too slow on largish multivariate poly
- Mario has given me an example poly. The poly ring has 84 indets; the poly itself uses 69 indets, and has about 6800 ...
- 10:37 Slug #874 (In Progress): factor: too slow on largish multivariate poly
- Mario generates lots of multivariate polys (over @QQ@); most of them are irreducible. He reports that factorization ...
- 10:34 Support #861 (In Progress): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- Mario has given me an updated version of his code. He has used the @__cplusplus@ preprocessor variable to have code ...
29 Apr 2016
- 22:00 Feature #873: bool3: add some logical operations?
- (Maybe this is what you had in mind from the beginning)
I think the only safe definition for @and3@ is the @and@ bet... - 19:21 Feature #873: bool3: add some logical operations?
- The "monomial generators" case is easy.
The "is a monomial ideal" is hard in any case: even if both ideals are not m... - 18:53 Feature #873: bool3: add some logical operations?
- I expect in some cases we want
uncertain3 and false3 = false3 (sum of ideals has monomial generators)
and other t... - 18:15 Feature #873 (In Progress): bool3: add some logical operations?
- It would not be harmful to your code if @bool3@ offered the functions, but you may be right that it would not simplif...
28 Apr 2016
- 10:45 Feature #873: bool3: add some logical operations?
- I'm against this idea. Indeed it might be handy, but dangerous as well: while working on fixing a bug on the bool3 f...
27 Apr 2016
- 18:49 Feature #873: bool3: add some logical operations?
- BOOST also offers a "not" operation. It would be trivial to implement @not3@ (giving value 1 - arg).
If we do off... - 18:45 Feature #873: bool3: add some logical operations?
- Part of the motivation comes from Anna's rectification of code for ideal arithmetic (see issue #870).
For example ... - 18:42 Feature #873: bool3: add some logical operations?
- I suggest adding the following two operations:
* *and* which is equivalent to "minimum"
* *or* which is equivalent... - 18:37 Feature #873 (In Progress): bool3: add some logical operations?
- Currently there are no logical operations on @bool3@ values.
Discuss whether it may be helpful to include some sim...
26 Apr 2016
- 19:05 Feature #872 (In Progress): LinSolve for matrices over FFp
- Currently CoCoALib uses generic code for solving linear systems over small finite fields.
Implement some special c... - 15:01 Design #871 (New): Redesign ideals
- Review the design of ideals.
Some points to bear in mind:
* an ideal should probably be immutable -- any operatio...
22 Apr 2016
- 18:09 Slug #866: implicit, ImplicitHypersurface: improve output verification
- I checked in @IsZeroEvalHorner@ in case you want to play with it.
The call is currently commented out. Just look fo... - 18:01 Slug #866: implicit, ImplicitHypersurface: improve output verification
- Anna Maria Bigatti wrote:
> > But I'd like another try: I'm planning to try to implement a sort of recursive Horner.... - 17:02 Slug #866: implicit, ImplicitHypersurface: improve output verification
- I seem to recall vaguely seeing a paper by Mourrain (or someone in his group) possibly about this. I think the quest...
- 16:26 Slug #866: implicit, ImplicitHypersurface: improve output verification
- Anna Maria Bigatti wrote:
> But I'd like another try: I'm planning to try to implement a sort of recursive Horner. M... - 15:14 Feature #869 (New): SmallFpImpl: different repr for computation and for storage?
- I would like to use @unsigned short@ to store @SmallFp@ values, but still have a decent range _i.e._ without the rest...
19 Apr 2016
- 14:59 Bug #867: Compilation Error: C++11 and old GMP-Version
- Perhaps I should have read the @configure@ script better: I have already inserted (ages ago) a warning for versions o...
- 14:54 Bug #867: Compilation Error: C++11 and old GMP-Version
- John Abbott wrote:
> Mario suggested that we could modify the CoCoALib configuration script to check that GMP is at ... - 14:20 Bug #867 (In Progress): Compilation Error: C++11 and old GMP-Version
- Mario suggested that we could modify the CoCoALib configuration script to check that GMP is at least version 5.0.0; c...
- 14:27 Feature #82 (In Progress): C++11 compatibility questions
- Mario has found a web page which explains that the preprocessor flag @__cpluscplus@ has a numerical value indicating ...
18 Apr 2016
- 12:33 Slug #866: implicit, ImplicitHypersurface: improve output verification
- John Abbott wrote:
> I suggest adding a probabilistic check of correctness: use the parametric formulas to generate ... - 12:23 Slug #866: implicit, ImplicitHypersurface: improve output verification
- I suggest adding a probabilistic check of correctness: use the parametric formulas to generate a random (numerical) p...
13 Apr 2016
- 17:04 Slug #866: implicit, ImplicitHypersurface: improve output verification
- John Abbott wrote:
> The example below takes about 12s on my computer, but only about 0.25s if the coeff field is @Z... - 15:45 Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification
- The example below takes about 12s on my computer, but only about 0.25s if the coeff field is @ZZ/(32003)@. Why is it...
- 13:34 Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification
- The current impl of @SliceCoreQQ@ is simple rather than efficient.
It uses modular+CRT to build the answer.
Current... - 15:41 Bug #867: Compilation Error: C++11 and old GMP-Version
- Thanks to Anna (grrrr!) you can build CoCoALib (and CoCoA-5) with an uninstalled version of GMP, _i.e._ a "private" v...
- 15:23 Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version
- I tried to compile CoCoALib at our LinuxCluster with a pretty old GMP version (4.3.1) and C++11 activated (with addit...
Also available in: Atom