Project

General

Profile

Design #1493

Updated by John Abbott over 3 years ago

We have partly implemented automatic conversion of o ring elements (_e.g._ in multiplication).
Should it also work for assignment? Here is a specific example:
<pre>
M := mat([[1,x],[0,1]]); // matrix over R
M[1,1] := LC(x); // RHS is in CoeffRing(R) -- currently currenyl gives MixedRings ERROR
</pre>

Back