| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/doc/ref/ (Beweissystem Isabelle Version 2025-1©) Datei vom 18.9.2025 mit Größe 127 kB |
|
Quelle chap7_mj.htmlSprache: HTML |
|||||||||||||||||
<?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://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLor </script> <title>GAP (ref) - Chapter 7: Debugging and Profiling Facilities</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="chap7" onload="jscontent()"> <div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top< <div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.ht <p id="mathjaxlink" class="pcenter"><a href="chap7.html">[MathJax off]</a></p> <p><a id="X8345F6817DFD6394" name="X8345F6817DFD6394"></a></p> <div class="ChapSects"><a href="chap7_mj.html#X8345F6817DFD6394">7 <span class="Heading">D <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X86B5FEC67A9394D <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X834BD9928773DCC <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D25D904800D5CB <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7F6996CA872478B <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E5E2E7B85029E3 </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80848FF486BD6F9 </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80B044017C9E413 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7D34CADB813A4AF <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7EB04D387C53E4C <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B3018AA82D5594 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X81078D3387A38E3 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X81B000CF86BA153 </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7AA1A1CF79F2079 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B3709C584B3DA1 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A43B9E68765EE9 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B2ADC37783104B <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7BA636EF80A1435 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X864E4B6886E2697 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X800234B5815CAC9 </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7A28F77C82D6A3E </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C7596418423660 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X876C83707F13A0F <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X830E443284780FB </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80355C9282B3567 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E32B27F81870D2 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X844E1CFE80F4176 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C0F91F98218962 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B543F357C7202C </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8077B50B844C4EF <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8156D7208591460 </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7939F6F182FDA5F </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79D6CB927BBEB94 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C893F68841B990 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79D41E977DCA2BE <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X81E8A8627C34FD3 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79D394EC7BE8D00 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X787AC3BE7F99134 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87A05F977F03369 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X80FEA6A08775A48 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7DAF9AB9793AE20 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C5CE3257989112 </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X812F9CE0817110E </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7E9C65B17B8EF99 </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X86557887796F66F <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87CC48807DB4C00 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7C5DED9C7CC7750 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7B705B2D8670A9C <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X7823C83D79B36D3 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X83D8A42B7BB92F5 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X79C58704838232C </div></div> <div class="ContSectjava.lang.StringIndexOutOfBoundsException: Index 0 out of boun </span> </div>< id"X8345F6817DFD6394"=X8345F6817DFD6394<a>> <div="ontSect">span"tocline">span=nocss&bsp;<span<hrefchap7_mjX801051CC86594630"7. <="">TestF </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X8213757B7ACC76E </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap7_mj.html#X87712F9D8732193 <span class="ContSS"><br /><span class="nocss"> </span>a ="chap7_mj.html#X87AF67528799481F">7. </div></div> <div="ontSect>span="tocline<spanclassnocss&;<> ".#X85FF55448787CCA07. < class="Heading>Debug </span> <div class"ontSSBlock" < class=ContSS">br/<spanclass=nocss> nbsp;<>< href"chap7_mjX7D8968FC7E24A4E5"7.111 SetRecursionT </div></div> < class""><span ="tocline">span=nocss" <span<ahref".htmlX85679F17791D9B63>7 span="Heading" M </span> <divclass"ContSSBlock> <span class="ContSS"><br /><spanclass"nocss"> &;</><a hrefchap7_mj#X7F1F741D7F0899D1>7121<span ="H </span <span class=ontSS>br/<spanclass="">nbspnbsp/> =chap7_mj#X7848AB367F3A1221>7..2-CollectGa < =""<br >span=nocss"&bsp;; /pana href="chap7_mj.< version="0" ="UTF8"?> <span="<br >spanspan="nocss nbsp</ana hrefchap7_mj.#X85327FA5872E0356">7.124 GasmanMessage < ="ontSS</":/www//xhtml1DTD-strictdtd </ </div> <span classContSS><br/spanclass"">&bspnbsp<pan< =chap7_mj.html#X7B3018AA82D55949"7..3-4Untrac <> chapterdescribes functions that are useful for span=ContSS<br/>span=nocssnbsp;&;/panahrefc <p> the most important debugging tooltoolin <strong="pkg">GAP</strong is/span <<href=".#X7FDA1D4B87BD25A8><spanclass"RefLink>72<span href"chap7_mjhtml#X7D43A2D885B37 <pThe sectionsdescribe functionsfor collecting about computations (see <code 8765EE9E">74-3 <p><a idX83C45B0A797AAF96"name"X83C45B0A797AAF96"<a>p> <h4spanp ="mathjaxlink" classpcenter<<anclass"ContSS">< /span="ocss>nbsp&;/>< ="< classontSect>< =o <p>Whentheselectionfails there no applicable, an as in followingexample and a break is:</p> <div ="example">pre < class"APprompt">gapgt/>"nocss" <span hrefchap7_mjhtml#7D25D904800D5CBA">71- ShowDetails< Errorno !ound For hints<class=""<br /><span=nocss nbsppan=hap7_mj#834BD9928773D Error st methodfound `IsNormalonarguments GAPROOTmethsel2.250 called< class="ontSS"> >span < ) ed fromreadevaldivclass="ontSect"< classtocline><spanspbspspan< href"chap7_mjtmlX7E5E2E type'it'toquit loop <span <<> <p>This,<<divjava.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for l a id="X86B5FEC67A9394DC" name"X86B5FEC67A9394DC></></span> <span=""<br />span class""> <panclass"ContSS>br/>span class"ocssnbspnbsp;/span< href"chap7 <div class="func"><table class="func" width="100%"><tr><<span class="ContSS"><br/><span class="no <p>his isonly within a breakloop bya qNoMethod<<q>-error Itprintsas theargumentsthe for no metho <p><a id="X834BD9928773DCC1" name="X834BD9928773DCC1"></a><span class="ContSS"><r />spanclassn < class"ContSS">span=ContSS /spanclass/pan < class</div<iv <pThisisonly a loopbyaq> Methodqerror prints<classrg/>th callforwhich no method foundcode cla <p<an <h5>7.1-3 ShowDetails</h5> div="< =funcwidth"100%tr classtdleft< class"func">#8227;howDetails/> /d<tdclass"; )/td>tr<tab <p> functionisonly withinss&;nbsp/<hrefchap7_mj#X7B3709C584B3DA1E>7.-DeclareInfoClass/a>p <p><a=ContSSspan ="br /> ="">&sp;&sp;/a ="chap7_mjhtml7B2ADC37783104B9">7.4- InfoLevel/spanjava.lan <h5>7.1-4 ShowMethods</h5>span classContSSspan=ContSS<br> class"ocss">nbspnbsp<span>a ==</panj <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code classspan class <p>his is availablewithina loopcaused a qNo Method</>error It prints overviewabouttheinstalle <p><a id="X7E5E2E7B85029E34 <5715ShowOtherMethods/5> <div class="func"><table classspan="ContSS"><br<iv ="ContSect>span =tocline>spanclass"">nbsp</ <bout theinstalled for a <p><a id="X7FDA1D4B87BD25A8" " name="X7FDA1D4B87BD25A8">/a></p> <h4<span class="ContSS"<br /><spanclass"nocss"> &;</pana ="chap7_mj.html#<span<span<v class=Cont <>< id="X80848FF486BD6F9F class" span&; >< =".#X7E32B27F81870D24".-untime>span<> << classContSS >span"nocss">nbsp </><hrefchap7_mj>>iv < class"tableclass=func width"100"/spanjava.lang.StringIndexOutOfBoundsException: I <MethodTypescode(varclassArg"opr/><var=class=g>args<var,varclass"Arg>printlevel/>[<="Arg> <p>Called with two arguments, <span="ontSS">br>spanclass="nocss nbsppan< hrefchap7_mj.tmlX7C p> positive integer isgiven thefourth argumentvar class""span class="ContSSbr>pan"nbsp;nb <>f fourthargument class"Arg>nr<var isthe <code class=/><div <>>Dependingonthe integer value<varclass"Arg">printlevel/pan <dl <spanclass/pan="ntSS>br/span classnocss&;;span =chap7_mj.X7C893F68841B990B"783ProfileO <d<panContSSr > class"&bsp;&;<span<a href=hap7_mjtml#79>.8- ProfileOperationsAndMethods</a>span> <<spanclass"ontSS>br /<panclass=ocss><panjava.lang.StringIndexOutOfBoundsException: Ind < <dd><>informationabout the applicable method/p> <span<panclass""> span class"ContSS>< /<span class=ocss>nbspnbsp;</>a "chap7_mjmlX87A05F977F03 <ngdt <ddspan class"ContSS">br/pan class"nocss">;;/> href.#X7DAF9AB9793AE2037.-ClearProfile//> </ddiv=ContSectspan=tocline<span =nocss&;/>a hrefchap7_mjX85FF55448787CCA0. /span <dt><strongspan> <dd<p> foreach notapplicablethe reason it not,</p> </dd <dt><strong class=Mark>4</strong>/dt <dd>p> foreach notspanclass=ContSS>br/>panclass" &;<anclass="ContSS<> classnocssnbsp; /le='color:red'>span< href.#F66FA7.814ProfileLineByLine/a>>/> </dd <dt><strongclass"ark">/strongdtjava.lang.StringIndexOutOfBoundsException: Index 40 o <ddp>the of selected()</java.lang.StringIndexOutOfBoundsException: Index 59 out of bo </dd </dl <p>When a<> <>emNote:</m>The class =""br>pannocss;nbspspan=ontSS<>span="nocss> </pan>a href="chap7_mj <p>The function <codeclass="func">ApplicableMethodTypes</code> takes the<m>typesdiv<iv <ppan <h4. <pan="eading">TracingMethods/pan/> <p><idX80B044017C9E4137 =X80B044017C9E4137<a>/> </> <table class"func" width="100%"><tr>td <div class=""><tableclassfunc="100%"<tr><td="tdleft><code ="unc#8227; TraceMethods/>( < class"/ <>Afterthe of class">TraceMethods/>,whenever p7_mj.#X87AF67528799481F">10-TestDirectory/> <p><a id<iv classContSSBlock"> <3-2TraceAllMethods<div <div class<pan="ContSS"> <p>nvokes<codeclass=code">aceMethods<ode forfor alloperations<p> <p><a id"X7EB04D387C53E4C1 <h57..3< class"ContSSBlock"> <div classclass="func< class"func="100>tr>< =tdleft"<=func& ntraceMethods/code < =Argopr1>< <span <p>turns the <div class"example"><pre> <span class="GAPprompt">gap></span> <<>Whenthe method selection fails therepanclassContSSbr /sp <span=GAPprompt>gapgt/>span=GAPinput: ((,,, ,;<span> <span class=GAPprompt">gapgt/pan> <pan class"GAPinput"><iv> #IErrorno1 choice for`Normal' on 2 arguments atGAPROOTlibmethsel2g:250called from #I Setter(Size)java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds f # :system # Size:system class"brk&&;<span </pre<div </re/divpThisonlysays themethodselection to a methodpProbably mostdebugging <strong=pkgA <p><a id="X7B3018AA82D55949" name="X7B3018AA82D55949"></a></p> <h57.3-4 UntraceAllMethods <div class="func"><tablediv <p>Equivalenttocalling< class=code"UntraceMethods</code>for all << id" =81078D3387A38E31">/>/> <h5>7.<iv="ample>>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds fo <div<a ="X7D25D904800D5CBA <div class="func <p><code class, 1stchoice forIsNormal' 2 arguments GAPROOT/libmethsel2g:50 calledfrom <iv="example <spanclassGAPpromptgapgtspan> span =GAPinputTraceImmediateMethods ;span < class class=GAPbrkpromptbrkgt/>java.lang.StringIndexOutOfBoundsException: Index 41 #I RunImmediateMethods # Size #Ip>This only, that method selectiontried #I immediate: p>id # : IsTrivial<ivclass="<tableclass <spanclass=GAPprompt> isonlyavailablewithin break loopcausedby a<> Method/>-errorItprints o #I immediate: IsPerfectGroup # #I immediate #IThis ="func"<tableclassjava.lang.StringIndexOutOfBoundsException: Index 0 out of #Ijava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 # :IsNonTrivial #I : #I immediate<71- ShowDetails</h5 sEmpty 6 <span <span </pre>/div> <p>This <p><a<> functionis available abreak <h5<5> <div="unc"tableclass="func" width100%java.lang.StringIndexOutOfBoundsException: In <div="funcfunc"><p> is available loopcauseda <No Foundq>-errorItprintsanoverviewabouttheins < <div <><code ="funcTraceInternalMethods</code enables tracingfor internal. methodsare <> <dt>.21ApplicableMethod/> <dd>>Mutable < classfunc< =func<tableclass"func "100>< ="tdleft"<code=func&#;ApplicableMethodType </dd> <dt><strong class="Mark">AInvp>Calledwith two arguments ddp>alsothe function bodyofthe method nd the<classrg<>>code=uncApplicableMethod/> "Arg><var>h the operation arclass"rg></ thearguments dtstrong="OneOneMut</strong</tjava.lang.StringIndexOutOfBoundsException: Index 51 <d<Mutable<id" name="B044017C9E4137<>/p </dd> <div<d<trong=Mark0strong < </dd <dt><strong class<dd><p>informationaboutjava.lang.StringIndexOutOfBoundsException: Index <dd<> operator < code methods,java.lang.StringIndexOutOfBoundsException: Index 76 out of bounds fo classiff>dt <dd<lass<alsofornot the why not, <dd <dd<alsoeachapplicable allreasons itnot<p <dd>dd < <dtalso> <dd/> </dd <dt< =""LQuo></dt <ddI :system/>< =>[ <span <java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5 <dt <>> operatorcode=func^/> =chap31_mjhtmlX8481C9B97B214C23 class".1/span<a)<p </dd> <dt><strong class <dd><p>The operatorjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds f </dd> <strong="Mark <erator class class"">table=""idth"tr< =tdleft> class=func> UntraceImmediateMethods<code> </td> </dd> < < < class <span class"GAPprompt">gapgt true< <span="GAPprompt"> <span class="GAPprompt <span<h5>7.3-3 UntraceMethods/h5 <pan=GAPprompt"gap>/span <an =GAPinputGetTraceInternalMethodsCounts(</>> rec recturns operationsvar"Arg"opr1/var,<classopr2/. ortheformforoperations listar"rg Sum := recspan=">ap&;span span ="": Group((,,,1, /> : (macfloat= java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for #macfloat:system <span class </pre<iv <p><a id <#java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 <pThe class"><>ahrefchap7_mjhtml#"< =RefLink-</>mechanism to orabout thealgorithms is givento o <>Note <p>>Theamount"==X81B000CF86BA1534>a <>div""< class"width100 ss"<code(ahref=".#X7A28F77C82D6A3E0classRefLink.-8/pan></ounts/ode( tdclass" &bsp;/td>/>/tab </li> jX7D162DDF813D2BBA class76.<pan>/ <li >p<codeclasscodeInfoDebug>/p </> <<> class"TraceImmediateMethods</>enables tracing immediate methods class=rgflag either clas <divclass"><pre </> <li><p><code I immediate immediateSize < <li <> < <immediate <5.1 /cgs <divclassfunc>< class=" ="%><td=tdleft><defunc&8227 <>var=="rg">amev < a info with <var="<pan class"GAPprompt"gap;<//an class"APinput([Size] ;</span <p><a id="X7B3709C584B3DA1EThis example gives an explanationfor the two calls of the <>ystemgett <h5>7.4-2 DeclareInfoClass</h5> <div class=dd<Thisexamplegives explanation for the two the <qsystem getter <p<div class=functableclass=nc=%<r<classtdleft> class>&8227; Tra <p><a id="X7A43B9E68765EE9E><p>The operator <<code class"func\</ode<a hrefchap31_mj< classjava.la < SetInfoLevelh5 <div class=dd < < =Arg</r>othenegativeintegervar=">level/.<java.lang.StringIndexOutOfBoundsException: p< idp< class<d <>dd <div="func>table=<t<strong=""><dt><<trong class"arkZeroMut/</t> <p>returnsthe classGAPprompt">gap><de="funcAdditiveInverse>(ahref=hap31_mj#X84BB723C <</d> <<dd><>Mutableand code class"func"><code> (ahref=.htmlX84BB723C81D55D63">java.lang.StringInd <div<>p> Immutable<code <p>Called withdt<trong class"java.lang.StringIndexOutOfBoundsException: Index 23 out <divmacfloatisafloating ddp>The <span class="GAPprompt">gapdt< class<dt>strongclassarkInv<>/ <id I info(InfoBckt #I Wouldddp operatorjava.lang.StringIndexOutOfBoundsException: Index 0 out of boun #I Would print info with SetInfoLevel(InfoBckt Group <="&java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 Group) < <div <p><a id="X864E4B6886E2697Dli <h5>>code="code"InfoPerformance/ode<p> <div class/ <p>If the< classMarkMod/></dt <>By <pIf levelofvar class"Arg"></> is strictly < ="level> thethird and arguments are notevaluated latt <> <divclass</java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for le <span="GAPpromptp> a newinfoclass namename<var class=""Arg"namear./> <span class"GAPprompt class""><span <pan class"GAPinput>.+2.<span <span class</dd> <span #I one =recinteger: =4 , pan=" <span""gap<spanspan # java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7 #I two <spann =GAPprompt"gap><pan><spanspanclass=GAPinput>InfoLevel();</pan> 2 <span<span classGAPprompt"gapjava.lang.StringIndexOutOfBoundsException: Index 0 out </prep<idX7B2ADC37783104B9name"X7B2ADC37783104B9java.lang.StringIndexOutOfBoundsEx <p>Note that the ecpermutationdiv class=unctable=unc width="100<tr>< =">code=func8227; InfoLe <p>A Sum= rec integer:li> class"</code <a href=chap7_mjjava.lang.StringIndexOutOfBoundsExce <div class="example"><pre> <span="GAPprompt">gapgt</ <span classGAPinputInfoExample=NewInfoClassInfoExample");;sp <span class="GAPprompt">gap></span> <java.lang.StringIndexOutOfBoundsException: Index 0 <span class="GAPprompt">gap></span> <span class # <spanclass="GAPprompt>gapjava.lang.StringIndexOutOfBoundsException: Index 0 out of <pan=GAPpromptgap;</span> <anclass"APinput"<class"GAPprompt">gapgt/pan <span classGAPinput <spanclass="GAPprompt">ap;</<spanclassGAPinput #I hello <span class="GAPprompt">gap><p>The amount of information to be displayed byeach info class ca 1 </pre></div> <>a ="800234B5815CAC97"<li<p <h5>>codeclassodeInfoSLPcode>/java.lang.StringIndexOutOfBoundsException: Index 45 ou <div =i>>codeclassuncInfoPackageLoading</> a href"hap76_mj.html#X7D162DDF813D2BBA><pan =Ref <div class<div class"func><table =func" </> <div class="funcdiv class="example< < < class.-/> li<=><code> <pI <5743 SetInfoLevel</>classGAPpromptgapgtli>p> =""foPrimeIntodeand/ <Thejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 <p>If the <p><>.-InfoLevel5 <p>For<< <>aid"" nameX7A28F77C82D6A3E0reates a new class < classArg"name<span class"GAPpromptgap<>span < <div class="funcpCalledwith argument class="GAPprompt>gapgt/span> <pis info classGAPpromptgap>span><classGAPinput(nfoExample2;/sp <p><a<idX7A43B9E68765EE9E name="A43B9E68765EE9E"></>/> <<div class="func"><table class="func" widthwidth="100%">tr<td class="tdleft><code class="fun <p>Assertions are used to<p><a id"X7B2ADC37783104B9" name=" <p><<a id"7C7596418423660B name="X7C7596418423660B"></a>/> h51 SetAssertionLevel/ < classfunc==100%<trclass"<codeclassfunc>‣java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0 <>signs global assertion levelglobal var"Arg>lev<var>.Bydefaultit is .p> <p><a id=<pan class"APprompt>><java.lang.StringIndexOutOfBoundsException: Index 1 out of <h5.5-2 AssertionLevelh5 <div <p>returns the/re classexample><pre<>Ifthe argument ofan<class"nc"Info/code>< href=chap7_mjhtm <p><a id="X830E443284780FB9" name="X830E443284780FB9"></a>< <h5>7.5-3 <h5>7.-6 Info</> <div h5>48java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for leng <p>Withnfolevel ofvar"rg"><varis < class""</>thenthethirdsubsequent areevaluatedThe substant <div="example"< ifGroup()) Error("Assertion failure"); fi; </re/> p>f <class""messagevar>argumenttheode="Assert/ode>statement is providedandif anerroris,t < various the Thusassertions slowjava.lang.StringIndexOutOfBoundsException: Index 0 o <p>a<p> infolevelofvarclass"Arg"foclass<var least<varclassArglevel/ar theremaining ,<ar="><<va <h4span><pan classdiv="<able class"func100>trclassIfthe level < =">infoclassvar strictly thanvar class=" <p> idre<v <h5 java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0 <div classspan arguments class>pre <p>code =>pre <dl> <dt><strong class="Mark" <>< time with classpkgGAP unctions(ithoutchild).< java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 5 <dt><strong class="Mark"><code</pre></div> <dd><p>cpu time spent </ddp><a <dt> <dd><p>cpu time spent in child processes (<code <> <dt><strong class< ="func>< <dd><p>cputime spent insystem calls <iv class"unc">tableclass=func"width"100%"tr>td ="dleft"<c </dd> <l> pNote thisfunction not>strong="Mark>codeclass"code"system_time/>I java.lang.StringInde <p>Thean =GAPprompt>>Inthefirst,var=Arg>andlervar>ust bea functionwiththreeargumentsvar cl <iv class""<>The default istheIhello <span class="GAPprompt</re></div> rec<p><a system_time_children<h5>7-7 <span class=Heading>Customizing<codeclass"func">Info<ode (a "ha <span class="GAPprompt">gap 893799 7551659</h5> <span class="GAPprompt">gapgtrec( class"unc"><table class="unc"width100%">tr>td class"tdle system_time: 60,ser_time_children1590, system_time_children:= ) <span class="GAPprompt<p>><a id="86425F067FC63A4C" name="X86425F067FC63A4C">/a>/p> span class"GAPprompt"gap; class="">>> ">Runtimes);/span> rec :=p toerrorsalgorithmstest results to .p system_time_children := 600 ) <span=GAPpromptgap<This onetocustomizewhathappensin an<classode"Info(<var class"rginfoc Help: no matching entry found < class""gap;</pan span rec( user_time := 13500, system_time :( user_timerec system_time_children= 600 ) </pre classAPprompt>/span spanclass"Runtimes;/> p>a ==java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length <>7- </h5 <divdivclass="func<tablejava.lang.StringIndexOutOfBoundsException: Index 0 out of <><codeclassfuncRuntime/> returns spentbystrongjava.lang.StringIndexOutOfBoundsExcepti <p>See><code ="<>With twoarguments, if the global assertion levelisatleast <var class="rg<arcondi <p><a id="X844E1CFE80F41760"<h4>7.h57.6- NanosecondsSinceEpoch> <h5>.6-3 NanosecondsSinceEpoch</h5 <div>/ivp<code"code>Method/codejava.lang.StringIndexOutOfBoundsException: Index 1 ou <div class="func"><tableAssertionsare atvarious places in library Thus < <p><code class><java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for l <p><code class="code">Monotonic <p><code class=code>Resolution <code"uncRuntimes/code returns with bound or<class"">ail/e. Eachinteger is thethe cpu time(o <p><a="X7C0F91F982189624"name>< <h5>7.6-4 time < class"tableclass"func"idth100%>< <p>In the readdd<cpu <p><a id"X7B543F357C7202CF name="X7B543F357C7202CF>< classMarkcode<class=""><table =funcwidt <h5>7.6-5ionLevel() >= lev and not <cond <div classjava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for le <div class="func"><tabledd>pcpu <>>If <var="">message> argument of<ode="unc>Assert</code>tatementis <p>id"=792"a< <p><ap><>7 spanjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for len <h4>7.7 <span <p><a id <h5>7.<divclass"func"><>pthen=980 system_time: 60user_time_children :, <li <p> ="TotalMemoryAllocated/codereturnsthe total amountofof memory bytes allocated <strong = <pjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 <7.- memory_allocated/h5> <div class=""<ablestrong"<ode class="">user_time_children</code>/strong</t <>Inread-rint,< class">emory_allocated<>> storesthenumberofbytesof allocatedby last complete <p><a id><( user_time=,system_time= <dtstrongMarkcode =""system_time_children/>strong/> <java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 <> ofcanp with codeclass">java.lang.StringIndexOutOfBoundsException: Index 0 out of bo <p><a id="X7939F6F182FDA5F1p>aid"pre/div <h5781 span <>his section how atthe levelThe is/java.lang.StringIndexOutOfBoundsException: Index 86 <ul> <li><p>first one switches on profiling 893799 "79D41E977DCA2BEE name="X79D41E977DCA2BEE">/a>> <li <li><p>then one runs>7.6 = java.lang.StringIndexOutOfBoundsException: Index 31 out of bou </li> <li<< "func"<class"width"100"<r>class=dleft"> classfunc#; NanosecondsSinceEpochInfocode> /td </li> <li><p>then one runs class"ode"Monotoniccodeisa booleansystem_time_children </li> <li><p>ndfinally switches offprofiling/p> java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 < <> <pesides <p>otethat < classpkgGAP/ willperformslowlywhen profilingthan not thereadeval- loopclass></s X79D6CB927BBEB940/>/> <h5>7.8-2 ProfileGlobalFunctions</h5> <divfunctable<>7.-3< <p>Called>These makestopforgiven of Theto givenpstopsofmethods operations the< class""</varR <p>When <code class="func">ProfileGlobalFunctions</ <p><a id="X7C893F68841B990B" name="X7C893F68841B990B"></a>div <h5.-3ProfileOperations <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# palled<class><,< ="rofileOperations>starts alloperations.Oldprofile operationsis . withthe <p>When <<iv="func><tableclass="func"width=100%divclass="func classwidth<><dclass>ode"&;memory <p><a id="X79D41E977DCA2BEE" name="X79D41E977DCA2BEE<a</p <h5>7.8-4 ProfileOperationsAndMethodsclass"< class=func" width<p>a ="7FDF923D7D2937A1" nam <div=""><table="func"widthp> all <> argumentcodejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for <p>When <code class="func">ProfileOperationsAndMethodsjava.lang.StringIndexOutOfBounds <p><a id="X81E8A8627C34FD3B" name <h5 <=unc ="=%<>tdclassdleft<code="">8227ProfileFunctions</code> < ="funcs /<class>bsp&/<tr<> <p> profilingfor java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds fo <p><a id="X79D394EC7BE8D008 <h57.6 UnprofileFunctions<rof collected these<> <div class><> one more perhaps all < class"/i> <p>a id=<> <h5>7 <<p>Profilingof 0 275 0 GAPBasePoint <p>starts profiling of<><a id 10230 0 0 226 (rt) ShallowCopy <p< idX87A05F977F033693namethe 0688 UniteSetfor <h5>7<>.- </h5/> <divli var""ops.Recorded 55 AddRefinement <p< idX80FEA6A08775A48E80FEA6A08775A48E<java.lang.StringIndexOutOfBoundsException: I <>.8<Called <class>/code,< class"ProfileOperations/> startsprofilingofalloperations. Oldpro <div class="func"><table class="func" width="100%"><tr<><aid"X79D41E977DCA2BEE" ="X79D41E977 <div classfunc<table DisplayProfilecodedisplays profileinformationprofiled,ethods .f argument<var="rg"<var <p>The default value of <h5 =func18555348 oprt in, that the of values 64 java.lang.StringIndexOutOfBoundsException: Index 0 out of bo <p>At the endp> profiling 90B" 4 02024(prt) Centralizer <p>interactive < "">/> function< class"rowseProfile/code>(a href=./.kgbrowsedoc/..htmlX7B420 <=X7DAF9AB9793AE203</></>> <7 <divp>a id=java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for len <clears stored information.p217 603117GAP: java.lang.StringIndexOutOfBoundsException: <>id name18474 RepOpElmTuplesPermGro <>7. span"" of Profilingpan<h5Called argument ""truede code =uncProfileOperationsAndMethod < is the time the2174 GAP java.lang.StringIndexOutOfBoundsException: Index 58 out of bo <div class="3364 817 <>7.> variant of<code class"">DisplayProfile> s the <code "></> a="..pkgbrowsedoc <span 52 944java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for le < classAPprompt>&t;</> <span classGAPinputProfileGlobalFunctions true)> <span class="GAPprompt">gap></span> <span class="GAPinput">ProfileOperationsAndMethods( tru <span=<.8-ClearProfile> <s"GAPprompt>>< <span class=<iv classp> default of <<codeclass"GAPInfo4 309 3165 ForAll </></div> <pNowa ="7C5CE32579891120>Profile information displayedinina list lines forallfunctions ( <divclass="example>pre> <span count selfms/ storkbchld package 17647 0<java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for lengt 10230 0 0 226 0 (oprt.) ShallowCopy 10139 0 0 UniteSet:java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for le 100018 1475112span="">spanspan=GAPinputg:PrimitiveGroup 1 ; java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 2700 20 12 313 55 GAP AddRefinement 4368 0 32 7 714 (oprt 2174 32 4 585 4 32 45 742 GAP RRefine 1532 32 8 194 56 = elfchld kbchldkbfunction 1221 8 32 420 GAP Partition 185309 class= 10001 0 (()UniteSet 0 714(.) Size /</28 00<class"">&;<>span=APinput>ProfileOperationsAndMethods);/ 2798 0 560 4 48 83 628 GAP StabChainSwap 432 16 40 259 461 GAP SubmagmaWithInversesNC 185553 48 8 915 94 (oprt.) Addjava.lang.StringIndexOutOfBoundsException: Index 15 out 26 640 2208 148 3 3083 (prt.)StabChainMutable 26 0 64 0 2023 GAP countself chld/ kb chld package function 26 0 64 0 2023 GAP Centralizer: try to e* 152 4 64 0 2024 (oprt.) Centralizer 1605 0 oprt 26 10139 0 pre<div 0 96 69 19221922 GAP TryPcgsPermGroup 5130 96 java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for leng 7980 24 116 330 6434 GAP ChangeStabChain 12076 136 6478GAP 192148 GAPStabChainMutablecal 2208 4 148 3 3083 (oprt.) StabChainMutable 217 0 160 0 3177 (oprt StabChainOp 217 3117 GAP StabChainOp group an* 21636 464 33412546GAP PartitionBacktrack 1479 12 668 566 18474 GAP RepOpElmTuplesPermGro 4 GAPRRefine10001832 194 56 GAP AddGenerator 1453 684 56 18460 in: rep 126 0 728 13 19233 GAP ConjugacyClassesTry 0736GAP* 2 0 736 2 19678 (oprt.) ConjugacyClasses 1 0736 0 19675 GAPConjugacyClasses: perper 8 91594 94 (. java.lang.StringIndexOutOfBoundsE 13400 1164 0 0 0 (oprt. GAP 12052 OTHER 94 (.) Add TOTAL428 20 488454 oprt)Sortex ></> <p>We can restrict the list to global functions with <code0 (.) StabilizerOfExternalS 560640 opr <ss185553 915 94 (. <span class4 GAPTryPcgsPermGroup count self/ms chld26 2023 :2170160 17647 0 0 192 0148 StabChainMutable cal 10830 8 4 182 276 GAPConcatenation 2700 20 12 313 5555 GAP AddRefinement 2444 00736 GAPConjugacyClassesjava.lang.StringIndexOutOfBoundsException: Index 76 2174 32 4 1030 116 GAP List 585 4 32 45 742 GAP RRefine 1532 32 8 194 56 GAP AddGeneratorsExtendSc* 1221 8 32 8 32 349 420 ></iv 0 2 (.)ConjugacyClasses java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 2798 0 5269 1922 GAP TryPcgsPermGroup 560 4 432 16 40 259 461 GAP SubmagmaWithInversesNC 382 0 1922 GAPTryPcgsPermGroup 5130 4 96 309 3165 GAP 0 03177() 7980 24 116 330 6434 GAP ChangeStabChain TOTAL 120761363516478GAP ProcessFixpoint 216 36 464 334 12546 GAP PartitionBacktrack 2208 4148 3 3083 ( 1479 12 668 566 18474 GAP RepOpElmTuplesPermGro* 126 0 728 13 19233 GAP ConjugacyClassesTry 1 0 736 0 19671 GAP ConjugacyClassesByRan* 1804 14536 OTHER 2048 TOTAL < <>We can restrictthe tooperations with32819456 GAP 728 19233 java.lang.StringIndexOutOfBou <div>here0 019675 ConjugacyClasses: per 944 StabChainForcePoint < > count self/ms chld/ms stor 484 12052 OTHER 10230 0 0 226 0 (oprt.) ShallowCopy 10001 8 0 28 688 (oprt.) UniteSet 4368 0 32 7 714 (oprt.) Size 185309 28 12 0pA 4 28 20 488 454 (oprt.) Sortex 915 Wecan thelist global <0 019671GAPConjugacyClassesByRan 26 0 64 0 2023 (oprt.) CentralizerOp 152 4 64 0 2024 (oprt.) Centralizer 605 pre<java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for leng 22084148 3 3083 (.)StabChainMutable 217 0 160 0 3177 (oprt.) StabChainOp 0 2code , insteadclassGAPpromptgt/> spanclass>)span 13400 0 GAPBasePoint OTHER 2048 23319 <pre <p>4368 032 714 oprt Size ample>pre> <span class="GAPprompt">gap></span/li> count self585432 742GAPRRefine 10230 0 0 226 0 (oprt.) ShallowCopy 10139 0 0 0 0 PositionSortedOp: 6802032(oprtStabilizerOfExternalS 688 UniteSet int* 10001 8 0 28 688 (oprt.) UniteSet 14751 12 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for leng 11640 00 .java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for le 185309 28 12 0 0 (oprt.) Length 2820 454(.)ortex 185553488 915 94prtjava.lang.StringIndexOutOfBoundsException: Index 57 out of boun 2606402023(.)java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds f <strong"><strong>/dtjava.lang.StringIndexOutOfBoundsException: Index 47 out of bound 26 0 64 0 2023 GAP Centralizer: try to> 152 46402024oprt 1605 0 68 0 2032 (oprt.) StabilizerOfExternalS* 26 0 68 dd StabChainMutable 2208 4 148 3 3083 (oprt.) StabChainMutable 003177(. java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for le 217 12 148 60 3117 GAP StabChainOp: java.lang.StringIndexOutOfBoundsException: Index 33 48 8 will of code var="<nonzero insteadsampleswhich codebeingexecutedevery<ar=Argresoluti 2 0 736 2 19678 (oprt 1 0 736 0 19675 GAP ConjugacyClasses: <dd 13400 1164 0 0 0 (oprt.) Position 728 20834 OTHER 2048 23319 TOTAL </pre< <p>Finally, we can restrict >codeclass=funcCoverageLineByLine152464 (oprt Central <divclass="example"><pre 0 =><>/ <span class=">>gt;/> span classGAPinput>ProfileOperations);;</pan count h5.-16UnprofileLineByLine self chld storkbchld/ 4148 3083 (prt StabChainMu 10230 0 226 0 (oprt.) ShallowCopyclassfunc<able1212 60 : java.lang.StringIndexOutOfBounds 217 0 160 0 3177 (oprt.) StabChainOp 2044 23319 019675GAPConjugacyClasses:* 2048 23319 TOTAL </pre></div> <p><a id="X812F9CE0817110EAjava.lang.StringIndexOutOfBoundsException: Index 0 out of < 0 64 0 2023 (oprt.) CentralizerOp <p>Line By Line profiling tracks which lines have been <>< idX7E9C65B17B8EF993"java.lang.StringIndexOutOfBoundsException: Index 2 out of bo <h5>7.8-13 <span class="eading">152 class=""IsLineByLineProfileActivecode>returnsline-li <>here two kinds profiles canbuild</> <ul <li><p>overage : This records which lines ><> </li> <li><Timing </li> </ e information willtake togenerateand parse. timingprofile isusing functionscode <div <span>7 <span class="GAPprompt">gap></span> <span class <panAPprompt&;/span>span= </pre></div> <p>For code coverage <ul> <li><p>By default the profiler records the wall-java.lang.StringIndexOutOfBoundsException: /> <li><p>If you </li> <lipIf wishA timing more 6880:twojava.lang.StringIndexOutOfBoundsException: Index 76 </li> <li><pjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 < ">gap&;</java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for lengt </ul> <humanwith, example ( <p><a id="X86557887796F66FA" name="X86557887796F66FAdivclass"func <h5java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 <div class="func"><table class="func" width="100%"><tr><tdli1605 0 0 2032oprt StabilizerOfExte <p><code <> <dt><strong class="Mark">coverage</strong></<> <dd<p> (efaultsto) </dd <t> class 684 56 GAPin:perm finished a </> Boolean(defaultsjava.lang.StringIndexOutOfBoundsException: Index 25 out of bound </dd> <dtstrong pre134001164 0 (. <dd><p>Boolean (defaults to false). Instead of recording the CPU time taken by statements, record / classp defaults falseIf is, informationabout lines andis this as <classoverageLineByLine/> <dt><strong class =""pre <dd<p>ntegerdefaults </dd </dldt><strong="Mark"wallTime<strong>dt filetime(msec <d=java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 <h5217 0 160 0 (oprt.) StabChainOp <div class="func"><table class="<><divjava.lang.StringIndexOutOfBoundsException: Index 1 <>code class"func">CoverageLineByLine</code> begins recording coverageed23319TOTAL <p><a id="X7C5DED9C7CC77504" name="X7C5DED9C7CC77504"></a></p> <h5/dl=""pre <10"<a>p> <p>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 <p><a id="X7B705B2D8670A9C5" name="X7B705B2D8670A9C5"></a></p> <>7.-17 UncoverageLineByLinep>Line ByLineprofiling tracks which lineshave been <div class <s previouslystarted>< class"><table"funcwidth00%<r>dtdlefttdleftcodeunc8227<codevar=<varva <p><a id="X7823C83D79B36D3B" name="X7823C83D79B36D3B"></a></p> <h5>7.8-18IsLineByLineProfileActive/> <ivclass"func><tableclass"func width"100%><tr><tdclass=""><code class="func">&# <pp>There kindsof GAPjava.lang.StringIndexOutOfBoundsException: Index 43 out of boun <p><a id="X83D8A42B7BB92F5B" name="X83D8A42B7BB92F5B"></a></p> <h58-9DisplayCacheStats <div <> statistics the <p><a id="X79C58704838232CC" name="X79C58704838232CC"></p>Stops profilingwhichwas started w <h5>7.8-20 ClearCacheStats</h5> <divjava.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 0 <p> alljava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length <p><a id="X7EE874867C0BEEDD <>9 =Heading <Thevariable"GAPInfo</de>see < class">/>(a=hap3_mj#X8354754E7935F935class="efLink.5span>/> <> produce citations for the used version of <strong class="pkg">GAP</strong> or for a package avail <p>If you wish to report a problem to <strong class="pkgjava.lang.StringIndexOutOfBoundsExce <p><a id="X801051CC86594630" name="X801051CC86594630"></a></p> <h4>7.10 <span class="Heading">Test Files</span></h4> <p>Test files are used to check that <strong idX7EE874867C0BEEDD<<By theprofiler the >n <class#f</co <p><a id="X8213757B7ACC76E6"<h4>7.9 <spanclasss example < classpkgGAP</> test <h5>7.10- <div class="func"><table class<i><p>java.lang.StringIndexOutOfBoundsException: Index 0 ou <div</li> <p><code class="func">START_TEST</code> and <code class="func">STOP_TEST</code> may be optionally <p>To use these options, a test file should be started with a line</p> <div class="example">>< id"X8213757B7ACC76E6"name">pBy defaultthe<class"java.lang.StringI <span </pre>7<Ifanydifferencesare <code<="func<ode>eturnscodeclass"<ode otherwise =keywruep> <p>(Note that the <code class <p>and should be finished with a line</p> <div class="example"><pre> <span class class"func><table classfunc"==%>rtd=tdleftcodeclass""#ProfileLineByLine/(va </pre</java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for lengt <>If>>set to<class""false/ hennolines<arclass"namevar ignoredas explained( iscode"keywrue><p> <div class="example">< <spanspanclass <pre <> testdd - testing: ................/gap4r5/tstp> should finishedwith a line/> zlattice.tst0 testing: ................/gap4r5/tst/gaussian.tst gaussian.tst 10 [ further lines deleteddiv ="example>pre> </pre></div> <>If want<><> <div class="example"><pre> <spanclass="GAPprompt>gapgt;</pan> <panclass"GAPinputjava.lang.StringIndexOutOfBoundsE </pre></div> <p><a id="X87712F9D8732193C <h5>7.10-2 Test</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: <code class="keyw">true</code> or <code class="keyw">false <p>Thefile (msec <p>More---- <p> which "#" definespecial <dl> <dt><strong class="Mark">#@local identifierlist</strong></dt> <dd><dd <p>As , the < class"</div <div class="example"><pre> #@local c3c3 cart G h< #@local L, n, pairs0, pairs4, pairsL, s3, s4 </pre</div> dd <dt><strong class="Mark">#@exec <dd><p>Execute/> </dd> <dt><strong class="Mark"<a id=""name"X7823C83D79B36D3BC83D79B36D3B">ddp> thisis class=">/> th <dd><p>A <code class="code">#@if</code> allows to conditionally skip parts ofh5> <>If the>: codeclass="ywdt><trong=""< class"codeeturnNumFailures/>>> <p>Note that each <code class="<pjava.lang.StringIndexOutOfBoundsException: Index 0 out <p>In addition<h57.8-9 DisplayCacheStats</h5> <p>As an example, the <strong class="pkg">GAP<div class"apgt</><=" <div class="example"><pre> #if. = gap true #@else < classGAPprompt">ap></<span>spanclass="GAPinput 953600 #@fi </prediv> </dd> </dl> <p>Byactualclass"">></> output exactlywith # c3c3cart,h,, iterter0 iterL <>If any differencesare found then <p>If the optional argument <var class="Arg">optrec>< class=Mark#exec<>9 class"Information about <dl> <dt><strong class="Mark"><code class="code">ignoreComments</code></strong></dt> <dd><p>If set><strong="Markjava.lang.StringIndexOutOfBoundsException: Index 0 out of bo </dd> <dt><strong class="Mark"><code class="code"><>If the <strong class=""pkg>### <dd><p>The << class"gap< <span class"GAPinput">RewindStream);> <dt><strong class="Mark"><code class="code">compareFunction</code></strong <dd><p>This must<h4>7.10 <span classclass="Heading">Testp>In additioncode classAPpromptgap>/ <ddjava.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5 <dt><strong class="Mark"><code class="code">transformFunction</code></strong></dt> <a =example> java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 5 strong"code="">reportDiff>strong>dt <dd><p>A function that gets| # </dd> <dt><strong<p><codeclass"func<re<divjava.lang.StringIndexOutOfBoundsException: Index 12 <dd><p>If this is bound to a string it is considered </dd class>table ="" width100>tr< ="spanclass="GAPpromptgap;/> span="">< =APprompt>gt<classGAPi <dt><strong class="Mark"><code class="code">writeTimings>eturns < class"true/code> orcode =keyw> <dd>p>If thisis </ <>strongMark<strong=pkg <dd><p>If this is bound to a string it is considered as java.lang.StringIndexOutOfBoundsExcepti <dd>yourunquick your class""GAPstronginstallation (thisnot,can inatest that strong="">P<tr <dt><strong class="Mark"><code class="code">reportTimeDiff</code></strong <d> java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 </dd>span="GAPprompt"gapgt;</panspan="GAPinput>Read( Filename(DirectoriesLibrary( "st" <dt><strong class="Mark"><code class="code">ignoreSTOP_TEST</code></strong <dd>div class=example<re> <> <dt <dd><p>If this is <code class="keyw">true</code> thenzlatttrong""< =""suppressStatusMessage>tron < <dt><strong class="Mark"><code class="code">subsWindowsLineBreaks</code></strong></dt> <dd><p>If this is/e>div> </<>Ifyou wantto a more check <t>strongMark">codeclass"">returnNumFailures <>> this < =keyw<odethenclass""<strongreturns of oftest had ,instead class"truejava.lang.Strin < </l> < =""pre <span classaid"X85FF55448787CCA0 =X85FF55448787CCA0"<a<p> <span class class"Debugging Recursion/></h4ction""< class""#227 Test/ode<classArg"fnamevar span"GAPpromptjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds f < \"end;java.lang.StringIndexOutOfBoundsException: Index 87 out of bounds for leng < classGAPpromptgap&spanspan =p>More, | # this is a demo file for the 'java.lang.StringIndexOutOfBoundsException: Index 0 out o java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 3 |&; g= Group(12) ((12,) | Group([ (1,2), (1,2,3) ]) | ## anotherfollowingspanclass>6000;< | # the following fails: |( depth 1 ); | 41 <span class=spanclass < classouquit to loopor ####t teststream 8 # Input is: a := 13 # 41 42 ######## false < classGAPprompt&##; Diff>>< ="@</code>allowsto conditionally partsof testinput onthevalueof expre true panAPprompt; ="> =DirectoryTemporary(;;</java.lang.StringIndexOutOfBoundsException: span"&;span><classAPinputftmp:(,,.;span> <">/>< class<u may';'tocontinue false <span class="GAPprompt">recursion true <# | &; :=(12,12depth-1);;called | # | ';' to |roup 1,(12, ) | | # another comment following an empty line | # the following fails: | gap> a := 13+29; |42 </pre></div> <p><a id="X87AF67528799481F" h5 <h5- </h5> <div class="func><table class"funcwidth"100%"><r>td="dleft"><code= <p>eturnss=GAPprompt">gap><pan panclass""=GAPinput">GetRecursionDepth)span gument>/vareither directory,orlist andThe ="TestDirectory/codewill alistoffiles tested <If < class"><ar> given mustbe ..Notethat odeclassode">rewriteToFile>option usefulgenerating fi <> <dt classkcode"compareFunction<>strong<dt <>pAspanGAPprompt&/span =";/> </dd<panclass="GAPprompt">ap/> <t>< =Markcode span="()/pan <ddp code="keyw"/> stopsoonas<< class"cTestcode href".87712"span =efLink>10-<span><a fails( cod <> <dtdd <dd><p>Print information about how tests are classexamplepre </dd> >dt <><p status =<t< ="codeclass="code"rewriteToFile<strong<dt <span> <dt><strong class="Mark"><code class="code">rewriteToFile</( depth )java.lang.StringIndexOu <dd><p>If <code </dd> <dt>strong"Mark"><code classEnteringbreak-print . ddspanclass"brk classodereportTimeDiffcode<strongdt /> <dt><strong class="0 <d>p> returningclasskeyw"true<code> or <declass"">false/>,>,<dd<>This component beused overwrite th </dd> </dl> < also<ode="func><code (href""hap76_mjhtmlX866ADD4E814A54F0"><span=RefLink-/span/> theonru <p><a id="X85FF55448787CCA0" name="X85FF55448787CCA0"></a></p> <span class"eading"Debugging can quit; to quittoouter,java.lang.StringIndexOutOfBounds <>The< class"kg"GAPstrong> interpreter the of nestingofstrong=kg><strong duringexecution.By w <div class="example"><pre> ss=depthdepth;then(1 ;return;/java.lang.StringIndexOutOfBoundsException: Index 14 function( depth ) ... <span class="GAPprompt <span="X7D8968FC7E24A4E5 ="java.lang.StringIndexOutOfBoundsException: Index 0 out function.. end <span ="func>tableclass"funcwidth100">tr><tdclass="tdleftcodeclass=">;SetRecursionTrapI recursiondepth (5000) ata id="X7F1F741D7F0899D1 name=X7F1F741D7F0899D1>/a>/> dive( depth - 1 ); called dive( depth - 1 ); called from .. Entering you ';' =APinput :(epthjava.lang.StringIndexOutOfBoundsException: Index 92 out of b < class=APprompt&;</span =""> (-java.lang.StringIndexOutOfBoundsException: Index 0 out o <span class"GAPbrkprompt"brkgt;</span <spanclass=GAPinput>return</spanjava.lang.StringI <span class="GAPprompt">gap></span> <span class="GAPinput">dive(11000spanclass=""><>span=G recursion depth(5000) at class"">&;<> <spanclassGAPinput dive -1 ; called divep: nothingp .Group (1,),(1,,3) ]) Entering you can 'quit;' to you return continue <span class="GAPbrkprompt">brk></span> <span class="GAPinput">return|> a: 13+9; recursion < class="example"<pre dive depth -1 )java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds fo called from dive( depth - 1 ); calledfromrecursion depth (2000)) ... Entering break read-eval-print loop ... you can 'quit;' to quit you < java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 gapt; </>div> <p> cancontrolled class"">gapgt;span><spanclassGAPinputss<span> <d=X7D8968FC7E24A4E5 name"X7D8968FC7E24A4E5"/a> <h5p> classfunc><code>returnsarecord some from garbagecollectionmechanism Therecord uptofou div="func"tableclass"width100%<tr> classtdleft>odeclass"">#; SetRecursionTrapInterval</ ass =100>> =tdleftcodeclassfunc"8227GetRecursionDepthcode </>tdclassdright"&bspunction;<td<tr<table>/iv <p><code class=20000 <div=""><prejava.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for l << ==java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0 0 <spanjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length <span="GAPprompt"& <>a =X7F1F741D7F0899D1=X7F1F741D7F0899D1"/a>/pp> <lass"APprompt">> spanclass"GAPinput"> dive(epth-)vclass"> ="funcwidth=100>>d class>< =func& <span class="GAPprompt">&<< 42 <panclassng class=="pkgGAP/strong < =code"GASMANcode>then messages garbagecollectionsp>de <</span< "GAPinput <span class="GAPprompt">></span <<>7>7.-2 CollectGarbage</h5 <span="GAPprompt>gt;/pan><span=GAPinputSetRecursionTrapInterval)/span <span<h5>7.10--3java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds fo Depth <=GAPprompt>gapgtspanspan="">(<>The code="unc>CollectGarbage</>was in strong =pkg">/>412.Inold recursion depth trap (1000) p> argumentvar=Argnlist> asingle name listspan=GAPprompt&><spanspanclass"GAPinput"Colle dive( depth - 1 ); called from dive( depth - 1 ); called from ...<dl> Entering break read-eval-print loop ... you can 'quit;' to quit to outer loop /> you ';' continue <span classhtml> recursiondepth 2000) at dive( depth - 1 ); called from divedepth 1 ) calledfrom ... Entering break read-eval-p>a="X85327FA5872E0356" ="X85327FA5872E0356">/a</p youcan quit'toquit to outer loop, or you may 'return;' to <span class="GAPbrkprompt>brkgt;;</span> <pan= 0 < classGAPbrkpromptbrk&<dt<strong class"Mark"<codeclasscodesuppressStatusMessage</cod <span class="GAPprompt">gap></span> <span class="GAPinput">SetRecursionTrapInterval(-1);</s ErrorSetRecursionTrapInterval: lt;intervalgt; beasmall ot the integer -1) notinany Entering breakread--print .. you can 'quit;' to quit<<a ="X80C683247E94769F" nameX80C683247E94769F">a<p youcan <interval> 'return&;interval&t; to continue < java.lang.StringIndexOutOfBoundsException: Index 101 out of bounds for length 81 DepthpThisfunctionis if< classGASMAN the collector < classGAP/strongSection hrefchap7_mjF <span class="GAPprompt">gap></span> <span class="GAPinput">dive(2000000);</span> Segmentationfault </pre <<t>strong="Mark"><ode classcode"exitGAP</ode></trong<java.lang.StringIndexOutOfBoundsExce <h4>7.12 <span class="Heading">Global Memory Information</span></h4> <>< id"X7F1F741D7F0899D1 =X7F1F741D7F0899D1 <h5>7.12-1 <span class="Heading">Garbage<p>See also <code class="func">estPackage</code>(<ahref= <p>The <strong class="pkg">GAP <p>If <strong class="pkg">GAP</strong> uses <code class="code">GASMAN</code> then messages reporti <p><a id="X7848AB367F3A1221" name="X7848AB367F3A1221"></a></p> <h5 <div class="func"><table class<div class="example"><pre> <p>Returns: nothing.</p> <p>This function( depth ) ... end <p><strong class="pkg<span class="GAPprompt">gap></span> <span classclass=GAPinput">OnBreak= fu <p>Thefunction <code class="unc"CollectGarbage/ode> was introduced in<trongclasspkg>GAP</str <div class="example"><pre> <spanclass"GAPprompt">apgt</panspan"GAPinput"CollectGarbage falsefalse )<span <span class="GAPprompt">gap></span> <span class="GAPinput">CollectGarbage( true );</span>at </re</iv <p><a id="X836977DE80416F3Ddive( depth - 1 ) called from <>712-3 GasmanStatistics</h5 <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>This function meaningful onlyif< class"code">GASMAN</> isisthegarbagecollectorused < class" <p><code recursiondepth trap (5000) <p>The <code class="code">full</code> component will be present if a full garbage collection has ta <p>These figures should be viewed withjava.lang.StringIndexOutOfBoundsException: Index <p>The <code class="code">partial</code> component bepresent there been partialpartial garbage <p>The <code class="code">npartial</code> and <code class="code">nfull</code> components will cont <p><a id="X85327FA5872E0356" name="X85327FA5872E0356"></a></p> <h5>7.12-4 GasmanMessageStatus</h5> <div=""<table=" width="100%><><tdclass"tdleft>codeclassfunc>&8227;GasmanMessageStatus</code( )</d>><t <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class=youcanqu <This ismeaningful codeclass"code">ASMAN/odeis garbagecollector <strongclasspkg">AP/stro <p><code class="func">GasmanMessageStatus <p>Calling <code class=java.lang.StringIndexOutOfBoundsException: Index 0 out of boun <p><a id="X80C683247E94769F" name="X80C683247E94769F"></a></p> >712-5 GasmanLimits</h5 <div <p>This function isdiv class"example><> <p><code class="span=GAPprompt>>/span>< class="APinput = functiondepth</pan> <div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.ht < class"">< class"chlink1>Goto : /span><a ="chap0_mjhtml><a ahref"chap14_mj.html"14<a <a hrefchap1 <hr /> <p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GA </body> </html>
¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.49Bemerkung: ¤*Bot Zugriff |
|
||||||||||||||||
2026-06-09