<?xml version ="1.0" encoding ="UTF-8" ?>
<!--
ModuleElements.xml ModuleElements package documentation
Copyright (C) 2007-2009, Mohamed Barakat, RWTH-Aachen
-->
<Chapter Label="ModuleElements" >
<Heading>Module Elements</Heading>
<#Include Label="ModuleElements:intro" >
<Section Label="ModuleElements:Category" >
<Heading>Module Elements: Category and Representations</Heading>
<#Include Label="IsHomalgModuleElement" >
<#Include Label="IsElementOfAModuleGivenByAMorphismRep" >
</Section>
<Section Label="ModuleElements:Constructors" >
<Heading>Module Elements: Constructors</Heading>
</Section>
<Section Label="ModuleElements:Properties" >
<Heading>Module Elements: Properties</Heading>
<#Include Label="IsElementOfIntegers" >
</Section>
<Section Label="ModuleElements:Attributes" >
<Heading>Module Elements: Attributes</Heading>
<!-- the following attributes are intrinsic in the sense that
they can safely be attached to any copy of the module -->
</Section>
<Section Label="ModuleElements:Operations" >
<Heading>Module Elements: Operations and Functions</Heading>
<#Include Label="HomalgRing:module_element" >
</Section>
<!-- ############################################################ -->
</Chapter>
quality 100%
¤ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland