MathMode -- whether or not to ensure correctness of output
Description
This option accepts a Boolean value, default value false.
If turned on in the methods invertBirMap 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, degreeOfRationalMap, isBirational and isDominant, it means whether or not to use a non-probabilistic algorithm.