Skip to content

Commit

Permalink
Merge pull request #537 from zickgraf/master
Browse files Browse the repository at this point in the history
Remove obsolete tests
  • Loading branch information
mohamed-barakat authored Oct 6, 2022
2 parents 98a48f1 + 61bd90c commit 45869a8
Show file tree
Hide file tree
Showing 34 changed files with 187 additions and 111 deletions.
2 changes: 1 addition & 1 deletion ExamplesForHomalg/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ SetPackageInfo( rec(

PackageName := "ExamplesForHomalg",
Subtitle := "Examples for the GAP Package homalg",
Version := "2022.08-04",
Version := "2022.10-01",
Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
License := "GPL-2.0-or-later",

Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/A1_Grothendieck.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "Viktor.g" );
ReadPackage( "ExamplesForHomalg", "examples/Viktor.g" );

II_E := GrothendieckSpectralSequence( RightDualizingFunctor( A1 ), LeftDualizingFunctor( A1 ), V );

Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/A1_Purity.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "Viktor.g" );
ReadPackage( "ExamplesForHomalg", "examples/Viktor.g" );

filt := PurityFiltration( V );

Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/A2_Grothendieck.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "Markus_Lokalisierung.g" );
ReadPackage( "ExamplesForHomalg", "examples/Markus_Lokalisierung.g" );

II_E := GrothendieckSpectralSequence( RightDualizingFunctor( A2 ), LeftDualizingFunctor( A2 ), M );

Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/A2_Purity.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "Markus_Lokalisierung.g" );
ReadPackage( "ExamplesForHomalg", "examples/Markus_Lokalisierung.g" );

filt := PurityFiltration( M );

Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/A3_AsDifferentialObject.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "Coupling.g" );
ReadPackage( "ExamplesForHomalg", "examples/Coupling.g" );

## compute a free resolution of N
P := Resolution( N );
Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/A3_Grothendieck.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "Coupling.g" );
ReadPackage( "ExamplesForHomalg", "examples/Coupling.g" );

II_E := GrothendieckSpectralSequence( RightDualizingFunctor( A3 ), LeftDualizingFunctor( A3 ), N );

Expand Down
4 changes: 2 additions & 2 deletions ExamplesForHomalg/examples/A3_Purity.g
Original file line number Diff line number Diff line change
Expand Up @@ -138,12 +138,12 @@
## </Subsection>
## <#/GAPDoc>

Read( "Coupling.g" );
ReadPackage( "ExamplesForHomalg", "examples/Coupling.g" );

filt := PurityFiltration( N );

II_E := SpectralSequence( filt );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( A3 ) ) );
#Display( StringTime( homalgTime( A3 ) ) );
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/Abelian.g
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
## Abelian.g
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

## abelian category: [HS, Prop. II.9.6]
d := Resolution( W );
Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/AsDifferentialObject.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

## compute a free resolution of W
P := Resolution( W );
Expand Down
6 changes: 3 additions & 3 deletions ExamplesForHomalg/examples/CohenMacaulayRing.g
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
LoadPackage( "RingsForHomalg" );
LoadPackage( "LocalizeRingForHomalg" );
LoadPackage( "Modules" );
LoadPackage( "RingsForHomalg", false );
LoadPackage( "LocalizeRingForHomalg", false );
LoadPackage( "Modules", false );

S := HomalgFieldOfRationalsInDefaultCAS( ) * "x,y";

Expand Down
4 changes: 2 additions & 2 deletions ExamplesForHomalg/examples/Complexes.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

Ext( 0, iota, pi );
Ext( 1, iota, pi );
Expand Down Expand Up @@ -49,4 +49,4 @@ LTensorProduct( 3, pi, iota );
LTensorProduct( 4, pi, iota );
LTensorProduct( 5, pi, iota );

Display( StringTime( homalgTime( Qxyz ) ) );
#Display( StringTime( homalgTime( Qxyz ) ) );
4 changes: 2 additions & 2 deletions ExamplesForHomalg/examples/EdW.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

W := Hom( Qxyz, W );

Expand All @@ -7,4 +7,4 @@ dW := d * W;
EdW := Ext( 1, dW, W );
C := Cohomology( EdW );

