"Bill Page" <[EMAIL PROTECTED]> writes: > On Fri, Aug 22, 2008 at 2:53 PM, Martin Rubey wrote: > > > > Dear all, > > > > I'm trying to debug one of the very last quirks of the aldor interface, to > > get aldor-combinat completely functional in axiom. > > > > 1) (hopefully) easy question:
many thanks!!! > > 2) for the ambitious: > > > > get the aldor-interface > > > > get svn://svn.risc.uni-linz.ac.at/hemmecke/combinat/branches/iso-experiment > > > > and issue the following lines > > > > cd combinat > > make VARIANTSTOBUILD=axiom > > cd lib > > for f in $(ar t libcombinatax.al); do echo ")lib $f" >> combinat.input; done > > cd ../src > > axiom -nox > > )re ../lib/combinat > > G := Interpret([parse "FunctorialCompose(Subset, Combination(2)))"], ACINT) > > l: SetSpecies ACINT := set([1,2,3]::List ACINT::ACList ACINT) > > s := structures(l)$G > > )lisp (si::use-fast-links nil) > > )se br br > > next! s; > > > > the last line will fail, and should give an error like > > > > (|Combination| 2) is not of type SYMBOL. > > > > Would be wonderful, > > > > http://axiom-wiki.newsynthesis.org/SandBoxSpecies#bottom > > On axiom-wiki using the new aldor interface compiled with GCL and the > most recent source for FriCAS after > > ... > s := structures(l)$G > > I get: > > >> System error: > User error: Reached a 'never' Could you check whether svn up in the combinat directory modifies interp.as.nw? If so, please make distclean make VARIANTSTOBUILD=axiom Martin ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
