Thanks for your answers. I realize that the problem is because I am working over a polynomial ring over the symbolic ring, but I don't see why that should be forbidden. Especially, since simplifying in a polynomial ring simply involves simplifying each coefficient.
Anyway, I tried working over QQ[] but you can't write something like chi^k, since k is not known to be an integer (even if you use 'assume' it is). The workaround I used was to work in QQ[] and write chi for chi^k and just end up substituting chi^k back in at the end. Thanks again for your answers and your time. Best, +Rob On Nov 4, 5:23 pm, luisfe <[email protected]> wrote: > On 2 nov, 17:00, "Rob H." <[email protected]> wrote: > > > Hi, > > > so here is some sample code: > > > var('chi,k') > > R.<x>=SR[] > > I=R.ideal(x^2) > > Rbar.<epsilon>=R.quotient_ring(I) > > expr=Rbar(epsilon-(chi^(k-1))^5+chi^(2*k-2)*(chi^(k-1))^3) > > view(expr) > > print (expr) > > For the kind of operations you are doing, you should work in QQ[] > instead as you have been advised. However, this looks like a bug in > latex for me. > > {{{ > sage: expr > epsilon > sage: latex(expr) > epsilon - {\left(\chi^{{\left(k - 1\right)}}\right)}^{5} + > \chi^{{\left(2 \, k - 2\right)}} {\left(\chi^{{\left(k - 1\right)}} > \right)}^{3} > > }}} -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
