Changes between Initial Version and Version 1 of Ticket #20512


Ignore:
Timestamp:
04/27/16 23:34:25 (3 years ago)
Author:
kedlaya
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #20512 – Description

    initial v1  
    99AttributeError: 'sage.rings.integer.Integer' object has no attribute 'reduce'
    1010}}}
    11 I think the mathematically correct answer is that X.Jacobian() should again equal X (i.e., P viewed as a closed subscheme of itself). However, this is not consistent with the definition in the docstring:
     11I think the mathematically correct answer is that X.Jacobian() should equal the ideal (1). This is consistent with the definition in the docstring:
    1212{{{
    1313  * the `d\times d` minors of the Jacobian matrix, where `d` is
     
    1919    the defining equations is [LazarsfeldJacobian].
    2020}}}
    21 In this case d=0, and the unique 0 by 0 minor of any matrix (empty or not) is equal to 1.
     21In this case d=0, and the unique 0 by 0 minor of any matrix (empty or not) is equal to 1. And anyway, the Jacobian ideal of the full ambient space should cut out the empty subscheme.