Activity
From 19 Sep 2017 to 18 Oct 2017
17 Oct 2017
- 17:15 CoCoALib Feature #1108 (Resolved): New fn: IsCoprime (whenever gcd makes sense)
- I have written a first trivial implementation. Seems to work.
- 16:50 CoCoALib 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... - 16:48 CoCoALib 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 ... - 15:47 CoCoALib Feature #630 (Feedback): Add graeffe function?
- Added code; doc; example.
Also made accessible to CoCoA-5.
16 Oct 2017
- 16:54 CoCoA-5 Feature #1107: CoCoA Online: install (using InteractiveShell)
- First hard work: install properly vagrant.
(with the help of Alessandro Cartatone) - 16:49 CoCoA-5 Feature #1107 (New): CoCoA Online: install (using InteractiveShell)
- install CoCoA Online (using InteractiveShell)
09 Oct 2017
- 15:23 CoCoA-5 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... - 15:19 CoCoA-5 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... - 12:53 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- Should @UniversalDenominator@ return @INT@ or @RingElem@?
We should also choose its name: @UniversalDen@?
Current...
05 Oct 2017
- 10:21 CoCoA-5 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...
04 Oct 2017
- 13:43 CoCoALib 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 ...
02 Oct 2017
- 14:56 CoCoALib Slug #1105: Primary Decompositon (zero-dim) slow cases
- Here are some more examples: each gen here has 4 terms...
- 13:39 CoCoALib Slug #1105: Primary Decompositon (zero-dim) slow cases
- The examples were generated by random search printing out successively slower cases.
- 13:38 CoCoALib Slug #1105 (Closed): Primary Decompositon (zero-dim) slow cases
- Here are some cases where @PrimaryDecomposition0@ in CoCoA-5.2.2 is slow:...
- 13:30 CoCoA-5 Feature #731 (In Progress): Primary Decomposition in CoCoA-5
- PD for 0-dim ideals has been implemented (see issue #845)
27 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...
25 Sep 2017
- 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...
22 Sep 2017
- 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...
- 14:42 CoCoA-5 Bug #1104 (In Progress): Eigenvectors: inconsistent return type
- From the manual for *@eigenvectors@*:...
- 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...
19 Sep 2017
- 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":...
- 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....
- 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)...
- 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 ...
- 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:...
Also available in: Atom