1discgrp(5gv) Geometry Project Programs discgrp(5gv)
2
6 discrete group file formats
7
9 An ascii file representation of a discrete geometric group.
10
12 This file format applies to a wide variety of groups encountered in
13 topology and geometry. At the beginning of the file is the string DIS‐
14 CGRP, in conformity with other OOGL file formats (see oogl(5)). The
15 remainder of the file is a series of parenthesized expressions.
16 The file format is based on an expandable set of key markers and val‐
18 ues. A typical entry would be
19 (group borromean )
20 where parentheses enclose the expression. The string 'group' is called
21 the key marker. The remaining text contains a value, in this case a
22 character string which is the name of the group. Key markers currently
23 recognized and their values include:
24 group A name for this group.
25 comment An arbitrary comment [maximum length 256 bytes]
26 [must be enclosed in double quotes]
27 attribute One of a several keyword identifiers including:
28 euclidean is a euclidean group
29 hyperbolic is a hyperbolic group
30 spherical is a spherical group
31 transposed the matrices are transposed
32 finite this is a finite group
33 model In the case that 'hyperbolic' is an attribute, and the dimension is
34 three, this keyword sets the model that is
35 expected for reading subsequent isometries, i.e., expects elements of
36 SL(2,C) if the model is upperhalfspace or conformalball and O(3,1,R) if it is
37 projective.
38 projective default
39 upperhalfspace
40 conformalball [not currently implemented]
41 display These values set characteristics of the the display of the discrete
42 group.
43 centercam keeps the camera centered in central dirichlet domain.
44 zcull removes tiles which lie behind the camera.
45 showcam if centercam is set, displays camgeom, if provided (see below).
46 dimn The dimension of the space.
47 ngens Number of generators.
48 gens List of generators.
49 nels Number of group elements.
50 els List of group elements.
51 wafile Word acceptor file (in DEAGL format version 2.2)
52 camgeom An OOGL-format geometry description to represent the observer.
53 geom An OOGL-format geometry description. Will replace the default Dirichlet domain computation.
54 String-matching of key markers and attribute values is case-insensi‐
56 tive.
57 Currently all matrices must be 4x4 real matrices. Hence the only valid
59 dimensions are 2,3, or 4. The typical case is dimension 3 where there
60 are projective models for hyperbolic, euclidean, and spherical geome‐
61 try. Dimension 2 groups should leave the z-coordinate unchanged.
62 Matrices are considered transposed if they are considered to act on
64 column vectors as in: M.v = v'. This is the usual mathematical conven‐
65 tion convention. So, if you use this convention you must mark your
66 matrices as being transposed.
67 Group elements are specified by an optional character string fo