#11599: Wrap fan morphism in toric morphism
----------------------------------+-----------------------------------------
Reporter: vbraun | Owner: AlexGhitza
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.0
Component: algebraic geometry | Keywords:
Work_issues: | Upstream: N/A
Reviewer: Andrey Novoseltsev | Author: Volker Braun
Merged: | Dependencies:
----------------------------------+-----------------------------------------
Changes (by vbraun):
* status: needs_work => needs_review
Old description:
> Since we have the very nice fan morphism class, we should use it to
> define toric morphisms of toric varieties.
>
> A big part of the patch is porting the scheme morphisms / hom sets to
> new-style parents and coercion. Categories should be better, too. Fixes
> #7946 and #6810 as a side effect.
>
> The first two patches bring some sanity to the scheme morphisms. The 3rd
> patch changes names of methods/classes to something more reasonable and
> adds documentation. The 4th patch actually adds toric morphisms defined
> by polynomials or fan morphisms.
>
> Apply:
> * [attachment:trac_11599_no_circular_imports.patch]
> * [attachment:trac_11599_homset_new_coercion_model.patch]
> * [attachment:trac_11599_rename_morphisms.patch]
> * [attachment:trac_11599_toric_morphisms.patch]
> * [attachment:trac_11599_reviewer.patch]
> * [attachment:trac_11599_remove_class_suffix.patch]
> * [attachment:trac_11599_remaining_fixes.patch]
New description:
Since we have the very nice fan morphism class, we should use it to define
toric morphisms of toric varieties.
A big part of the patch is porting the scheme morphisms / hom sets to new-
style parents and coercion. Categories should be better, too. Fixes #7946
and #6810 as a side effect.
The first two patches bring some sanity to the scheme morphisms. The 3rd
patch changes names of methods/classes to something more reasonable and
adds documentation. The 4th patch actually adds toric morphisms defined by
polynomials or fan morphisms.
Apply:
* [attachment:trac_11599_no_circular_imports.patch]
* [attachment:trac_11599_homset_new_coercion_model.patch]
* [attachment:trac_11599_rename_morphisms.patch]
* [attachment:trac_11599_toric_morphisms.patch]
* [attachment:trac_11599_reviewer.patch]
* [attachment:trac_11599_remove_class_suffix.patch]
* [attachment:trac_11599_remaining_fixes.patch]
* [attachment:trac_11599_numerical_noise.patch]
--
Comment:
I propose to just set the homogeneous variable to 1 instead of dividing by
itself...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11599#comment:43>
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 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.
