Revision 3a654fb6556f8b24081daeae9249680d8ff68214 authored by Sebastian Gutsche on 06 October 2016, 15:26:25 UTC, committed by Sebastian Gutsche on 06 October 2016, 15:26:25 UTC
1 parent 8ba25ff
HomalgModuleElement.gd
#############################################################################
##
## HomalgModuleElement.gd Modules package
##
## Copyright 2011 Mohamed Barakat, University of Kaiserslautern
##
## Declarations for module elements.
##
#############################################################################
# a new GAP-category:
## <#GAPDoc Label="IsHomalgModuleElement">
## <ManSection>
## <Filt Type="Category" Arg="M" Name="IsHomalgElement"/>
## <Returns><C>true</C> or <C>false</C></Returns>
## <Description>
## The &GAP; category of module elements.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareCategory( "IsHomalgModuleElement",
IsHomalgElement );
####################################
#
# properties:
#
####################################
## <#GAPDoc Label="IsElementOfIntegers">
## <ManSection>
## <Prop Arg="m" Name="IsElementOfIntegers"/>
## <Returns><C>true</C> or <C>false</C></Returns>
## <Description>
## Check if the <A>m</A> is an element of the integers viewed as a module over itself.
## <#Include Label="IsElementOfIntegers:example">
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareProperty( "IsElementOfIntegers",
IsHomalgModuleElement );
####################################
#
# attributes:
#
####################################
####################################
#
# global functions and operations:
#
####################################
# global functions
# constructors:
DeclareOperation( "HomalgModuleElement",
[ IsHomalgMatrix, IsHomalgModule ] );
DeclareOperation( "HomalgModuleElement",
[ IsList, IsHomalgModule ] );
DeclareOperation( "HomalgModuleElement",
[ IsList, IsInt, IsInt, IsHomalgModule ] );
DeclareOperation( "LessThan",
[ IsHomalgModuleElement, IsHomalgModuleElement ] );
DeclareOperation( "LessThanOrEqual",
[ IsHomalgModuleElement, IsHomalgModuleElement ] );
DeclareOperation( "GreaterThan",
[ IsHomalgModuleElement, IsHomalgModuleElement ] );
DeclareOperation( "GreaterThanOrEqual",
[ IsHomalgModuleElement, IsHomalgModuleElement ] );
DeclareOperation( "HomalgElementToInteger",
[ IsHomalgModuleElement ] );
DeclareOperation( "HomalgElementToInteger",
[ IsInt ] );
DeclareOperation( "*",
[ IsRingElement, IsHomalgModuleElement ] );
DeclareOperation( "*",
[ IsHomalgModuleElement, IsRingElement ] );
# basic operations:
DeclareOperation( "HomalgRing",
[ IsHomalgModuleElement ] );
DeclareOperation( "UnderlyingListOfRingElements",
[ IsHomalgModuleElement ] );
DeclareOperation( "UnderlyingListOfRingElementsInCurrentPresentation",
[ IsHomalgModuleElement ] );
Computing file changes ...