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.

Reply via email to