I have looked at old problem reported many years ago by Franz Lehner:
A:Matrix IntegerMod 5 := [[2,3],[3,2]]
inverse A
gives inverse over rational numbers, due to automatic convertion
by interpreter.
I looked what happen when we disable using 'convert' for
interpreter coercions. There are many regressions. In some
cases we could request users to be more explicit. For
example after
i := 10
instead of
i::String
users could write
convert(i)@String
But there are more troubling cases. Currently
[1..3,10,20..23]
works and gives list of segments, but disablig authomatic use of
'convert' we get error message instead:
Cannot convert an element of the construct to type Segment(
PositiveInteger) .
For added confusion we can 'convert'...
Similarly,
m := matrix([[11, 12, 13, 14], [21, 22,23, 24], [31, 32, 33, 34]])
m(1, 2..2)
which works now, after change produces error message.
--
Waldek Hebisch
--
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/20230513214158.ahvfmfhfs4jbexiq%40fricas.math.uni.wroc.pl.
