One Hat Cyber Team
Your IP :
216.73.216.14
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
/
NCAlgebra
/
html
/
Edit File:
___N__C__Matrix_sp^_sp__Z__Z.html
<!DOCTYPE html> <html lang="en"> <head> <title>NCMatrix ^ ZZ -- Exponentiate an NCMatrix</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 href="index.html">NCAlgebra</a> :: <a title="Exponentiate an NCMatrix" href="___N__C__Matrix_sp%5E_sp__Z__Z.html">NCMatrix ^ ZZ</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> <a href="___N__C__Matrix_sp_us_sp__List.html">next</a> | <a href="___N__C__Matrix_sp%5E_sp__List.html">previous</a> | <a href="___N__C__Matrix_sp_us_sp__List.html">forward</a> | <a href="___N__C__Matrix_sp%5E_sp__List.html">backward</a> | up | <a href="master.html">index</a> | <a href="toc.html">toc</a> </div> </div> <hr> <div> <h1>NCMatrix ^ ZZ -- Exponentiate an NCMatrix</h1> <ul> <li><span>Operator: <a title="a binary operator, usually used for powers" href="../../Macaulay2Doc/html/_%5E.html">^</a></span></li> <li> <dl class="element"> <dt>Usage: </dt> <dd><code class="language-macaulay2">L = M^n</code></dd> </dl> </li> <li>Inputs: <ul> <li><span><span class="tt">M</span>, <span>an instance of the type <a title="Type of a matrix over a noncommutative ring" href="___N__C__Matrix.html">NCMatrix</a></span>, </span></li> <li><span><span class="tt">n</span>, <span>an <a title="the class of all integers" href="../../Macaulay2Doc/html/___Z__Z.html">integer</a></span>, </span></li> </ul> </li> <li>Outputs: <ul> <li><span><span class="tt">L</span>, <span>an instance of the type <a title="Type of a matrix over a noncommutative ring" href="___N__C__Matrix.html">NCMatrix</a></span>, </span></li> </ul> </li> </ul> <div> <h2>Description</h2> <div> <p>This exponentiates an NCMatrix. It should be remarked that the matrix is reduced with the GB of the ring it is over on each iteration of the product. If your algebra is significantly smaller than the tensor algebra, this is a large savings. The input is assumed to be a nonnegative integer at this time.</p> </div> <table class="examples"> <tr> <td> <pre><code class="language-macaulay2">i1 : A = QQ{x,y,z} o1 = A o1 : NCPolynomialRing</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i2 : M = ncMatrix {{x, y, z}} o2 = | x y z | o2 : NCMatrix</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i3 : sigma = ncMap(A,A,{y,z,x}) o3 = NCRingMap A <--- A o3 : NCRingMap</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i4 : N = ncMatrix {{M},{sigma M}, {sigma sigma M}} o4 = | x y z | | y z x | | z x y | o4 : NCMatrix</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i5 : N^3 o5 = | z^2*x+z*y*z+z*x*y+y*z*y+y^2*x+y*x*z+x*z^2+x*y^2+x^3 z^2*y+z*y*x+z*x*z+y*z^2+y^3+y*x^2+x*z*x+x*y*z+x^2*y z^3+z*y^2+z*x^2+y*z*x+y^2*z+y*x*y+x*z*y+x*y*x+x^2*z | | z^2*y+z*y*x+z*x*z+y*z^2+y^3+y*x^2+x*z*x+x*y*z+x^2*y z^3+z*y^2+z*x^2+y*z*x+y^2*z+y*x*y+x*z*y+x*y*x+x^2*z z^2*x+z*y*z+z*x*y+y*z*y+y^2*x+y*x*z+x*z^2+x*y^2+x^3 | | z^3+z*y^2+z*x^2+y*z*x+y^2*z+y*x*y+x*z*y+x*y*x+x^2*z z^2*x+z*y*z+z*x*y+y*z*y+y^2*x+y*x*z+x*z^2+x*y^2+x^3 z^2*y+z*y*x+z*x*z+y*z^2+y^3+y*x^2+x*z*x+x*y*z+x^2*y | o5 : NCMatrix</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i6 : B = A/ncIdeal{y*z + z*y - x^2, x*z + z*x - y^2, z^2 - x*y - y*x} --Calling Bergman for NCGB calculation. Complete! o6 = B o6 : NCQuotientRing</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i7 : NB = promote(N,B) o7 = | x y z | | y z x | | z x y | o7 : NCMatrix</code></pre> </td> </tr> <tr> <td> <pre><code class="language-macaulay2">i8 : NB^3 o8 = | -y^2*z+y^3+y*x*z-y*x*y+x*y*z+x*y^2+2*x*y*x+x^2*z+3*x^2*y y^2*z+y*x*z+2*y*x*y+x*y*z+3*x*y^2-x*y*x-x^2*z+x^2*y+x^3 2*y^2*z+y^3+y*x*y+x*y*x+2*x^2*z+x^3 | | y^2*z+y*x*z+2*y*x*y+x*y*z+3*x*y^2-x*y*x-x^2*z+x^2*y+x^3 2*y^2*z+y^3+y*x*y+x*y*x+2*x^2*z+x^3 -y^2*z+y^3+y*x*z-y*x*y+x*y*z+x*y^2+2*x*y*x+x^2*z+3*x^2*y | | 2*y^2*z+y^3+y*x*y+x*y*x+2*x^2*z+x^3 -y^2*z+y^3+y*x*z-y*x*y+x*y*z+x*y^2+2*x*y*x+x^2*z+3*x^2*y y^2*z+y*x*z+2*y*x*y+x*y*z+3*x*y^2-x*y*x-x^2*z+x^2*y+x^3 | o8 : NCMatrix</code></pre> </td> </tr> </table> </div> <div> <div class="waystouse"> <h2>Ways to use this method:</h2> <ul> <li><span><a title="Exponentiate an NCMatrix" href="___N__C__Matrix_sp%5E_sp__Z__Z.html">NCMatrix ^ ZZ</a> -- Exponentiate an NCMatrix</span></li> </ul> </div> <hr> <div class="waystouse"> <p>The source of this document is in <span class="tt">NCAlgebra/NCAlgebraDoc.m2:969:0</span>.</p> </div> </div> </div> </body> </html>
Simpan