CoCoA » CoCoALib

04 Oct 2017

13:43 Design #1106 (Closed): Remove READLINE from CoCoALib

CoCoALib does not depend on READLINE.
Change the LDLIBS and CPP flags so that CoCoALib is completely independent of ... John Abbott

02 Oct 2017

14:56 Slug #1105: Primary Decompositon (zero-dim) slow cases

Here are some more examples: each gen here has 4 terms... John Abbott

13:39 Slug #1105: Primary Decompositon (zero-dim) slow cases

The examples were generated by random search printing out successively slower cases.
John Abbott

13:38 Slug #1105 (Closed): Primary Decompositon (zero-dim) slow cases

Here are some cases where @PrimaryDecomposition0@ in CoCoA-5.2.2 is slow:... John Abbott

25 Sep 2017

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

19 Sep 2017

23:12 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 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

14 Sep 2017

18:28 Feature #1102: Implement RootBound

Added example, test, documentation. Checked in.
How did it take me this long???
John Abbott

15:11 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 Feature #1102 (Closed): Implement RootBound

Translate the CoCoA-5 *@RootBound@* function into C++. John Abbott