weierstrass_curve.coordinate_ring.is_domain source