☰
zero
🌌matrix.zero
NYI: these three should be implemented in matrices, not here:
redefines matrices.zero:
NYI: There is currently no easy way to get hold of an instance of the unit
type corresponding to E.
redef zero => matrix E.zero E.zero
redef one => matrix E.one E.zero
dummy implementations:
redefines numerics.zero:
identity element for 'infix +'