>> PS: I'm sure, you have also found fricas.github.io/api/Localize.html .
>> That domain looked somehow weird to me. For a localization, I would
>> expect a ring R and a multiplicative closed set S and then form
>> S^(-1)R. Why Localize(M, R) wants R to be a CommutativeRing, is not
>> completely clear to me. Maybe only, because M should be a Module(R).
>
> One needs existence of common multiples. That is obvius in
> commutative case (product is a common multiple), true in
> noetherian case but fails in general (for example in tensor
> algebra).
Maybe it would make sense to have something like
Localize(R, M, S)
to model S^(-1)M. Here I assume
R: CommutativeRing
M: Module R
S a multiplicatively closed subset of R.
In the current implementation S is implicitly always R \ {0}, which is,
of course, needlessly too restricted for general purposes.
Also it should not be Localize(M, R), but Localize(R, M), because the
type of M depends on R and I would like to have arguments that have no
dependency more to the left.
Ralf
--
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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
