I'm curious how I might get a k-basis for a quotient ring of the form R = k[x_1,...x_n] / I, where I is some ideal in the polynomial ring.
For example, given I = {x^3}, and R = Q[x]/I, I would want Sage to give me the vector space basis {1,x,x^2}.
Any help is appreciated!! :)
