Goto Chapter: Top 1 2 3 4 Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

4 Precompilation
 4.1 Precompiling the category of ZX-diagrams

4 Precompilation

4.1 Precompiling the category of ZX-diagrams

#@if ValueOption( "no_precompiled_code" ) <> true
gap> LoadPackage( "ZXCalculusForCAP", false );
true
gap> ReadPackageOnce( "FinSetsForCAP", "gap/CompilerLogic.gi" );
true
gap> ReadPackageOnce( "Algebroids", "gap/CompilerLogic.gi" );
true
gap> ReadPackageOnce( "FunctorCategories", "gap/CompilerLogic.gi" );
true
gap> ReadPackageOnce( "ZXCalculusForCAP", "gap/CompilerLogic.gi" );
true
gap> category_constructor := { } -> CategoryOfZXDiagrams( );;
gap> given_arguments := [ ];;
gap> compiled_category_name := "CategoryOfZXDiagrams_precompiled";;
gap> package_name := "ZXCalculusForCAP";;
gap> CapJitPrecompileCategoryAndCompareResult(
>     category_constructor,
>     given_arguments,
>     package_name,
>     compiled_category_name :
>     operations := "primitive",
>     number_of_objectified_objects_in_data_structure_of_object := 1,
>     number_of_objectified_morphisms_in_data_structure_of_object := 0,
>     number_of_objectified_objects_in_data_structure_of_morphism := 2,
>     number_of_objectified_morphisms_in_data_structure_of_morphism := 1
> );;
gap> CategoryOfZXDiagrams_precompiled( );
Category of ZX-diagrams
gap> cat := CategoryOfZXDiagrams( );
Category of ZX-diagrams
gap> cat!.precompiled_functions_added;
true
#@fi
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 Ind

generated by GAPDoc2HTML