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)
Type: Type
(2) -> U : Matrix R := [[1,2],[0,1]]
+1 2+
(2) | |
+0 1+
Type: Matrix(IntegerMod(26))
(3) -> recip U
(3) "failed"
Type: Union("failed",...)
(4) -> inverse U
+1 - 2+
(4) | |
+0 1 +
Type:
Union(Matrix(Fraction(Integer)),...)
The desired result should be the following:
(72) -> inverse U
+1 24+
(72) | |
+0 1 +
Type:
Union(Matrix(IntegerMod(26)),...)
--
Mit freundlichen Grüßen
Johannes Grabmeier
Prof. Dr. Johannes Grabmeier
Köckstraße 1, D-94469 Deggendorf
Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756
Tel. +49-(0)-991-3615-141 (d), Fax: +49-(0)-32224-192688
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/61f10367-092c-37b3-4837-4cbfc369f18b%40grabmeier.net.
