sourceInversionFactor(...,Strategy=>...) -- Determines the desired Strategy in each function.
Description
In sourceInversionFactor, isBirationalMap, isBirationalOntoImage, isEmbeddinga and inverseOfMap, Strategy may assumed any of three options ReesStrategy, SimisStrategy or HybridStrategy (default). These functions as well as jacobianDualMatrix may also attain the Strategy=>SaturationStrategy or ReesStrategy (default).
Further information
-
Default value: HybridStrategy
-
Function: sourceInversionFactor -- Computes the the common factor among the the components of the composition of the inverse map and the original map.
-
Option key: Strategy -- an optional argument
Functions with optional argument named Strategy :
-
"addHook(...,Strategy=>...)" -- see addHook -- add a hook function to an object for later processing
-
"annihilator(...,Strategy=>...)" -- see annihilator -- the annihilator ideal
-
"mingens(...,Strategy=>...)" -- see Complement -- a Strategy option value
-
"trim(...,Strategy=>...)" -- see Complement -- a Strategy option value
-
determinant(...,Strategy=>...) -- choose between Bareiss and Cofactor algorithms
-
"dual(MonomialIdeal,List,Strategy=>...)" -- see dual(MonomialIdeal,Strategy=>...)
-
"dual(MonomialIdeal,RingElement,Strategy=>...)" -- see dual(MonomialIdeal,Strategy=>...)
-
dual(MonomialIdeal,Strategy=>...)
-
exteriorPower(...,Strategy=>...) -- choose between Bareiss and Cofactor algorithms
-
"gb(...,Strategy=>...)" -- see gb -- compute a Gröbner basis
-
"GF(...,Strategy=>...)" -- see GF -- make a finite field
-
"groebnerBasis(...,Strategy=>...)" -- see groebnerBasis -- Gröbner basis, as a matrix
-
"hooks(...,Strategy=>...)" -- see hooks -- list hooks attached to a key
-
"intersect(...,Strategy=>...)" -- see intersect(List) -- compute an intersection of ideals or modules
-
"match(...,Strategy=>...)" -- see match -- regular expression matching
-
minors(...,Strategy=>...) -- choose between Bareiss and Cofactor algorithms
-
quotient(...,Strategy=>...)
-
resolution(...,Strategy=>...)
-
saturate(...,Strategy=>...)
-
"inverseOfMap(...,Strategy=>...)"
-
"isBirationalMap(...,Strategy=>...)"
-
"isBirationalOntoImage(...,Strategy=>...)"
-
"isEmbedding(...,Strategy=>...)"
-
"jacobianDualMatrix(...,Strategy=>...)"
-
sourceInversionFactor(...,Strategy=>...) -- Determines the desired Strategy in each function.
-
"syz(...,Strategy=>...)" -- see syz(Matrix) -- compute the syzygy matrix