The return value is either a ring element, or a vector.
i1 : 0_(ZZ^3) o1 = | 0 | | 0 | | 0 | 3 o1 : ZZ