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
renamed: * HomalgRelationsForLeftModule -> _HomalgRelationsForLeftModule * HomalgRelationsForRightModule -> _HomalgRelationsForRightModule declared and installed the one and two argment operations: * HomalgRelationsForLeftModule * HomalgRelationsForRightModule using the renamed global functions
1 parent ce16fa7
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 );
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...