CoCoA » CoCoA-5

09 Oct 2017

15:23 Support #977: "universal denominator" (related with GroebnerFanIdeals)

John Abbott wrote:
> JAA prefers INT to RINGELEM (at least for the moment).
OK, I'll change it back.
> If the co... Anna Maria Bigatti

15:19 Support #977: "universal denominator" (related with GroebnerFanIdeals)

JAA prefers INT to RINGELEM (at least for the moment).
If the coeff ring is not QQ but is FracField then I'm not s... John Abbott

12:53 Support #977: "universal denominator" (related with GroebnerFanIdeals)

Should @UniversalDenominator@ return @INT@ or @RingElem@?
We should also choose its name: @UniversalDen@?
Current... Anna Maria Bigatti

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