bruteForceGroupOrder(E)
i1 : E=ellCurve(3,8,GF(13)) o1 = Elliptic Curve defined by Y^2 = X^3 + 3 X + (-5)( over(GF 13 .)) o1 : EllipticCurve
i2 : bruteForceGroupOrder(E) o2 = 9