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.