% This file was created automatically from posetops.msk. % DO NOT EDIT! \Chapter{Graphic Posets} This chapter describes the part of {\XGAP} that allows the user to conveniently display posets graphically. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \Section{Introduction} A poset is just a partially ordered set. To display posets reasonably in a generic way we need additional structure. So for {\XGAP} a poset comes in so called levels. At all times in the life of a graphic poset there are only finitely many levels and they are totally ordered, that is for two levels we can always say, which one is ``higher''. The position within the graphic sheet reflects this ordering. The levels are parametrized by ``level parameters'', which can be any {\GAP} object but must be unique within a graphic poset. A level is always accessed by its level parameter and *not* by its number! The vertices in each level are grouped into classes. For example for graphic subgroup lattices vertices in the same class correspond to conjugate subgroups, vertices in the same level have the same size or index in the whole group. The classes within each level are parametrized by ``class parameters'', which can be any {\GAP} object but must be unique within a level. A class within a level is always accessed by its class parameter and *not* by its number! The user must supply a *partial order* for all of his levels. The mechanism to achieve this is the operation `CompareLevels', which compares two level parameters. The current *total order* of the levels is always a refinement of the partial order. The user can permute levels, if that does not contradict the partial order defined by `CompareLevels'. A vertex in the poset that is ``contained in'' another vertex in the poset order (we speak of ``inclusion'' like in the case of subgroup lattices) must always be in a level that is lower on the screen, because there is only a connecting line representing the inclusion. This is achieved by the fact, that inclusions of vertices are communicated to {\XGAP} just by creating an ``edge'' between them. This means, that the vertex in the ``lower'' level lies in the vertex in the ``higher'' level. There must not be edges between vertices in the same level! The terminology ``vertices'' and ``edges'' comes from the fact, that a graphic poset is just a special case of a graphic graph, where vertices can be placed anywhere in the sheet and edges have nothing to do with inclusion. It is planned that also a graphic graph library is implemented in {\XGAP} but it is not yet operational. However everything which could be done not only for posets but at the same time for graphs is implemented already within the poset package. This explains the usage of ``graph'' in many places where you would otherwise expect ``poset''. What you have to do to use the graphic poset package is create a graphic poset (a special instance of a graphic sheet), create some levels and perhaps classes within them. Then you can create vertices and edges, to encode the ordering. Everything else is done by the library. See the next section for details about the available operations. Note that we chose a functional approach for certain decision procedures. This means that for example if you create a vertex and do not specify a position, an operation (`ChoosePosition') is called to determine the actual position. You can use the generic routines or install your own methods for all of those decisions. In this case you just set a new filter for your posets and overload the generic methods by special routines for objects with your new filter set. You can see this approach in the example in "An Example". %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \Section{Operations} *Constructors:* \medskip% \>GraphicPoset( <name>, <width>, <height> ) O creates a new graphic poset which is a specialization of a graphic graph mainly because per definition a poset comes in ``levels'' or ``layers''. This leads to some algorithms that are more efficient than the general ones for graphs. \>CreateLevel( <poset>, <levelparam> ) O \>CreateLevel( <poset>, <levelparam>, <lptext> ) O A level in a graphic poset can be thought of as a horizontal slice of the poset. It has a y coordinate of the top of the level relatively to the graphic sheet and a height. Every class of vertices in a graphic poset is in a level. The levels are totally ordered by their y coordinate. No two vertices which are included in each other are in the same level. A vertex containing another one is always ``higher'' on the screen, meaning in a ``higher'' level. Every level has a unique level parameter, which can be any {\GAP} object. The user is responsible for all methods where a level parameter occurs as parameter and is not just an integer. There is NO {\GAP} object representing a level which is visible for the user of posets. All communication about levels goes via the level parameter. `CreateLevel' creates a new level with level parameter <levelparam> in the graphic poset <poset>. It returns `fail' if there is already a level with a level parameter which is considered ``equal'' to <levelparam> by `CompareLevels' or <levelparam> if everything went well. The second method allows to specify which text appears for the level at the right edge of the sheet. \>CreateClass( <poset>, <levelparam>, <classparam> ) O A class in a graphic poset is a collection of vertices within a level which belong together in some sense. Every vertex in a graphic poset is in a class, which in turn belongs to a level. Every class in a level has a unique class parameter, which can be any {\GAP} object. The user is responsible for all methods where a class parameter occurs as parameter and is not just an integer. There is NO {\GAP} object representing a class which is visible to the user of posets. All communication about classes goes via the class parameter. `CreateClass' creates a new class in the level with level parameter <levelparam> in the graphic poset <poset>. It returns `fail' if there is no level with level parameter <levelparam> or there is already a class in this level with class parameter <classparam>. `CreateClass' returns <classparam> otherwise. \>`Vertex( <graph>, <data>[, <inf>] )'{Vertex![poset]}@{`Vertex'!`[poset]'} O Creates a new vertex. <inf> is a record in which additional info can be supplied for the new vertex. For general graphic graphs only the `label', `color', `shape', `x' and `y' components are applicable, they contain a short label which will be attached to the vertex, the color, the shape (`circle', `diamond', or `rectangle') and the coordinates relative to the graphic sheet respectively. For graphic posets also the components `levelparam' and `classparam' are evaluated. If the component `hints' is bound in <inf> it must be a list of x coordinates which will be delivered to `ChoosePosition' to help placement. Those x coordinates will be the coordinates of other vertices related to the new one. All values of record components which are not specified will be determined by calling some methods for graphic graphs or posets. Those are: `ChooseLabel' for the label, `ChooseColor' for the color, `ChooseShape' for the shape, `ChoosePosition' for the position, `ChooseLevel' for the level parameter, `ChooseClass' for the class parameter, and `ChooseWidth' for the line width of the vertex. `Vertex' returns `fail' if no vertex was created. This happens only, if one of the choose functions return `fail' or no possible value, for example a non-existing level or class parameter. `Vertex' returns a vertex object if everything went well. \>Edge( <graph>, <vertex1>, <vertex2> ) O \>Edge( <graph>, <vertex1>, <vertex2>, <defaults> ) O Adds a new edge from <vertex1> to <vertex2>. For posets this puts one of the vertices into the other as a maximal subvertex. So either <vertex1> must lie in a ``higher'' level than <vertex2> or the other way round. There must be no vertex ``between'' <vertex1> and <vertex2>. If the two vertices are in the same level or one is already indirectly included in the other `fail' is returned, otherwise `true'. That means, that in the case where one of the two vertices is already a maximal subobject of the other, then the method does nothing and returns `true'. The variation with a <defaults> record just hands this over to the lower levels, meaning that the line width and color are modified. *Destructors:* \medskip% \>Delete( <poset>, <vertex1>, <vertex2> )!{for edge in poset} \>Delete( <poset>, <vertex1>)!{for vertex in poset} \>Delete( <poset>, <levelparam>, <classparam> )!{for class in poset} These three variants of the `Delete' operation delete an edge, a vertex and a class respectively. \>DeleteLevel( <poset>, <levelparam> ) O The following method applies to a level. It returns `fail' if no level with level parameter <levelparam> is in the poset. Otherwise the level is deleted and all classes within it are also deleted! `DeleteLevel' returns `true' if the level is successfully deleted. \medskip% *Operations to change a poset:* \medskip% \>ResizeLevel( <poset>, <levelparam>, <height> ) O Changes the height of a level. The y coordinate can only be changed by permuting levels, see below. Attention: This can increase the size of the sheet! Returns `fail' if no level with level parameter <levelparam> exists and `true' otherwise. \>MoveLevel( <poset>, <levelparam>, <position> ) O Moves a level to another position. <position> is an absolute index in the list of levels. The level with level parameter <levelparam> will be at the position <position> after the operation. This is only allowed if the new ordering is compatible with the partial order given by `CompareLevels' and if there is no connection of a vertex in the moving level with another level with which it is interchanged. So <levelparam> is compared with all level parameters between the old and the new position. If there is a contradiction, nothing happens and the method returns `fail'. If everything works the operation returns `true'. \>`Relabel( <graph>, <vertex>, <label> )'{Relabel![poset]}@{`Relabel'!`[poset]'} O \>`Relabel( <graph>, <vertex> )'{Relabel![poset]}@{`Relabel'!`[poset]'} O \>`Relabel( <poset>, <vertex1>, <vertex2>, <label> )'{Relabel![poset]}@{`Relabel'!`[poset]'} O \>`Relabel( <poset>, <vertex1>, <vertex2> )'{Relabel![poset]}@{`Relabel'!`[poset]'} O Changes the label of the vertex <vertex> or the edge between <vertex1> and <vertex2>. This must be a short string. In the method where no label is specified the new label is chosen functionally: the operation `ChooseLabel' is called. Returns `fail' if an error occurs and `true' otherwise. This operation already exists in {\XGAP} for graphic objects. \>`Move( <graph>, <vertex>, <x>, <y> )'{Move![poset]}@{`Move'!`[poset]'} O \>`Move( <graph>, <vertex> )'{Move![poset]}@{`Move'!`[poset]'} O Moves vertex <vertex>. For posets coordinates are relative to the level of the vertex. <vertex> must be a vertex object in <graph>. If no coordinates are specified the operation `ChoosePosition' is called. `Move' returns `fail' if an error occurs and `true' otherwise. This operation already exists in {\XGAP} for graphic objects. \>`Reshape( <graph>, <vertex> )'{Reshape![poset]}@{`Reshape'!`[poset]'} O \>`Reshape( <graph>, <vertex>, <shape> )'{Reshape![poset]}@{`Reshape'!`[poset]'} O Changes the shape of the vertex <vertex>. <vertex> must be a vertex object in the graph or poset <graph>. For the method where no shape is specified the new shape is chosen functionally: `ChooseShape' is called for the corresponding data. `Reshape' returns `fail' if an error occurs and `true' otherwise. This operation already exists in {\XGAP} for graphic objects. \>`Recolor( <graph>, <vertex> )'{Recolor![poset]}@{`Recolor'!`[poset]'} O \>`Recolor( <graph>, <vertex>, <color> )'{Recolor![poset]}@{`Recolor'!`[poset]'} O \>`Recolor( <poset>, <vertex1>, <vertex2>, <color> )'{Recolor![poset]}@{`Recolor'!`[poset]'} O \>`Recolor( <poset>, <vertex1>, <vertex2> )'{Recolor![poset]}@{`Recolor'!`[poset]'} O Changes the color of the vertex <vertex> or the edge between <vertex1> and <vertex2>. <vertex> must be a vertex object in <graph>. For the method where no color is specified the new color is chosen functionally: `ChooseColor' is called for the corresponding data. `Recolor' returns `fail' if an error occurs and `true' otherwise. This operation already exists in {\XGAP} for graphic objects. \>`SetWidth( <graph>, <vertex1>, <vertex2>, <width> )'{SetWidth![poset]}@{`SetWidth'!`[poset]'} O \>`SetWidth( <graph>, <vertex1>, <vertex2> )'{SetWidth![poset]}@{`SetWidth'!`[poset]'} O Changes the line width of an edge. <vertex1> and <vertex2> must be vertices in the graph <graph>. For the method where no line width is specified the width is chosen functionally: `ChooseWidth' is called for the corresponding data pair. Returns `fail' if an error occurs and `true' otherwise. This operation already exists in {\XGAP} for graphic objects. \>`Highlight( <graph>, <vertex> )'{Highlight![poset]}@{`Highlight'!`[poset]'} O \>`Highlight( <graph>, <vertex>, <flag> )'{Highlight![poset]}@{`Highlight'!`[poset]'} O Changes the highlighting status of the vertex <vertex>. <vertex> must be a vertex object in <graph>. For the method where no flag is specified the new status is chosen functionally: `ChooseHighlight' is called for the corresponding data. Returns `fail' if an error occurs and `true' otherwise. This operation already exists in {\XGAP} for graphic objects. \>Select( <graph>, <vertex>, <flag> ) O \>Select( <graph>, <vertex> ) O Changes the selection state of the vertex <vertex>. <vertex> must be a vertex object in <graph>. The flag determines whether the vertex should be selected or deselected. This operation already exists in {\XGAP} for graphic objects. The method without flags assumes `true'. \>DeselectAll( <graph> ) O Deselects all vertices in the graph or poset <graph>. \>Selected( <graph> ) O Returns a (shallow-)copy of the set of all selected vertices. \medskip% *Operations for decisions:* \medskip% \>ChooseLabel( <graph>, <data> ) O \>ChooseLabel( <graph>, <data>, <data> ) O This operation is called during vertex or edge creation, if the caller didn't specify a label for the vertex or edge. It has to return a short string which will be attached to the vertex. If it returns `fail' the new vertex is not generated! The generic method just returns the empty string, so no label is generated. This method is also called in the `Relabel' method without label parameter. \>ChooseLevel( <poset>, <data> ) O This operation is called during vertex creation, if the caller didn't specify a level to which the vertex belongs. It has to return a level parameter which exists in the poset. If it returns `fail' the new vertex is not generated! \>ChooseClass( <poset>, <data>, <levelparam> ) O This operation is called during vertex creation, if the caller didn't specify a class to which the vertex belongs. It has to return a class parameter which exists in the poset in the level with parameter <levelparam>. If it returns `fail' the new vertex is not generated! \>ChooseColor( <graph>, <data> ) O \>ChooseColor( <graph>, <data1>, <data2> ) O This operation is called during vertex or edge creation. It has to return a color. If it returns `fail' the new vertex is not generated! It is also called in the `Recolor' method without color parameter. \>ChooseHighlight( <graph>, <data> ) O This operation is called during vertex creation. It has to return a flag which indicates, whether the vertex is highlighted or not. If it returns `fail' the new vertex is not generated! It is also called in the `Highlight' method without flag parameter. \>ChoosePosition( <poset>, <data>, <levelparam>, <classparam>, <hints> ) O \>ChoosePosition( <graph>, <data> ) O This operation is called during vertex creation. It has to return a list with two integers: the coordinates. For posets those are relative to the level the vertex resides in. If it returns `fail' the new vertex is not generated! The parameters <levelparam> and <classparam> are level and class parameters respectively. \>ChooseShape( <graph>, <data> ) O This operation is called during vertex creation. It has to return a string out of the following list: `circle', `diamond', `rectangle'. If it returns `fail' the new vertex is not generated! \>ChooseWidth( <graph>, <data> ) O \>ChooseWidth( <graph>, <data1>, <data2> ) O This operation is called during vertex or edge creation. It has to return a line width. If it returns `fail' the new vertex or edge is not generated! This is also called by the `SetWidth' operation without width parameter. \>CompareLevels( <poset>, <levelparam1>, <levelparam2> ) O Compare two level parameters. -1 means that the level with parameter <levelparam1> is ``higher'', 1 means that the one with parameter <levelparam2> is ``higher'', 0 means that they are equal. `fail' means that they are not comparable. \medskip% *Operations to get information:* \medskip% \>WhichLevel( <poset>, <y> ) O Determines the level in which position <y> is. `WhichLevel' returns the level parameter or `fail'. \>WhichClass( <poset>, <x>, <y> ) O Determines a class with a vertex which contains the position $(<x>,<y>)$. The first class found is taken. `WhichClass' returns a list with the level parameter as first and the class parameter as second element. `WhichClass' returns `fail' if no such class is found. \>WhichVertex( <graph>, <x>, <y> ) O \>WhichVertex( <graph>, <data> ) O \>WhichVertex( <graph>, <data>, <func> ) O Determines a vertex which contains the position $(<x>,<y>)$. `WhichVertex' returns a vertex. In the third form the function <func> must take two parameters <data> and the data entry of a vertex in question. It must return `true' or `false', according to the right vertex being found or not. The function can for example consider just one record component of data records. `WhichVertex' returns `fail' in case no vertex is found. \>WhichVertices( <graph>, <x>, <y> ) O \>WhichVertices( <graph>, <data> ) O \>WhichVertices( <graph>, <data>, <func> ) O Determines the list of vertices which contain the position $(<x>,<y>)$. `WhichVertices' returns a list. In the third form the function <func> must take two parameters <data> and the data entry of a vertex in question. It must return `true' or `false', according to the vertex belonging into the result or not. The function can for example consider just one record component of data records. Returns the empty list in case no vertex is found. \>Levels( <poset> ) O Returns the list of level parameters in descending order meaning highest to lowest. \>Classes( <poset>, <levelparam> ) O Returns the list of class parameters in the level with parameter <levelparam>. `Classes' Returns `fail' if no level with parameter <levelparam> exists. \>Vertices( <poset>, <levelparam>, <classparam> ) O Returns the list of vertices in the class with parameter <classparam> in the level with parameter <levelparam>. Returns `fail' if no level with parameter <levelparam> or no class with parameter <classparam> exists in the level. \>Maximals( <poset>, <vertex> ) O Returns the list of maximal subvertices in <vertex>. \>MaximalIn( <poset>, <vertex> ) O Returns the list of vertices, in which <vertex> is maximal. \>PositionLevel( <poset>, <levelparam> ) O Returns the y position of the level relative to the graphic sheet and the height. Returns `fail' if no level with parameter <levelparam> exists. \medskip% *Operations for user communication:* \medskip% \>`Menu( <graph>, <title>, <entrylist>, <typelist>, <functionslist> )'{Menu![poset]}@{`Menu'!`[poset]'} O This operation already exists in {\XGAP} for graphic sheets. Builds a new menu with title <title> but with information about the type of the menu entry. This information describes the relation between the selection state of the vertices and the parameters supplied to the functions. It is stored in the list <typelist>, which consists of strings. The following types are supported: \beginitems `forany' & always enabled, generic routines don't change anything `forone' & enabled iff exactly one vertex is selected `fortwo' & enabled iff exactly two vertices are selected `forthree'& enabled iff exactly three vertices are selected `forsubset'&enabled iff at least one vertex is selected `foredge' & enabled iff a connected pair of two vertices is selected `formin2' & enabled iff at least two vertices are selected `formin3' & enabled iff at least three vertices are selected \enditems <entrylist> and <functionslist> are like in the original operation for graphic sheets. The `IsMenu' object is returned. It is also stored in the sheet. \>ModifyEnabled( <graph>, <from>, <to> ) O Modifies the ``Enabledness'' of menu entries according to their type and number of selected vertices. This operation works on all menu entries of some menus: <from> is the first menu to work on and <to> the last one (indices). Only menus with the property `IsAlive' are considered. `ModifyEnabled' returns nothing. \>InstallPopup( <graph>, <func> ) O Installs a function that is called if the user clicks with the right button on a vertex. The function gets as parameters: <poset>,<vertex>,<x>,<y> (click position) \>PosetLeftClick( <poset>, <x>, <y> ) O This operation is called when the user does a left click in the poset <poset>. The current pointer position is supplied in the parameters <x> and <y>. The generic method for `PosetLeftClick' lets the user move, select and deselect vertices or edges. An edge is selected as pair of vertices. \>PosetCtrlLeftClick( <poset>, <x>, <y> ) O This operation is called when the user does a left click in a poset <poset> while holding down the control key. The current pointer position is supplied in the parameters <x> and <y>. The generic method for `PosetCtrlLeftClick' lets the user move, select and deselect vertices or edges. The difference to the operation without the control key is, that while selecting the old vertices are NOT deselected. Moving does not move the whole class but only one vertex. This allows for permuting the vertices within a class. An edge is selected as pair of vertices. \>PosetRightClick( <poset>, <x>, <y> ) O This operation is called when the user does a right click in the graph <graph>. The generic method just finds the vertex under the mouse pointer and calls the `rightclickfunction' of the poset or graph which is a component in the {\GAP} object. Note that the `rightclickfunction' can be called with `fail' if no vertex is hit. \medskip% *Operations for user actions:* \medskip% \>UserDeleteVerticesOp( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Delete vertices'. The generic method actually deletes the selected vertices including all their edges. \>UserDeleteEdgeOp( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Delete edge'. The generic method deletes the edge with no further warning! \>UserMergeClassesOp( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Merge Classes'. The generic method walks through all levels and merges all classes that contain a selected vertex. Afterwards `UserRearrangeClasses' is called. \>UserMagnifyLattice( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Magnify Lattice'. The generic method scales everything by $144/100$ including the sheet, all heights of levels and positions of vertices. \>UserShrinkLattice( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Shrink Lattice'. The generic method scales everything by 100/144 including the sheet, all heights of levels and positions of vertices. \>UserResizeLattice( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Resize Lattice'. The generic method asks the user for an x and a y factor and scales everything including the sheet, all heights of levels and positions of vertices. \>UserResizeSheet( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Resize Sheet'. The generic method asks the user for an x and a y pixel number and changes the width and height of the sheet. No positions of levels and vertices are changed. If the user asks for trouble he gets it! \>UserMoveLattice( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Move Lattice'. The generic method asks the user for a pixel number and changes the position of all vertices horizontally. No positions of levels are changed. \>UserChangeLabels( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Change Labels'. The user is prompted for every selected vertex, which label it should have. \>UserAverageY( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Average Y Positions'. In all levels the average y coordinate is calculated and all vertices are moved to this y position. \>UserAverageX( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Average X Positions'. The average of all x coordinates of the selected vertices is calculated. Then all classes with a selected vertex are moved such that the first selected vertex in this class has the calculated position as x position. \>UserRearrangeClasses( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Rearrange Classes'. All classes with a selected vertex are rearranged: The vertices are lined up neatly one after the other, sorted according to their current x position. \>UserUseBlackWhite( <sheet>, <menu>, <entry> ) O This is called if the user selects `Use Black and White' in the menu. \>PosetShowLevels( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Show Levels' in the menu. Switches the display of the little boxes for level handling on and off. \>PosetShowLevelparams( <sheet>, <menu>, <entry> ) O This operation is called when the user selects `Show Level Parameters' in the menu. Switches the display of the level parameters at the right of the screen on and off. \>DoRedraw( <graph> ) O Redraws all vertices and connections. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \Section{An Example} This section shows how to use the poset package to display posets. The code presented here is actually part of the {\XGAP} library and makes up the link to the C MeatAxe. This is the declaration part: \begintt ############################################################################# ## #W meataxe.gd XGAP library Max Neunhoeffer ## #Y Copyright 1998, Max Neunhoeffer, Aachen, Germany ## ## This file contains declarations for MeatAxe posets ## DeclareFilter("IsMeatAxeLattice"); ############################################################################# ## #O GraphicMeatAxeLattice(<name>, <width>, <height>) . creates graphic poset ## ## creates a new graphic MeatAxe lattice which is a specialization of a ## graphic poset. Those posets have a new filter for method selection. ## DeclareOperation("GraphicMeatAxeLattice",[IsString, IsInt, IsInt]); \endtt The code only declares a new filter and declares a constructor operation for posets that lie in this new filter. The implementation: \begintt ############################################################################# ## #W meataxe.gi XGAP library Max Neunhoeffer ## #Y Copyright 1998, Max Neunhoeffer, Aachen, Germany ## ## This file contains code for MeatAxe posets ## ############################################################################# ## #M GraphicMeatAxeLattice(<name>, <width>, <height>) . creates graphic poset ## ## creates a new graphic MeatAxe lattice which is a specialization of a ## graphic poset. Those posets have a new filter for method selection. ## InstallMethod( GraphicMeatAxeLattice, "for a string, and two integers", true, [ IsString, IsInt, IsInt ], 0, function( name, width, height ) local P; P := GraphicPoset(name,width,height); SetFilterObj(P,IsMeatAxeLattice); return P; end); ############################################################################# ## #M CompareLevels(<poset>,<levelparam1>,<levelparam2>) . . . . . . . . . . . ## . . . . . . . . . . . . . . . . . . . . . . . . compares two levelparams ## ## Compare two level parameters. -1 means that <levelparam1> is "higher", ## 1 means that <levelparam2> is "higher", 0 means that they are equal. ## fail means that they are not comparable. This method is for the case ## if level parameters are integers and lower values mean lower levels ## like in the case of MeatAxe lattices of Michael Ringe. ## InstallMethod( CompareLevels, "for a graphic MeatAxe lattice, and two integers", true, [ IsGraphicPosetRep and IsMeatAxeLattice, IsInt, IsInt ], 0, function( poset, l1, l2 ) if l1 < l2 then return 1; elif l1 > l2 then return -1; else return 0; fi; end); \endtt Besides the new constructor (which only adds a new filter) we only have to supply a new method for comparison of level parameters for such posets. The levels are numbered with integer numbers such that lower numbers are lower in the lattice. There is a C program in the MeatAxe that exports a poset to a {\GAP} program which generates the lattice in a graphic poset sheet. The user can then interactively move around vertices and shrink or magnify levels. He can then export the resulting lattice to an encapsulated postscript file. Note that you need a full installation of the C MeatAxe apart from {\GAP} to use this feature. Another nice little example is in the `examples' subdirectory in the {\XGAP} distribution. It was written by Thomas Breuer (Aachen) to demonstrate the features of {\XGAP}. The user gets a small window with a puzzle and can solve it using the mouse. You can test this example by starting {\XGAP} and `Read'ing the file `pkg/xgap/examples/puzzle.g'. You can do this by using \begintt gap> ReadPkg("xgap","examples/puzzle.g"); gap> p := Puzzle(4,4); \endtt