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