Commit 2020-06-01 09:01 9172cdf8

View on Github →

feat(linear_algebra/affine_space): affine spaces (#2816) Define (very minimally) affine spaces (as an abbreviation for add_torsor in the case where the group is a vector space), affine subspaces, the affine span of a set of points and affine maps.

Estimated changes