next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Cremona :: Certify

Certify -- whether to ensure correctness of output


This option accepts a Boolean value, default value false.

If turned on in the methods inverseMap and approximateInverseMap, then it will be checked whether the maps in input and output are one the inverse of the other, throwing an error if they are not. Actually, approximateInverseMap will first try to fix the error of the approximation. When turned on in the methods projectiveDegrees, degreeMap, isBirational, isDominant, SegreClass, EulerCharacteristic and ChernSchwartzMacPherson, it means whether to use a non-probabilistic algorithm.

Functions with optional argument named Certify :

For the programmer

The object Certify is a symbol.