#20067: Change ring to QQbar fails for subschemes
-------------------------------------+-------------------------------------
Reporter: bhutz | Owner: bhutz
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-7.1
Component: algebraic | Resolution:
geometry | Merged in:
Keywords: | Reviewers: Rebecca Lauren
Authors: | Miller, Joseph Eisner
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/bhutz/ticket/20067 | 05e47bbfe1f62431520b6fbb4affb73f9802b710
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by nbruin):
Can't we just make sure that `base_change` or `change_ring` can also be
given a ring homomorphism from the base ring, to base extend to the
codomain of the homomorphism? Then
{{{
X=Scheme(Q,...)
k=GF(3)
Xk=X.base_change(k.convert_map_from(QQ))
}}}
would work (provided we don't check if the map really is a homomorphism).
Then we can have that `X.base_change(GF(3))` can still raise an error
(because it's not well-defined), but we can still get an answer.
--
Ticket URL: <http://trac.sagemath.org/ticket/20067#comment:10>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
