Grace/Cumulus/Real.g17

Open in Workbench Download source

Imports

Analysis · ArithmeticSeries · BinomialTheorem · PowerSums · HarmonicSeries · Polynomial · Uncountable · Sqrt · MeanInequality · RootTwo · TriangularSum · RationalEmbedding · RootTwoRational · Integer · Rationals · Field

Declarations

Source

1-- Real mathematics2-- 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.Real8import Analysis9import ArithmeticSeries10import BinomialTheorem11import PowerSums12import HarmonicSeries13import Polynomial14import Uncountable15import Sqrt16import MeanInequality17import RootTwo18import TriangularSum19import RationalEmbedding20import RootTwoRational21import Integer22import Rationals23import Field24