Status: Valid
Owner: ----
CC: [email protected]
Labels: Type-Defect Priority-Medium

New issue 3227 by [email protected]: PolynomialRing should not derive from CharacteristicZero
http://code.google.com/p/sympy/issues/detail?id=3227

In the normal usage of the word, polynomial rings have characteristic zero iff the base ring has. However, the PolynomialRing class always derives from CharacteristicZero, and removing the base class causes coercion failures.

The documentation of CharacteristicZero says that it applies to rings with infinitely many elements, which is true for polynomial rings, but *not* the standard interpretation of characteristic zero. Maybe the base class should be renamed.

--
You received this message because you are subscribed to the Google Groups 
"sympy-issues" group.
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/sympy-issues?hl=en.

Reply via email to