comments on numberfields
We wanted to be compatible/aligned to SMGloM/numberfields, and there I have separated the natural numbers into naturalnumbers
and natarith
.
The latter also has the symbols (and intarit
, ratarith
, and realarith
have the analogous ones).
- constant addition
- constant subtraction
- constant multiplication
- constant div
- constant mod
- constant exponentiation
- constant root
- constant square-root
- constant morethan
- constant mmorethan
- constant lessthan
- constant mlessthan
- constant methan
- constant mmethan
- constant lethan
- constant mlethan (the latter probably need to be renamed).
And the (only linguistic) constants we should talk about these.
- constant sum
- constant difference
- constant product
- constant quotient
- constant modulus
- constant remainder
- constant base
- constant power
- constant exponent
- constant integer-division
- constant integer-quotient
- constant division