Deciding if a Genus 1 Curve has a Rational Point