rahmenlose Ansicht.tst DruckansichtUnknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# GradedModules, single 11
#
# DO NOT EDIT THIS FILE - EDIT EXAMPLES IN THE SOURCE INSTEAD!
#
# This file has been generated by AutoDoc. It contains examples extracted from
# the package documentation. Each example is preceded by a comment which gives
# the name of a GAPDoc XML file and a line range from which the example were
# taken. Note that the XML file in turn may have been generated by AutoDoc
# from some other input.
#
gap> START_TEST("gradedmodules11.tst");
# doc/../examples/doc/TateResolution.g:15-35
gap> O := S^0;
<The graded free left module of rank 1 on a free generator>
gap> T := TateResolution( O, -5, 5 );
<An acyclic cocomplex containing
10 morphisms of graded left modules at degrees [ -5 .. 5 ]>
gap> betti := BettiTable( T );
<A Betti diagram of <An acyclic cocomplex containing
10 morphisms of graded left modules at degrees [ -5 .. 5 ]>>
gap> Display( betti );
total: 35 20 10 4 1 1 4 10 20 35 56 ? ? ?
----------|---|---|---|---|---|---|---|---|---|---|---|---|---|
3: 35 20 10 4 1 . . . . . . 0 0 0
2: * . . . . . . . . . . . 0 0
1: * * . . . . . . . . . . . 0
0: * * * . . . . . 1 4 10 20 35 56
----------|---|---|---|---|---|---|---|---S---|---|---|---|---|
twist: -8 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5
---------------------------------------------------------------
Euler: -35 -20 -10 -4 -1 0 0 0 1 4 10 20 35 56
#
gap> STOP_TEST("gradedmodules11.tst", 1);
