This is machine translation

Translated by Microsoft
Mouse over text to see original. Click the button below to return to the English verison of the page.


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.

Was this topic helpful?