Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/scscp/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 27.7.2025 mit Größe 22 kB image not shown  

Quelle  chap9_mj.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/scscp/doc/chap9_mj.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_HTMLorMML">
</script>
<title>GAP (scscp) - Chapter 9: Service functions</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="chap9"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chap7_mj.html">7</a>  <a href="chap8_mj.html">8</a>  <a href="chap9_mj.html">9</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap8_mj.html">[Previous Chapter]</a>    <a href="chapBib_mj.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap9.html">[MathJax off]</a></p>
<p><a id="X80DFB24F8289C323" name="X80DFB24F8289C323"></a></p>
<div class="ChapSects"><a href="chap9_mj.html#X80DFB24F8289C323">9 <span class="Heading">Service functions</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap9_mj.html#X86C808F6826DCEB4">9.1 <span class="Heading">Pinging <strong class="pkg">SCSCP</strong> servers</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X78B08D767F9ADB28">9.1-1 PingSCSCPservice</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X8345DE358064674E">9.1-2 PingStatistic</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap9_mj.html#X783BD51C84E7EE6E">9.2 <span class="Heading">Info classes for <strong class="pkg">SCSCP</strong></span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X831E6A5D8695A3F9">9.2-1 InfoSCSCP</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X82AC628D7880D043">9.2-2 InfoMasterWorker</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap9_mj.html#X7D89A99F7A9186DE">9.3 <span class="Heading">Other <strong class="pkg">SCSCP</strong> Utilities</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X845DFBDA83AEF6B0">9.3-1 DateISO8601</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X79CE2568789D17D6">9.3-2 CurrentTimestamp</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X83A08C8883E5D3E1">9.3-3 Hostname</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X8312112E79686EF6">9.3-4 MemoryUsageByGAPinKbytes</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X844EC26F84D921CE">9.3-5 LastReceivedCallID</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X84F055ED860120D5">9.3-6 IO_PickleToString</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X813EACD27C218E19">9.3-7 IO_UnpickleFromString</a></span>
</div></div>
</div>

<h3>9 <span class="Heading">Service functions</span></h3>

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

<h4>9.1 <span class="Heading">Pinging <strong class="pkg">SCSCP</strong> servers</span></h4>

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

