public Quaternion turn_quaternion(Quaternion rotation)
{
//Contract.Assume(to_float_degrees >= 0, "not sure how to handle turning negative to_float_degrees into a direction");
Contract.Assume(this != NONE, "not sure how to handle turning into Side.NONE");
return(new Degree(rotation.eulerAngles.z * this.Value).to_quaternion());
}
public Degree turn_degree(float degrees)
{
//Contract.Assume(to_float_degrees >= 0, "not sure how to handle turning negative to_float_degrees into a direction");
Contract.Assume(this != NONE, "not sure how to handle turning into Side.NONE");
return(new Degree(degrees * this.Value));
}