products/Sources/formale Sprachen/GAP/pkg/xmod/doc/   (GAP Algebra Version 4.15.1©)  Datei vom 10.6.2025 mit Größe 7 kB image not shown  

Quelle  chap13.html   Sprache: HTML

 

 products/Sources/formale Sprachen/GAP/pkg/xmod/doc/chap13.html


<?xml version="1.0" encoding="TF-8"?

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (XMod) - Chapter 13
<etahttpequiv"ontent-type" content=thtml charsetUTF8"/
< name"generator"content=GAPDoc2HTML /
<link <itle>APX) -Chapter 13:Interaction HAP<>
<<meta-equiv=-type "html; charset=TF-8"/
<meta="generator"contentGAPDoc2HTML /
</link r=""type="ext/" href"anual." /java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 59
<bodyclass=chap13  onload"jscontent(">


< class="hlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap12.html">[Previous Chapter]</a>    <a href="chap14.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap13_mj.html">[MathJax on]</a></p>
<p><a id="X81EC8C8A82C15298" name="X81EC8C8A82C15298"></a></p>
<class"hapSects"><a href=c.#81">13 span class="eading> with </pan<a
<div class="ContSect"><span class="toclinep>a ="81" name=X81EC8C8A82C15298>/a></p>
</
<div class="ContSSBlock">
<nclass="ContSS>br >span class=nocss"&;&bsp<span< href="chap13.html#X8699357D7DC6279E">13.1-1 SmallCat1Group</a></span>
< =ContSS"< /><span ="&<span<href"hap13#BEF>.- java.lang.StringIndexOutOfBoundsException: Range [133, 130) out of bounds for length 141
<"java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 135
<div>/div>
</div>

<h3>13 <span class="Heading">Interaction with HAP </span></h3>

<p>This chapter describes functions which allow functions in the package <strong class="pkg">HAP</strong> to be called from <strong span class="ContSS"><br /><span class="nocss">  </span><a href="chap13.html#X7B00E3FB82DC305D">13.1-2 CatOneGroupToXMod</a></span>

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

<div

<h3>13 <span class="Heading">Interaction with HAP </span></h3>

<p><a <p>Thischapter  functions  allow functions in the package <trong =""HAP</>   calledfrom <strong class=p"XMod<strong><p>

<h5>13.1-1 SmallCat1Group</h5>

<div class="<> < class=pkg"</strong> < class="impleMath"^1</span>  called a < class=">CatOneGroup</code> and traditional em>source<em>and <>target/>are used for  <ode class=c">ailMap<>and< =code>eadMap/> A< ="code"CatOneGroupcode> isa record<class""></>withfields< class"ode"C!.</> and code class="code>!.argetMap/ode><p
<p>This operation calls the <strong class="pkg">HAP</strong> function <code class="code">SmallCatOneGroup


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">H12 := SmallCatOneGroup( 12,
Cat--  underlying group([f1, f2, f3 ]).java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60
<pan class="GAPprompt>gap><span>< class="APinput>12 := SmallCat1Group12,4,3 ;/
[( [ f1 ,  )&t;([,f2 l;dentitygt;of..])

<pan class=GAPprompt">gap&t;/span><span class=GAPinput>H12 : SmallCatOneGroup( 12,4 3)</span>

<p><a id="span class="gap&tspan < class="GAPinput"C12: ( 12,4  ;/>

<h5/><div>

<p<a id"" name"></>/p>
<java.lang.StringIndexOutOfBoundsException: Range [24, 4) out of bounds for length 222
<p> two  convertbetween thetwo implementations</p>


<div class="example"><pre>

<span class="GAPprompt">
[, f3])&t;Group [,f2,lidentitygt;.. ] )
<span class="GAPprompt">gap></span> <<div class="func"><table class="func" width=><tr>td class=tdleft">code class="func">‣ Cat1GroupToHAP</code>( <var class="Arg">C</var> )</td><td class="tdright">( operation )</td></tr></table></div>
[(<iv class=e">pre>
<spanclass="APprompt>gap&;<> <span class="GAPinput"C12 :=CatOneGroupToXMod(H12 );   </span>
oup underlying  (3 xC3 :C2 . 

/>/>

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

<h5>13.1-3 IdCat1Group</h5>

<div class=java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<>This  the <strongclass="pkg"HAP/strong> function< class="/>a  java.lang.StringIndexOutOfBoundsException: Range [129, 128) out of bounds for length 404


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">IdCatOneGroup( H18 ); </span>
[ 18, 4,
<span class="APprompt">gap></span> <span class="GAPinput">IdCat1Group( C18 ); </span>
[ 18, 4, 4 ]

<pre>></div


<div class="chlinkprevnextbot"> <a href<


<div <span class="APprompt"gapgt<span span "APinput>IdCatOneGroup( H18 ); </span>

<hr />
<p class="< class=GAPprompt"gap&t;<span><pan class=GAPinput>dCat1GroupC18) /
<body>
</html>

Messung
CHZG
8010010093

¤ Dauer der Verarbeitung: 0.2 Sekunden  ¤

*© 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.