#5453: [with patch, needs work] 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,
I found a point that I think requires more work:
{{{
sage: X.<x,y> = InfinitePolynomialRing(QQ)
sage: x[1]/y[2]
x1/y2
sage: _.parent()
Infinite polynomial ring in x, y over Rational Field
}}}
Hence, suddenly one has fractions, but they still belong to a
'''polynomial''' ring. And:
{{{
sage: (x[1]/y[2]).parent().polynomial_ring()
Multivariate Polynomial Ring in x0, y0, x1, y1, x2, y2 over Rational Field
sage: (x[1]/y[2])._p.parent()
Fraction Field of Multivariate Polynomial Ring in x0, y0, x1, y1, x2, y2
over Rational Field
}}}
So, the parent of {{{x[1]/y[1]}}} expressed as a finite polynomial is a
fraction field and is different from the underlying ring of the parent of
{{{x[1]/y[1]}}}.
Do you agree that this should be sorted out?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5453#comment:13>
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
-~----------~----~----~----~------~----~------~--~---
