Commit 2020-10-21 15:31 1b4e7694
View on Github →feat(linear_algebra/affine_space): define affine_equiv
(#2909)
Define
-
affine_equiv
to be an invertible affine map (e.g., extend bothaffine_map
andequiv
); - conversion to
linear_equiv
; -
group
structure on affine automorphisms; - prove standard lemmas for equivalences (
apply_symm_apply
,symm_apply_eq
etc). API changes - make
G
implicit inequiv.vadd_const
.