Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> On 12/10/2008 12:06 AM, Martin Rubey wrote:
> > Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> >
> >> PS: It seems that I am trying to get rid of FriCAS functionality. I hope
> >> nobody beats me for that... ;-)
> >
> > Don't worry! If you want to make me a Christmas present: plunge into the
> > Categories of FriCAS and redesign them - yes: only the categories.
>
> Do you mean a present for 2011? ;-) That's a lot of work.
I didn't mean *all* Categories. Real progress in one of these areas would
already make me happy...
> And I want "extend" first.
I see that extend is nice, but actually, within FriCAS I don't see whether it's
such a big issue? Maybe for the coercion definitions, but actually, that's one
place where I think that Aldor is missing functionality, i.e., allow something
like
forall A if A has MyCat then CoercibleTo A
or perhaps
CoercibleTo A where A has MyCat.
> > And, in my opinion, do not worry about breaking user code.
>
> I wouldn't anyway. ;-)
> But I think I first need a better compiler. Unfortunately, I am probably
> not of much help there.
I think that FriCAS missed one thing: some people thought "Oh dear, I have to
do everything myself", not realising that others will happily follow if
somebody starts with enough energy.
Sage got that one right. Sage does not work very well in comparison with
FriCAS (although it meanwhile covers more mathematics), but it got so brilliant
marketing, that many many people joined. And it allow people to contribute who
are not mathematicians. In FriCAS, even the emacs mode is done by
mathematicians... I think that's quite suboptimal.
I truly hope that there will be another wave of interest for FriCAS soon.
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
-~----------~----~----~----~------~----~------~--~---
