Grace/Cumulus/Int.g17

Open in Workbench Download source

Imports

AbsoluteValue · Ring · Order · OrderMul · AbsoluteValueOrder · MinMax · Parity · Pow · Sign · Embedding

Declarations

Source

1-- Integer 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.Int8import AbsoluteValue9import Ring10import Order11import OrderMul12import AbsoluteValueOrder13import MinMax14import Parity15import Pow16import Sign17import Embedding18