Compiling FriCAS source code from file
/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/monadcat.as
using AXIOM-XL compiler and options
-O -Fasy -Fao -Flsp -laxiom -Mno-ALDOR_W_WillObsolete -DAxiom -Y $AXIOM/algebra -I $AXIOM/algebra
Use the system command )set compiler args to change these
options.
The )library system command was not called after compilation.

fricas

)show MonadCat
The )show system command is used to display information about types
or partial types. For example, )show Integer will show
information about Integer .
MonadCat is not the name of a known type constructor. If you want
to see information about any operations named MonadCat , issue
)display operations MonadCat

Compiling FriCAS source code from file
/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/2630045957127378990-25px003.as
using AXIOM-XL compiler and options
-O -Fasy -Fao -Flsp -laxiom -Mno-ALDOR_W_WillObsolete -DAxiom -Y $AXIOM/algebra -I $AXIOM/algebra
Use the system command )set compiler args to change these
options.
The )library system command was not called after compilation.

fricas

)show MonadList(Integer)
The )show system command is used to display information about types
or partial types. For example, )show Integer will show
information about Integer .
MonadList is not the name of a known type constructor. If you
want to see information about any operations named MonadList ,
issue
)display operations MonadList
Integer is not the name of a known type constructor. If you want
to see information about any operations named Integer , issue
)display operations Integer

fricas

L1 := unit(1)$MonadList(Integer)
There are no library operations named MonadList
Use HyperDoc Browse or issue
)what op MonadList
to learn if there is any operation containing " MonadList " in
its name.
Cannot find a definition or applicable library operation named
MonadList with argument type(s)
Type
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.

)show Maybe
The )show system command is used to display information about types
or partial types. For example, )show Integer will show
information about Integer .
Maybe is not the name of a known type constructor. If you want to
see information about any operations named Maybe , issue
)display operations Maybe

fricas

x:Maybe(Integer):= unit(-1)
There are no library operations named Maybe
Use HyperDoc Browse or issue
)what op Maybe
to learn if there is any operation containing " Maybe " in its
name.
Cannot find a definition or applicable library operation named Maybe
with argument type(s)
Type
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.