Commit 2026-03-27 10:04 c28b5a83
View on Github →refactor(PiTensorProduct/{InjectiveNorm, ProjectiveNorm}): switch NormedSpace instance to projectiveSeminorm (#35568)
The PR switches the NormedSpace instance on PiTensorProducts from injectiveSeminorm to projectiveSeminorm and updates all follow-up results.
The signature of norm_eval_le_projectiveSeminorm is changed to match the one of norm_eval_le_injectiveSeminorm.
This is the second in a series of three PRs with the goal to deprecate PiTensorProuduct.injectiveSeminorm.