<?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" "https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML " >script >title >GAP (InduceReduce) - 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="chap2_mj.html" >2</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 >"mathjaxlink" class="pcenter" ><a href="chap0.html" >[MathJax off]</a></p>"X7D2C85EC87DD46E5" name="X7D2C85EC87DD46E5" ></a></p>div class="pcenter" >h1 >The <strong class="pkg" >InduceReduce</strong > Package</h1 >div >br />Email: <span class="URL" ><a href="mailto:jonathan.gruber@fau.de" >jonathan.gruber@fau.de</a></span >"X81488B807F2A1CF1" name="X81488B807F2A1CF1" ></a></p>strong class="pkg" >InduceReduce</strong > package 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 3 of the License, or (at your option ) any later version.</p>"X82A988D47DFAFCFA" name="X82A988D47DFAFCFA" ></a></p>implemented in the program and for suggesting to make it a <strong class="pkg" >GAP</strong > package.</p>"X8537FEB07AF2BEC8" name="X8537FEB07AF2BEC8" ></a></p>div class="contents" >"contents" name="contents" ></a></h3>div class="ContChap" ><a href="chap1_mj.html#X8063C5AD861C9596" >1 <span class="Heading" >The <strong class="pkg" >InduceReduce</strong > package</span ></a>div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap1_mj.html#X8729B87B848E3F89" >1.1 <span class="Heading" >Theory</span ></a>span >div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap1_mj.html#X7A4605C07A94C9F6" >1.2 <span class="Heading" >Program</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap1_mj.html#X800870BA80335175" >1.2-1 CharacterTableUnger</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap1_mj.html#X854929007C135EA0" >1.2-2 InfoCTUnger</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap1_mj.html#X82B1841B7ED017DA" >1.2-3 CTUngerDefaultOptions</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap1_mj.html#X7E6B8D107B819CDC" >1.3 <span class="Heading" >Options</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap1_mj.html#X8650B24882BA95D0" >1.3-1 <span class="Heading" >DoCyclicFirst and DocyclicLast</span ></a>span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap1_mj.html#X853CD33F845DFFD8" >1.3-2 <span class="Heading" >LLLOffset</span ></a>span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap1_mj.html#X82C33CF282FC5A73" >1.3-3 <span class="Heading" >Delta</span ></a>span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap1_mj.html#X83236B2C84A86425" >1.3-4 <span class="Heading" >Changing the default options</span ></a>span >div ></div >div >div class="ContChap" ><a href="chap2_mj.html#X84F39EA27AC21C70" >2 <span class="Heading" >Installing and Loading the <strong class="pkg" >InduceReduce</strong > Package</span ></a>div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap2_mj.html#X82D1C6CB791B726C" >2.1 <span class="Heading" >Installing the package</span ></a>span >div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap2_mj.html#X87B74F4A7E059AED" >2.2 <span class="Heading" >Loading the package</span ></a>span >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="chap2_mj.html" >2</a> <a href="chapBib_mj.html" >Bib</a> <a href="chapInd_mj.html" >Ind</a> </div >hr />"foot" >generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc " >GAPDoc2HTML</a></p>body >html >quality 99%
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
