Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/gradedmodules/examples/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.11.2024 mit Größe 412 B image not shown  

Quelle  EFS-7.1.g   Sprache: unbekannt

 
LoadPackage( "GradedRingForHomalg", false );

S := GradedRing( HomalgFieldOfRationalsInDefaultCAS( ) * "x0..x3" );

A := KoszulDualRing( S, "e0..e3" );

LoadPackage( "GradedModules", false );

## [EFS, Example 7.1]:
## Let C be an elliptic quartic curve in P3 , and consider C as a sheaf on P3

C := HomalgMatrix( "[ x0^2 + x2^2 + x1*x3, x1^2+ x3^2+ x0*x2 ]", 2, 1, S );

C := LeftPresentationWithDegrees( C );

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]