Commit 2024-02-14 14:03 8658c57e
View on Github →feat: NormedAlgebra.complexToReal and other RestrictScalars instances (#10374)
This adds some instances regarding normed algebra structures to RestrictScalars to mimic those for normed spaces.
In addition, given a normed ℂ-algebra, this puts a normed ℝ-algebra structure on the same space. This is not adding any new data instances, as these already exist from Algebra.complexToReal.