klefki.algebra.fields
¶
Package Contents¶
Classes¶
$U subseteq F$, where F is subfield, P is its module cof |
|
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)
-