Changes between Initial Version and Version 1 of Ticket #20512
 Timestamp:
 04/27/16 23:34:25 (4 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #20512 – Description
initial v1 9 9 AttributeError: 'sage.rings.integer.Integer' object has no attribute 'reduce' 10 10 }}} 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 notconsistent with the definition in the docstring:11 I think the mathematically correct answer is that X.Jacobian() should equal the ideal (1). This is consistent with the definition in the docstring: 12 12 {{{ 13 13 * the `d\times d` minors of the Jacobian matrix, where `d` is … … 19 19 the defining equations is [LazarsfeldJacobian]. 20 20 }}} 21 In this case d=0, and the unique 0 by 0 minor of any matrix (empty or not) is equal to 1. 21 In 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.