It would make sense to have a place to put constructions related to elementary Euclidean geometry. Currently, we use matrix_2x2 for that. It does not actually define 2×2 matrices but provide geometry in the plane.
Can we rename matrix_2x2 to elementary_geometry or euclidean_geometry or something like that?
It would make sense to have a place to put constructions related to elementary Euclidean geometry. Currently, we use
matrix_2x2for that. It does not actually define 2×2 matrices but provide geometry in the plane.Can we rename matrix_2x2 to elementary_geometry or euclidean_geometry or something like that?