GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
CAP info functions
CanCompute( category, string ) Returns true if the the function with name is computable in .
CheckConstructivenessOfCategory( category, string ) Returns a list of names of basic operations which are not computable in but needed to have the categorical property completely constructive.
ListKnownCategoricalProperties( category ) Lists all known categorical properties of .
InstalledMethodsOfCategory( category ) Lists all installed methods of category.
DerivationsOfMethodByCategory( category, method ) Shows how can be derived in .
ListInstalledOperationsOfCategory( category ) Returns a list of strings of all installed operations of .
ListPrimitivelyInstalledOperationsOfCategory( category ) Returns a list of strings of all primitively installed operations of .