#16135: Implement QuotientRingElement._im_gens_()
-------------------------+-------------------------------------------------
Reporter: pbruin | Owner:
Type: | Status: new
enhancement | Milestone: sage-6.2
Priority: minor | Keywords: quotient ring fraction field
Component: algebra | homomorphism
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-------------------------+-------------------------------------------------
Ring homomorphisms whose domain is the fraction field of a quotient ring
don't work correctly:
{{{
sage: R.<x, y> = QQ[]
sage: K = R.quotient(x^2 - y^3).fraction_field()
sage: L.<t> = FunctionField(QQ)
sage: f = K.hom((t^3, t^2))
sage: f
Ring morphism:
From: Fraction Field of Quotient of Multivariate Polynomial Ring in x, y
over Rational Field by the ideal (-y^3 + x^2)
To: Rational function field in t over Rational Field
Defn: xbar |--> t^3
ybar |--> t^2
sage: f(K.gens()[0])
Traceback (most recent call last):
...
NotImplementedError
}}}
This can be fixed by implementing `QuotientRingElement._im_gens_()`.
--
Ticket URL: <http://trac.sagemath.org/ticket/16135>
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/d/optout.
