[sage-support] coercing or substituting variables in symmetric polynomials

2009-10-23 Thread David Madore
Dear List, I'm trying to substitute various expressions for the variables of symmetric polynomials returned by SymmetricFunctionAlgebra_generic(...).expand() but I can't figure out how to ask Sage to replace these variables or coerce them to some other polynomial ring. E.g.: ---

[sage-support] Re: how to pull back an ideal by a canonical surjection ?

2009-03-20 Thread David Madore
On Thu, Mar 19, 2009 at 05:23:07PM +, Martin Albrecht wrote: > On Thursday 19 March 2009, David Madore wrote: > > So, is there a way in Sage to pull back an ideal by a canonical map? > > Quotient rings are in a particularly bad shape in Sage, here's a hack: > > sag

[sage-support] how to pull back an ideal by a canonical surjection ?

2009-03-19 Thread David Madore
Dear List, I'm trying to do some algebraic geometrical / arithmetical computation with Sage and I find myself stuck on the following dumb problem: if I have an ideal J of a quotient ring R/I (where R is a polynomial ring and I some ideal of it), I wish to construct the ideal of R (called p^{-1}(J