You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In previous version(1.1.4) of mathcomp/real-closed, by the definition of Rcomplex, the users can choose R[i] to be canonical to lmodType R or lmodType R[i].
However, in the latest version 2.0.0, the sixth line complex_lmodMixin did not use Rcomplex, resulting in R[i] be canonical to lmodType R by default, and I don't know how to avoid this. In fact, R[i] should be canonical to lmodType R[i] in many cases. For example, R[i] should be normedModType C when considering its topological structure.
zulip link
In previous version(1.1.4) of mathcomp/real-closed, by the definition of
Rcomplex
, the users can choose R[i] to be canonical to lmodType R or lmodType R[i].However, in the latest version 2.0.0, the sixth line
complex_lmodMixin
did not useRcomplex
, resulting in R[i] be canonical to lmodType R by default, and I don't know how to avoid this. In fact, R[i] should be canonical to lmodType R[i] in many cases. For example, R[i] should be normedModType C when considering its topological structure.The text was updated successfully, but these errors were encountered: