Thanks for the pointers. If I'm understanding correctly, everyone is in favor of using the default containment inherited from Parent; so that we would have
sage: 3 in PolynomialRing(QQ,'a,b') True sage: PolynomialRing(QQ,'a').gen() in PolynomialRing(QQ,'a,b') True (currently both return False) The proposed behavior would be consistent with the uniqueness and immutability of polynomial rings: http://www.sagemath.org/doc/reference/sage/rings/polynomial/polynomial_ring_constructor.html#sage.rings.polynomial.polynomial_ring_constructor.PolynomialRing "UNIQUENESS and IMMUTABILITY: In Sage there is exactly one single- variate polynomial ring over each base ring in each choice of variable, sparseness, and implementation. There is also exactly one multivariate polynomial ring over each base ring for each choice of names of variables and term order. ..." So I'll open a ticket for this later today. -Niles -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
