Functions

Assumptions
Computes [scalar] * P on y^2 = x^3 + b where P is fixed (constant)