Activity
From 31 Mar 2016 to 29 Apr 2016
29 Apr 2016
- 22:00 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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
- 19:05 CoCoA-5 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
- I have added a new CoCoALib test (@test-bug6.C@) which tests for this specific problem.
It should later be expande... - 08:57 CoCoA-5 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
- John Abbott wrote:
> I suggest that Anna try to fix the functions already in @SparsePolyRing.C@.
done! (cvs-ing)
... - 18:49 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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:19 CoCoA-5 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
- I suggest that Anna try to fix the functions already in @SparsePolyRing.C@.
Even though I'm hoping for a proper re... - 13:38 CoCoA-5 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
- I continue to think that the current design of ideals is completely wrong (but I cannot find the redmine task about t...
- 10:16 CoCoA-5 Bug #870 (In Progress): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
- Here is the equivalent CoCoALib code -- it exhibits the problem....
- 09:39 CoCoA-5 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
- Try looking around @SparsePolyRing.C:2029@
- 09:35 CoCoA-5 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
- Since this was reported by a CoCoA-5 user i have put it in the CoCoA-5 category even though I'm almost certain that t...
- 09:31 CoCoA-5 Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
- Vadim Tropashko reported an incorrect result. Robbiano has simplified it. Here is the simplified version....
- 15:01 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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:38 CoCoA-5 Design #868: Der, Bin: why the capital letter?
- It is also the case for @bin@.
In CoCoALib they are called @deriv@ and @binomial@, so the lower-case name is differe... - 12:33 CoCoALib 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 CoCoALib 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...
17 Apr 2016
- 20:06 CoCoA-5 Bug #287: --fullCoCoALibError prints too much (Try/UponError)
- I still like my proposal in comment 2. How easy it will be to implement is not clear to me.
Anyway the implementa... - 20:00 CoCoA-5 Design #868: Der, Bin: why the capital letter?
- I understand we want to keep @Der@ for backward compatibility.
Since we have @deg@, @den@, @det@ why not also @der... - 19:59 CoCoA-5 Design #868 (Closed): Der, Bin: why the capital letter?
- In CoCoA-5 the function for computing formal derivatives is @Der@; why does @der@ not exist?
14 Apr 2016
- 18:00 CoCoA-5 Bug #287: --fullCoCoALibError prints too much (Try/UponError)
- Ooops, apparently I released the Mac version of cocoa-5.1.4 with the flag activated.
This means that users computing...
13 Apr 2016
- 17:04 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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...
- 13:22 CoCoA-5 Feature #865 (New): Implicit: make easier to use with rational functions
- Make the CoCoA-5 interface (also CoCoALib interface?) easier to use when the parametric descriptions are as rational ...
07 Apr 2016
- 16:31 CoCoALib Bug #864 (Resolved): Assignment of rings (esp. derived rings such as PolyRing)
- I have commented out the parts which disable the default assignment. Everything compiled fine, and all tests passed....
06 Apr 2016
- 15:39 CoCoALib Bug #864 (In Progress): Assignment of rings (esp. derived rings such as PolyRing)
- Since assignment is allowed for @ring@ (and presumably causes no trouble), I see no reason for blocking it for "speci...
- 15:15 CoCoALib Bug #864 (Closed): Assignment of rings (esp. derived rings such as PolyRing)
- In issue #244 we approved the activation of assignment for objects of type @ring@.
Mario has pointed out that assign...
05 Apr 2016
- 16:50 CoCoALib Bug #860: Check impl of RingTwinFloatImpl::myIsRational
- One possible explanation for @ContFracIter@ being so slow is that its implementation is "very clean" (_e.g._ it uses ...
- 15:04 CoCoALib Bug #860: Check impl of RingTwinFloatImpl::myIsRational
- I have just tried another timing test with a list of about 90000 copies of @fibonacci(400)/fibonacci(401)@ mapped int...
- 14:43 CoCoALib Bug #860: Check impl of RingTwinFloatImpl::myIsRational
- I have just tried a speed test with more complicated rationals (all of the form @p1/p2@ where @p1@ and @p2@ are disti...
- 14:33 CoCoALib Bug #860: Check impl of RingTwinFloatImpl::myIsRational
- I have implemented a variant of @myIsRational@ which uses @SimplestBigRatBetween@. The implementation is certainly m...
- 14:25 CoCoA-5 Support #863: CoCoA-5 manual: IsInteger and IsRational are missing?
- I was quite surprised to notice that there is no manual page for @IsInteger@ and @IsRational@. I do note that the ma...
- 14:23 CoCoA-5 Support #863 (Closed): CoCoA-5 manual: IsInteger and IsRational are missing?
- Should there be entries for @IsInteger@ and @IsRational@ in the CoCoA-5 manual?
- 13:40 CoCoA-5 Slug #862: append has bad complexity
- Just out of curiosity I ran the example with @N=20000@; the time taken was about 210s... so still worse than quadrati...
- 13:27 CoCoA-5 Slug #862: append has bad complexity
- The C++ STL offers an operation (@pushback@) much like @append@ which guarantees linear complexity for a loop like th...
- 13:25 CoCoA-5 Slug #862 (New): append has bad complexity
- The @append@ function seems to have quite bad complexity....
04 Apr 2016
- 14:34 CoCoALib Bug #860 (In Progress): Check impl of RingTwinFloatImpl::myIsRational
- I have just read through the code for @RingTwinFloatImpl::myIsRational@ and it looks OK to me.
The only dodgy aspe...
31 Mar 2016
- 13:20 CoCoALib Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- JAA tried compiling on a recent Linux box (with recent gcc, version 5.3.1) explicitly setting the flag @-std=c++11@. ...
- 13:11 CoCoALib Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- Some notes about Bruns's platform:...
- 13:10 CoCoALib Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- Bruns reported the following errors during compilation:...
- 13:08 CoCoALib Support #861 (Closed): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- Bruns has reported compilation errors in the Janet Basis code (files called @TmpJB...@) when compiling with the flag ...
- 13:05 CoCoALib Feature #840 (In Progress): GINV: alex basis
- Mario has downloaded the GINV source, but has had several problems with compilation -- he has not yet succeeded in co...
Also available in: Atom