Paul Zinn-Justin
Paul Zinn-Justin
... as a consequence, this fails: ``` mutableMatrix{{1}}*mutableMatrix{{1/1}} error: mutable matrix/ring type for (mutable) matrix multiplication required to be the same ```
in a similar vein, I was trying to get `cf'` right, `$cf'$` looked ugly because c and f were too far apart, `$\mathit{cf}'$` looked ugly because the ' was too...
> > Why is an instance of Module a right module necessarily? > > Because when representing a map between free modules as a matrix, the matrix acts on the...
wrong thread sry
might as well mention the other issue that I found while investigating this: the first matrix of the output of `smithNormalForm` depends on the value of `ChangeMatrix` (even though it...
edited: after M2internals I would volunteer to implement this, but I'm afraid I don't know enough of the inner workings of M2... also it seems the current implementation of mutable...
but what if the function requires a `Symbol` as a (non-optional) argument?
I think this is just another occurrence of https://github.com/Macaulay2/M2/issues/2891
going through old issues, seems now `degreeLength M` now returns `error: no method found for applying degreeLength to argument(s): Z^6 of class Module`. The actual issue remains.
I still don't understand why we care about left ideals (or right ideals, for that matter), cf my comment in the other PR.