Re: [fricas-devel] inverting matrixes over rings

2021-04-14 Thread Waldek Hebisch
On Tue, Apr 13, 2021 at 11:35:55AM +0200, Prof. Dr. Johannes Grabmeier privat wrote: > the FriCAS code for inverting matrices over R is not correct. If wished > I can provide the necessary changes to matfuns.spad I am not sure what you consider as "not correct". Namely, currently 'inverse' assum

Re: [fricas-devel] inverting matrixes over rings

2021-04-13 Thread Kurt Pagani
On 13.04.2021 11:35, Prof. Dr. Johannes Grabmeier privat wrote: > the FriCAS code for inverting matrices over R is not correct. If wished > I can provide the necessary changes to matfuns.spad From my side, please do ;) (2) -> IU := inverse(U)@Matrix(R) An expression involving @ Matrix(Integer

[fricas-devel] inverting matrixes over rings

2021-04-13 Thread Prof. Dr. Johannes Grabmeier privat
the FriCAS code for inverting matrices over R is not correct. If wished I can provide the necessary changes to matfuns.spad Problem: recip returns "failed", inverse coerces to Fraction Integer: (1) -> R := IntegerMod 26    (1)  IntegerMod(26)