_Chapter_Basics.xml

<?xml version="1.0" encoding="UTF-8"?>

<!-- This is an automatically generated file. -->
<Chapter Label="Chapter_Basics">
<Heading>Basics</Heading>

<Section Label="Chapter_Basics_Section_Categories">
<Heading>Categories</Heading>

<ManSection>
  <Filt Arg="arg" Name="IsStructureObjectOrObjectOrMorphism" Label="for IsAttributeStoringRep"/>
 <Returns><C>true</C> or <C>false</C>
</Returns>
 <Description>
This is the super super GAP-category which will
include the GAP-categories IsStructureObjectOrObject and IsHomalgObjectOrMorphism
 </Description>
</ManSection>


<ManSection>
  <Filt Arg="arg" Name="IsStructureObjectOrObject" Label="for IsStructureObjectOrObjectOrMorphism"/>
 <Returns><C>true</C> or <C>false</C>
</Returns>
 <Description>
This is the super GAP-category which will include the GAP-categories
IsHomalgRing, IsHomalgModule, IsHomalgRingOrModule and IsHomalgComplex
 </Description>
</ManSection>


<ManSection>
  <Filt Arg="arg" Name="IsStructureObject" Label="for IsStructureObjectOrObject"/>
 <Returns><C>true</C> or <C>false</C>
</Returns>
 <Description>
This is the super GAP-category which will include the GAP-categories IsHomalgRing
we need this GAP-category to define things like Hom(M,R) as easy as Hom(M,N)
without distinguishing between structure objects (e.g. rings) and objects (e.g. modules)
 </Description>
</ManSection>


<ManSection>
  <Filt Arg="arg" Name="IsStructureObjectMorphism" Label="for IsAttributeStoringRep"/>
 <Returns><C>true</C> or <C>false</C>
</Returns>
 <Description>
This is the super GAP-category which will include the GAP-categories
IsHomalgRingMap, etc.
 </Description>
</ManSection>


<ManSection>
  <Filt Arg="arg" Name="IsHomalgRingOrModule" Label="for IsStructureObjectOrObject"/>
 <Returns><C>true</C> or <C>false</C>
</Returns>
 <Description>
this is the super GAP-category which will include the GAP-categories
IsHomalgRing, IsHomalgModule:
 </Description>
</ManSection>


</Section>


</Chapter>