CoCoA-5: Issueshttps://cocoa.dima.unige.it/redmine/https://cocoa.dima.unige.it/redmine/redmine/favicon.ico?15088260392014-02-20T10:40:51ZCoCoA Project
Redmine Bug #446 (Closed): intersection fails with zero idealhttps://cocoa.dima.unige.it/redmine/issues/4462014-02-20T10:40:51ZJohn Abbott
<p>The following input wrongly produces an error<br /><pre>
Use P ::= QQ[x,y,z];
I := ideal(x,y);
J := ideal(zero(P));
Intersection(I,J); --> gives error!
</pre></p> Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)https://cocoa.dima.unige.it/redmine/issues/4452014-02-19T20:48:18ZJohn Abbott
<p>The emacs UI sometimes gets indentation wrong inside a <code>file.cocoa5</code>.</p>
<p>The specific case I observed was when the previous line contained a variable called <code>Lambda1</code>.</p> Bug #444 (Closed): Not keyword/operatorhttps://cocoa.dima.unige.it/redmine/issues/4442014-02-19T20:37:58ZJohn Abbott
<p>The <code>Not</code> operator behaves differently from C4.</p>
<p>In C4 you could write <code>If Not 1 IsIn I Then ...</code></p>
<p>In C5 this is interpreted as <code>If Not(1) IsIn I Then ...</code><br />which gives a run-time error saying that <code>1</code> is not a boolean!</p>
<p>Is this a bug?</p> Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3https://cocoa.dima.unige.it/redmine/issues/4232014-01-22T15:23:53ZJohn Abbott
<p>The current <code>cocoa5</code> emacs code does not work well in emacs 24.3.<br />Try creating a new <code>file.cocoa5</code> and type into it:<br /><pre>
1+1;
</pre><br />You will find that the <code>;</code> key produces an error:<br /><pre>
electric-cocoa5-semi-or-dot: Symbol's value as variable is void: last-command-char
</pre></p>
<p>Fix it!</p> Bug #418 (Closed): What does interreduce do?https://cocoa.dima.unige.it/redmine/issues/4182013-12-11T13:32:23ZJohn Abbott
<p>Reading Emanuela Napoli's master's thesis I came across the following example:<br /><pre>
>>> j := [z^2, y^2*z +y*z, x*z +y*z, y^4 +2*y^3, x*y^2 +y^3 +x*y +y^2, x^2 +2*x*y +y^2, x^2 -2*x, y^2 +2*y, z];
>>> interreduced(j);
[z, y^2 +2*y, x^2 +2*x*y -2*y, -2*x*y -2*x +2*y, x +y]
>>> interreduced(It);
[z, x +y, y^2 +2*y]
</pre></p>
<p>I did not expect that applying <code>interreduce</code> twice would give a different answer.</p>
<p>Is this correct? If so, we should point it out in the manual.</p> Feature #380 (Closed): Add Frobby functions to cocoa-5https://cocoa.dima.unige.it/redmine/issues/3802013-06-26T10:07:11ZAnna Maria BigattiFeature #372 (Closed): add IsFactorClosedhttps://cocoa.dima.unige.it/redmine/issues/3722013-06-17T09:18:39ZAnna Maria BigattiFeature #371 (Closed): Resurrect LinearSimplifyhttps://cocoa.dima.unige.it/redmine/issues/3712013-06-13T13:26:32ZAnna Maria Bigatti
<p>translate LinearSimplify package to CoCoA-5</p> Feature #365 (Closed): add function to compute minimal generators (like Minimalize)https://cocoa.dima.unige.it/redmine/issues/3652013-06-11T12:56:16ZAnna Maria Bigatti
<p><strong>2014-04</strong> added <strong>MinGens</strong>, <strong>MinGensGeneral</strong> (for ideals and submodules) <strong>minimalize</strong>, <strong>minimalized</strong> (for ideals)</p> Feature #331 (Rejected): Is it possible to have R^3 for NewFreeModule(R,3)?https://cocoa.dima.unige.it/redmine/issues/3312013-03-15T14:14:26ZAnna Maria BigattiFeature #328 (Closed): Swaphttps://cocoa.dima.unige.it/redmine/issues/3282013-03-05T20:39:44ZJohn Abbott
<p>I think C5 should have a <strong><code>swap</code></strong> procedure.</p>
<p>Presumably it could simply be<br /><pre>
Define swap(ref A, ref B)
tmp := A;
A := B;
B := tmp;
EndDefine;
</pre></p>
<p>Perhaps an internal impl could avoid actually making a copies of the values.</p> Feature #237 (Closed): port homog/homogenized for ideal to cocoa-5https://cocoa.dima.unige.it/redmine/issues/2372012-09-26T12:57:50ZAnna Maria BigattiFeature #93 (Closed): Hilbert series: global output rings for non-standard gradingshttps://cocoa.dima.unige.it/redmine/issues/932012-02-23T16:14:45ZAnna Maria Bigatti
<p>Hilbert series for rings with standard gradings are all in a single QQ[t].</p>
<p>All other case create a ring for every call, so they will be in different rings.<br />Maybe we should have global rings for 1,2,3.. - gradings.</p> Feature #90 (Closed): Make the new fn CoefficientsWRT available in C5https://cocoa.dima.unige.it/redmine/issues/902012-02-11T12:25:45ZJohn Abbott
<p>JAA has recently added CoefficientsWRT, ContentWRT, and a few other fns to CoCoALib.<br />Make these fns available to C5 users too -- D'Ali` will want to use them.</p> Bug #32 (Closed): Elim(t, I)https://cocoa.dima.unige.it/redmine/issues/322011-11-15T12:52:09ZLorenzo Robbianorobbiano@dima.unige.it
<p>It would be better to have<br /> Elim(t, I) <br />as well as<br /> Elim([t], I)</p>