help links subscribe changes refresh edit

	SandBoxSpeciesAldor
	↑

SandBoxSpeciesAldorSage

Edit detail for SandBoxSpeciesAldorSage revision 6 of 6

	1 2 3 4 5 6
Editor: Bill Page Time: 2011/07/29 15:52:53 GMT-7
Note: update combinat library

changed:
-)cd ~/combinat/src
)cd /var/lib/zope/combinat/src

changed:
-The following call:
-
-\begin{verbatim}
The following call::


changed:
-\end{verbatim}
-
-leads to
-
-\begin{verbatim}
-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
-\end{verbatim}

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

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.

fricas

(1) -> )cd /var/lib/zope/combinat/src

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

fricas

)re ../lib/combinat.input

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

aldor

#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;

aldor

   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.
"/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/3890106734459437360-25px002.as", line 3: 
#include "combinat"
^
[L3 C1] #1 (Error) Could not open file `combinat'.

   The )library system command was not called after compilation.

fricas

Z ==> ACInteger

Type: Void

fricas

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