This module contains the documentation for the types and the functions used for representing and managing mathematical entities.