OperationsQueryΒΆ

alql.spad line 209

This package exports tools to create FriCAS Library information databases.

getDatabase: String -> Database IndexCard
getDatabase("char") returns a list of appropriate entries in the browser database. The legal values for "char" are “o” (operations), "k" (constructors), "d" (domains), "c" (categories) or "p" (packages).