LowerBound: RngIntElt Default: 2
Given a reductive group G over Q, returns a prime p where Gp is split, and 2 is a square.
Given a reductive group G with base ring R, together with a ring S, construct the reductive group GS with base ring S obtained by coercing the coefficients of elements of R into S.