Bill Page <bill.p...@newsynthesis.org> writes: | 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.
I can't agree more with the last sentence :-) Regarding the debate of f(a.x) vs. f(a).x vs. (f(a)).x, I changed OpenAxiom's Boot parser long ago to parser f(a).x the way the Spad parser (and the interpreter) does, e.g. take the `x'-part of the result of applying `f' to `a'. It was a difference that does not need to be there; it confused occasionally, and it did not bring much. I take it from conversations with original AXIOM designers and implementors that Boot was really intended to be a form of AXIOM script (except the handling of '$'). -- Gaby ------------------------------------------------------------------------------ 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
