Activity

From 31 Aug 2017 to 29 Sep 2017

17:22 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples: Singular appears not to compute a GBasis for the radical.
For instance, in the first example in comment 11, Singul... John Abbott

14:30 CoCoALib Feature #1035 (Feedback): Improvement: how to sort QuotientBasis?: I have just moved the impl from @CoCoALibSupplement.C@ (what was it doing there?!?) to @SparsePolyRing.C@
There is... John Abbott

18:00 CoCoA-5 Design #476 (In Progress): Review utility of package IO: Indeed some form of "folded" printing could be useful for large outputs (especially inside emacs which has problems w... John Abbott
14:42 CoCoA-5 Bug #1104 (In Progress): Eigenvectors: inconsistent return type: From the manual for *@eigenvectors@*:... John Abbott
14:30 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples: I have noticed that when I interrupt the very long radical computations the interpreter indicates that it was computi... John Abbott

23:12 CoCoALib Feature #1103: Pseudo-zero-dim ideals: Here is an example where it would be faster to recognize that the ideal is 0-dim in an "obvious subring":... John Abbott
14:34 CoCoALib Feature #1103 (In Progress): Pseudo-zero-dim ideals: We have several functions which work well for 0-dim ideals but which give "Not yet implemented" for non-0-dim ideals.... John Abbott
17:21 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples: Here is another slow example: (about 450s on my computer)... John Abbott
14:43 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples: I have just tried the last example (916s) from the comment above modulo 32003 and modulo 29641. The computation was ... John Abbott
14:27 CoCoA-5 Slug #948 (In Progress): radical is slow (compared to singular) on these examples: Here are some examples of zero-dim ideals where radical is slow:... John Abbott

18:28 CoCoALib Feature #1102: Implement RootBound: Added example, test, documentation. Checked in.
How did it take me this long???
John Abbott
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]".
John Abbott
15:10 CoCoALib Feature #1102 (Closed): Implement RootBound: Translate the CoCoA-5 *@RootBound@* function into C++. John Abbott

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.
John Abbott
12:23 CoCoALib Bug #1101: Bug in MinPolyModular (insufficient rational reconstruction): Here are some more examples which the computer found during the night:... John Abbott
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:... John Abbott
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?
John Abbott

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@.
Anna Maria Bigatti
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... Anna Maria Bigatti
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!)
Anna Maria Bigatti
14:39 CoCoA-5 Bug #1100 (Closed): PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!: Bug summarized in this transcript... John Abbott
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 ... Anna Maria Bigatti
19:11 CoCoALib Bug #1101: Bug in MinPolyModular (insufficient rational reconstruction): Adding Horner evaluation to check minpoly correct reconstruction.
Anna Maria Bigatti
19:10 CoCoALib Bug #1101 (Closed): Bug in MinPolyModular (insufficient rational reconstruction): Rational reconstruction succeeds "too early"... Anna Maria Bigatti

15:49 CoCoALib Support #1099 (Closed): MinPolyQuot: missing doc: There is no CoCoALib doc for *@MinPolyQuot@* (and friends)! John Abbott

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... John Abbott
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... John Abbott
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... John Abbott
13:45 CoCoALib Support #1097 (Feedback): Rename ERR::SERIOUS to ERR::ShouldNeverGetHere: Renamed the error, and made all consequent changes.
Will check in shortly.
John Abbott
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... John Abbott

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... John Abbott
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)
Anna Maria Bigatti
11:21 CoCoALib Design #841: NewPolyRing: tidy up the many different versions: It would be nice to finish this issue soon! John Abbott

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&... Anna Maria Bigatti

Also available in: Atom

CoCoA