Revision history [back]

aa[0:1] is a list composed of just one element. Conversion of a list into SR in not defined. Do you mean SR(aa[0]) by any chance?

As for groebner_basis(), it's unclear why do you need symbolic expressions as ideals and Groebner bases are defined over polynomial rings, and typically do not require any conversion to symbolic ring.