Test species in axiom/FriCAS and compare with the implementation in Sage-Combinat

The species project is written in Aldor. Currently (20-Jun-2008) the iso-experiments branch is implemented here on MathAction.

)cd /var/lib/zope/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"
RootedTrees(L: LabelType): CombinatorialSpecies L == Times(SingletonSpecies, Compose(SetSpecies, RootedTrees))(L) add;
IsoRootedTrees(L: LabelType): IsomorphismTypeCategory L == (IsomorphismType$RootedTrees(L)) add;

   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/3890106734459437360-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

eins: Z := 1

   ACInteger is not a valid type.

The following call:

   [g]$ACList(A);

leads to:

  Error: Can't pretty-print.
  Fast links are on: do (si::use-fast-links nil) for debugging
  Error signalled by RETURN.
  Broken at APPLY.  Type :H for Help.
  BOOT>>
  Error: The variable QUIT is unbound.
  Fast links are on: do (si::use-fast-links nil) for debugging
  Error signalled by EVALHOOK.
  Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY

But there should not be any output, because I have suppressed that with a semicolon at the end. Hmmmm. :-(