Grace/Cumulus/Algebra/Ring.g17

Open in Workbench Download source

Imports

IdealAdjoin · Basic · Numeral · FiniteCombination · PrimeCorrespondence

Declarations

Source

1-- Ring theory2-- 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.Algebra.Ring8import IdealAdjoin9import Basic10import Numeral11import FiniteCombination1213import PrimeCorrespondence14