#10540: Spec and patches for singular affine toric varieties / algebraic schemes
----------------------------------+-----------------------------------------
   Reporter:  vbraun              |          Owner:  AlexGhitza                 
  
       Type:  enhancement         |         Status:  needs_review               
  
   Priority:  major               |      Milestone:  sage-4.7.1                 
  
  Component:  algebraic geometry  |       Keywords:                             
  
Work_issues:                      |       Upstream:  N/A                        
  
   Reviewer:  Andrey Novoseltsev  |         Author:  Volker Braun               
  
     Merged:                      |   Dependencies:  #9918, #10525, #10023, 
#10529
----------------------------------+-----------------------------------------
Changes (by novoselt):

  * reviewer:  => Andrey Novoseltsev
  * dependencies:  => #9918, #10525, #10023, #10529
  * milestone:  sage-4.7 => sage-4.7.1


Old description:

> This patch implements
>   * the Spec of affine toric varieties.
>   * patches for algebraic schemes with singular ambient toric varieties
> In particular, Sage can now compute the dimension and smoothness for
> algebraic subschemes of singular toric varieties as well.
>
> This uses both the Hilbert basis for cones and the algebraic schemes,
> and, therefore, depends on
>   * #10525: move algebraic subschemes of toric varieties to their
> rightful places
>   * #10529: dimension() and is_smooth() for algebraic subschemes of toric
> varieties
>   * #9918: triangulate point configurations
>   * #10023: Compute Hilbert basis of cone

New description:

 This patch implements
   * the Spec of affine toric varieties.
   * patches for algebraic schemes with singular ambient toric varieties
 In particular, Sage can now compute the dimension and smoothness for
 algebraic subschemes of singular toric varieties as well.

 This uses both the Hilbert basis for cones and the algebraic schemes, and,
 therefore, depends on
   * #10525: move algebraic subschemes of toric varieties to their rightful
 places
   * #9918: triangulate point configurations
   * #10023: Compute Hilbert basis of cone
   * #10529: dimension() and is_smooth() for algebraic subschemes of toric
 varieties

 '''Apply'''
  1. [attachment:trac_10540_toric_ideals.patch]
  1. [attachment:trac_10540_Spec_of_affine_toric_variety.patch]

--

Comment:

 From PEP8: "Method definitions inside a class are separated by a single
 blank line." While this ticket inserts a bunch of second blank lines ;-)

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10540#comment:5>
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.

Reply via email to