Module traits 

Definitions of traits implemented and used in this crate.

This module contains basic traits for this library. These include specific traits for matrices and polynomials.

Traits

CompareBase

Is implemented by every type where a base-check might be needed. This also includes every type of matrix, because it allows for geneceric implementations. Per default, a basecheck simply returs that the bases match and no error is returned.

Concatenate

Is implemented by matrices to concatenate them.

Distance

Is implemented by basic types to calculate distances.

Evaluate

Is implemented by polynomials to evaluate them for a certain input.

FromCoefficientEmbedding

Is implemented by polynomials to reverse the coefficient embedding.

Gcd

Is implemented by Z instances to calculate the gcd

GetCoefficient

Is implemented by polynomials to get a coefficient.

IntoCoefficientEmbedding

Is implemented by polynomials to receive a matrix representation of their coefficients.

Lcm

Is implemented by Z instances to compute the lcm.

MatrixDimensions

Is implemented by matrices to get the number of rows and number of columns of the matrix.

MatrixGetEntry

Is implemented by matrices to get entries.

MatrixGetSubmatrix

Is implemented by Matrices to get submatrices such as rows, columns, etc.

MatrixSetEntry

Is implemented by matrices to set entries.

MatrixSetSubmatrix

Is implemented by matrices to set more than a single entry of the matrix.

MatrixSwaps

Pow

Is implemented by basic types to raise a value to the power of another.

SetCoefficient

Is implemented by polynomials to set a coefficient.

Tensor

Is implemented by matrices to compute the tensor product.

Xgcd

Is implemented by Z instances to calculate the extended gcd