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:
what is the semantics of
foo is bar
in boot. In particular, from hashcode.boot:
type is ['QUOTE, val] => hashType(val, percentHash)
type is [dom] => hashString SYMBOL_-NAME dom
type is ['_:, ., type2] => hashType(type2, percentHash)
isDomain type => getDomainHash type
[op, :args] := type
I'd be very grateful if you could explain lines 1-3 and possibly 4 to me.
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,
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
