Hi Mark, > Someone correct me if I am ignorant, but > even after fixing syntax errors, the problem will be that multivariate > polynomials > don't know when they are divisible by things like x_i - x_j.
Really? sage: P Multivariate Polynomial Ring in x, y over Rational Field sage: P.inject_variables() Defining x, y sage: (x^3-y^3)/(x-y) x^2 + x*y + y^2 sage: parent((x^3-y^3)/(x-y)) Fraction Field of Multivariate Polynomial Ring in x, y over Rational Field sage: P((x^3-y^3)/(x-y)) # this wqill actually be a polynomial x^2 + x*y + y^2 sage: Q = PowerSeriesRing(QQ, 'x,y') sage: Q.inject_variables() Defining x, y sage: Q((x^3-y^3)/(x-y)) /scratch/sage-6.1.1/local/lib/python2.7/site-packages/sage/rings/multi_power_series_ring_element.py:541: ******************************************************************************** Warning: Comparison of power series may be wrong if certain coefficients are zero. The padded_list method can be used to give correct comparisons. This issue is being tracked at http://trac.sagemath.org/sage_trac/ticket/9457. ******************************************************************************** x^2 + x*y + y^2 + O(x, y)^11 Best regards, Darij -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/groups/opt_out.