Rename `RealMat` to `RealMatrix` and `ComplexMat` to `ComplexMatrix`

Nemocas / Nemo.jl

Julia bindings for various mathematical libraries (including flint2)

http://nemocas.github.io/Nemo.jl/

Other

176 stars 57 forks source link

Rename `RealMat` to `RealMatrix` and `ComplexMat` to `ComplexMatrix` #1772

Open lgoettgens opened 1 month ago

lgoettgens commented 1 month ago

to be consistent with all other matrix types.

Furthermore, all four matrix space types RealMatSpace, ComplexMatSpace, ArbMatSpace, and AcbMatSpace should get renamed to *MatrixSpace for consistency with other matrix types.