Axiom of rings with no zero divisor
MuPAD® notebooks are not recommended. Use MATLAB® live scripts instead.
MATLAB live scripts support most MuPAD functionality, though there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.
Ax::noZeroDivisors states that a ring without
a unit has no zero divisors, i.e., that the product of two non-zero
elements is never zero.
Note that an integral domain implicitly has no zero divisors.