Hi koffie, On 10 Feb., 15:02, koffie <m.derickx.stud...@gmail.com> wrote: > So bruno and simon agree that lcm(1/4,1/6) = 1/2 (lcm(numerators)/ > gcd(denominators)) is the most logical.
I do not agree at all with that! "lcm(1/4,1/6)=1/2" was just an example of one (among others) way to extend lcm from ZZ to QQ. I did *not* say that I want this behaviour! Actually, I clearly wrote in my preceding post that I prefer a notion of gcd/lcd for QQ that does not depend on whether QQ is regarded as a principal ideal domain or as the quotient field of another principal ideal domain (namely of ZZ). Since QQ is a field, it is a principal ideal domain, where lcm and gcd should have something to do with ideals. So, clearly lcm(4/1,2)=1. Cheers, Simon -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
