Sulo_Seppa | But really, how do I implement the sqrt function? |

KD19 | To prove a general case, you need to be able to prove EVERY special case so if you prove a few special cases, you might see a pattern I dunno so I'm trying to understand 2d space first |

nitrofour | the radio sis half of the distsance between the distance found between the radius of the two points that's very important to remember |

Sulo_Seppa | anyone know? sqrt? |

KD19 | and to understand 2d, it's still to general |

nitrofour | remember what i said. |

KD19 | so I try to understand |

nitrofour | it answers everyone's question the radio sis half of the distsance between the distance found between the radius of the two points |

lokie | Sulo do u mean implement it as in programming/? |

KD19 | special cases |

Sulo_Seppa | lokie: in general, but I am a programmer |

KD19 | sulo google "square root algorithm" |

ed | KD19- I think I am about to give up for the night |

KD19 | ed yeah I have a light headache |

ed | my brain is off and it's not fair to have you do all the thinking in this when its my problem are you here often? |

KD19 | I will be from now on but I can't talk here unless I'm voiced |

ed | Why not? |

nitrofour | do i have to repeat myself i hope not i answered the question thoroughly |

lokie | Sulo here is somthing, http://mitpress.mit.edu/sicp/chapter1/node9.html not sure how much help |

KD19 | ah to prevent abuse ; ) |

Olathe | Sulo_Seppa: An easy, but probably inefficient, way is to do each bit from high to low. If setting it to 1 is too high after squaring, set it to 0. |

ed | KD19, well whatever ;) thanks so much for your help |

KD19 | hm np anyway, my lemma was the problem we were working on is how to prove that you can't intersect the two outer points without also intersecting the middle point right? |

ed | yes i think we agree on this one |