fricas
(1) -> )lib AXIOM SINF SYMCAT SYMB AND SEXPR
Axiom is now explicitly exposed in frame initial
Axiom will be automatically loaded when needed from
/var/aw/var/LatexWiki/AXIOM.NRLIB/AXIOM
SINFunctions is now explicitly exposed in frame initial
SINFunctions will be automatically loaded when needed from
/var/aw/var/LatexWiki/SINF.NRLIB/SINF
SymbolicCategory is now explicitly exposed in frame initial
SymbolicCategory will be automatically loaded when needed from
/var/aw/var/LatexWiki/SYMCAT.NRLIB/SYMCAT
>> System error:
The value
32872
is not of type
LIST
fricas
t:='t::SYMB(INT,ASSS)
There are no library operations named SYMB
Use HyperDoc Browse or issue
)what op SYMB
to learn if there is any operation containing " SYMB " in its
name.
Cannot find a definition or applicable library operation named SYMB
with argument type(s)
Type
Variable(ASSS)
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.