For empty?, zero? and perhaps also one?, I actually find using these clearer than equality, since [], 0 and 1 are really very special things. (Note that in written German, there is a rule of thumb saying that the numbers from zero to twelve should be spelled out... I think that's quite similar)
Of course, we could also check in "=" whether one of the arguments is 0, to do optimisations. I think we should not underestimate the optimization possible through this special check in domains where no normal form exists: for example, I think it may make sense at some point to keep expressions factored. Currently, everything is expanded, but this may be expensive: (1+sin x)^100000 will take a very long time. And if my expression is factored, testing for zero is very easy! 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 -~----------~----~----~----~------~----~------~--~---
