isPrincipal( D, IsGraded => b )
This function returns true if the Weil divisor D is principal, otherwise false. If IsGraded is set to true, then this checks whether the divisor corresponds to a principal divisor on the Proj of the ambient ring. Note that this function may return a false negative if the defining equations of the divisor are not homogeneous (it warns the user if this occurs).
|
|
|
By default, IsGraded is set to false. Regardless of the format, the check is done by determining whether or not $O(D)$ is free.
|
|
|
|
|
The output value of this function is stored in the divisor's cache with the value of the last IsGraded option. If you change the IsGraded option, the value will be recomputed.
The object isPrincipal is a method function with options.