Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/float/src/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 26.7.2025 mit Größe 6 kB image not shown  

Quelle  VectorBundleOnP1_Example5.1-0.g   Sprache: unbekannt

 
Untersuchungsergebnis.g Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln

LoadPackage( "GradedRingForHomalg", false );

##
R := HomalgFieldOfRationalsInDefaultCAS( ) * "a";

param := Length( Indeterminates( R ) );

##
RR := R * "x,y";

S := GradedRing( RR );

n := Length( Indeterminates( S ) ) - param - 1;

weights := Concatenation(
                   ListWithIdenticalEntries( param, 0 ),
                   ListWithIdenticalEntries( n + 1, 1 )
                   );

SetWeightsOfIndeterminates( S, weights );

##
A := KoszulDualRing( S, "e,f" );

A!.ByASmallerPresentation := true;

##
m := HomalgMatrix( "[\
-a*x,  0, \
   y,  0, \
  -x,  y, \
   0, -x  \
]", 4, 2, S );

LoadPackage( "GradedModules", false );

M := RightPresentationWithDegrees( m );

phi := RelativeRepresentationMapOfKoszulId( M );

N := Kernel( phi );

fN := Resolution( 3, N );

##
sfN := A^(-2-1) * Shift( fN, 2 );

Rpi := DegreeZeroSubcomplex( sfN, R );

[ zur Elbe Produktseite wechseln0.117Quellennavigators  ]