Skip to content

Latest commit

 

History

History
34 lines (23 loc) · 1.34 KB

help_for_CAP.md

File metadata and controls

34 lines (23 loc) · 1.34 KB
Raw

CAP info functions

  • CanCompute( category, string ) Returns true if the operation with name is computable in .

  • MissingOperationsForConstructivenessOfCategory( 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 .

  • ListCAPPrepareFunctions( ) Lists all prepare functions currently available.

  • PrintAutomaticallyGeneratedInstallationsForLimits( string ) Prints all installations of the method with name which are automatically generated by the (co)limit mechanism. If no method name is given, all such installations are printed.

  • PackageOfCAPOperation( string ) Returns the package where the operation with name is defined.