Grace/Cumulus/Algebra.g17

Open in Workbench Download source

Imports

OrderedField · Polynomial.IdealSupport · Polynomial.PointIdeal · Field · Module · MultiplicationMatrix · Ring.DeterminantZero · Ring.DeterminantCancellation · Ring.DeterminantRows · Ring.MatrixCramer · Ring.CayleyHamilton · Ring.DeterminantThree · Ring.DeterminantProduct · Polynomial.MonicProducts · Polynomial.CharacteristicMonic · Polynomial.Determinant · Ring.Cancellation · SpanAnnihilator · IntegralFinite · FiniteModuleTower · Field.PrincipalLocalization · Field.IntegralDescent · Polynomial.HornerLocalization · Polynomial.CoefficientHorner · Polynomial.HornerReconstruction · Polynomial.HornerNormalization · Polynomial.InfiniteFieldLocalization · Polynomial.EvaluationOver · Polynomial.EmptyVariables · Polynomial.IndependentSubfamily · Polynomial.TranscendenceLocalization · Polynomial.VariableExpansion · Polynomial.Variables · Polynomial.HornerRoots · Polynomial.LocalizationObstruction · Polynomial.NullstellensatzReduction · Polynomial.BundledRoots · Polynomial.BundledNullstellensatz · Polynomial.Nullstellensatz

Declarations

Source

1-- Algebra2-- Part of Cumulus, the Grace17 mathematics library.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Cumulus.Algebra8import OrderedField9import Polynomial.IdealSupport10import Polynomial.PointIdeal11import Field12import Module13import MultiplicationMatrix14import Ring.DeterminantZero15import Ring.DeterminantCancellation16import Ring.DeterminantRows17import Ring.MatrixCramer18import Ring.CayleyHamilton19import Ring.DeterminantThree20import Ring.DeterminantProduct21import Polynomial.MonicProducts22import Polynomial.CharacteristicMonic23import Polynomial.Determinant24import Ring.Cancellation25import SpanAnnihilator26import IntegralFinite27import FiniteModuleTower28import Field.PrincipalLocalization29import Field.IntegralDescent30import Polynomial.HornerLocalization31import Polynomial.CoefficientHorner32import Polynomial.HornerReconstruction33import Polynomial.HornerNormalization34import Polynomial.InfiniteFieldLocalization35import Polynomial.EvaluationOver36import Polynomial.EmptyVariables37import Polynomial.IndependentSubfamily38import Polynomial.TranscendenceLocalization39import Polynomial.VariableExpansion40import Polynomial.Variables41import Polynomial.HornerRoots42import Polynomial.LocalizationObstruction43import Polynomial.NullstellensatzReduction44import Polynomial.BundledRoots45import Polynomial.BundledNullstellensatz4647import Polynomial.Nullstellensatz48