NMInteger

jnemo.spad line 43 [edit on github]

This domain allows the manipulation of NM integers using the NM package for JL (FLINT based). https://flintlib.org/

0: %

from AbelianMonoid

1: %

from MagmaWithUnit

*: (%, %) -> %

from Magma

*: (%, Integer) -> %

x*n is the product of x by the integer n.

*: (Integer, %) -> %

from AbelianGroup

*: (NMInteger, %) -> %

from JLObjectRing

*: (NonNegativeInteger, %) -> %

from AbelianMonoid

*: (PositiveInteger, %) -> %

from AbelianSemiGroup

+: (%, %) -> %

from AbelianSemiGroup

-: % -> %

from AbelianGroup

-: (%, %) -> %

from AbelianGroup

<=: (%, %) -> Boolean

from PartialOrder

<: (%, %) -> Boolean

from PartialOrder

=: (%, %) -> Boolean

from BasicType

>=: (%, %) -> Boolean

from PartialOrder

>: (%, %) -> Boolean

from PartialOrder

^: (%, NonNegativeInteger) -> %

from MagmaWithUnit

^: (%, PositiveInteger) -> %

from Magma

~=: (%, %) -> Boolean

from BasicType

abs: % -> %

from OrderedRing

addmod: (%, %, %) -> %

from IntegerNumberSystem

annihilate?: (%, %) -> Boolean

from Rng

antiCommutator: (%, %) -> %

from NonAssociativeSemiRng

associates?: (%, %) -> Boolean

from EntireRing

associator: (%, %, %) -> %

from NonAssociativeRng

base: () -> %

from IntegerNumberSystem

binomial: (%, %) -> %

from CombinatorialFunctionCategory

bit?: (%, %) -> Boolean

from IntegerNumberSystem

characteristic: () -> NonNegativeInteger

from NonAssociativeRing

coerce: % -> %

from Algebra %

coerce: % -> AlgebraicNumber

``coerce ``undocumented

coerce: % -> Expression Integer

``coerce ``undocumented

coerce: % -> JLInt64

coerce(ni) ro a JLInt64 if possible.

coerce: % -> JLObject

from JLObjectType

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Integer -> %

from NonAssociativeRing

coerce: JLInt64 -> %

coerce(i) coerces i to a NMInteger.

commutator: (%, %) -> %

from NonAssociativeRng

convert: % -> DoubleFloat

from ConvertibleTo DoubleFloat

convert: % -> Float

from ConvertibleTo Float

convert: % -> InputForm

from ConvertibleTo InputForm

convert: % -> Integer

from ConvertibleTo Integer

convert: % -> Pattern Integer

from ConvertibleTo Pattern Integer

convert: % -> String

from ConvertibleTo String

copy: % -> %

from IntegerNumberSystem

D: % -> %

from DifferentialRing

D: (%, NonNegativeInteger) -> %

from DifferentialRing

dec: % -> %

from IntegerNumberSystem

differentiate: % -> %

from DifferentialRing

differentiate: (%, NonNegativeInteger) -> %

from DifferentialRing

divide: (%, %) -> Record(quotient: %, remainder: %)

from EuclideanDomain

euclideanSize: % -> NonNegativeInteger

from EuclideanDomain

even?: % -> Boolean

from IntegerNumberSystem

expressIdealMember: (List %, %) -> Union(List %, failed)

from PrincipalIdealDomain

exquo: (%, %) -> Union(%, failed)

from EntireRing

extendedEuclidean: (%, %) -> Record(coef1: %, coef2: %, generator: %)

from EuclideanDomain

extendedEuclidean: (%, %, %) -> Union(Record(coef1: %, coef2: %), failed)

from EuclideanDomain

factor: % -> Factored %

from UniqueFactorizationDomain

factorial: % -> %

from CombinatorialFunctionCategory

factorPolynomial: SparseUnivariatePolynomial % -> Factored SparseUnivariatePolynomial %

from PolynomialFactorizationExplicit

factorSquareFreePolynomial: SparseUnivariatePolynomial % -> Factored SparseUnivariatePolynomial %

from PolynomialFactorizationExplicit

gcd: (%, %) -> %

from GcdDomain

gcd: List % -> %

from GcdDomain

gcdPolynomial: (SparseUnivariatePolynomial %, SparseUnivariatePolynomial %) -> SparseUnivariatePolynomial %

from PolynomialFactorizationExplicit

inc: % -> %

from IntegerNumberSystem

init: %

from StepThrough

invmod: (%, %) -> %

from IntegerNumberSystem

jlAbout: % -> Void

from JLObjectType

jlApply: (String, %) -> %

from JLObjectType

jlApply: (String, %, %) -> %

from JLObjectType

jlApply: (String, %, %, %) -> %

from JLObjectType

jlApply: (String, %, %, %, %) -> %

from JLObjectType

jlApply: (String, %, %, %, %, %) -> %

from JLObjectType

jlDisplay: % -> Void

from JLObjectType

jlId: % -> JLInt64

from JLObjectType

jlNMRing: () -> String

from NMRing

jlObject: () -> String

from NMRing

jlRef: % -> SExpression

from JLObjectType

jlref: String -> %

from JLObjectType

jlType: % -> String

from JLObjectType

jnint: Integer -> %

``jnint ``undocumented

latex: % -> String

from SetCategory

lcm: (%, %) -> %

from GcdDomain

lcm: List % -> %

from GcdDomain

lcmCoef: (%, %) -> Record(llcm_res: %, coeff1: %, coeff2: %)

from LeftOreRing

leftPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

leftPower: (%, PositiveInteger) -> %

from Magma

leftRecip: % -> Union(%, failed)

from MagmaWithUnit

length: % -> %

from IntegerNumberSystem

mask: % -> %

from IntegerNumberSystem

max: (%, %) -> %

from OrderedSet

min: (%, %) -> %

from OrderedSet

mulmod: (%, %, %) -> %

from IntegerNumberSystem

multiEuclidean: (List %, %) -> Union(List %, failed)

from EuclideanDomain

mutable?: % -> Boolean

from JLObjectType

negative?: % -> Boolean

from OrderedRing

nextItem: % -> Union(%, failed)

from StepThrough

nothing?: % -> Boolean

from JLObjectType

odd?: % -> Boolean

from IntegerNumberSystem

one?: % -> Boolean

from MagmaWithUnit

opposite?: (%, %) -> Boolean

from AbelianMonoid

patternMatch: (%, Pattern Integer, PatternMatchResult(Integer, %)) -> PatternMatchResult(Integer, %)

from PatternMatchable Integer

permutation: (%, %) -> %

from CombinatorialFunctionCategory

plenaryPower: (%, PositiveInteger) -> %

from NonAssociativeAlgebra %

positive?: % -> Boolean

from OrderedRing

positiveRemainder: (%, %) -> %

from IntegerNumberSystem

powmod: (%, %, %) -> %

from IntegerNumberSystem

prime?: % -> Boolean

from UniqueFactorizationDomain

principalIdeal: List % -> Record(coef: List %, generator: %)

from PrincipalIdealDomain

probablePrime?: % -> Boolean

probablePrime?(n) checks whether or not n is a probable prime using a Baillie-PSW probable prime test with parameters chosen by Selfridge’s method. See https://flintlib.org/.

quo: (%, %) -> %

from EuclideanDomain

random: % -> %

from IntegerNumberSystem

random: Segment Integer -> %

random(seg) returns a random NM integer in the range seg.

rational?: % -> Boolean

from IntegerNumberSystem

rational: % -> Fraction Integer

from IntegerNumberSystem

rationalIfCan: % -> Union(Fraction Integer, failed)

from IntegerNumberSystem

recip: % -> Union(%, failed)

from MagmaWithUnit

rem: (%, %) -> %

from EuclideanDomain

retract: % -> Integer

from RetractableTo Integer

retractIfCan: % -> Union(Integer, failed)

from RetractableTo Integer

rightPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

rightPower: (%, PositiveInteger) -> %

from Magma

rightRecip: % -> Union(%, failed)

from MagmaWithUnit

sample: %

from AbelianMonoid

shift: (%, %) -> %

from IntegerNumberSystem

sign: % -> Integer

from OrderedRing

sizeLess?: (%, %) -> Boolean

from EuclideanDomain

smaller?: (%, %) -> Boolean

from Comparable

solveLinearPolynomialEquation: (List SparseUnivariatePolynomial %, SparseUnivariatePolynomial %) -> Union(List SparseUnivariatePolynomial %, failed)

from PolynomialFactorizationExplicit

squareFree: % -> Factored %

from UniqueFactorizationDomain

squareFreePart: % -> %

from UniqueFactorizationDomain

squareFreePolynomial: SparseUnivariatePolynomial % -> Factored SparseUnivariatePolynomial %

from PolynomialFactorizationExplicit

string: % -> String

from JLType

submod: (%, %, %) -> %

from IntegerNumberSystem

subtractIfCan: (%, %) -> Union(%, failed)

from CancellationAbelianMonoid

symmetricRemainder: (%, %) -> %

from IntegerNumberSystem

unit?: % -> Boolean

from EntireRing

unitCanonical: % -> %

from EntireRing

unitNormal: % -> Record(unit: %, canonical: %, associate: %)

from EntireRing

zero?: % -> Boolean

from AbelianMonoid

AbelianGroup

AbelianMonoid

AbelianSemiGroup

Algebra %

BasicType

BiModule(%, %)

CancellationAbelianMonoid

Canonical

canonicalsClosed

canonicalUnitNormal

CharacteristicZero

CoercibleFrom Integer

CoercibleTo OutputForm

CombinatorialFunctionCategory

CommutativeRing

CommutativeStar

Comparable

ConvertibleTo DoubleFloat

ConvertibleTo Float

ConvertibleTo InputForm

ConvertibleTo Integer

ConvertibleTo Pattern Integer

ConvertibleTo String

DifferentialRing

EntireRing

EuclideanDomain

GcdDomain

IntegerNumberSystem

IntegralDomain

JLObjectRing

JLObjectType

JLRing

JLType

LeftModule %

LeftOreRing

Magma

MagmaWithUnit

Module %

Monoid

multiplicativeValuation

NMCommutativeRing

NMRing

NMType

NonAssociativeAlgebra %

NonAssociativeRing

NonAssociativeRng

NonAssociativeSemiRing

NonAssociativeSemiRng

noZeroDivisors

OrderedAbelianGroup

OrderedAbelianMonoid

OrderedAbelianSemiGroup

OrderedCancellationAbelianMonoid

OrderedIntegralDomain

OrderedRing

OrderedSet

PartialOrder

PatternMatchable Integer

PolynomialFactorizationExplicit

PrincipalIdealDomain

RealConstant

RetractableTo Integer

RightModule %

Ring

Rng

SemiGroup

SemiRing

SemiRng

SetCategory

StepThrough

TwoSidedRecip

UniqueFactorizationDomain

unitsKnown