Macaulay2
»
Documentation
Packages
»
Cremona
::
isInverseMap(RationalMap,RationalMap)
next
|
previous
|
forward
|
backward
| up |
index
|
toc
isInverseMap(RationalMap,RationalMap) -- checks whether two rational maps are one the inverse of the other
Function:
isInverseMap
Usage:
isInverseMap(phi,psi)
Inputs:
phi
,
a
rational map
psi
,
a
rational map
Outputs:
a
Boolean value
, whether
phi * psi == 1 and psi * phi == 1
Consequences:
If the answer is affirmative, then the system will be informed and so commands like 'inverse phi' will execute fast.
See also
RationalMap == RationalMap
-- equality of rational maps
RationalMap * RationalMap
-- composition of rational maps
isInverseMap(RingMap,RingMap)
-- checks whether a rational map is the inverse of another
inverse(RationalMap)
-- inverse of a birational map
forceInverseMap
-- declare that two rational maps are one the inverse of the other
Ways to use this method:
isInverseMap(RationalMap,RationalMap)
-- checks whether two rational maps are one the inverse of the other
The source of this document is in
Cremona/documentation.m2:657:0
.