On 12/9/11 3:31 PM, Daniel King wrote:
On Fri, Dec 9, 2011 at 15:27, Carl Eastlund<c...@ccs.neu.edu>  wrote:
What does "divides" even mean in Q?  I think we need David to explain
what his extension of GCD and LCM means here, in that "divisors" and
"multiples" are fairly trivial things in Q.

I took "x divides y" to mean x/y is an integer.

I don't suppose to understand all the math on this page, but I think
it uses the same definition that dvh is using.


Yes, that's where I got the definition I suggested.

As a concrete example of why I wanted gcd extended to rationals: I wrote a big-bang program that runs a set of big-bang programs, so it needs a tick-rate that is the gcd of all the tick-rates of the programs it runs, which may be rational.

 For list-related administrative tasks:

Reply via email to