Gabriel Dos Reis wrote:
>
> Waldek Hebisch <hebi...@math.uni.wroc.pl> writes:
>
> | Bill Page wrote:
> | >
> | > 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
> fu=
> | > ture.
> | >
> |
> | Well, I agree that OpenAxiom code _looks_ better. You say
> | that 'attempting to decode how FriCAS actually ends up
> | producing the output' boggles your mind. However, have you
> | tried to understand what OpenAxiom is doing?
> |
> | FYI FriCAS code was rewritten this summer and what it is
> | doing now is much simpler (and faster) than original version.
> | Actually original did crazy things and the only reason I
> | find for doing such things is that previous authors did
> | not fully understand what it is doing. AFAICS OpenAxiom
> | still contains at least part of original craziness.
>
> which parts of the OpenAxiom's rewrite are you objecting too?
>
I do not object what OpenAxiom did. But it is possible to
simplify code more. For example OpenAxiom contains line:
resizeBuffer(principal,n + 1)
But whole business with extending domain vector and string
data here is completly unnecesary.
I did not analyze OpenAxiom version in detail, but given
that original contained several things like this (computing
unused things, nedlessy recomputing things) and OpenAxiom
version is significantly longer than FriCAS version, I think
that OpenAxiom may be significantly simplified.
--
Waldek Hebisch
hebi...@math.uni.wroc.pl
------------------------------------------------------------------------------
Ridiculously easy VDI. With Citrix VDI-in-a-Box, you don't need a complex
infrastructure or vast IT resources to deliver seamless, secure access to
virtual desktops. With this all-in-one solution, easily deploy virtual
desktops for less than the cost of PCs and save 60% on VDI infrastructure
costs. Try it free! http://p.sf.net/sfu/Citrix-VDIinabox
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
