|
# SPDX-License-Identifier: GPL-2.0-or-later
# CAP: Categories, Algorithms, Programming
#
# Implementations
#
BindGlobal( "init_CAP", function ( )
##
InstallValue( CAP_INTERNAL,
rec(
name_counter := 0,
default_cache_type := "weak",
operation_names_with_cache_disabled_by_default := [
# the following operations are needed for comparison in caches
"IsEqualForObjects",
"IsEqualForMorphisms",
"IsEqualForMorphismsOnMor",
"IsEqualForCacheForObjects",
"IsEqualForCacheForMorphisms",
# it is unclear how `IsEqualForCacheForObjects` and `IsEqualForCacheForMorphisms`
# would behave on non-well-defined objects/morphisms, so exclude `IsWellDefined*`
"IsWellDefinedForObjects",
"IsWellDefinedForMorphisms",
"IsWellDefinedForTwoCells",
# do not cache operations returning random data
"RandomObjectByInteger",
"RandomMorphismByInteger",
"RandomMorphismWithFixedSourceByInteger",
"RandomMorphismWithFixedRangeByInteger",
"RandomMorphismWithFixedSourceAndRangeByInteger",
"RandomObjectByList",
"RandomMorphismByList",
"RandomMorphismWithFixedSourceByList",
"RandomMorphismWithFixedRangeByList",
"RandomMorphismWithFixedSourceAndRangeByList",
# by default, do not cache constructors and object/morphism data
# because in general these operations are cheap,
# so caching would not improve the performance
"ObjectConstructor",
"ObjectDatum",
"MorphismConstructor",
"MorphismDatum",
],
)
);
BindGlobal( "CapCat", CAP_INTERNAL_CREATE_Cat( ) );
end );
#= comment for Julia
init_CAP( );
# =#
[ Dauer der Verarbeitung: 0.32 Sekunden
(vorverarbeitet)
]
|
