Commit 2025-01-17 03:48 a76d7c91

View on Github →

refactor: rename UniqueContinuousFunctionalCalculus to ContinuousMap.UniqueHom (#20643) Given that UniqueContinuousFunctionalCalculus no longer mentions spectrum, it really has very little to tie it to the ContinuousFunctionalCalculus. In some sense, it's just a property of C(s, R), but because we want to allow R := ℝ≥0, the algebra A also matters. Because of this, we put the class within the ContinuousMap namespace. We also rename UniqueNonUnitalContinuousFunctionalCalculus to ContinuousMapZero.UniqueHom.

Estimated changes