Axiom currently lacks an implementation of the mathematical
concept of Axiom Version fricas )version ## Spad VersionSee SandBox Category of Graphs in SPAD ## Aldor Verison First we define the general category of graphs. Note that
we use a [lowercase] short name aldor #include "axiom.as" define GraphCategory(nodes:Type, aldor Compiling FriCAS source code from file /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/graphcat.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. #1 (Warning) Could not use archive file `libaxiom.al'. #2 (Warning) Could not use archive file `libaxiom.al'. "/usr/local/aldor/linux/1.1.0/include/axiom.as", Now we define finite graphs as follows: aldor #include "axiom.as"; #library graphcat "graphcat.ao"; import from graphcat; inline from graphcat; edges ==> Record(source:nodes, aldor Compiling FriCAS source code from file /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/fgraph.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. #1 (Warning) Could not use archive file `libaxiom.al'. #2 (Warning) Could not use archive file `libaxiom.al'. #9 (Warning) Could not use archive file `libaxiom.al'. Program fault (segmentation violation).#10 (Error) Program fault (segmentation violation). "/usr/local/aldor/linux/1.1.0/include/axiom.as", Make sure that FiniteGraph? and GraphCategory? are known to Axiom: \begin{axiom} )lisp (si::allocate-contiguous-pages 3000 t) )library graphcat fgraph \end{axiom} If we use UPPERCASE in the name of the Aldor library the example below results in: >> System error: AxiomXL file "GRAPHCAT" is missing! But if we use lowercase, it (sometimes) works! However quite often when we refresh this page even without editing it, we get now the error: >> System error: Contiguous blocks exhausted. Currently, 1354 pages are allocated. Use ALLOCATE-CONTIGUOUS-PAGES to expand the space. Example 1: create a simple finite graph: fricas g:FiniteGraph(INT) Why do I need to specify fricas source(e)$FiniteGraph(INT) But without the category definition this seems to be ok? aldor #include "axiom.as" aldor Compiling FriCAS source code from file /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8126689142996008028-25px006.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. #1 (Warning) Could not use archive file `libaxiom.al'. #2 (Warning) Could not use archive file `libaxiom.al'. "/usr/local/aldor/linux/1.1.0/include/axiom.as", Example 2: create a simple finite graph: fricas g:FiniteGraph(INT) fricas )lisp (room) Here is another Aldor version SandBox Category of Graphs 2 |