Synopsis:
R_i -- produce the i-th generator of a ring R.
The indexing of generators is based on 0, so R_0 would be the first one, and so on.
i1 : R = ZZ[a..d] |
i2 : R_2 |
Code:
-- ../m2/enginering.m2:213-217 Ring _ ZZ := RingElement => (R,i) -> ( if R.?generators then R.generators#i else error "ring has no generators" )