Activity
From 26 Mar 2016 to 24 Apr 2016
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...
07 Apr 2016
- 16:31 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 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 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 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 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 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 Bug #860: Check impl of RingTwinFloatImpl::myIsRational
- I have implemented a variant of @myIsRational@ which uses @SimplestBigRatBetween@. The implementation is certainly m...
04 Apr 2016
- 14:34 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 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 Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- Some notes about Bruns's platform:...
- 13:10 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 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 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...
30 Mar 2016
- 18:34 Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational
- Since the old impl of @RingTwinFloat::myIsInteger@ simply called @myIsRational@ and then checked that the denominator...
- 18:31 Design #859 (Resolved): Twin-float: comparisons and equality test
- I have added a new "boolean" data member saying whether *@myIsEqualNZIgnoreSign@* should allow the outer intervals to...
- 15:31 Design #859: Twin-float: comparisons and equality test
- One unfortunate aspect of the mem fn @myCmp5@ is who throws @InsuffPrec@ when a comparison operator needs to throw?
... - 15:20 Design #859: Twin-float: comparisons and equality test
- With the impl I have in mind for @op>=@ and @op<=@ via @myCmp5@, it is not possible to have values @X@ and @Y@ such t...
- 18:23 Bug #853: NearestInt can needlessly throw InsufficientPrecision
- I have cleaned the impl considerably; it is now obviously correct (but possibly slower than necessary as a wasteful t...
- 18:15 Bug #858 (Feedback): floor for TwinFloat can produce ERR::SERIOUS
- I am now happy with the impls; they are simple enough that they are "obviously correct" (I hope!). Also I believe th...
29 Mar 2016
- 16:46 Design #859: Twin-float: comparisons and equality test
- The idea of changing @operator>=@ and @operator<=@ is trickier than I had originally thought (or hoped) because they ...
28 Mar 2016
- 23:07 Design #859: Twin-float: comparisons and equality test
- Perhaps I could implement both approaches and let the user choose. If so, should it be a compile-time switch or a ru...
- 22:59 Design #859: Twin-float: comparisons and equality test
- I am still unsure whether it is reasonable for a test such as @Y <= X@ to give @true@ when @Y = X@ throws @InsuffPrec...
- 22:45 Design #859: Twin-float: comparisons and equality test
- *Variant A* is notionally quite simple; I think I prefer it to the other possibilities. I can try implementing it (i...
- 22:25 Design #859: Twin-float: comparisons and equality test
- A simpler idea would be to modify when comparisons throw @InsuffPrec@.
The model I have in mind is a fixed (non-ze... - 22:08 Design #859: Twin-float: comparisons and equality test
- If we want to keep the behaviour of the comparison functions unchanged (esp. regarding when to throw @InsuffPrec@) th...
- 21:39 Design #859: Twin-float: comparisons and equality test
- The critical step is comparing two twin-floats for equality. If the two values are quite different then it is easy t...
- 21:25 Design #859 (In Progress): Twin-float: comparisons and equality test
- Consider the following code excerpt:...
- 21:18 Design #859 (Closed): Twin-float: comparisons and equality test
- I have some philosophical questions about comparisons between twin-floats.
For the equality test there are 3 possi...
26 Mar 2016
- 22:54 Bug #858: floor for TwinFloat can produce ERR::SERIOUS
- I found a bug in @myIsInteger@, so have written a completely new version (it's quite a nightmare debugging code writt...
- 21:23 Bug #858: floor for TwinFloat can produce ERR::SERIOUS
- An ad hoc test behaved as I expected, so I think @myFloor@ (and @myCeil@ are now OK).
Wish I could say the same for ... - 21:21 Bug #858: floor for TwinFloat can produce ERR::SERIOUS
- I am now convinced that @myFloor@ must effectively make a @myIsInteger@ test.
If @myIsInteger@ succeeds then its r... - 11:28 Bug #858: floor for TwinFloat can produce ERR::SERIOUS
- One way out of the problem would simply be to reinstate the test:...
- 11:06 Bug #858 (In Progress): floor for TwinFloat can produce ERR::SERIOUS
- The point is that the candidate value for floor should really be floor of primary component plus a very small epsilon...
- 11:03 Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS
- Fix impl of @RingTwinFloatImpl::myFloor@ so that the following does not happen...
Also available in: Atom