AbstractAlgebra.jl implements a couple of abstract types which can be extended.
The following diagram shows a complete list of all abstract types in AbstractAlgebra.jl.
Similarly the following diagram shows a complete list of all abstract types in AbstractAlgebra.jl.
Until now we have discussed the abstract types of AbstractAlgebra.jl. Under this subsection we will instead give some examples of concrete types in AbstractAlgebra.jl.
In parentheses we put the types of the corresponding parent objects.
We also think of various Julia types as though they were AbstractAlgebra.jl types:
Then there are various types for generic constructions over a base ring. They are all parameterised by a type
T which is the type of the elements of the base ring they are defined over.