<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>