<?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://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML " >script >title >GAP (homalg) - Appendix D: Debugging homalg</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="chapD" 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="chap3_mj.html" >3</a> <a href="chap4_mj.html" >4</a> <a href="chap5_mj.html" >5</a> <a href="chap6_mj.html" >6</a> <a href="chap7_mj.html" >7</a> <a href="chap8_mj.html" >8</a> <a href="chap9_mj.html" >9</a> <a href="chap10_mj.html" >10</a> <a href="chap11_mj.html" >11</a> <a href="chap12_mj.html" >12</a> <a href="chapA_mj.html" >A</a> <a href="chapB_mj.html" >B</a> <a href="chapC_mj.html" >C</a> <a href="chapD_mj.html" >D</a> <a href="chapE_mj.html" >E</a> <a href="chapF_mj.html" >F</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="chapC_mj.html" >[Previous Chapter]</a> <a href="chapE_mj.html" >[Next Chapter]</a> </div >"mathjaxlink" class="pcenter" ><a href="chapD.html" >[MathJax off]</a></p>"X7DC71AA679A8CB8D" name="X7DC71AA679A8CB8D" ></a></p>div class="ChapSects" ><a href="chapD_mj.html#X7DC71AA679A8CB8D" >D <span class="Heading" >Debugging <strong class="pkg" >homalg</strong ></span ></a>div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chapD_mj.html#X8062637283DD739D" >D.1 <span class="Heading" >Increase the assertion level</span ></a>span >div >div >span class="Heading" >Debugging <strong class="pkg" >homalg</strong ></span ></h3>strong class="pkg" >GAP</strong > builtin debugging facilities (--> <a href="../../../doc/ref/chap7_mj.html#X8345F6817DFD6394" ><span class="RefLink" >Reference: Debugging and Profiling Facilities</span ></a>) <strong class="pkg" >homalg</strong > provides two ways to debug the computations.</p>"X8062637283DD739D" name="X8062637283DD739D" ></a></p>span class="Heading" >Increase the assertion level</span ></h4>strong class="pkg" >homalg</strong > comes with numerous builtin assertion checks. They are activated if the user increases the assertion level using <br /> <br /> <code class="code" >SetAssertionLevel</code >( <var class="Arg" >level</var > ); <br /> <br /> (--> <a href="../../../doc/ref/chap7_mj.html#X876C83707F13A0FD" ><span class="RefLink" >Reference: AssertionLevel</span ></a>), where <var class="Arg" >level</var > is one of the values below:</p>div class="pcenter" ><table class="GAPDocTable" >tr >td class="tdleft" ><var class="Arg" >level</var ></td >td class="tdleft" >description</td >tr >tr >td class="tdleft" ></td >td class="tdleft" ></td >tr >tr >td class="tdleft" >0</td >td class="tdleft" >no assertion checks whatsoever</td >tr >tr >td class="tdleft" ></td >td class="tdleft" ></td >tr >tr >td class="tdleft" >3</td >td class="tdleft" >"high" -level homological assertions are checked</td >tr >tr >td class="tdleft" ></td >td class="tdleft" ></td >tr >tr >td class="tdleft" >4</td >td class="tdleft" >"mid" -level homological assertions are checked</td >tr >tr >td class="tdleft" ></td >td class="tdleft" ></td >tr >tr >td class="tdleft" >5</td >td class="tdleft" >"low" -level homological assertions are checked</td >tr >tr >td class="tdleft" ></td >td class="tdleft" ></td >tr >tr >td class="tdleft" >6</td >td class="tdleft" >assertions about basic matrix operations are checked (--> Appendices of the <strong "pkg" >MatricesForHomalg</strong > package)</td >tr >tr >td class="tdleft" ></td >td class="tdleft" >(these are among the operations often delegated to external systems)</td >tr >tr >td class="tdleft" ></td >td class="tdleft" ></td >tr >table ><br />div >strong class="pkg" >homalg</strong > delegates matrix operations to an external system then <code class="code" >SetAssertionLevel</code >( 4 ); can be used to let <strong class="pkg" strong > debug the external system.</p>div class="chlinkprevnextbot" > <a href="chap0_mj.html" >[Top of Book]</a> <a href="chap0_mj.html#contents" >[Contents]</a> <a href="chapC_mj.html" >[Previous Chapter]</a> <a href="chapE_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="chap3_mj.html" >3</a> <a href="chap4_mj.html" >4</a> <a href="chap5_mj.html" >5</a> <a href="chap6_mj.html" >6</a> <a href="chap7_mj.html" >7</a> <a href="chap8_mj.html" >8</a> <a href="chap9_mj.html" >9</a> <a href="chap10_mj.html" >10</a> <a href="chap11_mj.html" >11</a> <a href="chap12_mj.html" >12</a> <a href="chapA_mj.html" >A</a> <a href="chapB_mj.html" >B</a> <a href="chapC_mj.html" >C</a> <a href="chapD_mj.html" >D</a> <a href="chapE_mj.html" >E</a> <a href="chapF_mj.html" >F</a> <a href="chapBib_mj.html" >Bib</a> <a href="chapInd_mj.html" >Ind</a> </div >hr />"foot" >generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc " >GAPDoc2HTML</a></p>body >html >quality 100%
¤ Dauer der Verarbeitung: 0.9 Sekunden
¤ *© Formatika GbR, Deutschland
