Macaulay2 » Documentation
Packages » Cremona :: Certify

Description

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 :

• approximateInverseMap(...,Certify=>...)
• ChernSchwartzMacPherson(...,Certify=>...)
• degreeMap(...,Certify=>...)
• EulerCharacteristic(...,Certify=>...)
• exceptionalLocus(...,Certify=>...)
• inverseMap(...,Certify=>...)
• isBirational(...,Certify=>...)
• isDominant(...,Certify=>...)
• projectiveDegrees(...,Certify=>...)
• SegreClass(...,Certify=>...)