On Fri, Aug 29, 2008 at 4:32 PM, Gabriel Dos Reis wrote:
>
> Certainly removal is best is you're confident that it does not cause
> hassle for users. Do you have a count of the uses of "**" versus "^"
> in the algebras? That may give some idea.
>
Just to get a rough idea I did:
[EMAIL PROTECTED]:~/open-axiom-src/src/algebra# cat *.spad.pamphlet | sed
's/\w/\n/g' | grep '\*\*' | wc
2139 2667 10777
[EMAIL PROTECTED]:~/open-axiom-src/src/algebra# cat *.spad.pamphlet | sed
's/\w/\n/g' | grep '\^' | wc
659 705 2482
So there are about 3 times a many uses of ** then ^ in the algebra.
Certainly keeping people happy might be a problem - and also checking
for regressions.
Still, I personally would prefer the universal use of ^ for exponents
and related operations.
Regards,
Bill Page.
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
