#@if ValueOption( "no_precompiled_code" ) <> true
gap> LoadPackage( "FpLinearCategories", false );
true
gap> LoadPackage( "CompilerForCAP", ">= 2025.11-01", false );
true
gap> ReadPackageOnce( "FpLinearCategories", "gap/CompilerLogic.gi" );
true
gap> CapJitAddTypeSignature( "\*", [ IsHomalgRingElement, IsInt ], input_types -> input_types[1] );;
gap> category_constructor :=
>   data_tables -> AdditiveClosure( AlgebroidFromDataTables( ShallowCopy( data_tables ) : range_of_HomStructure := CategoryOfRows_as_AdditiveClosure_RingAsCategory( data_tables[1] : FinalizeCategory := true ), FinalizeCategory := true ) );;
gap> Q := HomalgFieldOfRationalsInSingular();;
gap> q := FinQuiver( "q(*)[x:*->*]" );;
gap> given_arguments :=
>   [ NTuple( 5,
>       # coefficients_ring
>       Q,
>       # quiver
>       q,
>       # decomposition_indices_of_bases_elements
>       [ [ [ [ ], [ 1 ], [ 1, 1 ] ] ] ],
>       # hom_structure_gmors_objs
>       [ [ [ [ 0, 1, 0 ], [ 0, 0, 1 ], [ 0, 0, 0 ] ] ] ],
>       # hom_structure_objs_gmors
>       [ [ [ [ 0, 1, 0 ], [ 0, 0, 1 ], [ 0, 0, 0 ] ] ] ] ) ];;
gap> compiled_category_name := "AdditiveClosureOfAlgebroidFromDataTablesPrecompiled";;
gap> package_name := "FpLinearCategories";;
gap> CapJitPrecompileCategoryAndCompareResult(
>     category_constructor,
>     given_arguments,
>     package_name,
>     compiled_category_name
>     : operations := "primitive"
>     );;
gap> A := AdditiveClosureOfAlgebroidFromDataTablesPrecompiled( given_arguments[1] );;
gap> A!.precompiled_functions_added;
true
#@fi
gap> # @drop_example_in_Julia