1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<!-- %% -->
<!-- %A module.msk GAP documentation Thomas Breuer -->
<!-- %% -->
<!-- %A @(#)<M>Id: module.msk,v 1.12 2002/04/15 10:02:30 sal Exp </M> -->
<!-- %% -->
<!-- %Y (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland -->
<!-- %Y Copyright (C) 2002 The GAP Group -->
<!-- %% -->
<Chapter Label="Modules">
<Heading>Modules</Heading>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Generating modules">
<Heading>Generating modules</Heading>
<#Include Label="IsLeftOperatorAdditiveGroup">
<#Include Label="IsLeftModule">
<#Include Label="GeneratorsOfLeftOperatorAdditiveGroup">
<#Include Label="GeneratorsOfLeftModule">
<#Include Label="AsLeftModule">
<#Include Label="IsRightOperatorAdditiveGroup">
<#Include Label="IsRightModule">
<#Include Label="GeneratorsOfRightOperatorAdditiveGroup">
<#Include Label="GeneratorsOfRightModule">
<#Include Label="LeftModuleByGenerators">
<#Include Label="LeftActingDomain">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Submodules">
<Heading>Submodules</Heading>
<#Include Label="Submodule">
<#Include Label="SubmoduleNC">
<#Include Label="ClosureLeftModule">
<#Include Label="TrivialSubmodule">
</Section>
<!-- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -->
<Section Label="Free Modules">
<Heading>Free Modules</Heading>
<#Include Label="IsFreeLeftModule">
<#Include Label="FreeLeftModule">
<#Include Label="Dimension">
<#Include Label="IsFiniteDimensional">
<#Include Label="UseBasis">
<#Include Label="IsRowModule">
<#Include Label="IsMatrixModule">
<#Include Label="IsFullRowModule">
<#Include Label="FullRowModule">
<#Include Label="IsFullMatrixModule">
<#Include Label="FullMatrixModule">
</Section>
</Chapter>
|
