Quelle pkghomalg.gi Sprache: Shell

################################################################################
##
## simpcomp / pkghomalg.gi
##
## Loaded when package `homalg' is available
##
## $Id$
##
################################################################################
################################################################################
##<#GAPDoc Label="SCHomalgBoundaryMatrices">
## <ManSection>
## <Meth Name="SCHomalgBoundaryMatrices" Arg="complex,modulus"/>
## <Returns>a list of <Package>homalg</Package> objects upon success,
## <K>fail</K> otherwise.</Returns>
## <Description>
## This function computes the boundary operator matrices for the simplicial
## complex <Arg>complex</Arg> with a ring of coefficients as specified by
## <Arg>modulus</Arg>: a value of <C>0</C> yields <M>\mathbb{Q}</M>-matrices,
## a value of <C>1</C> yields <M>\mathbb{Z}</M>-matrices and a value of
## <C>q</C>, q a prime or a prime power, computes the
## <M>\mathbb{F}_q</M>-matrices.
## <Example><![CDATA[
## gap> SCLib.SearchByName("CP^2 (VT)");
## [ [ 16, "CP^2 (VT)" ] ]
## gap> c:=SCLib.Load(last[1][1]);;
## gap> SCHomalgBoundaryMatrices(c,0);
## [ <A 36 x 9 matrix over an internal ring>,
## <A 84 x 36 matrix over an internal ring>,
## <A 90 x 84 matrix over an internal ring>,
## <A 36 x 90 matrix over an internal ring>,
## <An unevaluated 0 x 36 zero matrix over an internal ring> ]
## ]]></Example>
## </Description>
## </ManSection>
##<#/GAPDoc>
################################################################################
################################################################################
##<#GAPDoc Label="SCHomalgCoboundaryMatrices">
## <ManSection>
## <Meth Name="SCHomalgCoboundaryMatrices" Arg="complex,modulus"/>
## <Returns>a list of <Package>homalg</Package> objects upon success,
## <K>fail</K> otherwise.</Returns>
## <Description>
## This function computes the coboundary operator matrices for the simplicial
## complex <Arg>complex</Arg> with a ring of coefficients as specified by
## <Arg>modulus</Arg>: a value of <C>0</C> yields <M>\mathbb{Q}</M>-matrices,
## a value of <C>1</C> yields <M>\mathbb{Z}</M>-matrices and a value of
## <C>q</C>, q a prime or a prime power, computes the
## <M>\mathbb{F}_q</M>-matrices.
## <Example><![CDATA[
## gap> SCLib.SearchByName("CP^2 (VT)");
## [ [ 16, "CP^2 (VT)" ] ]
## gap> c:=SCLib.Load(last[1][1]);;
## gap> SCHomalgCoboundaryMatrices(c,0);
## [ <A 9 x 36 matrix over an internal ring>,
## <A 36 x 84 matrix over an internal ring>,
## <A 84 x 90 matrix over an internal ring>,
## <A 90 x 36 matrix over an internal ring>,
## <An unevaluated 36 x 0 zero matrix over an internal ring> ]
## ]]></Example>
## </Description>
## </ManSection>
##<#/GAPDoc>
################################################################################
################################################################################
##<#GAPDoc Label="SCHomalgHomology">
## <ManSection>
## <Meth Name="SCHomalgHomology" Arg="complex,modulus"/>
## <Returns>a list of integers upon success, <K>fail</K> otherwise.</Returns>
## <Description>
## This function computes the ranks of the homology groups of
## <Arg>complex</Arg> with a ring of coefficients as specified by
## <Arg>modulus</Arg>: a value of <C>0</C> computes the
## <M>\mathbb{Q}</M>-homology, a value of <C>1</C> computes the
## <M>\mathbb{Z}</M>-homology and a value of <C>q</C>, q a prime or a
## prime power, computes the <M>\mathbb{F}_q</M>-homology ranks.
## Note that if you are interested not only in the ranks of the homology
## groups, but rather their full structure, have a look at the function
## <Ref Meth="SCHomalgHomologyBasis" />.
## <Example><![CDATA[
## gap> SCLib.SearchByName("K3");
## [ [ 520, "K3_16" ], [ 539, "K3_17" ] ]
## gap> c:=SCLib.Load(last[1][1]);;
## gap> SCHomalgHomology(c,0);
## #I SCHomalgHomologyOp: Q-homology ranks: [ 1, 0, 22, 0, 1 ]
## [ 1, 0, 22, 0, 1 ]
## ]]></Example>
## </Description>
## </ManSection>
##<#/GAPDoc>
################################################################################
################################################################################
##<#GAPDoc Label="SCHomalgHomologyBasis">
## <ManSection>
## <Meth Name="SCHomalgHomologyBasis" Arg="complex,modulus"/>
## <Returns>a <Package>homalg</Package> object upon success, <K>fail</K>
## otherwise.</Returns>
## <Description>
## This function computes the homology groups (including explicit bases of
## the modules involved) of <Arg>complex</Arg> with a ring of coefficients
## as specified by <Arg>modulus</Arg>: a value of <C>0</C> computes the
## <M>\mathbb{Q}</M>-homology, a value of <C>1</C> computes the
## <M>\mathbb{Z}</M>-homology and a value of <C>q</C>, q a prime or a prime
## power, computes the <M>\mathbb{F}_q</M>-homology groups.
## The <M>k</M>-th homology group <C>hk</C> can be obtained by calling
## <C>hk:=CertainObject(homology,k);</C>, where <C>homology</C> is the
## <Package>homalg</Package> object returned by this function. The
## generators of <C>hk</C> can then be obtained via
## <C>GeneratorsOfModule(hk);</C>.
## Note that if you are only interested in the ranks of the homology groups,
## then it is better to use the funtion <Ref Meth="SCHomalgHomology" />
## which is way faster.
## <Example><![CDATA[
## gap> SCLib.SearchByName("K3");
## [ [ 520, "K3_16" ], [ 539, "K3_17" ] ]
## gap> c:=SCLib.Load(last[1][1]);;
## gap> SCHomalgHomologyBasis(c,0);
## #I SCHomalgHomologyBasisOp: constructed Q-homology groups.
## <A graded homology object consisting of 5 left vector spaces at degrees
## [ 0 .. 4 ]>
## ]]></Example>
## </Description>
## </ManSection>
##<#/GAPDoc>
################################################################################
################################################################################
##<#GAPDoc Label="SCHomalgCohomology">
## <ManSection>
## <Meth Name="SCHomalgCohomology" Arg="complex,modulus"/>
## <Returns>a list of integers upon success, <K>fail</K> otherwise.</Returns>
## <Description>
## This function computes the ranks of the cohomology groups of
## <Arg>complex</Arg> with a ring of coefficients as specified by
## <Arg>modulus</Arg>: a value of <C>0</C> computes the
## <M>\mathbb{Q}</M>-cohomology, a value of <C>1</C> computes the
## <M>\mathbb{Z}</M>-cohomology and a value of <C>q</C>, q a prime or a
## prime power, computes the <M>\mathbb{F}_q</M>-cohomology ranks.
## Note that if you are interested not only in the ranks of the cohomology
## groups, but rather their full structure, have a look at the function
## <Ref Meth="SCHomalgCohomologyBasis" />.
## <Example><![CDATA[
## gap> SCLib.SearchByName("K3");
## [ [ 520, "K3_16" ], [ 539, "K3_17" ] ]
## gap> c:=SCLib.Load(last[1][1]);;
## gap> SCHomalgCohomology(c,0);
## #I SCHomalgCohomologyOp: Q-cohomology ranks: [ 1, 0, 22, 0, 1 ]
## [ 1, 0, 22, 0, 1 ]
## ]]></Example>
## </Description>
## </ManSection>
##<#/GAPDoc>
################################################################################
################################################################################
##<#GAPDoc Label="SCHomalgCohomologyBasis">
## <ManSection>
## <Meth Name="SCHomalgCohomologyBasis" Arg="complex,modulus"/>
## <Returns>a <Package>homalg</Package> object upon success, <K>fail</K>
## otherwise.</Returns>
## <Description>
## This function computes the cohomology groups (including explicit bases of
## the modules involved) of <Arg>complex</Arg> with a ring of coefficients as
## specified by <Arg>modulus</Arg>: a value of <C>0</C> computes the
## <M>\mathbb{Q}</M>-cohomology, a value of <C>1</C> computes the
## <M>\mathbb{Z}</M>-cohomology and a value of <C>q</C>, q a prime or a prime
## power, computes the <M>\mathbb{F}_q</M>-homology groups.
## The <M>k</M>-th cohomology group <C>ck</C> can be obtained by calling
## <C>ck:=CertainObject(cohomology,k);</C>, where <C>cohomology</C> is the
## <Package>homalg</Package> object returned by this function. The
## generators of <C>ck</C> can then be obtained via
## <C>GeneratorsOfModule(ck);</C>.
## Note that if you are only interested in the ranks of the cohomology groups,
## then it is better to use the funtion <Ref Meth="SCHomalgCohomology" />
## which is way faster.
## <Example><![CDATA[
## gap> SCLib.SearchByName("K3");
## [ [ 520, "K3_16" ], [ 539, "K3_17" ] ]
## gap> c:=SCLib.Load(last[1][1]);;
## gap> SCHomalgCohomologyBasis(c,0);
## #I SCHomalgCohomologyBasisOp: constructed Q-cohomology groups.
## <A graded cohomology object consisting of 5 left vector spaces at degrees
## [ 1 .. 5 ]>
## ]]></Example>
## </Description>
## </ManSection>
##<#/GAPDoc>
################################################################################

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-11-04) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.