Package dk.jonaslindstrom.ruffini.finitefields

Class BigFiniteField

java.lang.Object

dk.jonaslindstrom.ruffini.common.structures.QuotientRing<Polynomial<BigInteger>>

dk.jonaslindstrom.ruffini.finitefields.BigFiniteField

All Implemented Interfaces:

AdditiveGroup<Polynomial<BigInteger>>, CommutativeMonoid<Polynomial<BigInteger>>, Field<Polynomial<BigInteger>>, Group<Polynomial<BigInteger>>, Monoid<Polynomial<BigInteger>>, Ring<Polynomial<BigInteger>>, Semigroup<Polynomial<BigInteger>>, SemiRing<Polynomial<BigInteger>>, Set<Polynomial<BigInteger>>

public class BigFiniteField
extends QuotientRing<Polynomial<BigInteger>>
implements Field<Polynomial<BigInteger>>

Field Summary

Fields inherited from class dk.jonaslindstrom.ruffini.common.structures.QuotientRing

mod, ring

Constructor Summary

Constructors

Constructor	Description
BigFiniteField(BigPrimeField baseField, Polynomial<BigInteger> mod)	Create a finite field as a field of prime order module an irreducible polynomial.

Method Summary

Modifier and Type	Method	Description
int	getExponent()
BigInteger	getPrime()
Polynomial<BigInteger>	invert(Polynomial<BigInteger> a)	Return the inverse a-1.
String	toString()

Methods inherited from class dk.jonaslindstrom.ruffini.common.structures.QuotientRing

add, equals, identity, multiply, negate, toString, zero

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.AdditiveGroup

doubling, isZero, negate, scale, scale, subtract, sum

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.CommutativeMonoid

add, add, add, zero

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Field

divideInt

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Group

divide

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Monoid

identity, isIdentity, power

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Semigroup

multiply, multiply, multiply

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.SemiRing

integer, multiply, multiply

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Set

equals, toString

Constructor Details

BigFiniteField

public BigFiniteField(BigPrimeField baseField,
 Polynomial<BigInteger> mod)

Create a finite field as a field of prime order module an irreducible polynomial.

Method Details

invert

public Polynomial<BigInteger> invert(Polynomial<BigInteger> a)

Description copied from interface: Group

Return the inverse a^-1.

Specified by:

invert in interface Group<Polynomial<BigInteger>>

toString

public String toString()

Overrides:

toString in class QuotientRing<Polynomial<BigInteger>>

getPrime

public BigInteger getPrime()

getExponent

public int getExponent()