Commit 2024-09-15 13:34 80f223fc
View on Github →fix: correct curry/uncurry confusion in (Continuous)MultilinearMap (#15530) As I wrote in this Zulip thread, the inconsistent use of curry/uncurry in MultilinearMap and ContinuousMultilinearMap is confusing. I hope this PR will be accepted to correct it and make my life a little easier :) Moves:
- multilinearCurryLeftEquiv ... -> (multilinearCurryLeftEquiv ...).symm
- (multilinearCurryLeftEquiv ...).symm -> multilinearCurryLeftEquiv
- multilinearCurryRightEquiv ... -> (multilinearCurryRightEquiv ...).symm
- (multilinearCurryRightEquiv ...).symm -> multilinearCurryRightEquiv ...
- continuousMultilinearCurryLeftEquiv ... -> (continuousMultilinearCurryLeftEquiv ...).symm
- (continuousMultilinearCurryLeftEquiv ...).symm -> continuousMultilinearCurryLeftEquiv ...
- continuousMultilinearCurryLeftEquiv_apply -> continuousMultilinearCurryLeftEquiv_symm_apply
- continuousMultilinearCurryLeftEquiv_symm_apply -> continuousMultilinearCurryLeftEquiv_apply
- continuousMultilinearCurryRightEquiv ... -> (continuousMultilinearCurryRightEquiv ...).symm
- (continuousMultilinearCurryRightEquiv ...).symm -> continuousMultilinearCurryRightEquiv ...
- continuousMultilinearCurryRightEquiv_apply -> continuousMultilinearCurryRightEquiv_symm_apply
- continuousMultilinearCurryRightEquiv_symm_apply -> continuousMultilinearCurryRightEquiv_apply
- continuousMultilinearCurryRightEquiv' ... -> (continuousMultilinearCurryRightEquiv' ...).symm
- (continuousMultilinearCurryRightEquiv' ...).symm -> continuousMultilinearCurryRightEquiv' ...
- continuousMultilinearCurryRightEquiv_apply' -> continuousMultilinearCurryRightEquiv_symm_apply'
- continuousMultilinearCurryRightEquiv_symm_apply' -> continuousMultilinearCurryRightEquiv_apply'
- ContinuousMultilinearMap.curry0 -> ContinuousMultilinearMap.uncurry0
- ContinuousMultilinearMap.uncurry0 -> ContinuousMultilinearMap.curry0
- ContinuousMultilinearMap.curry0_apply -> ContinuousMultilinearMap.uncurry0_apply
- ContinuousMultilinearMap.uncurry0_apply -> ContinuousMultilinearMap.curry0_apply
- apply_zero_curry0 -> apply_zero_uncurry0
- curry0_norm -> uncurry0_norm
- uncurry0_norm -> curry0_norm