Other Information Procedures

The following procedures print information about the current state of Magma.

ShowIdentifiers()

(Procedure.) List all identifiers that have been assigned to.

ShowValues()

(Procedure.) List all identifiers that have been assigned to with their values.

Traceback()

(Procedure.) Display a traceback of the current Magma function invocations.

ListSignatures(C): Cat

Isa    : BoolElt                      Default: true
Search : MonStgElt                    Default: "Both"
ShowSrc: BoolElt                      Default: false

List all intrinsic functions, procedures, and operators having objects from category \(C\) among their arguments or return values. The parameter Isa may be set to false so that any categories which \(C\) inherit from are not considered. The parameter Search, with valid string values Both, Arguments, ReturnValues, may be used to specify whether the arguments, the return values, or both, are considered (default both). ShowSrc can be used to see where package intrinsics are defined. Use ListCategories for the names of the categories.

ListSignatures(F, C): Intrinsic, Cat

Isa    : BoolElt                      Default: true
Search : MonStgElt                    Default: "Both"
ShowSrc: BoolElt                      Default: false

Given an intrinsic \(F\) and category \(C\), list all signatures of \(F\) which match the category \(C\) among their arguments or return values. The parameters are as for the previous procedure.

ListCategories()

ListTypes()

Procedure to list the (abbreviated) names for all available categories in Magma.