<?xml version=
"1.0" encoding=
"UTF-8"?>
<!
DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<
html xmlns=
"http://www.w3.org/1999/xhtml" xml:lang=
"en">
<
head>
<
script type=
"text/javascript"
src=
"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</
script>
<
title>GAP (edim) - Contents</
title>
<
meta http-equiv=
"content-type" content=
"text/html; charset=UTF-8" />
<
meta name=
"generator" content=
"GAPDoc2HTML" />
<
link rel=
"stylesheet" type=
"text/css" href=
"manual.css" />
<
script src=
"manual.js" type=
"text/javascript"></
script>
<
script type=
"text/javascript">overwriteStyle();</
script>
</
head>
<
body class=
"chap0" onload=
"jscontent()">
<
div class=
"chlinktop"><
span class=
"chlink1">Goto Chapter: </
span><
a href=
"chap0_mj.html">Top<
/a> <a href="chap1_mj.html">1</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap1_mj.html">[Next Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chap0.html">[MathJax off]</a></p>
<p><a id="X7D2C85EC87DD46E5" name="X7D2C85EC87DD46E5"></a></p>
<div class="pcenter">
<h1><strong class="pkg">EDIM</strong></h1>
<h2>Elementary Divisors and Integer Matrices</h2>
<p>
Version 1.3.8</p>
<p>February 2024</p>
</div>
<p><b>Frank Lübeck
</b>
<br />Email: <span class="URL"><a href="mailto:Frank.Luebeck@Math.RWTH-Aachen.De">Frank.Luebeck@Math.RWTH-Aachen.De</a></span>
<br />Homepage: <span class="URL"><a href="https://www.math.rwth-aachen.de/~Frank.Luebeck">https://www.math.rwth-aachen.de/~Frank.Luebeck</a></span>
<br />Address: <br />Lehrstuhl D für Mathematik RWTH Aachen Pontdriesch 14/16 52062 Aachen Germany
</p>
<p><a id="X81488B807F2A1CF1" name="X81488B807F2A1CF1"></a></p>
<h3>Copyright</h3>
<p>© 2000-2024 by Frank Lübeck</p>
<p><strong class="pkg">EDIM</strong> is free software; you can redistribute it and/or modify it under the terms of the <span class="URL"><a href="https://www.fsf.org/licenses/gpl.html">GNU General Public License</a></span> as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.</p>
<p><a id="X8537FEB07AF2BEC8" name="X8537FEB07AF2BEC8"></a></p>
<div class="contents">
<h3>Contents<a id="contents" name="contents"></a></h3>
<div class="ContChap"><a href="chap1_mj.html#X7AA826067CC8C395">1 <span class="Heading">The <strong class="pkg">EDIM</strong>-Package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X84D3F5E77E3BF046">1.1 <span class="Heading">Installation of the <strong class="pkg">EDIM</strong> package</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7AF83FEC7CD0311C">1.1-1 InfoEDIM</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X818BE04687230849">1.2 <span class="Heading"><span class="SimpleMath">\(p\)</span>-Parts of Elementary Divisors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X813B0D73868CD751">1.2-1 ElementaryDivisorsPPartRk</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X82EC4724865F4DF9">1.2-2 ElementaryDivisorsPPartHavasSterling</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X80FF39C07E03D7EF">1.3 <span class="Heading">Inverse of Rational Matrices</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7A9656D47C4D2D16">1.3-1 InverseRatMat</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8302B31E86B3AFDB">1.3-2 RationalSolutionIntMat</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X86DA61D978D2D889">1.3-3 ExponentSquareIntMatFullRank</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7A6548FA7C837D27">1.4 <span class="Heading">All Elementary Divisors Using p-adic Method</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7B6A3B8486872B0C">1.4-1 ElementaryDivisorsSquareIntMatFullRank</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X821E30477A5DCE68">1.4-2 ElementaryDivisorsIntMatDeterminant</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X788047737FA04422">1.5 <span class="Heading">Gcd and Normal Forms Using LLL</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X799B1A5285D00859">1.5-1 GcdexIntLLL</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7C6AE6777B72F9D2">1.5-2 HermiteIntMatLLL</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X862962B7878A284F">1.5-3 HermiteIntMatLLLTrans</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8626F15179C09798">1.5-4 SmithIntMatLLL</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X86094B1B7C87EBF6">1.5-5 SmithIntMatLLLTrans</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X832582857EB36B23">1.6 <span class="Heading">Utility Functions from the <strong class="pkg">EDIM</strong>-package</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7EC844F97C469C03">1.6-1 RatNumberFromModular</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X78518E1D81435762">1.6-2 InverseIntMatMod</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7CDF3D2081207080">1.6-3 HadamardBoundIntMat</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7BAB977C7EB05067">1.6-4 CheapFactorsInt</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X8312EDA78209B4EA">1.6-5 RankMod</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X83FD1AAB7EB2E934">1.7 <span class="Heading">InverseRatMat - the Algorithm</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X791ED7D97F87FDFD">1.7-1 <span class="Heading">Rank of Integer Matrix</span></a>
</span>
</div></div>
</div>
<div class="ContChap"><a href="chapBib_mj.html"><span class="Heading">References</span></a></div>
<div class="ContChap"><a href="chapInd_mj.html"><span class="Heading">Index</span></a></div>
<br />
</div>
<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap1_mj.html">[Next Chapter]</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
¤ Dauer der Verarbeitung: 0.6 Sekunden
¤
*© Formatika GbR, Deutschland
