Ralf Hemmecke wrote:
>
> Success! Fixed FriCAS-Aldor-Interface again! Please test!
>
>
>
> > I am affraid that indeed FriCAS does not store conditions in
> > export lists of default packages.
>
> OK. I took the old machinery for this case.
>
> And wrt
> http://groups.google.com/group/fricas-devel/browse_thread/thread/37ac49e7eea7fe59?hl=en
>
> I simply used
>
> SUBLISLIS($FormalMapVariableList, $TriangleVariableList, argtypes)
>
> to translate the |t#i| arguments into |#i|.
>
> I've pushed a few patches to the fix-aldor-interface branch on my github
> account.
>
> https://github.com/hemmecke/fricas/tree/fix-aldor-interface
>
> Look at the complete differences here:
> https://github.com/hemmecke/fricas/compare/fix-aldor-interface
>
> I'll probably add a few more comments before I'll commit it to the SVN
> trunk, but I wanted to make the fix available in 2011. ;-)
>
> The basic idea is for something like
>
> HomogeneousAggregate(S:Type): Category == Aggregate with
> if S has SetCategory then
> if S has Evalable S then Evalable S
> ...
>
> ax.boot will now produce
>
> (|If| (|Test| (|Has| |#1| |SetCategory|))
> (|If| (|Test|
> (|Has| |#1|
> (|Apply| |Evalable|
> (|PretendTo| |#1| |SetCategory|))))
> (|Apply| |Evalable|
> (|PretendTo| |#1|
> (|With|
> (|Apply| |Join|
> (|Apply| |Evalable| (|PretendTo| |#1| |SetCategory|))
> |SetCategory|)
> NIL)))
> NIL)
> NIL)
>
> in other words
>
> if S has SetCategory then
> if S has Evalable(S pretend SetCategory) then
> Evalable(S pretend Join(
> Evalable(S pretend SetCategory),
> SetCategory
> )
> )
>
> If we had S:T instead of the special S:Type from aboe, the type T would
> be joined appropriately, i.e. you would see Join(SetCategory, T) instead
> of just SetCategory inside the |PretendTo|.
>
> Please test whether a build with --enable-aldor works for you.
>
> Waldek, I'll add a few more comments to ax.boot and then commit the
> series. Are you OK with that?
>
Generaly looks OK. However, in axFormatOp (in ax.boot) original
version treated both branches of 'If' in symmetric way. Your
new version is asymmetric. Why?
--
Waldek Hebisch
[email protected]
--
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.
