aldor #include "axiom" #pile #library lBasics "basics.ao" import from lBasics aldor Compiling FriCAS source code from file /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/morphisms.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. Program fault (segmentation violation).#1 (Error) Program fault (segmentation violation). The )library system command was not called after compilation. fricas )library basics.ao fricas Reading /var/aw/var/LatexWiki/basics.asy Domain is now explicitly exposed in frame initial Domain will be automatically loaded when needed from /var/aw/var/LatexWiki/basics Set is now explicitly exposed in frame initial Set will be automatically loaded when needed from /var/aw/var/LatexWiki/basics Printable is now explicitly exposed in frame initial Printable will be automatically loaded when needed from /var/aw/var/LatexWiki/basics Preorder is now explicitly exposed in frame initial Preorder will be automatically loaded when needed from /var/aw/var/LatexWiki/basics TotalOrder is now explicitly exposed in frame initial TotalOrder will be automatically loaded when needed from /var/aw/var/LatexWiki/basics associativeProduct is now explicitly exposed in frame initial associativeProduct will be automatically loaded when needed from /var/aw/var/LatexWiki/basics Countable is now explicitly exposed in frame initial Countable will be automatically loaded when needed from /var/aw/var/LatexWiki/basics CountablyFinite is now explicitly exposed in frame initial CountablyFinite will be automatically loaded when needed from /var/aw/var/LatexWiki/basics Monoids is now explicitly exposed in frame initial Monoids will be automatically loaded when needed from /var/aw/var/LatexWiki/basics Groups is now explicitly exposed in frame initial Groups will be automatically loaded when needed from /var/aw/var/LatexWiki/basics MapCategory is now explicitly exposed in frame initial MapCategory will be automatically loaded when needed from /var/aw/var/LatexWiki/basics Map is now explicitly exposed in frame initial Map will be automatically loaded when needed from /var/aw/var/LatexWiki/basics Categorify is now explicitly exposed in frame initial Categorify will be automatically loaded when needed from /var/aw/var/LatexWiki/basics null is now explicitly exposed in frame initial null will be automatically loaded when needed from /var/aw/var/LatexWiki/basics o is now explicitly exposed in frame initial o will be automatically loaded when needed from /var/aw/var/LatexWiki/basics fricas )show DomainsSandBox Aldor Category Theory 5 |

...--Bill Page, Tue, 20 Nov 2007 20:29:07 -0800 reply