-- Real mathematics
-- 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.Real
import Analysis
import ArithmeticSeries
import BinomialTheorem
import PowerSums
import HarmonicSeries
import Polynomial
import Uncountable
import Sqrt
import MeanInequality
import RootTwo
import TriangularSum
import RationalEmbedding
import RootTwoRational
import Integer
import Rationals
import Field