CoCoA-5: Issueshttps://cocoa.dima.unige.it/redmine/https://cocoa.dima.unige.it/redmine/redmine/favicon.ico?15088260392024-03-26T12:44:47ZCoCoA Project
Redmine Feature #1806 (New): New function ModuleElems? (like RingElems(RING, STRING))https://cocoa.dima.unige.it/redmine/issues/18062024-03-26T12:44:47ZAnna Maria Bigatti
<p>The best shortcut to make a submodule is via <code>SumboduleCols/Rows</code>.</p>
<p>As pointed out in <a class="issue tracker-2 status-6 priority-4 priority-default closed" title="Feature: syz: apply to ModuleElem? (Rejected)" href="https://cocoa.dima.unige.it/redmine/issues/1072">#1072</a>-<a class="issue tracker-1 status-5 priority-4 priority-default closed" title="Bug: MachineInteger --> MachineInt (Closed)" href="https://cocoa.dima.unige.it/redmine/issues/1">#1</a>, even for one generator we need the list:<br /><pre>
use P ::= QQ[x,y,z];
M3 := NewFreeModule(P,3);
v := ModuleElem(M3, [0,z,-y]);
submodule(M3, [v]);
</pre><br />I don't think it worth implementing the 1-2-3 generator shortcuts as for ideal, but <strong>maybe</strong> a syntax to read from a string could be handy.</p> Feature #1805 (New): Add CoCoA-5 syntax: syz(<F,> list of ModuleElem)https://cocoa.dima.unige.it/redmine/issues/18052024-03-26T11:16:00ZAnna Maria Bigatti
<p>Currently we can call SyzOfGens(M), but it should also be possibile to call syz(gens(M)).</p>
<p>This is tedious because we have to distinguish (in BuiltinFunctionsVarArg-CoCoALib) if the list is made of RingElem or of ModuleElem.<br />I cannot think of another case as this...</p> Bug #1795 (Feedback): Makefile problem: needlessly relinks CoCoAInterpreterhttps://cocoa.dima.unige.it/redmine/issues/17952024-03-16T13:07:30ZJohn Abbott
<p>Assuming that <code>CoCoAInterpreter</code> is already compiled (and up-to-date).<br />Running <code>make check</code> in directory <code>src/CoCoA-5/</code> causes <code>CoCoAInterpreter</code> to be relinked.<br />This is not helpful (but probably also not harmful).</p>
<p>Fix it!</p> Bug #1794 (In Progress): Strange bug: demo-Osaka2015https://cocoa.dima.unige.it/redmine/issues/17942024-03-16T11:13:17ZJohn Abbott
<p>I observe differing output with the test <code>demo-Osaka2015</code> when compiled using <code>clang</code> and with debugging active.<br />The problem seems not to arise with <code>g++</code>. Platform is Linux (Ubuntu 23.04).</p> Bug #1781 (Feedback): GenReprCompute: SERIOUS ERRORhttps://cocoa.dima.unige.it/redmine/issues/17812024-02-08T21:02:19ZJohn Abbott
<p>I have just sync'ed with CVS, and <code>CoCoA5/tests/tut-CoCoLA3</code> gives <b>SERIOUS ERROR</b></p>
<p>Oops! Too late to invesigate now :-(</p> Support #1776 (New): CoCoA-5 releases on redminehttps://cocoa.dima.unige.it/redmine/issues/17762024-01-12T10:52:15ZAnna Maria Bigatti
<p>Links to the list of issues dealt with in each release:</p>
<p><strong>CoCoA-5</strong>: Computer Algebra System</p>
<p>- (2020) <strong>CoCoA-5.3.0</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=37">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=37</a> <br />- (2020) <strong>CoCoA-5.3.2</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=45">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=45</a><br />- (2018) <strong>CoCoA-5.2.4</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=34">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=34</a> <br />- (2018) <strong>CoCoA-5.2.2</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=31">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=31</a><br />- (2017) <strong>CoCoA-5.2.0</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=27">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=27</a><br />- (2015) <strong>CoCoA-5.1.4</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=22">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=22</a><br />- (2015) <strong>CoCoA-5.1.2</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=18">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=18</a><br />- (2014) <strong>CoCoA-5.1.1</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=13">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=13</a><br />- (2014) <strong>CoCoA-5.1.0</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=12">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=12</a></p>
<p>- <strong>All open issues</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=5">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=5</a> <br />- <strong>All closed issues</strong> <a class="external" href="https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=2">https://cocoa.dima.unige.it/redmine/projects/cocoa-5/issues?query_id=2</a></p> Design #1772 (New): Continued fraction: arg type RAT or RAT/INT?https://cocoa.dima.unige.it/redmine/issues/17722023-11-28T21:12:43ZJohn Abbott
<p>Currently the continued fraction functions expect an arg of type <code>RAT</code>.<br />This cause a problem in one program I wrote which had the following structure:<br /><pre>
N := AsRAT(...);
D := AsRAT(...);
CF := ContFrac(N/D);
</pre><br />The problem was that in one instance <code>N/D</code> actually turned out to be an integer, so CoCoA-5 automatically gave the value the type <code>INT</code>.<br />This triggered an error (after several minutes' execution).</p>
<p>Should we allow the continued fraction functions to accept <code>INT</code> or not?</p> Design #1765 (New): Difference between seealso and keys?https://cocoa.dima.unige.it/redmine/issues/17652023-10-16T18:02:06ZJohn Abbott
<p>I wanted to loo up how to generate a random permutation -- I was fairly sure that CoCoA-5 had such a function. So I (lazily) typed<br /><pre>
?random
</pre><br />Of course, that gave the manual page for <code>random</code>, but it also gave a list of <em>see also</em> entries. But <code>RandomPermutation</code> was not there :-(</p>
<p>I then typed the variant<br /><pre>
??random
</pre><br />And now many more names appeared (incl. <code>RandomPermutation</code>)</p>
<p>Should there be a link between what <code>??</code> lists and the <em>see also</em> list?</p> Design #1762 (New): CoCoA web site "analytics"https://cocoa.dima.unige.it/redmine/issues/17622023-08-20T20:23:38ZJohn Abbott
<p>I have just read in the comments on <em>The Register</em> that there is a nicely behaved "analytics" option from <b>Matomo</b> (website <code>https://matomo.org</code>).<br />We should consider using that instead of Google</p> Slug #1760 (In Progress): Quitting can be slowhttps://cocoa.dima.unige.it/redmine/issues/17602023-08-05T09:21:52ZJohn Abbott
<p>I hace just closed a CoCoA-5 running inside Emacs by sending a ctrl-D.<br />Initially I thought ctrl-D had not worked because it seemed that nothing happened (because CoCoA was busy freeing the memory occupied by a large polynomial, see comment 2 in issue <a class="issue tracker-4 status-2 priority-4 priority-default" title="Slug: deg(f) is slow if f is long (In Progress)" href="https://cocoa.dima.unige.it/redmine/issues/1756">#1756</a>).<br />It would be nice if there were an immediate response that CoCoA-5 is quitting (& cleaning up used resoures).</p> Support #1759 (New): Better error mesg for 1.2.3.4?https://cocoa.dima.unige.it/redmine/issues/17592023-08-03T14:04:18ZJohn Abbott
<p>I mistyped and obtained an error message which could be better:<br /><pre>
/**/ [1.2.3.4];
--> ERROR: I was expecting an identifier but I've found the number "3.4"
--> [1.2.3.4];
--> ^^^
</pre></p> Feature #1752 (New): Make it easy to run the tests in a public/distrib versionhttps://cocoa.dima.unige.it/redmine/issues/17522023-07-06T10:12:17ZJohn Abbott
<p>It is not currently so easy to verify that the distributed "pre-compiled" version of CoCoA-5 passes all the tests.<br />Make this easier.</p> Support #1751 (In Progress): Manual of functions vs ManExampleshttps://cocoa.dima.unige.it/redmine/issues/17512023-07-03T16:13:29ZAnna Maria Bigatti
<p>In the manual we have things like these:<br /><pre>
/**/ define fn(X)
/**/ assert(X > 0);
/**/ return FloorSqrt(X);
/**/ enddefine;
</pre><br />so that ManExamples can extract the input code.<br />Should we have something like<br /><pre>
---- function definition ----
define fn(X)
assert(X > 0);
return FloorSqrt(X);
enddefine;
-----------------------------
</pre><br />(and the same for package) so that the manual looks more natural? (and with coloured syntax!)</p> Feature #1747 (New): NewPolyRing with indices -- better interface?https://cocoa.dima.unige.it/redmine/issues/17472023-06-29T16:08:20ZAnna Maria Bigatti
<p>Can we implement<br /><pre>
NewPolyRing(QQ, "x[1..4],y[1..4]");
</pre><br />without too much pain?</p> Bug #1746 (Feedback): ManExamples target: need t reset VerbosityLevelhttps://cocoa.dima.unige.it/redmine/issues/17462023-06-06T20:14:50ZJohn Abbott
<p>I tried running <code>make ManExamples</code> and was surprised to see verbosity output (for <code>IsLRSDegenerate</code>).<br />I think each example should be run with verbosity level reset to 0.</p>