klefki.algebra.fields

Package Contents

Classes

PolyExtField

$U subseteq F$, where F is subfield, P is its module cof

PrimeField

A FIELD is a set F which is closed under two operations + and × s.t.
class klefki.algebra.fields.PolyExtField(*args)

Bases: klefki.algebra.abstract.Field, klefki.algebra.rings.PolyRing

$U subseteq F$, where F is subfield, P is its module cof

F
P
DEG
from_int(self, o)
from_list(self, o)
from_tuple(self, o)
from_PolyRing(self, o)
classmethod sec_identity(cls)
classmethod identity(cls)

The value for obeying axiom identity (3)

sec_inverse(self)

Implement for axiom inverse

sec_op(self, rhs)

The Operator for obeying axiom associativity (2)

klefki.algebra.fields.FiniteField
class klefki.algebra.fields.PrimeField(*args)

Bases: klefki.algebra.abstract.Field

A FIELD is a set F which is closed under two operations + and × s.t. (1) Fis an abelian group under + and (2) F-{0} (the set F without the additive identity 0) is an abelian group under ×.

P
from_int(self, o)
from_PrimeField(self, o)
from_complex(self, o)
inverse(self)

Implement for axiom inverse

mod(self, a, b)
sec_inverse(self)

Implement for axiom inverse

op(self, g)

The Operator for obeying axiom associativity (2)

sec_op(self, g)

The Operator for obeying axiom associativity (2)