Operations on vectors

Extreme Numerics.NET provides methods for all common operations on vectors. Where applicable, overloaded operator methods are supplied for languages that support them, including element-wise operators in F#. In addition, a series of instance methods have been defined. These provide more efficient use of resources. All instance methods return a reference to the (modified) instance. This enables their use in compound expressions.

All operations can be performed on any combination of vector types. The return value is always an instance of type Vector<T>. The actual return value is of a derived type that is chosen for optimal performance.

Most operations come in 3 variants:

• A static method in the Vector class that names the operation, for example Vector.Add<T>(Vector<T>, Vector<T>). These methods compute the result and return it as a new object. They take the element type of the vectors as a generic type argument. In nearly all cases, the element type can be inferred and the type argument can be omitted.

• A static method in the Vector class that names the operation and a Into suffix, for example Vector.AddInto<T>(Vector<T>, Vector<T>, Vector<T>). These methods again take the element type as a generic type argument that can usually be omitted. They are similar to the first kind, but take an additional parameter that specifies the vector that is to hold the result. If this argument is not null, then the result of the operation is copied to this argument and the argument is returned. Otherwise, the method acts exactly like the first method.

• An instance method in the Vector<T> class that names the operation and an InPlace suffix, for example Vector<T>.AddInPlace(Vector<T>). These methods perform the operation in-place on the instance and return the instance.

Some operations that involve both vectors and matrices are covered in the section on Operations on Matrices.

Besides the usual binary operators, several common compound operations are supported. The following table lists the main methods for addition and subtraction:

Operators and methods for addition and subtraction

Method

Description

Adds the vector b to the vector a.

Adds the scalar f to the vector a.

Adds the scalarf times the vector b to the vector a.

Adds the matrix m times the vector b to the vector a.

AddScaledProduct(a, f, m, b). a.AddScaledProduct(f, m, b)

Adds the scalarf times the matrix m times the vector b to the vector a.

Subtract(a, b). a.Subtract(b)

Subtracts the vector b from the vector a.

Subtracts the scalar f from the vector a.

Subtracts the vector a from the scalar f.

Multiplication and Division

This section covers multiplication and division of vectors by scalars as well as element-wise operations, cross product and dot product.

Operators and methods for multiplication and division

Method

Description

Multiplies the vector a by the scalar f.

Divides the vector a by the scalar f.

Multiplies each element of the vector a by the corresponding element of the vector b. In F#, the .* operator can be used instead.

Multiplies each element of the vector a by the corresponding element of the vector b. In F#, the .* operator can be used instead.

Divides each element of the vector a by the corresponding element of the vector b. In F#, the ./ operator can be used instead.

Divides the scalar f by each element of the vector a. In F#, the .* operator can be used instead.

Computes the dot product of the vector a and the vector b.

Computes the cross product of the vector a and the vector b. Both vectors must have length 3.

Raises each element of the vector a to the power specified the integer f. In F#, the .** operator can be used instead.

Raises each element of the vector a to the power specified the scalar f. In F#, the .** operator can be used instead.

Raises each element of the vector a to the power specified by the corresponding element in the vector b. In F#, the .** operator can be used instead.

A note on compound assignment operators

The C# language does not provide for explicit overloading of compound assignment operators. A compound operator is translated into the operator followed by an assignment. This means that an expression like

C#
``a += b;``

is exactly equivalent to

C#
``a = a + b;``

This is important when working with reference types such as vectors. To perform the above addition, a new vector instance must be created to hold the sum of a and b. This new instance is then assigned to a, releasing the original value. This causes an unnecessary memory allocation. For large vectors, this may lead to excessive garbage collection, degrading overall performance.

The recommended way to use the InPlace instance methods discussed earlier.

Relational operators

The operators in this section are all element-wise. They return a Boolean vector with the result of comparing the corresponding elements of two vectors, or the corresponding element of a vector and a fixed scalar. Also listed here are the Max and Min methods, which follow the same pattern.

Each relational method comes in three flavors: one comparing a vector to a vector, one comparing a scalar to a vector, and one comparing a vector to a scalar. The table below lists the main functions.

Relational Operators

Method

Description

Returns whether each element of a is equal to the corresponding element of the vector b. In F#, the .= operator can be used instead.

Returns whether each element of a is not equal to the corresponding element of the vector b. In F#, the .<> operator can be used instead.

Returns whether each element of a is less than the corresponding element of the vector b. In F#, the .< operator can be used instead.

Returns whether each element of a is less than or equal to the corresponding element of the vector b. In F#, the .<= operator can be used instead.

Returns whether each element of a is greater than the corresponding element of the vector b. In F#, the .> operator can be used instead.

Returns whether each element of a is greater than or equal to the corresponding element of the vector b. In F#, the .>= operator can be used instead.

Returns the largest of two corresponding elements of the vectors a and b.

Returns the smallest of two corresponding elements of the vectors a and b.

Basic functions

The table below lists a number of basic functions that don't qualify as operators but also aren't elementary functions.

Relational Operators

Method

Description

Returns the absolute value of each element of the vector.

Returns the largest integer less than or equal to each element of the vector.

Returns the smallest integer less than or equal to each element of the vector.

Returns the complex conjugate of each element of the vector.

Returns the forward or backward difference of the vector. A positive value for the lag indicates a forward difference (an increase results in a positive value). The default lag is 1.

Map.

Applies a function to each element of the vector.

Basic functions

The table below lists a number of basic functions that don't qualify as operators but also aren't elementary functions.

Relational Operators

Method

Description

Returns the square root of each element of the vector.

Returns the exponential function of each element of the vector.

Returns the natural logarithm of each element of the vector.

Returns the base 10 logarithm of each element of the vector.

Returns the square root of the sum of the squares of corresponding elements in two vectors.

Returns the sine of each element of the vector.

Returns the cosine of each element of the vector.

Returns the tangent of each element of the vector.

Returns the inverse sine of each element of the vector.

Returns the inverse cosine of each element of the vector.

Returns the inverse tangent of each element of the vector.

Returns the 4 quadrant inverse tangent of the ratio of corresponding elements in two vectors.

Returns the hyperbolic sine of each element of the vector.

Returns the hyperbolic cosine of each element of the vector.

Returns the hyperbolic tangent of each element of the vector.

Returns the inverse hyperbolic sine of each element of the vector.

Returns the inverse hyperbolic cosine of each element of the vector.

Returns the inverse hyperbolic tangent of each element of the vector.

References

G. H. Golub, C. F. Van Loan, Matrix Computations (3rd Ed), Johns Hopkins University Press, 1996.