Hello, I want to work with multivariate polynomials over a multivariate polynomial ring (see below for the reason I want to do this).
K.<a,b>=PolynomialRing(QQ, 2, order='lex') QM.<X,Y,Z> = PolynomialRing(K, 3, order='lex') However, I have problems when I want to simplify. Consider for example, F=(a*b*X^2*Y*Z + X*Y^3)/Y This is clearly a*b*X^2*Z + X*Y^2. However, I cannot automatically simplify it since : F.simplify() returns AttributeError: 'sage.rings.fraction_field_element.FractionFieldElement' object has no attribute 'simplify' whereas F.reduce() returns AttributeError: 'sage.rings.fraction_field_element.FractionFieldElement' object has no attribute 'simplify'. How can I make the simplification with Sage ? Thank you very much for your help! NB. The reason why I want to consider multivariate polynomials over a multivariate polynomial ring, and not a multivariate polynomials with more variable is the following I need to be able to detect monomials in a polynomial, For rexample, I want the monomials of (1+a+b)X^2Y+2bXY^2+ab+a to be (1+a+b)X^2Y, 2bXY^2 and ab+a instead of X^2Y, aX^2Y, bX^2Y, 2bXY^2, ab and a. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
