CoCoA » CoCoALib

17 Oct 2017

17:15 Feature #1108 (Resolved): New fn: IsCoprime (whenever gcd makes sense)

I have written a first trivial implementation. Seems to work.
John Abbott

16:50 Feature #1108: New fn: IsCoprime (whenever gcd makes sense)

The fn should be defined when *@gcd@* makes sense (_i.e._ for true GCD domains and @BigInt@).
At the moment I pref... John Abbott

16:48 Feature #1108 (Closed): New fn: IsCoprime (whenever gcd makes sense)

Define a new fn *@IsCoprime@* which is equivalent to *@IsInvertible(gcd(arg1, arg2))@*
JAA thinks it is better to ... John Abbott

15:47 Feature #630 (Feedback): Add graeffe function?

Added code; doc; example.
Also made accessible to CoCoA-5.
John Abbott

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