Display( StringTime( homalgTime( Qxyz ) ) );
#Display( StringTime( homalgTime( Qxyz ) ) );
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/Einstein.g
Original file line number Diff line number Diff line change
Expand Up @@ -23,4 +23,4 @@ filt := PurityFiltration( M );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( R ) ) );
#Display( StringTime( homalgTime( R ) ) );
8 changes: 6 additions & 2 deletions ExamplesForHomalg/examples/ExtExt.g
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,10 @@
## <A left module presented by 6 relations for 5 generators>
## gap> Y := Hom( Qxyz, W );
## <A right module on 5 generators satisfying yet unknown relations>
## gap> SetInfoLevel( InfoWarning, 0 );
## gap> F := InsertObjectInMultiFunctor( Functor_Hom_for_fp_modules, 2, Y, "TensorY" );
## <The functor TensorY for f.p. modules and their maps over computable rings>
## gap> SetInfoLevel( InfoWarning, 1 );
## gap> G := LeftDualizingFunctor( Qxyz );;
## gap> II_E := GrothendieckSpectralSequence( F, G, W );
## <A stable homological spectral sequence with sheets at levels
Expand Down Expand Up @@ -115,9 +117,11 @@
## </Subsection>
## <#/GAPDoc>

Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

SetInfoLevel( InfoWarning, 0 );
InsertObjectInMultiFunctor( Functor_Hom_for_fp_modules, 2, Y, "TensorY" );
SetInfoLevel( InfoWarning, 1 );

II_E := GrothendieckSpectralSequence( Functor_TensorY_for_fp_modules, LeftDualizingFunctor( Qxyz ), W );

Expand All @@ -127,4 +131,4 @@ ByASmallerPresentation( filt );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( Qxyz ) ) );
#Display( StringTime( homalgTime( Qxyz ) ) );
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/Filtration.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

V := Hom( Qxyz, W );

Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

## compute a free resolution of W as a right module
P := Resolution( W );
Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/Grothendieck.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

II_E := GrothendieckSpectralSequence( RightDualizingFunctor( Qxyz ), LeftDualizingFunctor( Qxyz ), W );

Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/Janet.g
Original file line number Diff line number Diff line change
Expand Up @@ -21,4 +21,4 @@ filt := PurityFiltration( W );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( Qxyz ) ) );
#Display( StringTime( homalgTime( Qxyz ) ) );
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/Macaulay.g
Original file line number Diff line number Diff line change
Expand Up @@ -27,4 +27,4 @@ filt := PurityFiltration( M );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( R ) ) );
#Display( StringTime( homalgTime( R ) ) );
4 changes: 2 additions & 2 deletions ExamplesForHomalg/examples/Oscar/Purity.g
Original file line number Diff line number Diff line change
Expand Up @@ -179,12 +179,12 @@
## </Subsection>
## <#/GAPDoc>

Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/Oscar/ReducedBasisOfModule.g" );

filt := PurityFiltration( W );

II_E := SpectralSequence( filt );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( Qxyz ) ) );
#Display( StringTime( homalgTime( Qxyz ) ) );
4 changes: 2 additions & 2 deletions ExamplesForHomalg/examples/Purity.g
Original file line number Diff line number Diff line change
Expand Up @@ -179,12 +179,12 @@
## </Subsection>
## <#/GAPDoc>

Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

filt := PurityFiltration( W );

II_E := SpectralSequence( filt );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( Qxyz ) ) );
#Display( StringTime( homalgTime( Qxyz ) ) );
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/S1A1_Purity.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "Mixed.g" );
ReadPackage( "ExamplesForHomalg", "examples/Mixed.g" );

filt := PurityFiltration( V );

Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/SpectralCosequence.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

## compute a free resolution of W
P := Resolution( W );
Expand Down
2 changes: 1 addition & 1 deletion ExamplesForHomalg/examples/SpectralSequence.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

## compute a free resolution of W as a right module
P := Resolution( W );
Expand Down
4 changes: 2 additions & 2 deletions ExamplesForHomalg/examples/TorExt.g
Original file line number Diff line number Diff line change
Expand Up @@ -123,7 +123,7 @@
## </Subsection>
## <#/GAPDoc>

Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

## compute a free resolution of W
P := Resolution( W );
Expand All @@ -146,4 +146,4 @@ ByASmallerPresentation( filt );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( Qxyz ) ) );
#Display( StringTime( homalgTime( Qxyz ) ) );
4 changes: 2 additions & 2 deletions ExamplesForHomalg/examples/TorExt_Grothendieck.g
Original file line number Diff line number Diff line change
Expand Up @@ -115,7 +115,7 @@
## </Subsection>
## <#/GAPDoc>

Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

InsertObjectInMultiFunctor( Functor_TensorProduct_for_fp_modules, 2, W, "TensorW" );

Expand All @@ -127,4 +127,4 @@ ByASmallerPresentation( filt );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( Qxyz ) ) );
#Display( StringTime( homalgTime( Qxyz ) ) );
4 changes: 2 additions & 2 deletions ExamplesForHomalg/examples/TorExt_via_Hom(P,P).g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

## compute a free resolution of W
P := Resolution( W );
Expand All @@ -20,4 +20,4 @@ ByASmallerPresentation( filt );

m := IsomorphismOfFiltration( filt );

