On 05/13/2017 07:13 PM, Bill Page wrote: > By default Fraction always returns a gcd of 1. > > (1) -> gcd(1/3,1/4) > > (1) 1 > Type: Fraction(Integer) > > But gcd is well defined provided that the underlying domain has GcdDomain.
> + gcd(x:%,y:%):% == gcd(x.num,y.num)/lcm(x.den,y.den) Mathematically, if the arguments ar non-zero, any non-zero value will do as gcd, but 1 seems a canonical choice in case of a field. Why would you want do waste time with computation (in the general case) if just returning a constant is as good as any other value? Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
