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