Activity
From 20 Aug 2017 to 18 Sep 2017
14 Sep 2017
- 18:28 CoCoALib Feature #1102: Implement RootBound
- Added example, test, documentation. Checked in.
How did it take me this long???
- 15:11 CoCoALib Feature #1102 (Feedback): Implement RootBound
- I have implemented *@RootBound@* from scratch following what I wrote in "Bound on Factors in ZZ[x]".
- 15:10 CoCoALib Feature #1102 (Closed): Implement RootBound
- Translate the CoCoA-5 *@RootBound@* function into C++.
12 Sep 2017
- 17:03 CoCoALib Bug #1101: Bug in MinPolyModular (insufficient rational reconstruction)
- JAA has added @test-MinPoly1.C@ including the 3 examples listed here.
Checking in now.
- 12:23 CoCoALib Bug #1101: Bug in MinPolyModular (insufficient rational reconstruction)
- Here are some more examples which the computer found during the night:...
- 13:43 CoCoA-5 Bug #1100: PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
- Here is a zero-dim ideal with primdecomp having 32 components:...
- 12:20 CoCoA-5 Bug #1100: PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
- Anna: have you added the example(s) as a tests cases in the CoCoA test suite?
11 Sep 2017
- 19:19 CoCoA-5 Bug #1100 (Feedback): PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
- Fixed: was a problem in @MinPolyModular@.
- 18:40 CoCoA-5 Bug #1100: PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
- Found it: we knew it could happen, and this is the first time I see it!
The modular reconstruction gives the wrong... - 18:21 CoCoA-5 Bug #1100: PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
- With SetVerbosity(90) it appears that down in the recursion it get an ideal=(1).
Investigating (should never happen!)
- 14:39 CoCoA-5 Bug #1100 (Closed): PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
- Bug summarized in this transcript...
- 19:16 CoCoALib Bug #1101 (Resolved): Bug in MinPolyModular (insufficient rational reconstruction)
- Fixed. I implemented a Horner evaluation in @MinPoly.C@ which may be improved, and maybe moved into some other file ...
- 19:11 CoCoALib Bug #1101: Bug in MinPolyModular (insufficient rational reconstruction)
- Adding Horner evaluation to check minpoly correct reconstruction.
- 19:10 CoCoALib Bug #1101 (Closed): Bug in MinPolyModular (insufficient rational reconstruction)
- Rational reconstruction succeeds "too early"...
08 Sep 2017
- 15:49 CoCoALib Support #1099 (Closed): MinPolyQuot: missing doc
- There is no CoCoALib doc for *@MinPolyQuot@* (and friends)!
06 Sep 2017
- 16:10 CoCoA-5 Support #1061 (In Progress): Release: CoCoA-5.2.2
- Here are the main changes:
* changed "timeout" to resolve issue #1097
The above should (mostly) be added to rel... - 15:27 CoCoALib Design #1098 (New): Ctors for exceptions/errors
- Currently the ctors for exceptions and errors use a curious mixture of *@std::string@* and *@const char* const@* args...
- 15:17 CoCoA-5 Bug #1095 (Resolved): TimeOut not working as hoped/expected
- I have modified the code so that *@TimeoutException@* is now derived from *@ErrorInfo@* (rather than @InterruptExcept...
- 13:45 CoCoALib Support #1097 (Feedback): Rename ERR::SERIOUS to ERR::ShouldNeverGetHere
- Renamed the error, and made all consequent changes.
Will check in shortly.
- 13:44 CoCoALib Support #1097 (Closed): Rename ERR::SERIOUS to ERR::ShouldNeverGetHere
- After discussing with Anna, we prefere the name *@ERR::ShouldNeverGetHere@* to *@ERR::SERIOUS@*.
Change the name o...
01 Sep 2017
- 11:31 CoCoALib Feature #385: Design new errors using inheritance
- Here are some old notes about errors/exceptions I found while tidying up:
* BadArg
* IncompatibleArgs
* Programm... - 11:30 CoCoALib Design #841: NewPolyRing: tidy up the many different versions
- We should also consider how and when optimize copying the ordering matrix.
(I need to discuss the details in person)
- 11:21 CoCoALib Design #841: NewPolyRing: tidy up the many different versions
- It would be nice to finish this issue soon!
31 Aug 2017
- 10:05 CoCoALib Support #1096: WEB SITE: HTML is not clean!
- https://validator.w3.org/check?uri=http%3A%2F%2Fcocoa.dima.unige.it%2Fcocoalib%2F&charset=%28detect+automatically%29&...
30 Aug 2017
- 17:32 CoCoA-5 Bug #1095: TimeOut not working as hoped/expected
- John Abbott wrote:
> Is a "timeout" more like an interrupt (which cannot be caught by a *try* block)?
> Or is it mo... - 17:11 CoCoA-5 Bug #1095: TimeOut not working as hoped/expected
- Is a "timeout" more like an interrupt (which cannot be caught by a *try* block)?
Or is it more like an error (which ...
29 Aug 2017
- 16:38 CoCoALib Support #1096 (New): WEB SITE: HTML is not clean!
- I have just had trouble with viewing the CoCoALib page in Firefox: it seemed that the page never finished loading (as...
- 16:29 CoCoA-5 Bug #1095 (Closed): TimeOut not working as hoped/expected
- I had hoped to use the "time out" feature in a loop similar to this:...
Also available in: Atom