<h5>9.1-1 PingSCSCPservice</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PingSCSCPservice</code>( <var class="Arg">hostname</var>, <var class="Arg">portnumber</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">fail</code></p>

<p>This function returns <code class="keyw">true</code> if the client can establish connection with the SCSCP server at <var class="Arg">hostname</var>:<var class="Arg">portnumber</var>. Otherwise, it returns <code class="keyw">fail</code>.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">PingSCSCPservice("localhost",26133);</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">PingSCSCPservice("localhost",26140);                     </span>
Error: rec(
  message := "Connection refused",
  number := 61 )
fail

</pre></div>

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

<h5>9.1-2 PingStatistic</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PingStatistic</code>( <var class="Arg">hostname</var>, <var class="Arg">portnumber</var>, <var class="Arg">n</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: nothing</p>

<p>The function is similar to the UNIX <code class="code">ping</code>. It tries <var class="Arg">n</var> times to establish connection with the SCSCP server at <var class="Arg">hostname</var>:<var class="Arg">portnumber</var>, and then displays statistical information.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">PingStatistic("localhost",26133,1000);</span>
1000 packets transmitted, 1000 received, 0% packet loss, time 208ms
min/avg/max = [ 0, 26/125, 6 ]

</pre></div>

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

<h4>9.2 <span class="Heading">Info classes for <strong class="pkg">SCSCP</strong></span></h4>

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

<h5>9.2-1 InfoSCSCP</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ InfoSCSCP</code></td><td class="tdright">( info class )</td></tr></table></div>
<p><code class="func">InfoSCSCP</code> is a special Info class for the <strong class="pkg">SCSCP</strong> package. The amount of information to be displayed can be specified by the user by setting InfoLevel for this class from 0 to 4, and the default value of InfoLevel for the package is specified in the file <code class="file">scscp/config.g</code>. The higher the level is, the more information will be displayed. To change the InfoLevel to <code class="code">k</code>, use the command <code class="code">SetInfoLevel(InfoSCSCP, k)</code>. In the following examples we demonstrate various degrees of output details using Info messages.</p>

<p>Default Info level:</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">SetInfoLevel(InfoSCSCP,2);                              </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">EvaluateBySCSCP( "WS_Factorial",[10],"localhost",26133); </span>
#I  Creating a socket ...
#I  Connecting to a remote socket via TCP/IP ...
#I  Got connection initiation message
#I  <?scscp service_name="GAP" service_version="4.dev" service_id="localhost:2\
6133:286" scscp_versions="1.0 1.1 1.2 1.3" ?>
#I  Requesting version 1.3 from the server ...
#I  Server confirmed version 1.3 to the client ...
#I  Request sent ...
#I  Waiting for reply ...
#I  <?scscp start ?>
#I  <?scscp end ?>
#I  Got back: object 3628800 with attributes 
[ [ "call_id", "localhost:26133:286:JL6KRQeh" ] ]
rec( attributes := [ [ "call_id", "localhost:26133:286:JL6KRQeh" ] ], 
  object := 3628800 )

</pre></div>

<p>Minimal Info level:</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">SetInfoLevel(InfoSCSCP,0);                              </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">EvaluateBySCSCP( "WS_Factorial",[10],"localhost",26133);</span>
rec( attributes := [ [ "call_id", "localhost:26133:286:jzjsp6th" ] ], 
  object := 3628800 )

</pre></div>

<p>Verbose Info level:</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">SetInfoLevel(InfoSCSCP,3);</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">EvaluateBySCSCP( "WS_Factorial",[10],"localhost",26133);</span>
#I  Creating a socket ...
#I  Connecting to a remote socket via TCP/IP ...
#I  Got connection initiation message
#I  <?scscp service_name="GAP" service_version="4.dev" service_id="localhost:2\
6133:286" scscp_versions="1.0 1.1 1.2 1.3" ?>
#I  Requesting version 1.3 from the server ...
#I  Server confirmed version 1.3 to the client ...
#I  Composing procedure_call message: 
<?scscp start ?>
<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
 <OMATTR>
  <OMATP>
   <OMS cd="scscp1" name="call_id"/>
   <OMSTR>localhost:26133:286:Jok6cQAf</OMSTR>
   <OMS cd="scscp1" name="option_return_object"/>
   <OMSTR></OMSTR>
  </OMATP>
  <OMA>
   <OMS cd="scscp1" name="procedure_call"/>
   <OMA>
    <OMS cd="scscp_transient_1" name="WS_Factorial"/>
    <OMI>10</OMI>
   </OMA>
  </OMA>
 </OMATTR>
</OMOBJ>
<?scscp end ?>
#I  Total length 396 characters 
#I  Request sent ...
#I  Waiting for reply ...
#I  <?scscp start ?>
#I Received message: 
<OMOBJ xmlns="http://www.openmath.org/OpenMath" version="2.0">
 <OMATTR>
  <OMATP>
   <OMS cd="scscp1" name="call_id"/>
   <OMSTR>localhost:26133:286:Jok6cQAf</OMSTR>
  </OMATP>
  <OMA>
   <OMS cd="scscp1" name="procedure_completed"/>
   <OMI>3628800</OMI>
  </OMA>
 </OMATTR>
</OMOBJ>
#I  <?scscp end ?>
#I  Got back: object 3628800 with attributes 
[ [ "call_id", "localhost:26133:286:Jok6cQAf" ] ]
rec( attributes := [ [ "call_id", "localhost:26133:286:Jok6cQAf" ] ], 
  object := 3628800 )
<span class="GAPprompt">gap></span> <span class="GAPinput">SetInfoLevel(InfoSCSCP,0);</span>

</pre></div>

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

<h5>9.2-2 InfoMasterWorker</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ InfoMasterWorker</code></td><td class="tdright">( info class )</td></tr></table></div>
<p><code class="code">InfoMasterWorker</code> is a special Info class for the Master-Worker skeleton <code class="func">ParListWithSCSCP</code> (<a href="chap8_mj.html#X788208B57D4C497F"><span class="RefLink">8.2-1</span></a>). The amount of information to be displayed can be specified by the user by setting InfoLevel for this class from 0 to 5, and the default value of InfoLevel for the package is specified in the file <code class="file">scscp/config.g</code>. The higher the level is, the more information will be displayed. To change the InfoLevel to <code class="code">k</code>, use the command <code class="code">SetInfoLevel(InfoMasterWorker, k)</code>. In the following examples we demonstrate various degrees of output details using Info messages.</p>

<p>Default Info level:</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">SetInfoLevel(InfoMasterWorker,2);</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">ParListWithSCSCP( List( [2..6], n -> SymmetricGroup(n)), "WS_IdGroup" );</span>
#I  1/5:master --> localhost:26133
#I  2/5:master --> localhost:26134
#I  3/5:master --> localhost:26133
#I  4/5:master --> localhost:26134
#I  5/5:master --> localhost:26133
[ [ 2, 1 ], [ 6, 1 ], [ 24, 12 ], [ 120, 34 ], [ 720, 763 ] ]

</pre></div>

<p>Minimal Info level:</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">SetInfoLevel(InfoSCSCP,0);       </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">SetInfoLevel(InfoMasterWorker,0);</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">ParListWithSCSCP( List( [2..6], n -> SymmetricGroup(n)), "WS_IdGroup" );</span>
[ [ 2, 1 ], [ 6, 1 ], [ 24, 12 ], [ 120, 34 ], [ 720, 763 ] ]

</pre></div>

<p>Verbose Info level:</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">SetInfoLevel(InfoMasterWorker,5);                                       </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">ParListWithSCSCP( List( [2..6], n -> SymmetricGroup(n)), "WS_IdGroup" );</span>
#I  1/5:master --> localhost:26133 : SymmetricGroup( [ 1 .. 2 ] )
#I  2/5:master --> localhost:26134 : SymmetricGroup( [ 1 .. 3 ] )
#I  localhost:26133 --> 1/5:master : [ 2, 1 ]
#I  3/5:master --> localhost:26133 : SymmetricGroup( [ 1 .. 4 ] )
#I  localhost:26134 --> 2/5:master : [ 6, 1 ]
#I  4/5:master --> localhost:26134 : SymmetricGroup( [ 1 .. 5 ] )
#I  localhost:26133 --> 3/5:master : [ 24, 12 ]
#I  5/5:master --> localhost:26133 : SymmetricGroup( [ 1 .. 6 ] )
#I  localhost:26134 --> 4/5:master : [ 120, 34 ]
#I  localhost:26133 --> 5/5:master : [ 720, 763 ]
[ [ 2, 1 ], [ 6, 1 ], [ 24, 12 ], [ 120, 34 ], [ 720, 763 ] ]
<span class="GAPprompt">gap></span> <span class="GAPinput">SetInfoLevel(InfoMasterWorker,2);</span>

</pre></div>

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

<h4>9.3 <span class="Heading">Other <strong class="pkg">SCSCP</strong> Utilities</span></h4>

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

<h5>9.3-1 DateISO8601</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DateISO8601</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: string</p>

<p>Returns the current date in the ISO-8601 YYYY-MM-DD format. This is an internal function of the package which is used by the <strong class="pkg">SCSCP</strong> server to generate the transient content dictionary, accordingly to the definition of the <strong class="pkg">OpenMath</strong> symbol <code class="code">meta.CDDate</code>.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">DateISO8601();</span>
"2017-02-05"

</pre></div>

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

<h5>9.3-2 CurrentTimestamp</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ CurrentTimestamp</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: string</p>

<p>Returns the result of the call to <code class="file">date</code>. This is an internal function of the package which is used to add the timestamp to the <strong class="pkg">SCSCP</strong> service description.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">CurrentTimestamp();</span>
"Tue 30 Jan 2017 11:19:38 BST"

</pre></div>

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

<h5>9.3-3 Hostname</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Hostname</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: string</p>

<p>Returns the result of the call to <code class="file">hostname</code>. This function may be used in the configuration file <code class="file">scscp/config.g</code> to specify that the default hostname which will be used by the <strong class="pkg">SCSCP</strong> server will be detected automatically using <code class="file">hostname</code>.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">Hostname();</span>
"scscp.gap-system.org"

</pre></div>

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

<h5>9.3-4 MemoryUsageByGAPinKbytes</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ MemoryUsageByGAPinKbytes</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: integer</p>

<p>Returns the current volume of the memory used by <strong class="pkg">GAP</strong> in kylobytes. This is equivalent to calling <code class="file">ps -p <PID> -o vsz</code>, where <code class="code"><PID></code> is the process ID of the <strong class="pkg">GAP</strong> process. This is an internal function of the package which is used by the <strong class="pkg">SCSCP</strong> server to report its memory usage in the <code class="code">info_memory</code> attribute when being called with the option <code class="code">debuglevel=2</code> (see options in <code class="func">EvaluateBySCSCP</code> (<a href="chap6_mj.html#X7C745B2878E0AC41"><span class="RefLink">6.3-1</span></a>) and <code class="func">NewProcess</code> (<a href="chap6_mj.html#X8712E82B811A4170"><span class="RefLink">6.2-2</span></a>)).</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">MemoryUsageByGAPinKbytes();</span>
649848

</pre></div>

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

<h5>9.3-5 LastReceivedCallID</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ LastReceivedCallID</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: string</p>

<p>Returns the call ID contained in the most recently received message. It may contain some useful debugging information; in particular, the call ID for the <strong class="pkg">GAP</strong> <strong class="pkg">SCSCP</strong> client and server contains colon-separated server name, port number, process ID and a random string.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">LastReceivedCallID();</span>
"scscp.gap-system.org:26133:77372:choDZBgA"

</pre></div>

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

<h5>9.3-6 IO_PickleToString</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IO_PickleToString</code>( <var class="Arg">obj</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: string containing "pickled" object</p>

<p>This function "pickles" or "serialises" the object <var class="Arg">obj</var> using the operation <code class="func">IO_Pickle</code> (<a href="../../../pkg/io/doc/chap5_mj.html#X7E01770481297DF1"><span class="RefLink">IO: IO_Pickle</span></a>) from the <strong class="pkg">IO</strong> package, and writes it to a string, from which it could be later restored using <code class="func">IO_UnpickleFromString</code> (<a href="chap9_mj.html#X813EACD27C218E19"><span class="RefLink">9.3-7</span></a>). This provides a way to design <strong class="pkg">SCSCP</strong> procedures which transmit <strong class="pkg">GAP</strong> objects in the "pickled" format as <strong class="pkg">OpenMath</strong> strings, which may be useful for objects which may be "pickled" by the <strong class="pkg">IO</strong> package but can not be converted to <strong class="pkg">OpenMath</strong> or for which the "pickled" representation is more compact or can be encoded/decoded much faster.</p>

<p>See <code class="func">IO_Pickle</code> (<a href="../../../pkg/io/doc/chap5_mj.html#X7E01770481297DF1"><span class="RefLink">IO: IO_Pickle</span></a>) and <code class="func">IO_Unpickle</code> (<a href="../../../pkg/io/doc/chap5_mj.html#X8228EE63809A6DEF"><span class="RefLink">IO: IO_Unpickle</span></a>) for more details.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">f := IO_PickleToString( GF( 125 ) );</span>
"FFIEINTG\>15INTG\>13FAIL"

</pre></div>

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

<h5>9.3-7 IO_UnpickleFromString</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IO_UnpickleFromString</code>( <var class="Arg">s</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: "unpickled" GAP object</p>

<p>This function "unpickles" the string <var class="Arg">s</var> which was created using the function <code class="func">IO_PickleToString</code> (<a href="chap9_mj.html#X84F055ED860120D5"><span class="RefLink">9.3-6</span></a>), using the operation <code class="func">IO_Unpickle</code> (<a href="../../../pkg/io/doc/chap5_mj.html#X8228EE63809A6DEF"><span class="RefLink">IO: IO_Unpickle</span></a>) from the <strong class="pkg">IO</strong> package. See <code class="func">IO_PickleToString</code> (<a href="chap9_mj.html#X84F055ED860120D5"><span class="RefLink">9.3-6</span></a>) for more details and suggestions about its usage.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">IO_UnpickleFromString( f );                    </span>
GF(5^3)
<span class="GAPprompt">gap></span> <span class="GAPinput">f = IO_UnpickleFromString( IO_PickleToString( f ) ); </span>
true

</pre></div>


<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap8_mj.html">[Previous Chapter]</a>    <a href="chapBib_mj.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chap7_mj.html">7</a>  <a href="chap8_mj.html">8</a>  <a href="chap9_mj.html">9</a>  <a href="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>

93%


¤ Dauer der Verarbeitung: 0.10 Sekunden  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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 ist noch experimentell.