Skip to content

Commit 804c228

Browse files
kamalsalehkamalsaleh
committed
load packages in the test files
1 parent b995777 commit 804c228

9 files changed

+30
-28
lines changed

‎Bicomplexes/tst/total-complex-left-presentations.tst

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
1-
gap> LoadPackage( "Bicomplexes" );
2-
true
3-
gap> LoadPackage( "ModulePresentations" );
4-
true
1+
gap> LoadPackage( "Bicomplexes", false );;
2+
gap> LoadPackage( "ModulePresentations", false );;
53
gap> zz := HomalgRingOfIntegers( );;
64
gap> lp := LeftPresentations( zz );;
75
gap> bicomplexes_cat := BicomplexesCategoryByChains( lp );;
@@ -21,5 +19,4 @@ gap> phi := CreateComplexMorphism( C10, [ phi5, phi6, phi7 ], 5, C9 );;
2119
gap> o := CreateComplex( modeling_category, [ phi ], 10 );;
2220
gap> bicomplex := ReinterpretationOfObject( bicomplexes_cat, o );;
2321
gap> t := TotalComplex( bicomplex );;
24-
gap> IsWellDefined( t ) and IsExact( t );
25-
true
22+
gap> Assert( 0, IsWellDefined( t ) and IsExact( t ) );

‎Bicomplexes/tst/total-complex-of-bicomplex-morphism-using-algebroids.tst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
gap> LoadPackage( "Algebroids", false );;
2+
gap> LoadPackage( "Bicomplexes", false );;
13
gap> MAKE_READ_WRITE_GLOBAL( "REREADING" );
24
gap> REREADING := true;;
35
gap> SetInfoLevel( InfoWarning, 0 );

‎ComplexesCategories/tst/test_homotopy_and_resolutions_operations.tst

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
gap> LoadPackage( "Algebroids", false );;
2+
gap> LoadPackage( "ComplexesCategories", false );;
13
gap> MAKE_READ_WRITE_GLOBAL( "REREADING" );
24
gap> REREADING := true;;
35
gap> SetInfoLevel( InfoWarning, 0 );
@@ -78,8 +80,7 @@ gap> for morphism_info in [ morphisms[2], morphisms[4] ] do
7880
> EvalString( objects[morphism_info[2][2]][1] ) ) );
7981
> od;
8082
gap> Assert( 0, ForAll( [ alpha, beta ], IsHomotopicToZeroMorphism ) );
81-
gap> MorphismMatrix( MorphismDatum( WitnessForBeingHomotopicToZeroMorphism( DirectSumFunctorial( [ alpha, beta ] ) )[0] ) );
82-
[ [ <1*x_0:(A_0) -≻ (B_m1)>, <0:(A_0) -≻ (D_m1)> ], [ <0:(C_0) -≻ (B_m1)>, <1*y_0:(C_0) -≻ (D_m1)> ] ]
83+
gap> MorphismMatrix( MorphismDatum( WitnessForBeingHomotopicToZeroMorphism( DirectSumFunctorial( [ alpha, beta ] ) )[0] ) );;
8384
gap> qA := QuasiIsomorphismFromProjectiveResolution( A, true );;
8485
gap> qB := QuasiIsomorphismFromProjectiveResolution( B, true );;
8586
gap> Aq := QuasiIsomorphismIntoInjectiveResolution( A, true );;

‎ComplexesCategories/tst/test_kernel_and_cokernel_axioms_in_complexes_of_free_abelian_category.tst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
gap> LoadPackage( "Algebroids", false );;
2+
gap> LoadPackage( "ComplexesCategories", false );;
13
gap> MAKE_READ_WRITE_GLOBAL( "REREADING" );
24
gap> REREADING := true;;
35
gap> SetInfoLevel( InfoWarning, 0 );

‎ComplexesCategories/tst/test_kernel_and_cokernel_functorials_in_complexes_of_free_abelian_category.tst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
gap> LoadPackage( "Algebroids", false );;
2+
gap> LoadPackage( "ComplexesCategories", false );;
13
gap> MAKE_READ_WRITE_GLOBAL( "REREADING" );
24
gap> REREADING := true;;
35
gap> SetInfoLevel( InfoWarning, 0 );

‎ComplexesCategories/tst/test_random_methods_category_of_rows.tst

