/* Rotar este vector negativamente el ángulo que se pide
* y devolver un nuevo vector en esa dirección. */
public Vector NewNegativeRotation(double angle)
{
return(Matrix2D.GetRotationMatrix(-angle).TimesVector(this));
}
/* Rotar este vector negativamente el ángulo que se pide
* y devolver un nuevo vector en esa dirección. */
public Vector NewNegativeRotation(double angle)
{
return(Matrix2D.GetRotationMatrix(-angle).TimesVector(this));
}