Edit detail for SandBoxSpecies revision 6 of 8

Test species in axiom/FriCAS?.

The species project is written in Aldor. Thus we need to load the libraries explicitly:

)version

Value = "FriCAS 2010-12-08 compiled at Thursday March 10, 2011 at 19:56:28 "

)cd ~/combinat/src

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

)re ../lib/combinat.input

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

We took the decision not to rely on the Axiom algebra. Unfortunately, this means that integration in Axiom is a little unsatisfactory. Eg., instead of Integer and List, we need to use ACInteger and ACList. Often explicit coercions are necessary.

This should give the set partitions of {1,2,3,4}

l: SetSpecies ACINT := set [i::ACINT for i in 1..4]

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

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

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.
[structures(l)$Partition ACINT]$ACLIST(Partition ACINT)

   The constructor Partition takes 0 arguments and you have given  1  .

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

macro {
        E == EmptySetSpecies;
        X == SingletonSpecies;
        + == Plus;
        * == Times;
}

A(L: LabelType): CombinatorialSpecies L == (E + X*A*A)(L) add;

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/5200085684951427974-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.
"/var/zope2/var/LatexWiki/5200085684951427974-25px003.as", line 3: 
#include "combinat"
^
[L3 C1] #1 (Error) Could not open file `combinat'.

   The )library system command was not called after compilation.

Due to types not being first class objects in the Axiom interpreter, we had to write a little interpreter to allow for user specified species:

T := Interpret([parse "Plus(SingletonSpecies, Times(Self, Self))"], ACInteger);

   There are no exposed library operations named parse but there is one
      unexposed operation with that name. Use HyperDoc Browse or issue
                              )display op parse
      to learn more about the available operation.

   Cannot find a definition or applicable library operation named parse
      with argument type(s) 
                                   String

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

)sh T

   The )show system command is used to display information about types 
      or partial types. For example, )show Integer will show 
      information about Integer .

      T is not the name of a known type constructor. If you want to see
      information about any operations named T , issue
                            )display operations T 
l := set [i::ACINT for i in 1..3]

   Cannot convert from type PositiveInteger to NIL for value
   failCheck(SPADCALL(i,'#<))NCTION |INT;coerce;$Of;16|>()

[structures(l)$T]$ACLIST(T)

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

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

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

We are still not 100% sure how to represent isomorphism types. So far, we had two ideas: in the iso-experiment branch, we have separate (but tightly connected) representation:

m: MultiSet ACINT := multiset([1$ACINT for i in 1..3]::ACList ACINT)

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

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

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.
[isomorphismTypes(m)$MultiSet(ACINT)]$ACList(MultiSet ACINT)

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

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

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

IsoT := ACIsomorphismType(ACINT, T)

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

   Cannot find a definition or applicable library operation named 
      ACIsomorphismType with argument type(s) 
                               Variable(ACINT)
                                 Variable(T)

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

)sh IsoT

   The )show system command is used to display information about types 
      or partial types. For example, )show Integer will show 
      information about Integer .

      IsoT is not the name of a known type constructor. If you want to 
      see information about any operations named IsoT , issue
                          )display operations IsoT 
[isomorphismTypes(m)$IsoT]$ACList(IsoT)

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

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

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

debugging needed here... On my computer, the last statement yields

On my computer, the last statement yields:

  (13)  [r([1], ([1], [1])),r(([1], [1]), [1])]

Very likely, the bug is due to the broken aldor interface. Ralf is working hard on that.

)cl all

   All user variables and function definitions have been cleared.
G := Interpret([parse "FunctorialCompose(Subset, Combination(2)))"], ACINT)

   There are no exposed library operations named parse but there is one
      unexposed operation with that name. Use HyperDoc Browse or issue
                              )display op parse
      to learn more about the available operation.

   Cannot find a definition or applicable library operation named parse
      with argument type(s) 
                                   String

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.
l: SetSpecies ACINT := set([1,2,3]::List ACINT::ACList ACINT)

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

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

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.
s := structures(l)$G

   The function structures is not implemented in NIL .

)lisp  (use-fast-links nil)

   >> System error:
   The function USE-FAST-LINKS is undefined.