Ralf,
To appreciate just how much effort Gaby has put into improving the
readability of Boot code in OpenAxiom it is very instructive to look
at JoinInner in both FriCAS and OpenAxiom. Just attempting to decode
how FriCAS actually ends up producing the output you show nearly
boggles my mind. But in OpenAxiom this same code is written as:
PrinAncb := categoryPrincipals CatEval(bname,$e)
If FriCAS does not soon adopt a similar approach I cannot imagine a good future.
But of course advocating is one thing, finding time, energy and help
to do it is another.
Regards,
Bill Page.
On Thu, Jan 5, 2012 at 10:45 PM, you wrote:
> Bill Page wroteL
>> I took a quick look for other suspicious cases of ). in the boot code.
>> I found this one:
>>
>> +411 src/interp/category.boot
>>
>> PrinAncb:= first(b).(4)
>>
>> This is probably correct but it seems crazy to write it this way if
>> you really mean
>>
>> PrinAncb:= first(b.4)
>>
>> Sometimes you really have to wonder what they were smoking back in the
>> lab ... ;)
>
>
> Interesting
>
> PrinAncb:= first(b).(4)
>
> gives
>
> with bootsys
> (SETQ |PrinAncb| (CAR (ELT (|CatEval| |bname|) 4)))
>
> with depsys
> (SPADLET |PrinAncb| (CAR (ELT (|CatEval| |bname|) 4)))
>
> Why is it basically the same here and makes a difference for "CAR(d).1".
> I'm a bit confused now.
>
--
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.
