Skip to main content

Browse the archive

Revision ab0debec0a366342a75593d2b332a46d89ae4d4a authored by Mohamed Barakat on 17 March 2017, 08:36:07 UTC, committed by Mohamed Barakat on 17 March 2017, 08:49:43 UTC 
turned global function constructors for relations into operations
 
renamed:
* HomalgRelationsForLeftModule -> _HomalgRelationsForLeftModule
* HomalgRelationsForRightModule -> _HomalgRelationsForRightModule

declared and installed the one and two argment operations:
* HomalgRelationsForLeftModule
* HomalgRelationsForRightModule
using the renamed global functions
1 parent ce16fa7
Raw File
EFS-7.1.g 
LoadPackage( "GradedRingForHomalg" );

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

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

LoadPackage( "GradedModules" );

## [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 );
back to top