One Hat Cyber Team

Edit File: _val__M.html

<!DOCTYPE html>
<html lang="en">
  <head>
    <title>valM -- Construct a valuation from a (quasi-)valuation</title>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
    <link type="text/css" rel="stylesheet" href="../../../../Macaulay2/Style/doc.css">

o5 = valuation from R to QQ^2

o5 : Valuation</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i6 : use R;</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i7 : vA(x_1^2 + x_2^2 + x_3^2)

o7 = | -2 |
     | -4 |

o7 : Ordered QQ^2 module</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i8 : vA((x_1^2 - x_2^2)*(x_1^2 - x_3^2)*(x_2^2 - x_3^2))

o8 = |  -5 |
     | -10 |

o8 : Ordered QQ^2 module</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i9 : vA(0_R)

o9 = infinity

o9 : InfiniteNumber</code></pre>
            </td>
          </tr>
        </table>
        <div>
          <p>For elements not in A, the valuation returns unreliable results because the valuation does not come from a weight valuation on R</p>
        </div>
        <table class="examples">
          <tr>
            <td>
              <pre><code class="language-macaulay2">i10 : vA(x_2)

o10 = infinity

o10 : InfiniteNumber</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i11 : vA(x_2^2)

o11 = | -2 |
      | -4 |

o11 : Ordered QQ^2 module</code></pre>
            </td>
          </tr>
          <tr>
            <td>
              <pre><code class="language-macaulay2">i12 : vA(x_2^3)

o12 = | -2 |
      | -4 |

o12 : Ordered QQ^2 module</code></pre>
            </td>
          </tr>
        </table>
      </div>
      <div>
        <h2>References</h2>
        <div>
          <p><a href="https://epubs.siam.org/doi/10.1137/17M1160148">K. Khovanskii and C. Manon.  Khovanskii Bases, Higher Rank Valuations, and Tropical Geometry.<em>SIAM Journal on Applied Algebra and Geometry</em>, 3(2), 2019.</a></p>
          <p></p>
        </div>
      </div>
      <div>
        <h2>See also</h2>
        <ul>
          <li><span><a title="Convert a prime cone of a tropical ideal to a (quasi-)valuation" href="_cone__To__Valuation.html">coneToValuation</a> -- Convert a prime cone of a tropical ideal to a (quasi-)valuation</span></li>
          <li><span><a title="Finds the prime cones of the tropicalization of a given subalgebra or ideal." href="_prime__Cones__Of__Subalgebra.html">primeConesOfIdeal</a> -- Finds the prime cones of the tropicalization of a given subalgebra or ideal.</span></li>
          <li><span><a title="Finds the prime cones of the tropicalization of a given subalgebra or ideal." href="_prime__Cones__Of__Subalgebra.html">primeConesOfSubalgebra</a> -- Finds the prime cones of the tropicalization of a given subalgebra or ideal.</span></li>
        </ul>
      </div>
      <div>
        <div class="waystouse">
          <h2>Ways to use <span class="tt">valM</span>:</h2>
          <ul>
            <li><kbd>valM(Ring,Valuation)</kbd></li>
          </ul>
        </div>
        <div class="waystouse">
          <h2>For the programmer</h2>
          <p>The object <a title="Construct a valuation from a (quasi-)valuation" href="_val__M.html">valM</a> is <span>a <a title="a type of method function" href="../../Macaulay2Doc/html/___Method__Function.html">method function</a></span>.</p>
        </div>
        <hr>
        <div class="waystouse">
          <p>The source of this document is in <span class="tt">Valuations.m2:893:0</span>.</p>
        </div>
      </div>
    </div>
  </body>

</html>