Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > 91213ddcfbe7f54821d42c2d9e091326 > files > 3026

gap-system-packages-4.4.12-5mdv2010.0.i586.rpm

<html><head><title>[xgap] 5.2 GraphicSubgroupLattice, Protocol of Group Theoretic Constructions</title></head>
<body text="#000000" bgcolor="#ffffff">
[<a href = "C005S000.htm">Up</a>] [<a href ="C005S001.htm">Previous</a>] [<a href ="C005S003.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<h1>5.2 GraphicSubgroupLattice, Protocol of Group Theoretic Constructions</h1><p>
<p>
labelloggingfacility
XGAP offers the possibility to write a protocol of the group
theoretic constructions you perform via mouse clicks. This is
convenient because otherwise you have no record of what you did. The
normal <font face="Gill Sans,Helvetica,Arial">GAP</font> command script cannot supply this because the menu
entries you select do not produce useful output there.
<p>
You start the protocol facility by selecting <code>Start logging</code> from the
<code>Subgroups</code> menu. You are prompted for the file name of the protocol with 
a file selector box. After selecting <code>OK</code> in this box, all subsequent
actions are logged in the protocol file. You can switch this feature
off by selecting <code>Stop logging</code> from the <code>Subgroups</code> menu.
<p>
Note that when you select <code>SelectedGroups to GAP</code> from the <code>Subgroups</code> 
menu, the usual <font face="Gill Sans,Helvetica,Arial">GAP</font> logging is also directed to the XGAP log
  file. This is stopped when you select <code>InsertVertices from GAP</code> from 
  the <code>Subgroups</code> menu. The idea of this is that you also see the
  <font face="Gill Sans,Helvetica,Arial">GAP</font> commands you issue within an XGAP session in the XGAP
  protocol file, if you temporarily work with the keyboard instead of
  the mouse. See <a href="C005S009.htm#SSEC21">Start logging</a> and <a href="C005S009.htm#SSEC22">Stop logging</a> for a description
  of the menu entries.
<p>
<p>
[<a href = "C005S000.htm">Up</a>] [<a href ="C005S001.htm">Previous</a>] [<a href ="C005S003.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<P>
<address>xgap manual<br>Mai 2003
</address></body></html>