login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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 
      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 
   The )library system command was not called after compilation.

Z ==> ACInteger
Type: Void
eins: Z := 1
ACInteger is not a valid type.

The following call:


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.
  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. :-(

  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: