Design #1326
Updated by Anna Maria Bigatti 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@*, @this@, but I think it is unnatural for the general cocoalib design.
<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@*, @this@, but I think it is unnatural for the general cocoalib design.