Crate ring_math

Polynomial ring math with variables in scalarff::FieldElement. Includes structures for vectors and matrices of variable dimension and overloads for mathematical operations.

Macros

• custom_ring
  The provided modulus should be a number < 2^64. This function creates a commutative ring with the provided modulus. This ring may be considered a field if the modulus is prime. Expects FieldElement to be in scope
• polynomial_ring
  Use this to build a concrete instance of a polynomial ring.

Structs

• Matrix
• Matrix2D
  A two dimensional matrix implementation
• Polynomial
  A univariate polynomial with coefficients in a field
• Vector

Traits

• FieldElement
  A generic representation of a scalar finite field element. For use in internal module logic. Supports field operations using builtin operators (*-+/) and other convenience traits. Handles serialization and deserialization to a reasonable string representation.
• PolynomialRingElement
  A trait representing a polynomial ring defined as T[X]/<Self::modulus()> where T is a FieldElement trait and modulus is a function implemented by the struct implementing PolynomialRingElement