-- Algebra
-- Part of Cumulus, the Grace17 mathematics library.
-- Copyright (c) 2026 Grant Passmore.
-- Released under the Apache License 2.0. See LICENSE in the repository root.
-- Authors: Grant Passmore

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

import Polynomial.Nullstellensatz