Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |     |   Wurzel  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  chap6_mj.html

  Sprache: HTML
 

 products/Sources/formale Sprachen/GAP/pkg/homalg/doc/chap6_mj.html


<="."="TF-">

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML/ead> class="chap2"  onload java.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 57
         /3TRdjava.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61

<html xmlns="http://www.w3d <scriptjava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
<span "ContSS>br /<"ocss>java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 145
<script type=text"
  div=java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 9
<> ( -java.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 50
<java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 69
<meta name="generator />java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 12
<p</>
<java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 0
<script div class="
<<< idiv =ContSSBlock>
<body class=


< => java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 134

<div class="span class="ContSS="br>java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 140

<p id=spanjava.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
<>aidX79C388D385DB7CD1X79C388D385DB7CD1a/>
< Cjava.lang.StringIndexOutOfBoundsException: Range [24, 21) out of bounds for length 109
<java.lang.StringIndexOutOfBoundsException: Range [78, 10) out of bounds for length 195
</span>
<div class="ContSSBlock
<pan="ContSS>br /<class"nocss;nbsp;</span><a href="hap6_mj#8166">.1-IsHomalgComplexaspan>
<java.lang.StringIndexOutOfBoundsException: Range [32, 5) out of bounds for length 163
<s"ContSS">br spanclass=n">&java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 165
</java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 12
<iv ="java.lang.StringIndexOutOfBoundsException: Range [22, 20) out of bounds for length 179
<java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
< ="""
<span class="[ 1, 7 ]), CF  a group span class="ContSS"><br /><span class="nocss&<span< href=.html#"63 span class="GAPprompt">gap></span> <span class="GAPinput">WedderburnDecomposition( GroupRing( CF(5), DihedralGroup(16) )5^ ,2 )java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
span"ontSS<>/>
</java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 0
<classCjava.lang.StringIndexOutOfBoundsException: Range [23, 20) out of bounds for length 177
</span<pan  ℚ( D_16  4 \(o M_2ℚ ()) ((40)/t,
<java.lang.StringIndexOutOfBoundsException: Range [23, 4) out of bounds for length 25
r/<>&java.lang.StringIndexOutOfBoundsException: Range [66, 65) out of bounds for length 128
< class="<br /span span class="ContSS"><br /><span classjava.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 147
<span "ontSS"spanclass="> nbsp;R, Rationals, RationalsRationals,
<=""><r <span classnocss"&bsp&  l;   center Rationals over GaussianRationals of>/>
<&t;product CF)
<java.lang.StringIndexOutOfBoundsException: Range [5, 3) out of bounds for length 56
<span p>java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 81
ontSS< /java.lang.StringIndexOutOfBoundsException: Range [33, 32) out of bounds for length 145
< class>br><class=java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<class
<iv=unc"<java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 222
</div></div>
<""), CF(12) ) of a group of size )]
</span>
<div "
<span class="ContSS< ><spanjava.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 0
<classpan">gt>java.lang.StringIndexOutOfBoundsException: Range [45, 44) out of bounds for length 97
<div<<eturns classcode"java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
 java.lang.StringIndexOutOfBoundsException: Range [27, 20) out of bounds for length 191
</span>
<div class="      group of 4>(p>Returns: <code class="code">true</codejava.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 81
< java.lang.StringIndexOutOfBoundsException: Range [13, 11) out of bounds for length 128
<p>The[1,11java.lang.StringIndexOutOfBoundsException: Range [20, 18) out of bounds for length 60
</div></div>
</>

<h3>6 <        [ 1 ,7) NF( ,31 ]   a

<p><a id

<=func class"java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 0

<p><a id="X8166F9FD7BFDA207" name="div class="func"><table class="func" width="100%"

<h5>.- </<div class="func"><table clas

<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<>p>The third a  .[n,]

<pjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>(It is java.lang.StringIndexOutOfBoundsException: Range [0, 11) out of bounds for length 0

<p><a 

java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 81

<s="pkgGAP<>java.lang.StringIndexOutOfBoundsException: Range [55, 54) out of bounds for length 138

<>  ,

<p=GAPprompt&;/an class=java.lang.StringIndexOutOfBoundsException: Range [63, 60) out of bounds for length 96

<p>java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 131

<p classp>
<AF(xi_kg\dots,\java.lang.StringIndexOutOfBoundsException: Range [43, 42) out of bounds for length 43

<">lt; &;    java.lang.StringIndexOutOfBoundsException: Range [40, 35) out of bounds for length 44

<p>(It is java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 79

<B31"

<h4>2 spanclass"">l left&;

<p><a id="X7C0D9D0178477517"java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<h5>6<pan =GAPprompt>gap></span 2e   <java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 71

<div="java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 250
divclass""table class"func M_2java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 20
<div 
<A nonzero "GAPprompt>< =>=/;;java.lang.StringIndexOutOfBoundsException: Range [91, 90) out of bounds for length 117

<p>The first , Rationalsjava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 0

<p>java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 0

< third syntaxcreates complex (.chain complexjava.lang.StringIndexOutOfBoundsException: Range [61, 11) out of bounds for length 100

<p>The   "[ . &;

< < "java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 267


< java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 26
<span class=
Z
< =<>java.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 269
<A 2 x 3 matrix over div class="func"><table class
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
>
<span class="GAPprompt"><p>Returns: a <strong class>java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 0
l; 2 4 an ring
<span classspan class="GAPprompt">><>java.lang.StringIndexOutOfBoundsException: Range [51, 50) out of bounds for length 111
<
< class=GAPpromptgt;/><panclass""mat : ( " <java.lang.StringIndexOutOfBoundsException: Index 94 out of bounds for length 94
<span java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<java.lang.StringIndexOutOfBoundsException: Range [7, 5) out of bounds for length 269
<"g/ java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<spanclass"">gt<span< =>&<=>gt<java.lang.StringIndexOutOfBoundsException: Range [40, 37) out of bounds for length 111
<A 3 x 4<p
<span =span class="GAPpromptjava.lang.StringIndexOutOfBoundsException: Range [24, 22) out of bounds for length 79
&java.lang.StringIndexOutOfBoundsException: Range [5, 3) out of bounds for length 40
< class=<A 2 x 4 matrix ringgt;
true
<span class="GAPprompt">
<A homomorphism ofA&;nontorsionright <span class="GAPprompt">></spanclass>,3 )<java.lang.StringIndexOutOfBoundsException: Index 82 out of bounds for length 81
<re<java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12

<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0


<div class="&;Ajava.lang.StringIndexOutOfBoundsException: Range [21, 19) out of bounds for length 41
< java.lang.StringIndexOutOfBoundsException: Range [13, 11) out of bounds for length 93
&tA non-ero<A "homomorphism" rightmodules&java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
0&java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
<=GAPinput"Add java.lang.StringIndexOutOfBoundsException: Range [75, 74) out of bounds for length 83
<pan class=""&;/>div>
<Aspanjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 12

<p>The second ojava.lang.StringIndexOutOfBoundsException: Range [22, 21) out of bounds for length 82


<div class="java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 0
< =GAPprompt"0;
<java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
grees<classA>/><class""> =  ;/panjava.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 82
<><re<

< =java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 62

<h5>6.2-2 HomalgCocomplex</h5>

< java.lang.StringIndexOutOfBoundsException: Range [0, 30) out of bounds for length 0
<divjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<div    ℚ G 
<div="unc<java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 0
<> class"kg>java.lang.StringIndexOutOfBoundsException: Range [61, 40) out of bounds for length 61

<p>The first >

<p>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

<>fourthjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>If


<div class="Check java.lang.StringIndexOutOfBoundsException: Range [11, 2) out of bounds for length 81
<java.lang.StringIndexOutOfBoundsException: Range [48, 10) out of bounds for length 216
Z
<=GAPprompt">&;/span
l idXjava.lang.StringIndexOutOfBoundsException: Range [29, 27) out of bounds for length 62
<span>2 p<idF4927337891"=java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 0
tionsh5>6.3-4 IsRightAcyclic =java.lang.StringIndexOutOfBoundsException: Range [56, 52) out of bounds for length 62
<;</  =java.lang.StringIndexOutOfBoundsException: Range [62, 60) out of bounds for length 131
&java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 129
<"java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 111
<A non-torsion right module on
<java.lang.StringIndexOutOfBoundsException: Range [22, 5) out of bounds for length 94
<=>gt<java.lang.StringIndexOutOfBoundsException: Range [36, 34) out of bounds for length 79
<">;/ java.lang.StringIndexOutOfBoundsException: Range [48, 47) out of bounds for length 79
<pan class=GAPprompt"gt</span> class="GAPinput"0 , 6, 9  \</span
<span =APprompt>gt <span java.lang.StringIndexOutOfBoundsException: Range [48, 47) out of bounds for length 81
<Ajava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
< class"java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 113
sjava.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
 =APpromptgap&/pan span java.lang.StringIndexOutOfBoundsException: Range [51, 50) out of bounds for length 87
true
<span class="GAPprompt">gap></span> <span class= &;rossed    (, 1 )over (NF8,
< of right>
</ 1,3 h53-java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 30

<p>The firstjava.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 98


<<divclass"
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 cohomology  of  java.lang.StringIndexOutOfBoundsException: Range [78, 75) out of bounds for length 82
gree 0>
<span class< class=func ="true=java.lang.StringIndexOutOfBoundsException: Range [61, 60) out of bounds for length 96
<"java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 111
tA  a  java.lang.StringIndexOutOfBoundsException: Range [2, 1) out of bounds for length 71
0 .. 1 ]>
<>/>

<p


<div java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0
phi)<java.lang.StringIndexOutOfBoundsException: Index 97 out of bounds for length 97
->2->
 degrees [0.1 ]>
<pre>>

<p><divclassf=" =""tr>td=tdleft>

h463 java.lang.StringIndexOutOfBoundsException: Range [22, 19) out of bounds for length 63

<p><a id="java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 0

<5

<lass>fjava.lang.StringIndexOutOfBoundsException: Range [45, 43) out of bounds for length 217
<<> 

<java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

<p>

63-java.lang.StringIndexOutOfBoundsException: Range [23, 19) out of bounds for length 24

<div p><a id="X80EDFDD281834882" name="X80EDFDD281834882"></a></
<>eturnsjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<> if java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

<p>span java.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 112

<h5(7)[22])

<class="unc"<ableclass width=%><tr< class<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p>Returns

<p>h56.5- Add<h5>

< class=java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 314

<java.lang.StringIndexOutOfBoundsException: Range [5, 3) out of bounds for length 29

<div class=s""gap<span span="java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 62
<p>div class="example=>

<  java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 140

<p><a id="X8673124C83AA8FCC" name="X8673124C83AA8FCC"><"&;  2matrix an  ring&;

<h5>6.3-------v--  (6 =>gtjava.lang.StringIndexOutOfBoundsException: Range [39, 37) out of bounds for length 83

< ,7 ]
codejava.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 81

<---------

<>< 2java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9

<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<div classjava.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 21
<-

<p>Check if java.lang.StringIndexOutOfBoundsException: Range [2, 15) out of bounds for length 7

<p< --------

<h5>6.3-7 ""&;/java.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 71

<div class="func"><table class="func" width="100%  .&t;
<:codejava.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 81

<p>Check  <h5

<java.lang.StringIndexOutOfBoundsException: Range [3, 2) out of bounds for length 62

<h5>6.3-8 IsShortExactSequence</h5><Returns:  < "kg>java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 61

<div class="func"><table
<p><div>

<p> java.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 115

<p><a id="X7BAF581986905995" name="X7BAF581986905995"></a></p>

<h5>.-9 </h5>

<div java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0
<Returns code classcode">/> or  java.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 81

<p>Check ifspan classGjava.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 4

<p><a id="X84B794FB86C169CF" name="X84B794FB86C169CF"></a></

<h5>6.3-10 IsTriangle</h5>

<div class="func"><table class="func" width="100spanjava.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 99
<p>Returns: <code class="code">true</code> or <code class="code">false</code></p>

<>  java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 109

<p><a id="X81E57EE37FC94539" name="X81E57EE37FC94539"></a></p>

<h5>6.3-11 IsExactTriangle</h5>

<div class="func"><table class="func&t;
<>eturnscode"ap;> ""( /java.lang.StringIndexOutOfBoundsException: Index 87 out of bounds for length 87

<p>Check ifltAA  4matrix java.lang.StringIndexOutOfBoundsException: Range [36, 35) out of bounds for length 44

<p><-torsion module  &A -java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 82

<h4>.4java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 63

<< =" =Xjava.lang.StringIndexOutOfBoundsException: Range [54, 52) out of bounds for length 62

<h5>6.4-1 BettiTable</at  degree 1

<div class="func"    ,7]]
<p>Returns: a   

<p>The Betti diagram of class=GAPpromptgt<span<class=java.lang.StringIndexOutOfBoundsException: Range [62, 60) out of bounds for length 94

<p><a id="X80EDFDD281834882  3  ,   

<64java.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 79

<java.lang.StringIndexOutOfBoundsException: Range [5, 4) out of bounds for length 238
 a java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 61

<p>The filtration induced by the short exact sequence <var class="Arg">C</var> lt  4matrixan  >

<pa="" name="<a<p>

<h465 <pan java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 77

<Z^12-&t

<h5>

<java.lang.StringIndexOutOfBoundsException: Range [10, 4) out of bounds for length 239
<div span class>><>< "">:HomalgComplex <
<p>Returns: ; non acyclic containing  morphism   modules \

<In  first  <"Argphi<ar>added   co complex<class=Arg>C</var> (-->---------

<p>In the 


<div class="example"><pre>
< class=java.lang.StringIndexOutOfBoundsException: Range [61, 60) out of bounds for length 99
Z
<span class="java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 18
<java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 0
<span class="GAPprompt">gap&
&homomorphismg;
<span class="GAPprompt">gap&-------
l; nonacyclic java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 82
grees [ 0 .. 1 ]>
<span class="java.lang.StringIndexOutOfBoundsException: Range [27, 22) out of bounds for length 83
<span class="GAPprompt">gap></span> <span class="[0  ,,9]]
<Z/< 3-------------
<panGAPprompt"gt;------java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
----[2  ,  0]
at[ 
Z^e mapcurrently represented  
---------java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[ [ bythe matrix
  [0   ]

the map<pre/div>
------------v------java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
at">java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
Z^(1 x 2)
-------------------------
[ [  0,  1 ],
    0  0  

the map is currently represented by the above 2 <span class="GAPprompt">gap></span> <span clasg; +Z12)
------------------
athomology : 0
Z^(1
-----
<lassjava.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 263
java.lang.StringIndexOutOfBoundsException: Range [104, 105) out of bounds for length 4
<span class="java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
true
<span-----v-----

<java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 71
<A non-zero acyclic complex containing 2 morphisms of ---------
[ java.lang.StringIndexOutOfBoundsException: Range [10, 4) out of bounds for length 263
<

<p><a id="X79677A407C9EF3A0" java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 0

<h5>6

<class=func> class"width100"<body>
<p>Returns: a <strong class="pkg">homalg</strong> complex</p>

<p>It invokes <code class="code">ByASmallerPresentation</code> for <strong class="pkg">homalg</strong> (static) objects.</p>


<div class="example"><pre>
InstallMethod( ByASmallerPresentation,
        "for homalg complexes",
        [ IsHomalgComplex ],
        
  function( C )
    
    List( ObjectsOfComplex( C ), ByASmallerPresentation );
    
    if Length( ObjectDegreesOfComplex( C ) ) > 1 then
        List( MorphismsOfComplex( C ), DecideZero );
    fi;
    
    IsZero( C );
    
    return C;
    
end );
</pre></div>

<p>This method performs side effects on its argument <var class="Arg">C</var> and returns it.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">zz := HomalgRingOfIntegers( );</span>
Z
<span class="GAPprompt">gap></span> <span class="GAPinput">M := HomalgMatrix( "[ 2, 3, 4,   5, 6, 7 ]"23, zz );</span>
<A 2 x 3 matrix over an internal ring>
<span class="GAPprompt">gap></span> <span class="GAPinput">M := LeftPresentation( M );</span>
<A non-torsion left module presented by 2 relations for 3 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">N := HomalgMatrix( "[ 2, 3, 4, 5,   6, 7, 8, 9 ]"24, zz );</span>
<A 2 x 4 matrix over an internal ring>
<span class="GAPprompt">gap></span> <span class="GAPinput">N := LeftPresentation( N );</span>
<A non-torsion left module presented by 2 relations for 4 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">mat := HomalgMatrix( "[ \</span>
<span class="GAPprompt">></span> <span class="GAPinput">0369, \</span>
<span class="GAPprompt">></span> <span class="GAPinput">0246, \</span>
<span class="GAPprompt">></span> <span class="GAPinput">0369  \</span>
<span class="GAPprompt">></span> <span class="GAPinput">]", 3, 4, zz );</span>
<A 3 x 4 matrix over an internal ring>
<span class="GAPprompt">gap></span> <span class="GAPinput">phi := HomalgMap( mat, M, N );</span>
<A "homomorphism" of left modules>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsMorphism( phi );</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">phi;</span>
<A homomorphism of left modules>
<span class="GAPprompt">gap></span> <span class="GAPinput">C := HomalgComplex( phi );</span>
<A non-zero acyclic complex containing a single morphism of left modules at de\
grees [ 0 .. 1 ]>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( C );</span>
-------------------------
at homology degree: 1
[ [  2,  3,  4 ],
  [  5,  6,  7 ] ]

Cokernel of the map

Z^(1x2) --> Z^(1x3),

currently represented by the above matrix
-------------------------
[ [  0,  3,  6,  9 ],
  [  0,  2,  4,  6 ],
  [  0,  3,  6,  9 ] ]

the map is currently represented by the above 3 x 4 matrix
------------v------------
at homology degree: 0
[ [  2,  3,  4,  5 ],
  [  6,  7,  8,  9 ] ]

Cokernel of the map

Z^(1x2) --> Z^(1x4),

currently represented by the above matrix
-------------------------
</pre></div>

<p>And now:</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">ByASmallerPresentation( C );</span>
<A non-zero acyclic complex containing a single morphism of left modules at de\
grees [ 0 .. 1 ]>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( C );</span>
-------------------------
at homology degree: 1
Z/< 3 > + Z^(1 x 1)
-------------------------
[ [  0,  0,  0 ],
  [  2,  0,  0 ] ]

the map is currently represented by the above 2 x 3 matrix
------------v------------
at homology degree: 0
Z/< 4 > + Z^(1 x 2)
-------------------------
</pre></div>


<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap5_mj.html">[Previous Chapter]</a>    <a href="chap7_mj.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chap7_mj.html">7</a>  <a href="chap8_mj.html">8</a>  <a href="chap9_mj.html">9</a>  <a href="chap10_mj.html">10</a>  <a href="chap11_mj.html">11</a>  <a href="chap12_mj.html">12</a>  <a href="chapA_mj.html">A</a>  <a href="chapB_mj.html">B</a>  <a href="chapC_mj.html">C</a>  <a href="chapD_mj.html">D</a>  <a href="chapE_mj.html">E</a>  <a href="chapF_mj.html">F</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

Messung V0.5 in Prozent
C=100 H=100 G=100

¤ 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.0.13Bemerkung:  ¤

*Bot Zugriff






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

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.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Statistik
#Sources=1019547
#Domains=890699