Design #1326
Updated by Anna Maria Bigatti about 2 months ago
Currently we have
<pre>
void SparsePolyRingBase::IdealImpl::myElim(const std::vector<RingElem>& ElimIndets)
</pre>
should we modify it so that the ideal is not modified and returns the elimination
<pre>
ideal SparsePolyRingBase::IdealImpl::myElim(const std::vector<RingElem>& ElimIndets) const
</pre>
?
The current design of several functions on ideals modify *@this@*, but I think it is unnatural for the general cocoalib design.
*2024-03* modified like this: J->myAssignElim(I, ElimIndets)
<pre>
void SparsePolyRingBase::IdealImpl::myElim(const std::vector<RingElem>& ElimIndets)
</pre>
should we modify it so that the ideal is not modified and returns the elimination
<pre>
ideal SparsePolyRingBase::IdealImpl::myElim(const std::vector<RingElem>& ElimIndets) const
</pre>
?
The current design of several functions on ideals modify *@this@*, but I think it is unnatural for the general cocoalib design.
*2024-03* modified like this: J->myAssignElim(I, ElimIndets)