Zero

Input: Zero(R)
$$0_{R}$$

The zero element (additive identity) of the ring $R$.

Input: Equal(Zero(ZZ), Zero(QQ), Zero(CC), 1)
$$0_{\mathbb{Z}} = 0_{\mathbb{Q}} = 0_{\mathbb{C}} = 1$$

All numbers belong to the same 'type'.

Input: Equal(Zero(Matrices(ZZ, 2, 2)), Matrix2x2(0, 0, 0, 0))
$$0_{\operatorname{M}_{2 \times 2} \left(\mathbb{Z}\right)} = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}$$

A ring with different zero element than the number 0.

Last updated: 2020-03-06 00:22:16