Commit 2024-07-02 19:10 3a4610bc

refactor: enforce the predicate on the ContinuousFunctionalCalculus is nontrivial (#14100) add a condition to the unital and non-unital continuous functional calculus class which ensures that the predicate is nontrivial by requiring p 0 to hold. This guarantees in unital algebras that p (algebraMap R A r) holds, which is about all one can expect given that sometimes p := IsStarNormal.