fricas
(1) -> )lib AXIOM SINF SYMCAT SYMB AND SEXPR
>> System error:
The value
598
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.