CoCoALib: Issueshttps://cocoa.dima.unige.it/redmine/https://cocoa.dima.unige.it/redmine/redmine/favicon.ico?15088260392024-03-25T18:06:41ZCoCoA Project
Redmine Feature #1803 (New): Improve trivial operations with ideal whose GBasis is [1]https://cocoa.dima.unige.it/redmine/issues/18032024-03-25T18:06:41ZAnna Maria Bigatti
<p>Sum is clever -- if HasGBasis(I) and is ideal(1).<br />Do the same for product and for other similar operations.<br /><pre>
use QQ[x,y,z];
I := ideal(x, x-1); GBasis(I);
ideal(y) + I; ---> gives (1) :-)
ideal(y) * I; ---> uses generators :-(
</pre></p> Feature #1654 (New): New function IsInSymbolshttps://cocoa.dima.unige.it/redmine/issues/16542022-01-28T07:51:14ZAnna Maria Bigatti
<p>We misuse <strong><code>AreDistinct</code></strong> to test whether a symbol is in a PolyRing.<br />The advantage is that <strong><code>AreDistinct</code></strong> sees just symbols, but that's costly!</p>
<p>This is a very invasive little function (in all rings).<br />I think we'll need also something like <strong><code>IsArityConsistent</code></strong>.</p> Bug #1620 (New): MinPolyQuot not documentedhttps://cocoa.dima.unige.it/redmine/issues/16202021-10-15T12:24:57ZFlorian Walsh
<p>MinPolyQuot is available in CoCoALib but is not documented.</p> Design #1422 (In Progress): Remove flag IhaveGBasisValue?https://cocoa.dima.unige.it/redmine/issues/14222020-02-25T15:15:42ZAnna Maria Bigatti
<p>As often happens, storing twice an information may lead to problems.<br />We have the fields <code>IhaveGBasisValue</code> and <code>myGBasisValue</code>.<br />Currently we cannot have <code>myGBasisValue</code> not empty which is not a valid GBasis.<br />So, what's the point in having <code>IhaveGBasisValue</code>?</p>
<p>Check well, and decide.</p> Design #1414 (In Progress): Make class RingElemVector?https://cocoa.dima.unige.it/redmine/issues/14142020-02-12T13:49:10ZAnna Maria Bigatti
<p>Should we implement a class for list/vector of RingElem, all guaranteed to be in hte same ring? (a bit like PPVector)<br />Nice thing would be that the empty list would know which ring it belongs to.<br />Think about it!</p> Feature #1381 (In Progress): Type ideal for ZZ[x[1..n]]https://cocoa.dima.unige.it/redmine/issues/13812020-01-06T05:46:56ZElisa Palezzatopalezzato@dima.unige.it
<p>Is it possible to add the type ideal for the ring ZZ[x[1..n]]?</p> Design #924 (New): FlagManager for bool/bool3 flagshttps://cocoa.dima.unige.it/redmine/issues/9242016-09-19T05:48:57ZAnna Maria Bigatti
<p>In many classes we have some bool/bool3 flags.<br />Setting a FlagManager class within, could help us keeping the same kind of interface and philosopy.<br />See <a class="issue tracker-2 status-5 priority-5 priority-high3 closed" title="Feature: IsMaximal, IsPrimary for IDEAL (in cocoalib) (Closed)" href="https://cocoa.dima.unige.it/redmine/issues/899#note-7">#899#note-7</a></p> Design #921 (New): Design GBMillhttps://cocoa.dima.unige.it/redmine/issues/9212016-09-16T06:29:50ZAnna Maria Bigatti
<p>(I believe we have already written something long these lines, but I cannot find it)</p> Feature #919 (New): Hilbert Driven GBasishttps://cocoa.dima.unige.it/redmine/issues/9192016-09-07T14:22:55ZAnna Maria Bigatti
<p>Hilbert-driven: to be done. Trivial in principle, probably requires designing the GBMill.</p> Feature #282 (New): Global setting: to use IsProbPrime in place of IsPrimehttps://cocoa.dima.unige.it/redmine/issues/2822012-12-04T11:14:57ZJohn Abbott
<p>An idea: since <strong><code>IsPrime</code></strong> can be extremely slow for larger inputs, and since <strong><code>IsProbPrime</code></strong> is normally extremely reliable, we could allow the user to specify when creating the <code>GlobalManager</code> to allow calls to <code>IsPrime</code> to be redirected silently to <code>IsProbPrime</code>.</p>
<p>There are several other functions where a probabilistic version can be much faster than a fully deterministic equivalent; so it may be nice to offer flags for these too.</p>
<p>We could also put into the <code>GlobalManager</code> the default number of iterations which <code>IsProbPrime</code> performs. And similarly for any other default values?</p> Feature #281 (New): Store unique copy of FF(p) in GlobalManagerhttps://cocoa.dima.unige.it/redmine/issues/2812012-12-03T14:31:38ZAnna Maria Bigatti
<p>Now calling <strong>ZZ/(7)</strong> twice produces two different rings.<br />Maybe that should be stored into GlobalManager.</p> Bug #277 (New): Eliminate class RefPPMonoidElem?https://cocoa.dima.unige.it/redmine/issues/2772012-11-23T17:24:39ZJohn Abbott
<p>Recently I eliminated the class <code>RefRingElem</code> for ring elements.<br />Should I do the same for <strong><code>RefPPMonoidElem</code></strong>?<br />Presumably the same reasoning applies.</p> Feature #258 (New): Multivariate liftinghttps://cocoa.dima.unige.it/redmine/issues/2582012-10-09T13:51:35ZJohn Abbott
<p>In CoCoA-4 there is some rather inefficient code for multivariate lifting. Can it be made more efficient?</p>
<p>In any case, we need a good (sparse?) multivariate lifter in CoCoALib. Zippel's method needs good (exact) linear algebra. We also want to avoid rational arithmetic.</p>
<p>If I recall well, the multivariate lifter was one of the trickiest piece of code I've ever written.</p> Feature #257 (New): Transcribe C4 code for GCD in QQ[x]https://cocoa.dima.unige.it/redmine/issues/2572012-10-09T13:36:30ZJohn Abbott
<p>The old CoCoA-4 univariate GCD code should be transcribed into CoCoALib.</p>
It comprises:
<ul>
<li>gcd in Fp[x] via standard euclidean algorithm.</li>
<li>Removal of content.</li>
<li>Leading coeff handling.</li>
<li>Optional reversal trick.</li>
<li>chinese remaindering of many modular images</li>
<li>heuristic stopping criterion & check</li>
<li>final content correction</li>
</ul>
<p>Why not use Hensel?</p> Bug #6 (New): Sort out RingElem, RefRingElem, ConstRefRingElem messhttps://cocoa.dima.unige.it/redmine/issues/62011-10-19T10:45:25ZJohn Abbott
<p>Study in detail the current approach to handling _RingElem_s.</p>
<p>Write a report discussing the pros and cons, then decide what to do.</p>