1mkdotl(1)                        User Commands                       mkdotl(1)
2
3
4

NAME

6       mkdotl - find dotted lines between submodules
7

SYNOPSIS

9       mkdotl [OPTIONS] <Name>
10

DESCRIPTION

12       This program calculates a set of dotted lines between the local submod‐
13       ules.  More precisely, it computes one dotted line for  each  submodule
14       with  head isomorphic to S⊕S, S irreducible.  It can be shown that this
15       set of dotted lines is sufficient to determine the  complete  submodule
16       lattice as described by Benson and Conway.
17
18       Inputs for this program are the incidence matrix calculated by mkinc(1)
19       and the cyclic submodules from mkcycl(1).  Again, the whole calculation
20       takes place in the condensed modules, so there is no need to uncondense
21       the cyclic submodules.
22
23       It is known that all dotted lines have length q+1, where q is the order
24       of  the  splitting  field.   This information is used by the program to
25       determine if a dotted line is complete.
26
27       A list of all dotted lines is written to Name.dot.
28
29       Using the option --nodup eliminates redundant  dotted  lines  from  the
30       output.   If  this option is specified, the program will calculate, for
31       each dotted line, the maximal mountains contained in the  span  of  the
32       dotted line.  If a dotted line has the same set of maximal mountains as
33       an earlier dotted line, it is  considered  as  redundant  and  dropped.
34       Note  that  --nodup increases both memory and CPU time usage.  However,
35       the subsequent step, mkgraph(1), will benefit from a reduction  of  the
36       number of dotted lines.
37

OPTIONS

39       -Q     Quiet, no messages.
40
41       -V     Verbose, more messages.
42
43       -T <MaxTime>
44              Set CPU time limit
45
46       -G     Produce output in GAP format.  This option implies -Q.
47
48       --nodup
49              Eliminate redundant dotted lines.
50

INPUT FILES

52       Name.cfinfo
53              Constituent info file.
54
55       CFName.v
56              Cyclic submodules, generated by mkcycl(1).
57
58       Name.inc
59              Incidence matrix generated by mkinc(1).
60
61       Name.mnt
62              Mountain data from mkinc(1).
63

OUTPUT FILES

65       Name.cfinfo
66              Constituent info file.
67
68       Name.dot
69              Dotted lines.
70

SEE ALSO

72       mkcycl(1), mkgraph(1), mkinc(1)
73
74
75
76MeatAxe                             2.4.24                           mkdotl(1)
Impressum