public double Distance(PrPoint other)
{
return(vectorTo(other).rho());
}
public void rotate(PrPoint p, double angle)
{
translate(-p.x, -p.y);
centre_rotate(angle);
translate(p.x, p.y);
}
public PrPoint vectorTo(PrPoint other)
{
return(new PrPoint(other.x - x, other.y - y));
}