<?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>
<
title>GAP (DeepThought) - 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.html">Top</
a> <
a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap1.html">[Next Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chap0_mj.html">[MathJax on]</a></p>
<p><a id="X7D2C85EC87DD46E5" name="X7D2C85EC87DD46E5"></a></p>
<div class="pcenter">
<h1>DeepThought</h1>
<h2>This package provides functions for computations in finitely generated nilpotent groups based on the Deep Thought algorithm.</h2>
<p>
1.0.9</p>
<p>
20 June 2025
</p>
</div>
<p><b>
Nina Wagner
</b>
<br />Email: <span class="URL"><a href="mailto:github@n-i-n-a.de">github@n-i-n-a.de</a></span>
</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.html#X83D5BFC3847045B8">1 <span class="Heading">The Deep Thought algorithm</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7A5FAA018026C0B7">1.1 <span class="Heading">Category DTObj</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap2.html#X82DA17B77A8A5B61">2 <span class="Heading">Using Deep Thought functions</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7EA3FBDF7B809C2B">2.1 <span class="Heading">Computing Deep Thought polynomials</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X85D338758560944F">2.1-1 DTP_DTapplicability</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X86F89471783A781E">2.1-2 DTP_DTObjFromCollector</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7DEEE5BD87A77227">2.2 <span class="Heading">Computations with Deep Thought polynomials</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7D7E8A7E837393D5">2.2-1 DTP_Exp</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7E6A77648287C534">2.2-2 DTP_Inverse</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X832D51A385C2B55E">2.2-3 DTP_IsInNormalForm</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X81BFA2BC82C955D4">2.2-4 DTP_Multiply</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7CF4337B7C9E1559">2.2-5 DTP_Multiply_r</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X80B149C187ED3B23">2.2-6 DTP_Multiply_rs</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X8159A2E083BADB3D">2.2-7 DTP_NormalForm</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7C12EF818683CB66">2.2-8 DTP_Order</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7881AABE84C7EB33">2.2-9 DTP_SolveEquation</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7E972B8C7A6CD87A">2.3 <span class="Heading">Computations with pcp-elements</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X82FE9D938612F732">2.3-1 DTP_PCP_Exp</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X87E377E5844A7841">2.3-2 DTP_PCP_Inverse</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X836633C77892C287">2.3-3 DTP_PCP_NormalForm</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X85B1ED637A2A4D79">2.3-4 DTP_PCP_Order</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X86E6DA84863440B5">2.3-5 DTP_PCP_SolveEquation</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X81E6D7BE805AEA32">2.4 <span class="Heading">Accessing Deep Thought polynomials</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X85DDC77C7B704389">2.4-1 DTP_Display_DTObj</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7BD122177D9A9D4F">2.4-2 DTP_pols2GAPpols</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chapBib.html"><span class="Heading">References</span></a></div>
<div class="ContChap"><a href="chapInd.html"><span class="Heading">Index</span></a></div>
<br />
</div>
<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap1.html">[Next Chapter]</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
¤ Dauer der Verarbeitung: 0.5 Sekunden
¤
*© Formatika GbR, Deutschland