Commit 20201021 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
.