Status: Valid
Owner: ----
CC: matt...@gmail.com
Labels: Type-Defect Priority-Medium
New issue 3227 by ness...@gmail.com: 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 sympy-issues@googlegroups.com.
To unsubscribe from this group, send email to
sympy-issues+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.
