CoCoA » CoCoA-5

05 Oct 2017

10:21 Slug #907: ApproxSolve very slow on this example

This is another example where @ApproxSolve@ is too slow (in CoCoA-5.2.2).
The example came from "playing with" palin... John Abbott

02 Oct 2017

13:30 Feature #731 (In Progress): Primary Decomposition in CoCoA-5

PD for 0-dim ideals has been implemented (see issue #845)
John Abbott

27 Sep 2017

17:22 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

22 Sep 2017

18:00 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 Bug #1104 (In Progress): Eigenvectors: inconsistent return type

From the manual for *@eigenvectors@*:... John Abbott

14:30 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

19 Sep 2017

17:21 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 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 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

12 Sep 2017

13:43 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 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

11 Sep 2017

19:19 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 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 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 Bug #1100 (Closed): PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!

Bug summarized in this transcript... John Abbott