One Hat Cyber Team
Your IP :
216.73.216.135
Server IP :
194.44.31.54
Server :
Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64
Server Software :
Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k
PHP Version :
5.6.40
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
share
/
doc
/
Macaulay2
/
Cremona
/
html
/
Edit File:
toc.html
<!DOCTYPE html> <html lang="en"> <head> <title>Cremona : Table of Contents</title> <meta content="text/html; charset=utf-8" http-equiv="Content-Type"> <link type="text/css" rel="stylesheet" href="../../../../Macaulay2/Style/doc.css"> <link rel="stylesheet" href="../../../../Macaulay2/Style/katex/katex.min.css"> <script defer="defer" src="../../../../Macaulay2/Style/katex/katex.min.js"></script> <script defer="defer" src="../../../../Macaulay2/Style/katex/contrib/auto-render.min.js"></script> <script> var macros = { "\\break": "\\\\", "\\ZZ": "\\mathbb{Z}", "\\NN": "\\mathbb{N}", "\\QQ": "\\mathbb{Q}", "\\RR": "\\mathbb{R}", "\\CC": "\\mathbb{C}", "\\PP": "\\mathbb{P}" }, delimiters = [ { left: "$$", right: "$$", display: true}, { left: "\\[", right: "\\]", display: true}, { left: "$", right: "$", display: false}, { left: "\\(", right: "\\)", display: false} ], ignoredTags = [ "kbd", "var", "samp", "script", "noscript", "style", "textarea", "pre", "code", "option" ]; document.addEventListener("DOMContentLoaded", function() { renderMathInElement(document.body, { delimiters: delimiters, macros: macros, ignoredTags: ignoredTags, trust: true }); }); </script> <style>.katex { font-size: 1em; }</style> <script defer="defer" src="../../../../Macaulay2/Style/katex/contrib/copy-tex.min.js"></script> <script defer="defer" src="../../../../Macaulay2/Style/katex/contrib/render-a11y-string.min.js"></script> <script src="../../../../Macaulay2/Style/prism.js"></script> <script>var current_version = '1.25.06';</script> <script src="../../../../Macaulay2/Style/version-select.js"></script> <link type="image/x-icon" rel="icon" href="../../../../Macaulay2/Style/icon.gif"> </head> <body> <div id="buttons"> <div> <a href="https://macaulay2.com/">Macaulay2</a> <span id="version-select-container"></span> » <a title="Macaulay2 documentation" href="../../Macaulay2Doc/html/index.html">Documentation </a> <br><a href="../../Macaulay2Doc/html/_packages_spprovided_spwith_sp__Macaulay2.html">Packages</a> » <span><a title="package for some computations on rational maps between projective varieties" href="index.html">Cremona</a> :: <a href="toc.html">Table of Contents</a></span> </div> <div class="right"> <form method="get" action="https://www.google.com/search"> <input placeholder="Search" type="text" name="q" value=""> <input type="hidden" name="q" value="site:macaulay2.com/doc"> </form> next | previous | forward | backward | up | <a href="master.html">index</a> | <a href="toc.html">toc</a> </div> </div> <hr> <h1>Cremona : Table of Contents</h1> <ul> <li><span><a title="package for some computations on rational maps between projective varieties" href="index.html">Cremona</a> -- package for some computations on rational maps between projective varieties</span></li> <li><span><a title="make an abstract rational map" href="_abstract__Rational__Map.html">abstractRationalMap</a> -- make an abstract rational map</span></li> <li><span><a title="random map related to the inverse of a birational map" href="_approximate__Inverse__Map.html">approximateInverseMap</a> -- random map related to the inverse of a birational map</span></li> <li><span><a href="___Blow__Up__Strategy.html">BlowUpStrategy</a></span></li> <li><span><a title="whether to ensure correctness of output" href="___Certify.html">Certify</a> -- whether to ensure correctness of output</span></li> <li><span><a title="Chern-Schwartz-MacPherson class of a projective scheme" href="___Chern__Schwartz__Mac__Pherson.html">ChernSchwartzMacPherson</a> -- Chern-Schwartz-MacPherson class of a projective scheme</span></li> <li><span><a href="___Codim__Bs__Inv.html">CodimBsInv</a></span></li> <li><span><a title="coefficient ring of a rational map" href="_coefficient__Ring_lp__Rational__Map_rp.html">coefficientRing(RationalMap)</a> -- coefficient ring of a rational map</span></li> <li><span><a title="coefficient matrix of a rational map" href="_coefficients_lp__Rational__Map_rp.html">coefficients(RationalMap)</a> -- coefficient matrix of a rational map</span></li> <li><span><a title="degree of a rational map" href="_degree_lp__Rational__Map_rp.html">degree(RationalMap)</a> -- degree of a rational map</span></li> <li><span><a title="degree of a rational map between projective varieties" href="_degree__Map.html">degreeMap</a> -- degree of a rational map between projective varieties</span></li> <li><span><a title="degree of a rational map" href="_degree__Map_lp__Rational__Map_rp.html">degreeMap(RationalMap)</a> -- degree of a rational map</span></li> <li><span><a title="projective degrees of a rational map" href="_degrees_lp__Rational__Map_rp.html">degrees(RationalMap)</a> -- projective degrees of a rational map</span></li> <li><span><a title="describe a rational map" href="_describe_lp__Rational__Map_rp.html">describe(RationalMap)</a> -- describe a rational map</span></li> <li><span><a href="___Dominant.html">Dominant</a></span></li> <li><span><a title="the entries of the matrix associated to a rational map" href="_entries_lp__Rational__Map_rp.html">entries(RationalMap)</a> -- the entries of the matrix associated to a rational map</span></li> <li><span><a title="topological Euler characteristic of a (smooth) projective variety" href="___Euler__Characteristic.html">EulerCharacteristic</a> -- topological Euler characteristic of a (smooth) projective variety</span></li> <li><span><a title="exceptional locus of a birational map" href="_exceptional__Locus.html">exceptionalLocus</a> -- exceptional locus of a birational map</span></li> <li><span><a title="write source and target as nondegenerate varieties" href="_flatten_lp__Rational__Map_rp.html">flatten(RationalMap)</a> -- write source and target as nondegenerate varieties</span></li> <li><span><a title="declare which is the image of a rational map" href="_force__Image.html">forceImage</a> -- declare which is the image of a rational map</span></li> <li><span><a title="declare that two rational maps are one the inverse of the other" href="_force__Inverse__Map.html">forceInverseMap</a> -- declare that two rational maps are one the inverse of the other</span></li> <li><span><a title="closure of the graph of a rational map" href="_graph.html">graph</a> -- closure of the graph of a rational map</span></li> <li><span><a title="closure of the graph of a rational map" href="_graph_lp__Ring__Map_rp.html">graph(RingMap)</a> -- closure of the graph of a rational map</span></li> <li><span><a title="base locus of a rational map" href="_ideal_lp__Rational__Map_rp.html">ideal(RationalMap)</a> -- base locus of a rational map</span></li> <li><span><a title="closure of the image of a rational map using the F4 algorithm (experimental)" href="_image_lp__Rational__Map_cm__String_rp.html">image(RationalMap,String)</a> -- closure of the image of a rational map using the F4 algorithm (experimental)</span></li> <li><span><a title="closure of the image of a rational map" href="_image_lp__Rational__Map_cm__Z__Z_rp.html">image(RationalMap,ZZ)</a> -- closure of the image of a rational map</span></li> <li><span><a title="inverse of a birational map" href="_inverse_lp__Rational__Map_rp.html">inverse(RationalMap)</a> -- inverse of a birational map</span></li> <li><span><a title="inverse of a birational map" href="_inverse__Map.html">inverseMap</a> -- inverse of a birational map</span></li> <li><span><a href="_inverse__Map_lp..._cm__Verbose_eq_gt..._rp.html">inverseMap(...,Verbose=>...)</a></span></li> <li><span><a title="whether a rational map is birational" href="_is__Birational.html">isBirational</a> -- whether a rational map is birational</span></li> <li><span><a title="whether a rational map is dominant" href="_is__Dominant.html">isDominant</a> -- whether a rational map is dominant</span></li> <li><span><a title="checks whether a rational map is the inverse of another" href="_is__Inverse__Map.html">isInverseMap</a> -- checks whether a rational map is the inverse of another</span></li> <li><span><a title="checks whether two rational maps are one the inverse of the other" href="_is__Inverse__Map_lp__Rational__Map_cm__Rational__Map_rp.html">isInverseMap(RationalMap,RationalMap)</a> -- checks whether two rational maps are one the inverse of the other</span></li> <li><span><a title="whether a birational map is an isomorphism" href="_is__Isomorphism_lp__Rational__Map_rp.html">isIsomorphism(RationalMap)</a> -- whether a birational map is an isomorphism</span></li> <li><span><a title="whether a rational map is a morphism" href="_is__Morphism.html">isMorphism</a> -- whether a rational map is a morphism</span></li> <li><span><a title="homogeneous components of the kernel of a homogeneous ring map" href="_kernel_lp__Ring__Map_cm__Z__Z_rp.html">kernel(RingMap,ZZ)</a> -- homogeneous components of the kernel of a homogeneous ring map</span></li> <li><span><a title="get the ring map defining a rational map" href="_map_lp__Rational__Map_rp.html">map(RationalMap)</a> -- get the ring map defining a rational map</span></li> <li><span><a title="the matrix associated to a rational map" href="_matrix_lp__Rational__Map_rp.html">matrix(RationalMap)</a> -- the matrix associated to a rational map</span></li> <li><span><a href="___Num__Degrees.html">NumDegrees</a></span></li> <li><span><a title="parametrization of a rational projective variety" href="_parametrize.html">parametrize</a> -- parametrization of a rational projective variety</span></li> <li><span><a title="parametrization of linear varieties and hyperquadrics" href="_parametrize_lp__Ideal_rp.html">parametrize(Ideal)</a> -- parametrization of linear varieties and hyperquadrics</span></li> <li><span><a title="pick a random rational point on a projective variety" href="_point.html">point</a> -- pick a random rational point on a projective variety</span></li> <li><span><a title="pick a random rational point on a projective variety" href="_point_lp__Quotient__Ring_rp.html">point(QuotientRing)</a> -- pick a random rational point on a projective variety</span></li> <li><span><a title="projective degrees of a rational map between projective varieties" href="_projective__Degrees.html">projectiveDegrees</a> -- projective degrees of a rational map between projective varieties</span></li> <li><span><a title="projective degrees of a rational map" href="_projective__Degrees_lp__Rational__Map_rp.html">projectiveDegrees(RationalMap)</a> -- projective degrees of a rational map</span></li> <li><span><a title="quadro-quadric Cremona transformations" href="_quadro__Quadric__Cremona__Transformation.html">quadroQuadricCremonaTransformation</a> -- quadro-quadric Cremona transformations</span></li> <li><span><a title="the class of all rational maps between absolutely irreducible projective varieties over a field" href="___Rational__Map.html">RationalMap</a> -- the class of all rational maps between absolutely irreducible projective varieties over a field</span></li> <li><span><a title="makes a rational map" href="_rational__Map.html">rationalMap</a> -- makes a rational map</span></li> <li><span><a title="calculates every possible thing" href="___Rational__Map_sp%21.html">RationalMap !</a> -- calculates every possible thing</span></li> <li><span><a title="composition of rational maps" href="___Rational__Map_sp_st_sp__Rational__Map.html">RationalMap * RationalMap</a> -- composition of rational maps</span></li> <li><span><a title="change the coefficient ring of a rational map" href="___Rational__Map_sp_st_st_sp__Ring.html">RationalMap ** Ring</a> -- change the coefficient ring of a rational map</span></li> <li><span><a title="equality of rational maps" href="___Rational__Map_sp_eq_eq_sp__Rational__Map.html">RationalMap == RationalMap</a> -- equality of rational maps</span></li> <li><span><a title="power" href="___Rational__Map_sp%5E_sp__Z__Z.html">RationalMap ^ ZZ</a> -- power</span></li> <li><span><a title="inverse image via a rational map" href="___Rational__Map_sp%5E_st_st_sp__Ideal.html">RationalMap ^** Ideal</a> -- inverse image via a rational map</span></li> <li><span><a title="direct image via a rational map" href="___Rational__Map_sp_us_st.html">RationalMap _*</a> -- direct image via a rational map</span></li> <li><span><a title="restriction of a rational map" href="___Rational__Map_sp_vb_sp__Ideal.html">RationalMap | Ideal</a> -- restriction of a rational map</span></li> <li><span><a title="restriction of a rational map" href="___Rational__Map_sp_vb_vb_sp__Ideal.html">RationalMap || Ideal</a> -- restriction of a rational map</span></li> <li><span><a title="makes a rational map from an ideal" href="_rational__Map_lp__Ideal_cm__Z__Z_cm__Z__Z_rp.html">rationalMap(Ideal,ZZ,ZZ)</a> -- makes a rational map from an ideal</span></li> <li><span><a title="rational map defined by the linear system of hypersurfaces passing through random points with multiplicity" href="_rational__Map_lp__Polynomial__Ring_cm__List_rp.html">rationalMap(PolynomialRing,List)</a> -- rational map defined by the linear system of hypersurfaces passing through random points with multiplicity</span></li> <li><span><a title="rational map defined by an effective divisor" href="_rational__Map_lp__Ring_cm__Tally_rp.html">rationalMap(Ring,Tally)</a> -- rational map defined by an effective divisor</span></li> <li><span><a title="Segre embedding" href="_segre.html">segre</a> -- Segre embedding</span></li> <li><span><a title="Segre class of a closed subscheme of a projective variety" href="___Segre__Class.html">SegreClass</a> -- Segre class of a closed subscheme of a projective variety</span></li> <li><span><a title="coordinate ring of the source for a rational map" href="_source_lp__Rational__Map_rp.html">source(RationalMap)</a> -- coordinate ring of the source for a rational map</span></li> <li><span><a title="special Cremona transformations whose base locus has dimension at most three" href="_special__Cremona__Transformation.html">specialCremonaTransformation</a> -- special Cremona transformations whose base locus has dimension at most three</span></li> <li><span><a title="special cubic transformations whose base locus has dimension at most three" href="_special__Cubic__Transformation.html">specialCubicTransformation</a> -- special cubic transformations whose base locus has dimension at most three</span></li> <li><span><a title="special quadratic transformations whose base locus has dimension three" href="_special__Quadratic__Transformation.html">specialQuadraticTransformation</a> -- special quadratic transformations whose base locus has dimension three</span></li> <li><span><a title="substitute the ambient projective spaces of source and target" href="_substitute_lp__Rational__Map_cm__Polynomial__Ring_cm__Polynomial__Ring_rp.html">substitute(RationalMap,PolynomialRing,PolynomialRing)</a> -- substitute the ambient projective spaces of source and target</span></li> <li><span><a title="get the rational map whose target is a projective space" href="_super_lp__Rational__Map_rp.html">super(RationalMap)</a> -- get the rational map whose target is a projective space</span></li> <li><span><a title="coordinate ring of the target for a rational map" href="_target_lp__Rational__Map_rp.html">target(RationalMap)</a> -- coordinate ring of the target for a rational map</span></li> <li><span><a title="convert to a readable string" href="_to__External__String_lp__Rational__Map_rp.html">toExternalString(RationalMap)</a> -- convert to a readable string</span></li> <li><span><a title="rational map defined by a linear system" href="_to__Map.html">toMap</a> -- rational map defined by a linear system</span></li> </ul> </body> </html>
Simpan