Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > I dared to merge the aldor interface - along with the modifications to
> > foam_l.lisp we already talked about and some trivial modifications to the
> > makefiles to make it work with ecl.
> >
> > Ralf, I hope you don't mind, I just couldn't wait any longer...
>
> Why should I.
Well, sometimes it's an extremely nice feeling to "commit".
> Does that mean, I can now remove the aldor-interface branch?
Yes!
> > - hashCombine(retCode, hash)
> > + hashCombine(retCode, hashCombine(32236,hash))
> Why? I don't remember that I have ever done that on the aldor-interface
> branch. (Well... maybe because of me using GCL?)
Hm, didn't Franz Lehner report that?
> > Second: sbcl and especially ecl like it much better if you compile the lsp
> > files generated with the aldor compiler
>
> What does that mean?
ecl complains about "too large jump" in aldor-combinat, unless you compile the
files. sbcl is *much* faster on compiled files.
> > Third: sbcl and ecl sometimes require you to load aldor generated libraries
> > twice, no idea why.
>
> Example?
* compile current fricas with enable-aldor and --with-lisp=sbcl
* check out current branches/iso-experiment (I modified
structures()$FunctorialCompose, because axiom didn't like it. See below.)
* make VARIANTSTOBUILD=axiom
axiom
)re combinat.input
)re test.input
where test.input is
-------------------------------------------------------------------------------
)se me au off
l: SetSpecies ACINT := set [i::ACINT for i in 1..4]
[structures(l)$Partition ACINT]$ACLIST(Partition ACINT)
m: MultiSet ACINT := multiset([1$ACINT for i in 1..3]::ACList ACINT)
[isomorphismTypes(m)$MultiSet(ACINT)]$ACList(MultiSet ACINT)
T := Interpret([parse "Plus(SingletonSpecies, Times(Self,Self))"], ACInteger);
IsoT := ACIsomorphismType(ACINT, T)
[isomorphismTypes(m)$IsoT]$ACList(IsoT)
-------------------------------------------------------------------------------
the last line will probably fail (if it doesn't, please report). Another test
I didn't do recently, but that shows some grave shortcomings, when using
generators *in Aldor code*:
-------------------------------------------------------------------------------
l: SetSpecies ACINT := set [i::ACINT for i in 1..3]
-- working
H := Interpret([parse "FunctorialCompose(SetSpecies,SetSpecies)"], ACInteger)
H := Interpret([parse "FunctorialCompose(Subset,SetSpecies)"], ACInteger)
H := Interpret([parse "FunctorialCompose(SetSpecies,Subset)"], ACInteger)
H := Interpret([parse "FunctorialCompose(Subset,Subset)"], ACInteger)
[structures(l)$H]$ACLIST H
-- working on gcl without csexamples
H := Interpret([parse
"FunctorialCompose(SetSpecies,NonEmpty(CharacteristicSpecies(3)))"], ACInteger)
-- failing on sbcl with and without csexamples ("not of type symbol")
H := Interpret([parse
"FunctorialCompose(SetSpecies,CharacteristicSpecies(3))"], ACInteger)
-- failing on sbcl with and without csexamples (does not return)
H := Interpret([parse "FunctorialCompose(SetSpecies,NonEmpty(SetSpecies))"],
ACInteger)
[structures(l)$H]$ACLIST H
-- printing fails on gcl without csexamples, otherwise working
H := Interpret([parse "FunctorialCompose(Subset,NonEmpty(SetSpecies))"],
ACInteger)
H := Interpret([parse "FunctorialCompose(Subset,CharacteristicSpecies(3))"],
ACInteger)
[structures(l)$H]$ACLIST H;
-------------------------------------------------------------------------------
-- fails on gcl without csexamples with "Can't pretty-print", in hashType
H := Interpret([parse "FunctorialCompose(SetSpecies,NonEmpty(Subset))"],
ACInteger)
H := Interpret([parse "FunctorialCompose(SetSpecies,NonEmpty(Partition))"],
ACInteger)
H := Interpret([parse "FunctorialCompose(Subset,Times(SetSpecies,
SetSpecies))"], ACInteger)
-- [structures(l)$H]$ACLIST H;
-- consider in particular
H := Interpret([parse "FunctorialCompose(SetSpecies,NonEmpty(SetSpecies))"],
ACInteger)
H := Interpret([parse "FunctorialCompose(SetSpecies,NonEmpty(Subset))"],
ACInteger)
[structures(l)$H]$ACLIST H;
Martin
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
