Edit detail for SandBoxSpeciesBayreuth revision 12 of 12

)cd ~/combinat/src

   The current FriCAS default directory is /var/aw/var/LatexWiki 

)re ../lib/combinat.input

   The file ../lib/combinat.input is needed but does not exist.

#includeDir "/var/lib/zope/combinat/include"
#libraryDir "/var/lib/zope/combinat/lib"
#include "combinat"

macro {
        E == EmptySetSpecies;
        X == SingletonSpecies;
        + == Plus;
        * == Times;
}
BTree(L: LabelType): CombinatorialSpecies L == (E + X*BTree*BTree)(L) add;
MySubset(L: LabelType): CombinatorialSpecies L == (SetSpecies*SetSpecies)(L) add;

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

Z := ACInteger

(1)

X := BTree(Z)

   There are no library operations named BTree 
      Use HyperDoc Browse or issue
                               )what op BTree
      to learn if there is any operation containing " BTree " in its 
      name.

   Cannot find a definition or applicable library operation named BTree
      with argument type(s) 
                             Variable(ACInteger)

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

Two ways to construct LinearOrder?:

#includeDir "/var/lib/zope/combinat/include"
#libraryDir "/var/lib/zope/combinat/lib"
#include "combinat"

macro {
        E == EmptySetSpecies;
        X == SingletonSpecies;
        + == Plus;
        * == Times;
}
MyLinearOrder(L:LabelType):CombinatorialSpecies L == (E + X*MyLinearOrder)(L) add;

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

X:=MyLinearOrder(Z)

   There are no library operations named MyLinearOrder 
      Use HyperDoc Browse or issue
                           )what op MyLinearOrder
      to learn if there is any operation containing " MyLinearOrder " 
      in its name.

   Cannot find a definition or applicable library operation named 
      MyLinearOrder with argument type(s) 
                             Variable(ACInteger)

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

I can't use the following species because of the Mathaction specific build. But they are implemented in Combinat!

X:=LinearOrder(Z)

   There are no library operations named LinearOrder 
      Use HyperDoc Browse or issue
                            )what op LinearOrder
      to learn if there is any operation containing " LinearOrder " in 
      its name.

   Cannot find a definition or applicable library operation named 
      LinearOrder with argument type(s) 
                             Variable(ACInteger)

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

Permutation does already exist within Axiom, use another name.

Now we are testing the generating series

X := Subset(Z)

   There are no library operations named Subset 
      Use HyperDoc Browse or issue
                               )what op Subset
      to learn if there is any operation containing " Subset " in its 
      name.

   Cannot find a definition or applicable library operation named 
      Subset with argument type(s) 
                             Variable(ACInteger)

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

And what is the number of Isomorphism Types

os: OrdinaryGeneratingSeries := isomorphismTypeGeneratingSeries()$X;

   OrdinaryGeneratingSeries is not a valid type.