有限体
有限体はガロア体としても知られ,代数計算,エラー訂正コード,暗号学,組合せ論,代数幾何学,整数論,有限幾何学で使われる. Wolfram言語は,有限体を使うための完全な関数一式に加えて,それらの分野における多項式計算,方程式の解法,行列演算に使える最新のアルゴリズムを提供する.
有限体と体の埋込み
FiniteField — 有限体を表す
FiniteFieldElement — 有限体の元を表す
FiniteFieldEmbedding — 有限体を別の有限体に埋め込む
FrobeniusAutomorphism — 有限体のフロベニウス自己同型
ToFiniteField, FromFiniteField — 式を有限体表現に,あるいは有限体表現から変換する
FiniteFieldIndex, FromFiniteFieldIndex — 指数表現に,あるいは指数表現から変換する
FiniteFieldElementTrace ▪ FiniteFieldElementNorm ▪ MinimalPolynomial ▪ MultiplicativeOrder ▪ FiniteFieldElementPrimitiveQ
有限体上の多項式
Factor — 有限体上で多項式を因数分解する
PolynomialGCD — 有限体からの係数を持つ多項式の最大公約因子を求める
FactorList ▪ FactorSquareFree ▪ FactorSquareFreeList ▪ PolynomialLCM ▪ PolynomialExtendedGCD ▪ Expand ▪ Together ▪ Cancel ▪ IrreduciblePolynomialQ ▪ PolynomialQuotient ▪ PolynomialRemainder ▪ PolynomialQuotientRemainder ▪ Resultant ▪ Discriminant
有限体上の線形代数
Det — 有限体の元成分で行列の行列式を計算する
Inverse — 有限体の元成分で行列の逆行列を計算する
LinearSolve — 有限体上で行列方程式を解く
Dot ▪ RowReduce ▪ NullSpace ▪ MatrixRank ▪ LUDecomposition ▪ CharacteristicPolynomial
有限体上の方程式
Solve — 有限体上で多項式を解く
FindInstance — 有限体内に解の例を求める
Reduce ▪ SolveValues ▪ Resolve