Skip to content

Commit

Permalink
Merge pull request #1718 from mohamed-barakat/formating
Browse files Browse the repository at this point in the history
temporarily work around changes in GAP master
  • Loading branch information
mohamed-barakat authored Feb 14, 2025
2 parents 16d7140 + dc6e1de commit 6162858
Show file tree
Hide file tree
Showing 8 changed files with 21 additions and 1 deletion.
2 changes: 1 addition & 1 deletion CompilerForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "CompilerForCAP",
Subtitle := "Speed up and verify categorical algorithms",
Version := "2024.12-01",
Version := "2025.02-01",
Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
License := "GPL-2.0-or-later",

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@

#! @Example

#! #@if String({}->1-[1-1]) = "function ( ) return 1 - [ (1 - 1) ]; end"

LoadPackage( "FreydCategoriesForCAP", false );
#! true
ReadPackage( "FreydCategoriesForCAP",
Expand Down Expand Up @@ -51,5 +53,6 @@ CategoryOfColumns( EQQxy )!.precompiled_functions_added;
#! true
CategoryOfColumns( homalg_ring )!.precompiled_functions_added;
#! true
#! #@fi

#! @EndExample
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@

#! @Example

#! #@if String({}->1-[1-1]) = "function ( ) return 1 - [ (1 - 1) ]; end"

LoadPackage( "FreydCategoriesForCAP", false );
#! true
ReadPackage( "FreydCategoriesForCAP",
Expand Down Expand Up @@ -51,5 +53,6 @@ CategoryOfRows( EQQxy )!.precompiled_functions_added;
#! true
CategoryOfRows( homalg_ring )!.precompiled_functions_added;
#! true
#! #@fi

#! @EndExample
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@

#! @Example

#! #@if String({}->1-[1-1]) = "function ( ) return 1 - [ (1 - 1) ]; end"

LoadPackage( "FreydCategoriesForCAP", false );
#! true

Expand Down Expand Up @@ -65,5 +67,6 @@ CapJitPrecompileCategoryAndCompareResult(

CoFreydCategory( dummy )!.precompiled_functions_added;
#! true
#! #@fi

#! @EndExample
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@

#! @Example

#! #@if String({}->1-[1-1]) = "function ( ) return 1 - [ (1 - 1) ]; end"

LoadPackage( "FreydCategoriesForCAP", false );
#! true
LoadPackage( "LinearAlgebraForCAP", false );
Expand Down Expand Up @@ -36,5 +38,6 @@ MatrixCategory_precompiled( homalg_field );

MatrixCategory( homalg_field )!.precompiled_functions_added;
#! true
#! #@fi

#! @EndExample
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@

#! @Example

#! #@if String({}->1-[1-1]) = "function ( ) return 1 - [ (1 - 1) ]; end"

LoadPackage( "ModulePresentationsForCAP", false );
#! true
LoadPackage( "FreydCategoriesForCAP", false );
Expand Down Expand Up @@ -137,6 +139,7 @@ RightPresentations( commutative_homalg_ring )!.precompiled_functions_added;

RightPresentations( homalg_ring )!.precompiled_functions_added;
#! true
#! #@fi

# put the letter 'V' here to work around
# https://github.com/frankluebeck/GAPDoc/pull/61
Expand Down
3 changes: 3 additions & 0 deletions CompilerForCAP/examples/precompile_Opposite_MatrixCategory.g
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@

#! @Example

#! #@if String({}->1-[1-1]) = "function ( ) return 1 - [ (1 - 1) ]; end"

LoadPackage( "LinearAlgebraForCAP", false );
#! true
LoadPackage( "RingsForHomalg", false );
Expand Down Expand Up @@ -43,5 +45,6 @@ ReadPackage(
);;
Opposite_MatrixCategory_precompiled( homalg_field );
#! Opposite( Category of matrices over Dummy homalg field 1 )
#! #@fi

#! @EndExample
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
gap> START_TEST( "AdditiveClosure_has_direct_sums" );

# avoid wrapping the output
#@if String({}->1-[1-1]) = "function ( ) return 1 - [ (1 - 1) ]; end"
gap> old_screen_width := SizeScreen( )[1];;
gap> SizeScreen( [ 4096 ] );;

Expand Down Expand Up @@ -1792,6 +1793,7 @@ gap> CapJitDisableProofAssistantMode( );

#
gap> SizeScreen( [ old_screen_width ] );;
#@fi

#
gap> STOP_TEST( "AdditiveClosure_has_direct_sums" );

0 comments on commit 6162858

Please sign in to comment.