Magma. With a design based on the ontology and semantics of algebra, Magma enables users