Lines changed: 12 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
gap> LoadPackage( "FreydCategoriesForCAP", false );;
2+
gap> LoadPackage( "ComplexesCategories", false );;
13
gap> ring := HomalgRingOfIntegers( );;
24
gap> rows := CategoryOfRows( ring );;
35
gap> ch_rows := ComplexesCategoryByChains( rows );;
@@ -7,39 +9,29 @@ gap> f := RandomMorphismWithFixedSource( A, 10 );;
79
gap> g := RandomMorphismWithFixedRange( A, 10 );;
810
gap> t := RandomMorphismWithFixedSourceAndRange( A, B, 10 );;
911
gap> s := RandomMorphism( ch_rows, 10 );;
10-
gap> ForAll( [ f, g, t, s ], IsWellDefined );
11-
true
12-
gap> IsWellDefined( HomStructure( f, g ) );
13-
true
12+
gap> Assert( 0, ForAll( [ f, g, t, s ], IsWellDefined ) );
13+
gap> Assert( 0, IsWellDefined( HomStructure( f, g ) ) );
1414
gap> A := RandomObject( ch_rows, [ -4, 4, [[1 .. 10],[1]] ] );;
1515
gap> B := RandomObject( ch_rows, [ -4, 4, [[1 .. 10],[1]] ] );;
1616
gap> f := RandomMorphismWithFixedSource( A, 10 );;
1717
gap> g := RandomMorphismWithFixedRange( A, 10 );;
1818
gap> t := RandomMorphismWithFixedSourceAndRange( A, B, 10 );;
1919
gap> s := RandomMorphism( ch_rows, 10 );;
20-
gap> ForAll( [ f, g, t, s ], IsWellDefined );
21-
true
20+
gap> Assert( 0, ForAll( [ f, g, t, s ], IsWellDefined ) );
2221
gap> id_A := IdentityMorphism( A );;
23-
gap> IsEqualForMorphisms( 2 * id_A, AdditionForMorphisms( id_A, id_A ) );
24-
true
22+
gap> Assert( 0, IsEqualForMorphisms( 2 * id_A, AdditionForMorphisms( id_A, id_A ) ) );
2523
gap> i := IdentityFunctor( rows );;
2624
gap> I := ExtendFunctorToComplexesCategoriesByChains( i );;
27-
gap> IsEqualForMorphisms( ApplyFunctor( I, s ), s );
28-
true
25+
gap> Assert( 0, IsEqualForMorphisms( ApplyFunctor( I, s ), s ) );
2926
gap> I := ExtendFunctorToComplexesCategoriesByCochains( i );;
3027
gap> s := AsCochainComplexMorphism( s );;
31-
gap> IsEqualForMorphisms( ApplyFunctor( I, s ), s );
32-
true
28+
gap> Assert( 0, IsEqualForMorphisms( ApplyFunctor( I, s ), s ) );
3329
gap> I := InclusionFunctorIntoComplexesCategoryByChains( rows );;
34-
gap> ApplyFunctor( I, f[0] )[0] = f[0];
35-
true
30+
gap> Assert( 0, ApplyFunctor( I, f[0] )[0] = f[0] );
3631
gap> I := InclusionFunctorIntoComplexesCategoryByCochains( rows );;
37-
gap> ApplyFunctor( I, f[0] )[0] = f[0];
38-
true
32+
gap> Assert( 0, ApplyFunctor( I, f[0] )[0] = f[0] );
3933
gap> ring := HomalgFieldOfRationals( );;
4034
gap> rows := CategoryOfRows( ring );;
4135
gap> f := RandomMorphism( rows, 30 );;
42-
gap> LowerBound( MorphismBetweenProjectiveResolutions(f, true) ) = 0;
43-
true
44-
gap> UpperBound( MorphismBetweenInjectiveResolutions(f, true) ) = 0;
45-
true
36+
gap> Assert( 0, LowerBound( MorphismBetweenProjectiveResolutions(f, true) ) = 0 );
37+
gap> Assert( 0, UpperBound( MorphismBetweenInjectiveResolutions(f, true) ) = 0 );

‎HomotopyCategories/tst/TiltingEquivalence.tst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
gap> LoadPackage( "Algebroids", false );;
2+
gap> LoadPackage( "HomotopyCategories", false );;
13
gap> q_O := FinQuiver( "q_O(O0,O1,O2)[x0:O0->O1,x1:O0->O1,x2:O0->O1,y0:O1->O2,y1:O1->O2,y2:O1->O2]" );;
24
gap> SetLaTeXStringsOfObjects( q_O, [ "\\mathcal{O}_{0}", "\\mathcal{O}_{1}", "\\mathcal{O}_{2}" ] );;
35
gap> SetLaTeXStringsOfMorphisms( q_O, [ "x_0", "x_1", "x_2", "y_0", "y_1", "y_2" ] );;

‎HomotopyCategories/tst/test_convolution.tst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
gap> LoadPackage( "Algebroids", false );;
2+
gap> LoadPackage( "HomotopyCategories", false );;
13
gap> MAKE_READ_WRITE_GLOBAL( "REREADING" );
24
gap> REREADING := true;;
35
gap> SetInfoLevel( InfoWarning, 0 );

‎HomotopyCategories/tst/test_triangulated_structure.tst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
gap> LoadPackage( "Algebroids", false );;
2+
gap> LoadPackage( "HomotopyCategories", false );;
13
gap> MAKE_READ_WRITE_GLOBAL( "REREADING" );
24
gap> REREADING := true;;
35
gap> SetInfoLevel( InfoWarning, 0 );

0 commit comments

Comments
 (0)