Waldek Hebisch <[EMAIL PROTECTED]> writes: > Martin Rubey wrote: > > 1 aldor-interface -- already tested > > 2 speed patch (see recent email with this subject) -- already tested
> > 3 remove ^ in Boolean (in conjunction with disabling ^ as prefix), > > -- after testing (currently testing.) > > 4 make ^ be the same as ** -- after testing > > > > > > Could you please indicate your opinions. > 1 and 3 -- go on. 2 -- as I wrote in the past I feel that we should not > hardcode safety to 0. If this patch is made into configure option, then it > would be OK. Could you help me there? As I wrote, I think it would be best to have something like, for example configure --with-speed or configure --with-library-speed But I do not know how configure and lisp can talk to each other. Oh, yes, I see a possibility: configure could create a file settings.lisp that contains defconstants, like (defconstant library-optimization '((safety 0) (speed 3))) or (defconstant library-optimization '()) depending on the configure option. Then, in nlib, we'd have -(define-function 'compile-lib-file #'compile-file) +(define-function 'compile-lib-file + #'(lambda (f) + (locally (proclaim (cons 'optimize library-optimization))) + (compile-file f))) I hope this is correct lisp... I guess, settings.lisp should be read into fricas-package.lisp, but I don't know how to do this either. Help is greatly appreciated! > Concerning 4: I still think that we should remove **. You mean, completely? OK. > Probably the first step should be to remove ** from documentation. Then we > should clean algebra from uses of **. I'd rather have the two in a single patch, but I do not mind. > Renaming ** to ^ may be used as interim measure, but ATM I do not find enough > evidence that this is really necessary. OK. I'm happy with all possibilities. 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 -~----------~----~----~----~------~----~------~--~---
