Axiom that indeterminates may be elements
Ax::indetElements states that there exist
domain elements that may also be regarded as being transcendental
over the domain.
Ax::indetElements has no mathematical meaning:
elements of a ring are always algebraic (of degree 1) over the ring.
However, since there are domains in MuPAD® that comprise all MuPAD
identifiers, insisting on this viewpoint would mean that polynomials
over such domains could not be constructed. Hence MuPAD allows the
user to regard an identifier as being transcendental over the set
of all identifiers.