On Wed, Oct 22, 2008 at 2:07 AM, Martin Rubey wrote: > ... > div2exquo : F -> F > div2exquo f == > -- one?(d := denom f) => f > ((d := denom f) = 1) => f > opex(smp2exquo numer f, smp2exquo d) > > (by the way, I think we should replace (* = 1) by one?(*) again) >
Perhaps it needs more discussion, but I agree that removing the code 'one? ...' and 'zero? ...' throughout the library source was probably a mistake. I recall some discussions with Tim about this in the very early days of the open source project. http://lists.nongnu.org/archive/html/axiom-developer/2003-07/msg00103.html My point of view was that it introduces a deep and unnecessary dependency. Tim suggested that this was an "optimization" introduced by NAG: http://lists.nongnu.org/archive/html/axiom-developer/2003-07/msg00107.html Regards, Bill Page --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
