Kernel: SageMath (stable)
Infrastructure for generic code in Sage: categories, axioms, constructions
In [0]:
Parents, Elements, and generic code, the plain Python way
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
A hierarchy of abstract classes the usual way
In [0]:
Refactoring as a category
In [0]:
In [0]:
In [0]:
In [0]:
A complete Parent, written the Sage way
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
Side benefits of having categories as first class objects
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
Operations on categories
Adding an axiom
In [0]:
In [0]:
Intersection
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]:
In [0]: