#15865: Should there be a method on a rational function field that returns the
ring
it came from?
-------------------------------------------------+-------------------------
Reporter: darij | Owner:
Type: defect | Status: new
Priority: major | Milestone:
Component: algebra | Resolution:
Keywords: polynomials, fraction field, | Merged in:
categories | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------------------+-------------------------
Comment (by darij):
Thanks! What about adding some doc like this:
{{{
Return the base of ``self``.
This means a reasonable choice of a ring `R` such that
``self`` is the fraction field of ``self``. For instance,
if ``self`` is the fraction field of a polynomial ring,
then ``self.base()`` is said polynomial ring (as opposed
to ``self.base_ring()``, which is the base ring over
which the polynomial ring is defined).
.. WARNING::
This might not be the ring *you* used to construct
``self``. For instance:
sage: QQ.base() # not ZZ
Rational Field
sage: Frac(Frac(PolynomialRing(QQ, 'x'))).base()
Univariate Polynomial Ring in x over Rational Field
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/15865#comment:2>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
