Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/gapdoc/doc/   (GAP Algebra Version 4.15.1©)  Datei vom 21.1.2024 mit Größe 64 kB image not shown  

Quelle  chap7_mj.html   Sprache: HTML

 

 products/Sources/formale Sprachen/GAP/pkg/gapdoc/doc/chap7_mj.html


<<?ml version=10"encoding"">

<!DOCTYPE "http/www.o//html1/TDxhtml1-.td">
         html xmlns="ttp//ww.w3.rg/999/xhtml" xml:lang"en"java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57

<html xmlns/script>
<head>
<metahttp-equiv="ontent-type" content="text/html; charset=UTF-8" />
  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (GAPDoc) - Chapter<meta name="generator"content="GAPDoc2HTML" />
<meta http-equiv="content-type" link rel="stylesheet" type="text/css" href="manual.css" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css<cript type="text/javascript">overwriteStyle();</script>
<script src="manual.js" type="text/javascript"></script>
<script type="text/java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 0
</head>
<body class="chap7"  onload="jscontent()">


<div ="hlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top<

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a>&<p<a id="7EB94CE97ABF7192" name"X7EB94CE97ABF7192"></a></p>

<p id="mathjaxlink" class="pcenter"><a href=div class="ContSect"<span=tocline"<span class="ocss" /span><a href="chap7_mj.html#X7A4126EC7BD68F64">7.1 <span class="Heading">Parsing BibTeX Files</span></a>
<p>a ="7EB94CE97ABF7192" name="7EB94CE97ABF7192"></a></p>
<div class="ChapSects"><a href="chap7_mj.html#X7EB94CE97ABF7192">7 <span classspan "ontSS">br><class"ocss"&&<span>< ="hap7_mj.html#X7C9F0C337A0A0FF0">7.1-2 NormalizedNameAndKey</a></span>
<div class="ContSect">span class="tocline"><span class="nocss"> </span><a href="chap7_mj.html#X7A4126EC7BD68F64">7.1 <span class="Heading">Parsing BibTeX Files</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#X82555C307FDC1817">7.1-1 ParseBibFilesspan class="ContSS"><br /><span class="nocss">  </span><a/div></div>
<spanclass="ContSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#X7C9F0C337A0A0FF0">7.1-2 NormalizedNameAndKey</a></span>
<span class="ContSS"><br /><span class="nocss">  </span/span>
<span java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 6
<pan><a href="chap7_mj.html#X85C1D50F7E37A99A">7.1-5 InfoBibTools</a></span>
</div></div>
<div class="ContSect"><span class="java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 7
</span>
</div>
<div class="ContSect"><span class="tocline"><span class<span>
</span>
< class"ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#X85F33C64787A00B7">7.3-3 StringBibAsXMLext</a></span>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#X7A025E0A7A1CD390">7.3-2 HeuristicTranslationsLaTeX2XML.Apply</a></span>
<span class="ontSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#X85F33C64787A00B7">7.3-3 StringBibAsXMLext</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#X86BD29AE7A453721">7.3-4 ParseBibXMLextString</a></span>
<="chap7_mj.html#X7811108C7E5B1709">7.3- WriteBibXMLextFile</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#X82167F1280F4310E">7.3-6 <span class="Heading">Bibliography Entries java.lang.StringIndexOutOfBoundsException: Index 159 out of bounds for length 154
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#X786C33ED79F425F1">7.3-7 RecBibXMLEntry</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#X8067261385905A36">7.3-8 AddHandlerBuildRecBibXMLEntry</a></span>
"> >span =n">&bsp</pan><ahref=chap7_mj.htmlX790A295680F7CD24">.3-9 StringBibXMLEntry</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#X7C6FF57087016019">7.3-10 TemplateBibXML</a></span>
</div>div>
<div class="ContSect<strong class="pkg">MathSciNet</strong></span></a>
         <strong class="</span>
</span>
<div class="div class="ContSSBlock">
<span class="ContSS"><br /><span class<span class="ontSS"><br /><span class="nocss">  </span><a href="chap7_mj.html#java.lang.StringIndexOutOfBoundsException: Index 103 out of bounds for length 12
<div<div>
</div>

<h3>7 <span class="Heading">Utilities for java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 0

<p>A standard for collecting references (in particular to mathematical texts) is BibTeX (<span class="URL"><java.lang.StringIndexOutOfBoundsException: Range [0, 109) out of bounds for length 0

<p>In the first section we describe utilities for using data from BibTeX files in <strong class="pkg">GAP</strong>.</p>

<p>In the second section we introduce a new XML based data format BibXMLext for bibliographies whichjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>Another section will describe utilities to deal with

<p><a id="X7A4126EC7BD68F64" name="X7A4126EC7BD68F64"></a></p>

<h4>7.1 <span class="Heading">Parsing BibTeX Files</span></h4>

<p>Here are functions java.lang.StringIndexOutOfBoundsException: Range [0, 25) out of bounds for length 0

<p><a div class"func"<table class="func"width="100%"><tr><td class="tdleft"><code class="func">&#pan style='color: green'>8227; ParseBibFiles</code>( <var div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ParseBibStrings</code>( <var class,<var class="rg>str2</ar>[ <var class="Arg">...</var>]] )</td><td class="tdright">( function )</td></tr></table></div>

<h5>7.1-1 ParseBibFiles</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft">
<div class"unc><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ParseBibStrings</code>( <var class="Arg">str1</var>[, <var class="java.lang.StringIndexOutOfBoundsException: Index 169 out of bounds for length 0
stof ]<code><p

