#5453: [with patch, needs review] Create a ring for working with polynomials in
countably infinitely many variables
---------------------------------+------------------------------------------
Reporter: mhansen | Owner: mhansen
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-3.4.2
Component: commutative algebra | Keywords:
---------------------------------+------------------------------------------
Comment(by SimonKing):
Hi Mike!
Now, being back at work, I try an alternative implementation.
I wondered why you define {{{_coerce_map_from_}}} to return False whenever
the second argument is an infinite polynomial ring (different from self,
of course).
What do you think:
* Should there be a coercion between two infinite polynomial rings that
have the same variables in different order, such as
{{{
sage: X.<x,y> = InfinitePolynomialRing(QQ)
sage: Y.<y,x> = InfinitePolynomialRing(QQ)
}}}
I believe it should, because one also has
{{{
sage: X.<x,y> = PolynomialRing(QQ)
sage: Y.<y,x> = PolynomialRing(QQ)
sage: X.has_coerce_map_from(Y)
True
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5453#comment:12>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" 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/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