Display( StringTime( homalgTime( Qxyz ) ) );
#Display( StringTime( homalgTime( Qxyz ) ) );
4 changes: 2 additions & 2 deletions ExamplesForHomalg/examples/Triangle.g
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Read( "ReducedBasisOfModule.g" );
ReadPackage( "ExamplesForHomalg", "examples/ReducedBasisOfModule.g" );

triangle := RHom( C, T );
lecs := LongSequence( triangle );
Expand All @@ -13,4 +13,4 @@ ByASmallerPresentation( lehs );
homalgResetFilters( lehs );
Assert( 0, IsExactSequence( lehs ) );

Display( StringTime( homalgTime( Qxyz ) ) );
#Display( StringTime( homalgTime( Qxyz ) ) );
33 changes: 33 additions & 0 deletions ExamplesForHomalg/tst/MAGMA.tst
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
#@exec LoadPackage( "ExamplesForHomalg", false );
#@exec LoadPackage( "IO_ForHomalg", false );

gap> LoadPackage( "ExamplesForHomalg", false );
true
gap> LoadPackage( "IO_ForHomalg", false );
true
gap> HOMALG_IO.show_banners := false;;

#@if IsBound( TryLaunchCAS_IO_ForHomalg( HOMALG_IO_MAGMA ).stdout )
gap> HOMALG_RINGS.RingOfIntegersDefaultCAS := "MAGMA";;
gap> HOMALG_RINGS.FieldOfRationalsDefaultCAS := "MAGMA";;
gap> ReadPackage( "ExamplesForHomalg" , "examples/Purity.g" );
true
gap> ReadPackage( "ExamplesForHomalg" , "examples/TorExt.g" );
true
gap> ReadPackage( "ExamplesForHomalg" , "examples/ExtExt.g" );
true
gap> ReadPackage( "ExamplesForHomalg" , "examples/Triangle.g" );
true
gap> ReadPackage( "ExamplesForHomalg" , "examples/Complexes.g" );
true
gap> ReadPackage( "ExamplesForHomalg" , "examples/EdW.g" );
true
gap> ReadPackage( "ExamplesForHomalg" , "examples/Auslander-Buchsbaum.g" );
true
gap> ReadPackage( "ExamplesForHomalg" , "examples/Gcd_UsingCayleyDeterminant.g" );
true
gap> ReadPackage( "ExamplesForHomalg" , "examples/SimplerEquivalentMatrix.g" );
true
gap> HOMALG_RINGS.RingOfIntegersDefaultCAS := "Singular";;
gap> HOMALG_RINGS.FieldOfRationalsDefaultCAS := "Singular";;
#@fi
35 changes: 35 additions & 0 deletions ExamplesForHomalg/tst/Maple.tst
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
#@exec LoadPackage( "ExamplesForHomalg", false );
#@exec LoadPackage( "IO_ForHomalg", false );

gap> LoadPackage( "ExamplesForHomalg", false );
true
gap> LoadPackage( "IO_ForHomalg", false );
true
gap> HOMALG_IO.show_banners := false;;

#@if IsBound( TryLaunchCAS_IO_ForHomalg( HOMALG_IO_Maple ).stdout )
gap> HOMALG_RINGS.RingOfIntegersDefaultCAS := "Maple";;
gap> HOMALG_RINGS.FieldOfRationalsDefaultCAS := "Maple";;
gap> ReadPackage( "ExamplesForHomalg", "examples/Purity.g" );
true
gap> ReadPackage( "ExamplesForHomalg", "examples/A3_Purity.g" );
true
gap> ReadPackage( "ExamplesForHomalg", "examples/Eliminate.g" );
true
gap> ReadPackage( "ExamplesForHomalg", "examples/Auslander-Buchsbaum.g" );
true
gap> ReadPackage( "ExamplesForHomalg", "examples/HilbertPolynomial.g" );
true
gap> ReadPackage( "ExamplesForHomalg", "examples/Gcd_UsingCayleyDeterminant.g" );
true
gap> ReadPackage( "ExamplesForHomalg", "examples/SimplerEquivalentMatrix.g" );
true
gap> ReadPackage( "ExamplesForHomalg", "examples/FoSys_HoEq_Janet.g" );
true
gap> ReadPackage( "ExamplesForHomalg", "examples/FoSys_HoEq_JanetOre.g" );
true
gap> ReadPackage( "ExamplesForHomalg", "examples/DerShift.g" );
true
gap> HOMALG_RINGS.RingOfIntegersDefaultCAS := "Singular";;
gap> HOMALG_RINGS.FieldOfRationalsDefaultCAS := "Singular";;
#@fi
Loading

0 comments on commit 45869a8

Please sign in to comment.