KnownCartier -- an option used to specify to certain functions that we know that the divisor is Cartier

Description

If true, then some functions will not check whether or not the divisor is Cartier, they will assume it is and proceed.

Functions with optional argument named KnownCartier :

• "mapToProjectiveSpace(...,KnownCartier=>...)" -- see mapToProjectiveSpace -- compute the map to projective space associated with the global sections of a Cartier divisor

For the programmer

The object KnownCartier is .