#9713: Add toric Chow group
----------------------------------+-----------------------------------------
   Reporter:  vbraun              |       Owner:  AlexGhitza
       Type:  enhancement         |      Status:  needs_work
   Priority:  major               |   Milestone:  sage-4.6.2
  Component:  algebraic geometry  |    Keywords:            
     Author:  Volker Braun        |    Upstream:  N/A       
   Reviewer:  Andrey Novoseltsev  |      Merged:            
Work_issues:                      |  
----------------------------------+-----------------------------------------

Comment(by novoselt):

 Replying to [comment:25 vbraun]:

 A3. OK, let's hope it will get fixed eventually...

 A6. Am I right that it is integral OF the dual cohomology class, not OVER?
 That's how I interpret `integrate` method of toric varieties. Also it
 seems that we need completeness in addition to smoothness.

 A7. Let it be fixed elsewhere!

 B9. Ok, let it be as is.

 Fresh comments:

  1. Why `get_degree` and not just `degree` for Chow cycles?
  1. What will `cohomology_class` of a Chow cycle produce in the case when
 there is no Poincare duality? I think this should be either explained in
 the documentation, or an exception should be raised varieties which are
 not smooth and complete.

 I have done some documentation prettification, feel free to fold it into
 your patch, if is still applies to your current version.

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