Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Basis of quotient ring as a vector space

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!! :)