CoCoA-5: Issueshttps://cocoa.dima.unige.it/redmine/https://cocoa.dima.unige.it/redmine/redmine/favicon.ico?15088260392017-12-15T17:33:13ZCoCoA Project
Redmine Feature #1142 (Closed): NewZZmod: port to CoCoA-5https://cocoa.dima.unige.it/redmine/issues/11422017-12-15T17:33:13ZAnna Maria Bigatti
<p>NewZZmod allows big integers, and non-primes.</p> Bug #1140 (Closed): ImplicitModular: too many bad primeshttps://cocoa.dima.unige.it/redmine/issues/11402017-12-14T13:19:26ZJohn Abbott
<p>In the example below <code>ImplicitModular</code> decides that it has found a "better prime", but after that all primes seem to be "bad".<br /><strong>Very suspicious!</strong></p>
<pre>
---------------------------
source("../IdealsModP.cpkg5");
---------------------------
SetVerbosityLevel(90);
R ::= QQ[x,y,z,v,w];
Use S ::= QQ[s,t];
f1:= t^5*s^2 -s -1; f2:= s^3*t^2 +2*t^2 -t; f3:= t^2 +s*t -1; f4:=s^3-2*t+s; f5:= s^3-t^2;
L := [f1, f2, f3,f4, f5];
T := CpuTime(); G:= implicit(R,L); TimeFrom(T);
-- 4.643
T := CpuTime(); GM:= ImplicitModular(R,L,100); TimeFrom(T);
-- 6.820
</pre>
<p>This is just Renzo's example <code>3su6.cocoa5</code> (from IdealsModp) with starting prime 100.</p> Bug #1139 (Closed): Radical problemshttps://cocoa.dima.unige.it/redmine/issues/11392017-12-12T13:58:05ZJohn Abbott
<p>There are still problems with radical: sometimes it gives an empty list instead of an ideal.</p>
<pre>
/**/ I := ideal(x^2, x*y+1);
/**/ radical(I);
[]
</pre> Design #1128 (Closed): HomomorphismFns.cpkg5 no longer needed?https://cocoa.dima.unige.it/redmine/issues/11282017-11-24T16:03:44ZJohn Abbott
<p>The main functions from <strong><code>HomomorphismFns.cpkg5</code></strong> have been ported to CoCoALib, so the package appears no longer to serve any purpose.</p>
<p>Check, decide, act.</p> Design #1127 (Closed): subalgebra package obsolete?https://cocoa.dima.unige.it/redmine/issues/11272017-11-24T15:58:10ZJohn Abbott
<p>Is the <strong><code>subalgebra.cpkg5</code></strong> package obsolete now that we have homomorphism fns in CoCoALib?</p> Design #1123 (Closed): Should "minimalize" be obsolescent?https://cocoa.dima.unige.it/redmine/issues/11232017-11-16T10:54:10ZAnna Maria Bigatti
<p>minimalized --> done.<br />what about minimalized?</p> Slug #1109 (Closed): Emacs UI can be slow in M$ Windowshttps://cocoa.dima.unige.it/redmine/issues/11092017-10-19T15:08:40ZJohn Abbott
<p>At the school in Cameroon I saw that some Microsoft Windows computers were terribly slow (<em>e.g.</em> 30s delay after each line of input) when using CoCoA-5 inside emacs.</p> Bug #1100 (Closed): PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!https://cocoa.dima.unige.it/redmine/issues/11002017-09-11T12:39:23ZJohn Abbott
<p>Bug summarized in this transcript<br /><pre>
/**/ L:=[3*x^3*y +3*y*z^3 +1, 2*x*y*z^2 +3*x, 2*y^3*z +1];
/**/ I := ideal(L);
/**/ IsZeroDim(I);
true
/**/ PrimaryDecomposition0(I);
--> ERROR: IsPrimary: implemented only for 0-dimensional ideals
--> WHERE: at line 20 (column 5) of maximal.cpkg5
--> error("IsPrimary: implemented only for 0-dimensional ideals");
--> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
CONTEXT: function IsPrimary at line 20 of maximal.cpkg5
CALLED BY: function PrimaryDecomposition0 at line 38 of PrimaryDecomposition0.cpkg5
called at top-level
</pre></p> Design #1092 (Closed): Design issues for discussion in July 2017https://cocoa.dima.unige.it/redmine/issues/10922017-07-17T14:45:41ZJohn Abbott
<p>Not really a single issue. Just to gather matters to discuss shortly.</p> Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAThttps://cocoa.dima.unige.it/redmine/issues/10912017-07-13T15:17:07ZAnna Maria BigattiBug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 w...https://cocoa.dima.unige.it/redmine/issues/10872017-07-04T09:20:38ZJohn Abbott
<p>I tried starting CoCoA-5 inside a fresh emacs by typing <code>M-x cocoa5</code>, and got the error <strong><code>Wrong type argument processp nil</code></strong>.</p>
<p>The actual problem is that the CoCoA-5 executable does not exist. Supposedly this is checked in <code>cocoa5-make-shell</code> (see line 1286 in <code>cocoa5.el</code>, but for some reason I do not get the error message which it should produce.</p>
<p>Investigate and rectify.</p> Feature #1084 (Closed): New function: PrevPrimehttps://cocoa.dima.unige.it/redmine/issues/10842017-06-29T06:39:57ZAnna Maria Bigatti
<p>We have <code>NextPrime</code>.<br />For modular methods it would be nice to have <code>PrevPrime</code>, so that we can start from the biggest meaningful prime and go down.</p> Design #1067 (Closed): "Randomize" and "Randomized" obsolete?https://cocoa.dima.unige.it/redmine/issues/10672017-05-14T08:57:20ZJohn Abbott
<p>While looking through the CoCoA-5 on-line manual, I noticed that there are references to <code>Randomize</code> and <code>Randomized</code>.<br />These CoCoA-4 functions have not been ported to CoCoA-5; should we do so, or should we regard them as obsolete?</p>
<p>My preference is to regard them obsolete.</p> Feature #1011 (Closed): Random seed fnhttps://cocoa.dima.unige.it/redmine/issues/10112017-02-20T15:16:22ZJohn Abbott
<p>CoCoA-4 has a <code>Seed</code> fn for resetting the global random number generator.</p>
<p>Make it (or something equivalent) available in CoCoA-5?</p> Slug #798 (Closed): use poly ring with many variables is too slowhttps://cocoa.dima.unige.it/redmine/issues/7982015-11-09T10:38:41ZJohn Abbott
<p>Mario will need polyrings with many variables (>10000).<br />CoCoALib seems to have no "artificial limit"; but when I tried <code>use QQ[x[1..10000]];</code> in CoCoA-5 it took almost 400s to create the ring. That is too slow!</p>