fifth-postulate/gaussian-elimination/1.0.0

Field.Finite

The field of Finite numbers.

type Finite

Container for a finite number.

field : Int -> Field Finite

Returns a finite field.

Currently only a prime number of elements is supported. The client must ensure the number of elements is prime.

Inspection

order : Field Finite -> Int

Determine the number of elements in the finite field.

toInt : Finite -> Int

Dtermine in which class the element belangs to.