<p>The first function parses the files java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>The second function java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 0

<p>The @article{ AB2000Author  FritzA. First and Sec,X Y.,

<p>As an example consider the following BibTeX file.</p>


<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
@string{ j  = APprompt"gap></span> <span class="APinput">ddirs := DirectoriesPackageLibrary("gapdoc","doc");;</span>
@article{ AB2000, Author=  "Fritz A. First and Sec, X. Y.", 
TITLE="Short", journal = j, year = 2000 }
java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 12


<div class="example"><pre>
<java.lang.StringIndexOutOfBoundsException: Range [22, 5) out of bounds for length 122
<pan class="APprompt">gap></span> <span class="GAPinput">f := Filename(gddirs, "test.bib");;</span>
<span class="GAPprompt">gap&            , journal := "Impojournal : "mportant Journal", title := "Short", 
[[rec( From : rec(BibTeX := true ), Label := "AB2000", 
          Type := "java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 12
            , journal : "mportant Journal", title := "Short", 
          year := "2000" ) ], [ "j
</pre></div>

<p><a id="X7C9F0C337A0A0FF0" name="java.lang.StringIndexOutOfBoundsException: Range [0, 52) out of bounds for length 0

<h5>7.1-2 NormalizedNameAndKey</h5>

<div class="func"><table class="func" width="100%"><tr><td
<p>Returns: list of strings and names aslists</p>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class<>eturns: nothing</p>
<>eturns:nothing</p>

<p>The argument <var class="Arg">namestr</var>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>The function <   long   generated and stored   < =c"p</java.lang.StringIndexOutOfBoundsException: Range [122, 121) out of bounds for length 227

<p>Furthermore a short and a long citation key is generated and stored in components <code class="code">.printedkey</code> (only

<p>We continue the example from <code class="func">java.lang.StringIndexOutOfBoundsException: Index 64 out of bounds for length 0


<div class="example"><pre>
<span classspan class=""gapg;span < =GAPinput> :=(ddirs ".ib");/>
<></> span =GAPinput">f : Filename(gddirs, "test.bib");;</span>
<span class="GAPprompt">gap></span> <span span class="GAPprompt">gap></span> <span class>NormalizedNameAndKeybib1[1]author);<span>
<pan class="GAPprompt"gap&;<span <span class="APinput">NormalizedNameAndKey(bib[1][1].author);</span>
[ "First, F. A [  "irst" ".A" "ritz A." ], [ "Sec", "X. Y.", "X. Y." ] ] ]
  [["First" ". A.","Fritz A. ] ["Sec" "X Y." ".Y. ] ]]
<span class="GAPprompt">gap></span> <span class="GAPinput">NormalizeNameAndKey(bib[1][1]);</span>
<span class="GAPprompt">gap>/span> <span class="GAPinput">bib[1][1];</span>
rec From: rec(BibTeX : true) Label : "B2000", 
  Type := "article", author := "First, F.   Type := "article", author := "First, F. A Sec, X. Y.",java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
   "Fritz A. First and Sec, X. Y.", 
  journal := "Important Journal", keylong printedkey := "FS00", title := "Short", year := "2000" )
  ><a id="X7C2B2F65851EAA0B="X7C2B2F65851EAA0B"></a></p>
</pre></div>

<p><a id="X7C2B2F65851EAA0B" name="X7C2B2F65851EAA0B"></a></p>

<h5>7.1-3 WriteBibFile</h5>

<divp>Returns:nothing<p
<p<>This is the converse of <code class="func"ParseBibFiles</code> (<a href="chap7_mj.html#X82555C307FDC1817"><span class="RefLink">7.1-1</span></a>). Here

<p>This is the converse of <code class="func">ParseBibFiles</code> (<a href="chap7_mj.html#X82555C307FDC1817"><span java.lang.StringIndexOutOfBoundsException: Index 121 out of bounds for length 0

<p>We continue the example </re><div>


<div class="<div class="examplepre>>
<span class="GAPprompt">gap></span> <span class="GAPinput"
</java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>produces a file <codeort}java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29


<div class="xample"><pre>
@string{j = "Important Journal" }

 printedkey =       {FS00}
  author =           {First, F. A. and Sec, X. Y.},
  title =            {Short},
  journal=j,
  year =             {2000/h5>
   =       {Fritz A First and Sec,X.Y.},
  keylong =          {firstsec2000},
  printedkey =      FS00}
}
</pre>/iv>

<p><a id="783D118794399DF" name="X783FD118794399DF"></a></p>

<java.lang.StringIndexOutOfBoundsException: Range [26, 3) out of bounds for length 31

<div class=func"><table class="unc width=100"><tr><td class="tdleft"code class="func">‣ LabelsFromBibTeX</code>( <var class="Arg">path</var>, <var class="Arg">keys</var>, <var class="Arg">bibfiles</var>, <var class="Arg">style</var> )</td><td class="tdright">( function )</span ="APprompt"gap&&lt;/span> <span class="GAPinput">f := Filename(DirectoriesPackageLibrary("gapdoc","doc"), "testspan class"GAPprompt"gap>/span> <span class="APinput">LabelsFromBibTeX(".", ["AB2000"], [f], "alpha");</span>
<p>Returns: a list of pairs of strings <code class="code">[key, label]</code></p>

<p>This function usespThedefaultlevel  this infoclass is Functions code ""<code(hrefc.html#82555C307FDC1817"<span class="RefLink"7.-1</pan></a>), <code class="code">StringBibAs...</code> are then printing some information. You can suppress it by setting the level of <code class="func">InfoBibTools</code> to 0. With level 2 there may be some more information for debugging purposes.</p>

<p>The argument <var class="Arg">path</var> is a directory specified java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

<p>The list returned by this function contains pairs <code class="code">[key, label]</code> where <code class="code">


<div class="example"><pre>
spanclass="APprompt"gapg;<span>< class=""f := ((""""),".ib";/span>
<span class="GAPprompt">gap></span> <span class="GAPinput">LabelsFromBibTeX(".", ["AB2000
[[ "B2000", "FS00" ] ]
</pre></div>

<<a id"X85C1D50F7E37A99A" name="X85C1D50F7E37A99A"></a></p>

<h5>7.1-5 InfoBibTools</h5>

<div class="func"><table dtstrong class=Mark"><code class="code"><M></code> and <code class="code"><Math></code></strong></dt>
<>Thedefaultlevelof this info class is1.Functions like <code class="func">ParseBibFiles</code> (<a href="chap7_mj.html#X82555C307FDC1817"><span class="RefLink">7.1-1</span></a>), <code class="code">StringBibAs...</code> are then printing some information. 

<p><a id="X7FB8F6BD80D859D1" name="X7FB8F6BD80D859D1"></a></p>

<>7. span class="Heading">The BibXMLext Format</span></h4>

<p>Bibliographical

<p>Herewe propose an XML data format for bibliographical data which addresses these problems, it is called BibXMLext. In the next section we describe dd<p>Sometimes information should be given in different ways, depending on the output format of the data. This

<p>ddp>used protecttext case   ( extra<code class=""><code>charactersinBibTeXtitlefields./>

<p>We started from a DTD <code class=<code class=code"&t; key="..."/></code></strong></dt>


<dl>
<dt>strong class="ark"names<strong></dt>
<dd><p>Lists of<dt><strong class="ark"<code classcode>ltother"..&t<code<strong>/>

</dd>
<dt><strong class="Mark"><code class="code"><M&java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 0
<d<p>These elements enclose mathematical formulae, the content is LaTeX code (without the <code class="code">$</code>). These should be handled in the same way as the elements with the same names in<d><p>his generic element is  inside all fields. This markup will be just ignored (but not the element content) by our java.lang.StringIndexOutOfBoundsException: Index 132 out of bounds for length 0

</dd>
<dt><strong class="Mark">Encoding
<dd>p> that in XML files we canuse the fullrangeof unicode characters,see <span class="RL"><a href="ttps://www.unicode.org/">https://www.unicode.org/</a></span>. All non-ASCII characters should be specified asp> further details of the DTD we refer to the file <code class="file">bibxmlext.java.lang.StringIndexOutOfBoundsException: Range [0, 87) out of bounds for length 0

</dd>
<dt>/>/strongdt
<dd><pl; =";;rticle>

</dd>
<dt><strong<uthor>
<dd><p>Sometimes information should be given in  &tname>ltfirst&t;Fritz A.&t;first><last>First</last></name>

</dd>
<dt><strong class="Mark"><code class="code"><C<name>&t;first>X. Y.lt;/irst><>Sec&#0151;nd<last></name>
<dd&t;itle&Tjava.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 101

</dd>
<   formula &t;&t;x^ -l_{i+}} rightarrow\mathbb{R}lt/M>lt;title&t
<ode class="code"<alue key="..."/></code></strong></dt>
<dd><p> <code class="code"><string></code>-element defines key-value pairs which can be used in any field via the

</dd>
<dt><strong class="Mark"><code class  &tnote>nline data at <URL Text="Bla Bla Publisher">
<d<p>This is a generic elementfor fields which are otherwise not supported. An arbitrary number of them is allowed for each entry, so any kind of additional data can be added to entries.</p>

</dd>
<dt><strong class="</article></entry>
<dd><p>This java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 13

</dd>
<dt> class"ark>Extra entities</strong></dt>
<dd><p>The DTD java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 0

</dd>
</dl
<p> further details of the DTD we refer to the file <code class="file">bibxmlext.dtd</code

<p>Here is an example of a BibXMLext document:</p>


<div class="example">
<?xml version="." encoding="UTF-8"?>
<!DOCTYPE file SYSTEM "bibxmlext.dtd"
&t;>
<string key="j
&t;ntry id"AB2000"&t;<article>
  <h5>.-2HeuristicTranslationsLaTeX2XML.Apply</h5>
    <name><first>Fritz A.</first><last>First</last></name>
    <java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 0
  &t/&; 
  <title>The <Wrap Name="Package"&<>:  </>
         div class="func"><table class="func" width="100%"><tr><td class="java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 23
   &t;ournal>&t; key="">lt/journal&t;
  <year
  &pThe record <code class="code">HeuristicTranslationsLaTeX2XML</code> mainly contains translations of LaTeX macros for special characters which were found 
  <pages>13&ndash;25</pages><pan class="APprompt">gap></span> <span class="GAPinput">s := "\\\"u\\'{e}\\`e{\\<span class="GAPprompt">gap></span> <span class="GAPinput">Print(s, "\n");           
  <note&t  at &t;RL Text=BlaBla Publisher">
                  http://www.publish.com/~ImpJ/123#data</URL></note>
  <other java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 12
&t;article></entry>
</file>

</pre<5>73- StringBibAsXMLext</h5>

<p>There is a standard XML header and <p>Returns:a  with  code, or <ode class="keyw"fail<code></p>

<p><a id="X7AC255DE7D2531B6"<>The function <code class="unc">StringBibAsXMLext<code> creates XML code of an <code class="code"><entry></code>-element in <code

<h4>7.3 <span class="Heading">Utilities for BibXMLext data</span></h4>

<p><a id=X7C5548E77ECA29D7" name="X7C5548E77ECA29D7"></a></p>

<h5>7

<pspan "APprompt>&t;/pan> <pan =" :=("gapdoc","doc");;</span>

<p>Seespan class="GAPprompt">gap></span> <span class="GAPinput">f := Filename(gddirs, "test.<span class="GAPprompt">gap></span> <span class="GAPinput">bib := ParseBibFiles(f);;</span

<p><a id="X7A025E0A7A1CD390" name="X7A025E0A7A1CD390"></a></p>

<h5>7.3-2 HeuristicTranslationsLaTeX2XML.Apply</h5>

<div class="func"><table class="func"lt;entry id="AB2000"&t<rticle>
<p>Returns: a string&t;>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#&nbsp; &t;/author&t  
<p>  &journal>lt; key="j">&t;/ournal>

<p>These   <year>2000</ear&t;

<</re></iv>


<div class="example"><pre>
<span class="GAPprompt">gap&<p>Thefollowing functions allow parsing of data which are already in BibXMLext format.</p>
<span class="APprompt">gap></span> <span class="GAPinput">Print(s, "\n");               </span>
\"u\'{e}\`e{\ss}
<span class="GAPprompt"div ="unc>table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ParseBibXMLextString</code>( <var classdiv ="unc>table"unc"width="100%"><tr><td class="tdleft"><code class="func">&#8227; ParseBibXMLextFiles</code>( <var class="<p>Returns: a record with fields <code class="code">.entries</code>, <code class="code">.strings</code> and <code class="code">.entities</code>
üè
</pre></div>

<p><a id="X85F33C64787A00B7" name="X85F33C64787A00B7"></a></p>

<h5>7.3-3 StringBibAsXMLext</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; StringBibAsXMLext</code>( <var class="Arg">bibentry</var>[, <var class="Arg">abbrvs</var>, <var class="Arg">vals
<p>Returns: a string with XML code, or <code class="keyw">fail</code></p>

<p>The argument <var class="Arg">bibentry</var> is a record representing an entry from a 

<p>The function <code

<>If your BibTeX input contains LaTeX markup for special characters, it can be convenient to translate this input with <code class="func">java.lang.StringIndexOutOfBoundsException: Index 149 out of bounds for length 122

<p>As an example we consider again the short BibTeX file <code class="filespan class="GAPprompt">gap></span> <span class="GAPinput">f := Filename(gddirs, "testbib.xml");;</span>


<div class="example"><pre>
span class="GAPprompt">gap></span> <span class="GAPinput">gddirs := DirectoriesPackageLibrary("gapdoc","doc");;</span>
<span class="<span  class="APprompt">ap>/span> <pan class="GAPinput">bib.entries;</span>
<java.lang.StringIndexOutOfBoundsException: Range [11, 5) out of bounds for length 94
<span class="GAPprompt">gap></span> <span class="GAPinput">str := StringBibAsXMLext(bib[1][1], bib[2], bib[3]);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Print(str, "\n");</span>
<ntry id="B2000"><article>
  <author>
    &java.lang.StringIndexOutOfBoundsException: Range [25, 7) out of bounds for length 94
    <ame&t;lt;irst&t;. Y<first><last>Sec</last></name>
  </author>  
<title&t;</title>
  <journal>/>/>
  <p><a id=java.lang.StringIndexOutOfBoundsException: Range [29, 27) out of bounds for length 62
;/entrygt
</pre></div

< functions allow parsing of data which are already in BibXMLext format.</p>

<p><a id="X86BD29AE7A453721<p>There are three possibilities to specify the bibliography entries in the argument <var class="Arg">bib</var>. It java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<h5>7.3-4 ParseBibXMLextString</h5>

<div class="func"java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<"><tr><td class="dleft"><code class=func">&#8227; ParseBibXMLextFiles</code>( <var class="Arg">fname1</var>[, <var class="Arg">fname2</var>[, <var class="Arg">...</var>]] )</td><td class="tdright
<pReturns:arecordwith fields <code class="code">entries<code,code class="code">.strings</code> and <code class="code">.entities</code></p>

<>Thefirst functiongetsa  <var class=Arg"str/var> containing a <code class="code">BibXMLext</code> document or a part of it. It returns a record with the three mentioned fields. Here <code class="code<spanclass="GAPprompt">gap></span> <span class="GAPinput">WriteBibXMLextFile("test.xml", bib);</span>/pre></div>

<p>The optional argument <var class="Arg">res</var> can be the result of a former call of this function, in thatjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>The second function <code class="func">ParseBibXMLextFiles</code> uses the first on the content java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

<p>Asjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0


<div <iv class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#<span style='color: green'>8227;<p>Returns:a  with fields asstrings</p>
< ""gapgt;spanspanclassGAPinput>gddirs: DirectoriesPackageLibraryjava.lang.StringIndexOutOfBoundsException: Range [106, 105) out of bounds for length 122
<span class="GAPprompt">java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
<">bib := ParseBibXMLextFiles);</panjava.lang.StringIndexOutOfBoundsException: Index 100 out of bounds for length 100
<span class
[ "entities", "entries", "strings" ]
<span class="GAPprompt">gap></span> <span class="GAPinput">bib.entries;</span>
[ <BibXMLext p <var class="rg"options<var> are currently supported.</p>
<span class="GAPprompt"><p> <code class="code"options.fullname</code> is bound and set to <code class="keyw">true</code> then the full given first
[[j,"mportant Journal"] ]
<span class="GAPprompt">gap></span> <span class="GAPinput">bib.entities[1]; </span>
[ "amp", "&#38;#38;" java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
</pre</div>

<p><a id="X7811108C7E5B1709" name="X7811108C7E5B1709

<h5>7.3-5

<div class="func"><table class="func" width="100%"><tr><tdjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<>Returns nothing</>

<p> function writes a BibXMLext file with name <var class="Arg">fname</var>.</p>

<p>There are three possibilities to specify the bibliography entries in the argument <var class="Arg">bib</var>. It can be a list of three lists as java.lang.StringIndexOutOfBoundsException: Index 155 out of bounds for length 116

<third is that <varclass=Arg">ib< arecord in the format as returned by <code class="func">ParseBibXMLextString</code> (<a href="chap7_mj.html#X86BD29AE7A453721"><span class="RefLink">7.3-4</span></a>) and <code class="func BibXML := true,

<p>AsLabel:= "AB2000",


<div class="example"><pre>
<span class="GAPprompt">gap>    ["First", .A, "ritz A." ], 
<span class="GAPprompt">gap></span> <span class="GAPinput">f := Filename(gddirs, "testbib.xml");;</span>
<span =GAPprompt>g;<>java.lang.StringIndexOutOfBoundsException: Range [45, 44) out of bounds for length 100
span=GAPpromptgap&;</pan <spanclass=GAPinput>WriteBibXMLextFile(testxml" );/span>
<pre</div

="X82167F1280F4310E X82167F1280F4310E"></a></p>

<7.-6 spanclass"Heading"Bibliography Entriesas Records<span>/

<p>For working "he{F}ritz package for the \n         formula $x^y - l_{{i+1}} \

<   : "2000"java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18

<h5>7.3-7 RecBibXMLEntry</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; RecBibXMLEntry</code>( <var classPublisher&t/a>
<Returns:a record with fields as strings/p>

<p<h5>7.-8 AddHandlerBuildRecBibXMLEntry</h5>

<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>If the entry contains an <code class="code">author</code> field then the result will also contain a component <code class="code">.authorAsList</code> which java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>The following <var class="Arg">options</var> are

<p>If <code class="code">options.fullname

<p>If <code class="code">p>The argument <var class="Arg</var> must be afunction withfive argumentsofthe  <var class=Arg>handler<var<code class="code">(entry, r, restype, strings, options)</code>. Here <var class="Arg">entry</var> is a parse tree of a BibXMLext <code java.lang.StringIndexOutOfBoundsException: Index 266 out of bounds for length 0

<p>The content of an <code class="code"><Alt></code>-element with <code class="code">Only</code>-attribute is included if <var class="Arg">restype</var> is given in the attribute and ignored otherwise, and vice versa in case of a <code class="code">Not</code>-attribute. If <code class="code">options.useAlt</code> is bound, it must be a list of strings to which <var class="Arg">restype</var> is added. Then an <code class="code"><Alt></code>-element with <code class="code">Only</code>-attribute is evaluated if java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

<p>If <var class="Arg">restype</var> is <code class="code">"BibTeX"</code> then the string fields in the result will be recoded with <code class="func">Encode</code> (<a href="chap6_mj.html#X818A31567EB30A39"><span class="RefLink">6.2-2</span></a>) and target <code class="code">"LaTeX"</code>. If <code class="code">options.hasLaTeXmarkup</code> is bound and set to <code class="keyw">true</code> (for example, because the data are originally read from BibTeX files), then the target <code class="code">"LaTeXleavemarkup"</code> will be used.</p>

<p>We use again the file shown in the example for <code class="func">ParseBibXMLextFiles</code> (<a href="chap7_mj.html#X86BD29AE7A453721"><span class="RefLink">7.3-4</span></a>).</p>


div class=example"<pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">gddirs := DirectoriesPackageLibrary("gapdoc","doc");;</span>
<span span class"APprompt">gap></span> <span class="GAPinput">AddHandlerBuildRecBibXMLEntry("Wrap:Package", "BibTeX",</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">bib := ParseBibXMLextFiles(f);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">e := bib.entries[1];; strs := bib.strings;;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Print(RecBibXMLEntry(e, "BibTeX", strs), "\n");</span>
rec(
  From := rec(
      BibXML := true,
      options := rec(
           ),
      type := "BibTeX" ),
  Label: "AB2000",
  Type := "article",
 author: "irst, F. A. and Sec{\\H o}nd, X. Y.",
  authorAsListspanclass="GAPprompt">gap></span> <span class="GAPinput">Print(RecBibXMLEntry(e, "Text", strs).title, "\The  Fritz package for the 
   [["First","F. A.","Fritz A. ] 
      [ "Sec\305\221nd", "X. Y.<pan class="APprompt"gap&;<span> <span class="GAPinput">AddHandlerBuildRecBibXMLEntry("Wrap:Package", "BibTeX", "Ignore");</span>
  journal : "mportant Journal",
  mycomment := "very useful",
  note := 
   "Online data at \\href {http://www.publish.com/~ImpJ/123#data} {Bla\
java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 17
  number
 pages:13\25"java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
    : ",
  title := 
   "The  {F}ritz package for the \n         formulajava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
\\mathbb$,
  year := "2000" )
<span class="GAPprompt">gap></span<dd>p>string with BibTeXsource code is>
Online data atdt<strong class="ark"<codeclass="code">"Text"</code></strong></dt>
 Publisher</a>
</pre></div>

<p><a iddd<p>A text representation of the text is returned.If code class="code">options.ansi</code> is bound it must be a record. The components must have names <codejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<>738 ddHandlerBuildRecBibXMLEntry</h5>

<div class="java.lang.StringIndexOutOfBoundsException: Range [0, 16) out of bounds for length 0
<p>Returns: nothing</p>

p argumentvarclass"rg>elementname/var> must be the name of an entry field by  BibXMLext format,       elements < class="code>C<code> <code class="ode"""<code> code =c>Math<code> code class"ode"""<code>orofthe code class"ode"":myname"/> or anystringcodeclass"ode>m"code>(hich   toentryfields<code class=code"<other type="mytype"gt</code>) The string <code class="code">"Finish"</code> has an exceptional meaning, see below.</p>

<p><var class="Arg">restype</var> is a string describing the result type for which the handler is installed, see <code class="func">RecBibXMLEntry</code> (<a href="java.lang.StringIndexOutOfBoundsException: Index 172 out of bounds for length 0

<p>For both span class="GAPprompt&t</span><span class="APinput">f := Filename(gddirs, "testbib.xml");;</span>

<p>spanclass="GAPprompt">gap></span> <span class="GAPinput">e := bib.entries[1];; strs := bib.strings;;</<span class="GAPprompt">gap></span> <span class="GAPinput">ebib := StringBibXMLEntry(e, "BibTeX", strs);;</s

<p>If <@article{ B2000java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17

<p>The installed handler is called by <  title =            T  {}itz  package  for the formula $^ 

<p>We continue the example from <code class="func">RecBibXMLEntry</code> (<a href="chap7_mj.html#X786C33ED79F425F1"><span class="RefLink">7.3-7</java.lang.StringIndexOutOfBoundsException: Index 148 out of bounds for length 41


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">AddHandlerBuildRecBibXMLEntry("Wrap:Package",                       Publisher}}
<span classprintedkey =       {FS00}
<span class="GAPprompt">></java.lang.StringIndexOutOfBoundsException: Range [0, 34) out of bounds for length 1
<           entry, r, restype,  strings, options), "}");</span>
<span class="GAPprompt">></span> <span class="GAPinput">end);</span><pan class="GAPprompt">gap></span> <span class="GAPinput">etxt := SimplifiedUnicodeString(Unicode(etxt), "latin1", "<span class="APprompt"gap&;<span> <span class="GAPinput">etxt := Encode(etxt, GAPInfo.TermEncoding);;                        </span>
<span class="GAPprompt">gap></span> <span class="GAPinputformula  x^y  -  l_{i+1}  ?  R, Important Journal, 13 (2000), 13-25,
<span class=< =G"><span> <span class="GAPinput">ehtml := StringBibXMLEntry(e, "HTML", strs, rec(MathJax := true));;</span>
The\textsf{ritz}package forthe 
         formula $x^y - l_{{i+1}} \rightarrow \mathbb{R}$
<span class="GAPprompt">gap></span> <span class="GAPinput">Print(RecBibXMLEntry(e, "Text", strs).title, "\n");  </span>
The for the 
         formula  &tbclass'ibAuthor'>First, F. A. and Secőnd, X. Y.</b>,
<panclass="GAPprompt">gap&;<><span class="GAPinput"AddHandlerBuildRecBibXMLEntry("Wrap:Package", "BibTeX", "Ignore");</span>
</pre></div>

<p><a" name="X790A295680F7CD24>/a>/p>

<h5>7.3-9 StringBibXMLEntry</h5>

<div class="func"><table <span class='BibPages'>25<span><br />
<>Returns: a string</>

<p>The Publisher</a></span>).

<p>Currently, the following cases for <var


<dl>
<t<strong class=">code class="code""BibTeX</ode><strong></dt>
<dd><p>A string with BibTeX source code is java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 0

</dd>
<><strong class="ark"<code class="code">"Text"</code></strong></dt>
<dd>div class=func">table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ TemplateBibXML</code>( [<var class="Arg">java.lang.StringIndexOutOfBoundsException: Range [0, 146) out of bounds for length 39

</dd>
<dt><strong class="Mark"><code class="code">"HTML"</code></strong></dt>
<dd>. The text from eachfield enclosed in markup (mostly <code class="code"><span></code>-elements) with the <code class="code">class</code> attribute set to the field java.lang.StringIndexOutOfBoundsException: Range [0, 245) out of bounds for length 0

</dd>
<dt< =M>code class="ode">"Markdown"<code<strong<dt
<dd><p>A "incollection inproceedings" manual", "astersthesis" m" 

</dd>
</dl
<p>We use again the file shown &t; id="">lt;>


<div class="example"><pre>   edited for readability 
<span class="GAPprompt"gap>/span> <span class="APinput">gddirs := DirectoriesPackageLibrary("gapdoc","doc");;</span>
<span class="GAPprompt">gap> <ditor>
<span class="GAPprompt">gap></span>    lt;>&t;first>Xl;firstgt;lt;ast>X<last></name>+
<span  &t;/ditor&;
 class="GAPprompt">gap></span> <span class="GAPinput">ebib := StringBibXMLEntry(e, "BibTeX", strs);;</span>
<span class="GAPprompt">gap></span> <span  <ages></pages&t;
@article{ AB2000,
  irst, F .and Sec{H o} X Y},
  title =            {The  {F}ritz  package    &tyear></year&tjava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
                      {+1}\rightarrow \athbb{R}$,
  journal =          {Important Journal},
  number =           {13},
  year =             {2000},
  pages =            {13{\textendash}25},
       data          at         \href
                      {http://www.java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 31
                      Bla Publisher}},
  mycomment =        {very useful},
  printedkey =       {FS00}
}
<pan ="APprompt">gap></span> <span class="GAPinput">etxt := StringBibXMLEntry(e, "Text", strs);;      </span>
<span class="<contents>X&;/ontents>*
<span<copyright&t;</copyright>*
<span class"GAPprompt">gap>/span> <span class="APinput">PrintFormattedString(etxt);</span>
[]  First, F  A. and Second, X Y., TheFritz package forthe
formula  x^y  -<eywords>X</keywords>*
(Online        data          <language>X</langulanguage>X&;/language>
(http//www.ublish.com/~ImpJ/123#data)).

<">gap>/span> <span class="APinput">html := StringBibXMLEntry(e, "HTML", strs, rec(MathJax := true));;</span>
<span class="GAPprompt">gap></span> <span
<span  &t;>X&t;mrreviewer>java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
<&t;size>X&t;/size&t;*
[lt; class='BibKey'>FS00</span>]   
< class='ibAuthor'>First, F. A. and Secőnd, X. Y.</b>,
 <i class='BibTitle'>The  Fritz package for the 
         formula \(x^y - l_{{i+1}} \rightarrow \&t/inbook&t;</ntry&t
<pan class='ibJournal'>Important Journal</span> 
(<span class='BibNumber'>13&java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
 (<span class='BibYear'>2000</span>),
 <<h4>7.4 <>7. <span class==Heading"Getting BibTeX entries from 
(<span strong class="pkg"MathSciNet</strong></span></h4>
<a href="http://www.publish.com/~ImpJ/123#data"URL"<a href="https://www.ams.org/mathscinet/"><strong class="pkg"> MathSciNet</strong></a></span> data base from within GAP. The java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
java.lang.StringIndexOutOfBoundsException: Index 135 out of bounds for length 34
</p>

</pre></div>

<p>The following command may be useful to generateh5>7.4-1 SearchMR<h5

<>< id="7C6FF57087016019" name="7C6FF57087016019"></a></p>

<</h5>

<div class="func"><<pThe  function <code class="unc>SearchMR</code> provides the same functionality as the Web interface <span class="URL"><a href="https://www.ams.org/mathscinet/"><strong java.lang.StringIndexOutOfBoundsException: Index 180 out of bounds for length 0
<p>eturns:list of types or string</p

<p>Without an argument this function returns a list of the supported entry types

<p>With an java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 0


<java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 0
<spanclass=GAPprompt"gap&<span> <span class="GAPinput">TemplateBibXML();</span>
[ "article", "book", "booklet", "conference", "inbook", 
  "incollection", "inproceedings", "manual", "mastersthesis", "misc", 
  "phdthesis", "proceedings", "techreport", "unpublished" ]
<pan ="GAPprompt">gap></span> <span class="GAPinput">Print(TemplateBibXML("inbook"));</span>
<<span class="GAPprompt">gap></span> <span class="GAPinput">ll2 := List(ll, HeuristicTranslationsLaTeX2XML.Apply);;</span>
  <author&t
    <name><first>X</first><span class="GAPprompt">gap></span> <span class="GAPinput">bibxml := List(bib[1], StringBibAsXMLext);;</span>
  </author>OR
  <editor>
    <name><pan ="APprompt">gap></span> <span class="GAPinput">for b in bib2.entries do </span>
  <editor>
  <title>X</title>
  <chapter>X</[au95   Gauss,   C   F.,  Disquisitiones  arithmeticae,  Academia
  &Colombiana   de  Ciencias  Exactas,  Físicas  y  Naturales,  Bogotá,
  &t;></publisher>
  <>X</year&t;
  <volume&t;X&;/volume>*OR
  <number>X</number>*
  <series>X</series>*
  <type>X</type>*
  <ddress>X</address>*
  <edition>X</edition>*
  <month&t;X&;/onth>
  <note>X</note>*
  <key>X</key>*
  <annotate>X</annotate>*
  &;rossref&t;</rossref>
  <abstract>X</abstract>*
  &t;ffiliation>X&;/affiliation>
  <contents&t;&t;/contents>*
  lt;copyright>X<copyright>*
  <isbn>X</isbn>*OR
  <issn>X</java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 12
  <java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  <div class"hlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  <lccn&t;X&t;lccn>*
  <location>X</location>*
  <mrnumber>X</mrnumber>*
  <mrclasshr/>
  <mrreviewer>X</mrreviewer>*
   &tprice&t;X&;/price>*
  <size>X</size>*/ody>
  <url>X</url>*
  <category>X</category>*
  <other type="X">X</other>*+
</inbook></entry>
</pre></div>

<p><a id="X842336AF7B20048E" name="X842336AF7B20048E"></a></p>

<h4>7.4 <span class="Heading">Getting BibTeX entries from 
         <strong class="pkg">MathSciNet</strong></span></h4>

<p>We provide utilities to access the <span class="URL"><a href="https://www.ams.org/mathscinet/"><strong class="pkg"> MathSciNet</strong></a></span> data base from within GAP. The first condition for this to work is that one of the programs <code class="code">wget</code> or <code class="code">curl</code> is installed on your system. The second is, of course, that you use these functions from a computer which has access to <strong class="pkg">MathSciNet</strong>.</p>

<p>Please note, that the usual license for <strong class="pkg">MathSciNet</strong> access does not allow for automated searches in the database. Therefore, only use the <code class="func">SearchMR</code> (<a href="chap7_mj.html#X8009F8A17DDFF9AF"><span class="RefLink">7.4-1</span></a>) function for single queries, as you would do using your webbrowser.</p>

<p><a id="X8009F8A17DDFF9AF" name="X8009F8A17DDFF9AF"></a></p>

<h5>7.4-1 SearchMR</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; SearchMR</code>( <var class="Arg">qurec</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; SearchMRBib</code>( <var class="Arg">bib</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a list of strings, a string or <code class="keyw">fail</code></p>

<p>The first function <code class="func">SearchMR</code> provides the same functionality as the Web interface <span class="URL"><a href="https://www.ams.org/mathscinet/"><strong class="pkg"> MathSciNet</strong></a></span>. The query strings must be given as a record, and the following components of this record are recognized: <code class="code">Author</code>, <code class="code">AuthorRelated</code>, <code class="code">Title</code>, <code class="code">ReviewText</code>, <code class="code">Journal</code>, <code class="code">InstitutionCode</code>, <code class="code">Series</code>, <code class="code">MSCPrimSec</code>, <code class="code">MSCPrimary</code>, <code class="code">MRNumber</code>, <code class="code">Anywhere</code>, <code class="code">References</code> and <code class="code">Year</code>.</p>

<p>Furthermore, the component <code class="code">type</code> can be specified. It can be one of <code class="code">"bibtex"</code> (the default if not given), <code class="code">"pdf"</code>, <code class="code">"html"</code> and probably others. In the last cases the function returns a string with the content of the web page returned by <strong class="pkg">MathSciNet</strong>. In the first case the <strong class="pkg">MathSciNet</strong> interface returns a web page with BibTeX entries, for convenience this function returns a list of strings, each containing the BibTeX text for a single result entry.</p>

<p>If a component <code class="code">uri</code> is bound and set to <code class="keyw">true</code> the function does not actually send a request to <strong class="pkg">MathSciNet</strong> but returns a string with the URI that can be called for the request.</p>

<p>The format of a <code class="code">.Year</code> component can be either a four digit number, optionally preceded by one of the characters <code class="code">'<'</code>, <code class="code">'>'</code> or <code class="code">'='</code>, or it can be two four digit numbers separated by a <code class="code">-</code> to specify a year range.</p>

<p>The function <code class="func">SearchMRBib</code> gets a record of a parsed BibTeX entry as input as returned by <code class="func">ParseBibFiles</code> (<a href="chap7_mj.html#X82555C307FDC1817"><span class="RefLink">7.1-1</span></a>) or <code class="func">ParseBibStrings</code> (<a href="chap7_mj.html#X82555C307FDC1817"><span class="RefLink">7.1-1</span></a>). It tries to generate some sensible input from this information for <code class="func">SearchMR</code> and calls that function.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">ll := SearchMR(rec(Author:="Gauss", Title:="Disquisitiones"));;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">ll2 := List(ll, HeuristicTranslationsLaTeX2XML.Apply);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">bib := ParseBibStrings(Concatenation(ll2));;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">bibxml := List(bib[1], StringBibAsXMLext);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">bib2 := ParseBibXMLextString(Concatenation(bibxml));;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">for b in bib2.entries do </span>
<span class="GAPprompt">></span> <span class="GAPinput">         PrintFormattedString(StringBibXMLEntry(b, "Text")); od;     </span>
[Gau95]   Gauss,   C.   F.,  Disquisitiones  arithmeticae,  Academia
Colombiana   de  Ciencias  Exactas,  Físicas  y  Naturales,  Bogotá,
Colección   Enrique   Pérez   Arbeláez   [Enrique   Pérez   Arbeláez
Collection],  10  (1995), xliv+495 pages, (Translated from the Latin
by  Hugo  Barrantes  Campos,  Michael Josephy and Ángel Ruiz Zúñiga,
With a preface by Ruiz Zúñiga).

[Gau86]  Gauss, C. F., Disquisitiones arithmeticae, Springer-Verlag,
New  York  (1986),  xx+472  pages, (Translated and with a preface by
Arthur  A.  Clarke,  Revised  by  William  C.  Waterhouse, Cornelius
Greither and A. W. Grootendorst and with a preface by Waterhouse).

[Gau66]  Gauss,  C. F., Disquisitiones arithmeticae, Yale University
Press, New Haven, Conn.-London, Translated into English by Arthur A.
Clarke, S. J (1966), xx+472 pages.

</pre></div>


<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap6_mj.html">[Previous Chapter]</a>    <a href="chapA_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="chapA_mj.html">A</a>  <a href="chapB_mj.html">B</a>  <a href="chapC_mj.html">C</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.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>

Messung
CHZG
8010010093

¤ Dauer der Verarbeitung: 0.6 Sekunden  (vorverarbeitet am  2026-11-04) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

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.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.