Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563665 views
1
<?xml version="1.0" encoding="UTF-8"?>
2
3
<!--
4
5
methods.xml GaussForHomalg package documentation Simon Goertzen
6
7
8
Copyright (C) 2007-2008, Lehrstuhl B für Mathematik, RWTH-Aachen
9
10
This chapter documents the methods and functions of this package.
11
12
-->
13
14
<Chapter Label="methods"><Heading>&GaussForHomalg; methods and
15
functions</Heading>
16
17
<Section><Heading>The Tools</Heading>
18
19
Please note that there are more tool functions you can define,
20
&GaussForHomalg; just provides homalg with a sufficient subset. This
21
varies with the type and complexity of the rings you want to
22
define. On the other hand, <Ref Func="ImportMatrix"/> is a function
23
specifically designed for &GaussForHomalg;.
24
25
<!-- GaussTools.gi -->
26
<#Include Label="ZeroMatrix">
27
<#Include Label="IdentityMatrix">
28
<#Include Label="CopyMatrix">
29
<#Include Label="ImportMatrix">
30
<#Include Label="Involution">
31
<#Include Label="CertainRows">
32
<#Include Label="CertainColumns">
33
<#Include Label="UnionOfRows">
34
<#Include Label="UnionOfColumns">
35
<#Include Label="DiagMat">
36
<#Include Label="KroneckerMat">
37
<#Include Label="Compose">
38
<#Include Label="NrRows">
39
<#Include Label="NrColumns">
40
<#Include Label="IsZeroMatrix">
41
<#Include Label="IsDiagonalMatrix">
42
<#Include Label="ZeroRows">
43
<#Include Label="ZeroColumns">
44
</Section>
45
46
<Section><Heading>The Basic Functions and &homalg; table creation</Heading>
47
<!-- GaussBasic.gi -->
48
<#Include Label="DecideZeroRows">
49
<#Include Label="DecideZeroRowsEffectively">
50
<#Include Label="SyzygiesGeneratorsOfRows">
51
<#Include Label="RelativeSyzygiesGeneratorsOfRows">
52
<!-- GaussFQI.gi -->
53
<#Include Label="RowReducedEchelonForm">
54
<#Include Label="CreateHomalgTable">
55
</Section>
56
57
<Section><Heading>Matrix entry manipulation</Heading>
58
This is just support for the sparse matrix data type.
59
<!-- GaussForHomalg.gi -->
60
<#Include Label="MatElm">
61
<#Include Label="SetMatElm">
62
<#Include Label="AddToMatElm">
63
</Section>
64
65
</Chapter>
66
67