NMComplexBall

jnball.spad line 584 [edit on github]

convenience domain to reflect NM AcbField(), i.e. without parameters.

0: %

from AbelianMonoid

1: %

from MagmaWithUnit

*: (%, %) -> %

from Magma

*: (%, Fraction Integer) -> %

from RightModule Fraction Integer

*: (%, Integer) -> %

*: (%, NMArbField 256) -> %

from RightModule NMArbField 256

*: (Fraction Integer, %) -> %

from LeftModule Fraction Integer

*: (Integer, %) -> %

from AbelianGroup

*: (NMArbField 256, %) -> %

from LeftModule NMArbField 256

*: (NMInteger, %) -> %

from JLObjectRing

*: (NonNegativeInteger, %) -> %

from AbelianMonoid

*: (PositiveInteger, %) -> %

from AbelianSemiGroup

+: (%, %) -> %

from AbelianSemiGroup

-: % -> %

from AbelianGroup

-: (%, %) -> %

from AbelianGroup

/: (%, %) -> %

from Field

/: (Integer, %) -> %

=: (%, %) -> Boolean

from BasicType

^: (%, %) -> %

from ElementaryFunctionCategory

^: (%, Fraction Integer) -> %

from RadicalCategory

^: (%, Integer) -> %

from DivisionRing

^: (%, NonNegativeInteger) -> %

from MagmaWithUnit

^: (%, PositiveInteger) -> %

from Magma

~=: (%, %) -> Boolean

from BasicType

abs: % -> %

from SpecialFunctionCategory

accuracyBits: % -> JLInt64

acos: % -> %

from ArcTrigonometricFunctionCategory

acosh: % -> %

from ArcHyperbolicFunctionCategory

acot: % -> %

from ArcTrigonometricFunctionCategory

acoth: % -> %

from ArcHyperbolicFunctionCategory

acsc: % -> %

from ArcTrigonometricFunctionCategory

acsch: % -> %

from ArcHyperbolicFunctionCategory

airyAi: % -> %

from SpecialFunctionCategory

airyAiPrime: % -> %

from SpecialFunctionCategory

airyBi: % -> %

from SpecialFunctionCategory

airyBiPrime: % -> %

from SpecialFunctionCategory

angerJ: (%, %) -> %

from SpecialFunctionCategory

annihilate?: (%, %) -> Boolean

from Rng

antiCommutator: (%, %) -> %

from NonAssociativeSemiRng

argument: % -> NMArbField 256

from ComplexCategory NMArbField 256

asec: % -> %

from ArcTrigonometricFunctionCategory

asech: % -> %

from ArcHyperbolicFunctionCategory

asin: % -> %

from ArcTrigonometricFunctionCategory

asinh: % -> %

from ArcHyperbolicFunctionCategory

associates?: (%, %) -> Boolean

from EntireRing

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

from NonAssociativeRng

atan: % -> %

from ArcTrigonometricFunctionCategory

atanh: % -> %

from ArcHyperbolicFunctionCategory

basis: () -> Vector %

from FramedModule NMArbField 256

besselI: (%, %) -> %

from SpecialFunctionCategory

besselJ: (%, %) -> %

from SpecialFunctionCategory

besselK: (%, %) -> %

from SpecialFunctionCategory

besselY: (%, %) -> %

from SpecialFunctionCategory

Beta: (%, %) -> %

from SpecialFunctionCategory

Beta: (%, %, %) -> %

from SpecialFunctionCategory

bits: % -> JLInt64

ceiling: % -> %

from SpecialFunctionCategory

characteristic: () -> NonNegativeInteger

from NonAssociativeRing

characteristicPolynomial: % -> SparseUnivariatePolynomial NMArbField 256

from FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

charlierC: (%, %, %) -> %

from SpecialFunctionCategory

charthRoot: % -> % if NMArbField 256 has FiniteFieldCategory

from FiniteFieldCategory

charthRoot: % -> Union(%, failed) if NMArbField 256 has CharacteristicNonZero or % has CharacteristicNonZero and NMArbField 256 has PolynomialFactorizationExplicit

from PolynomialFactorizationExplicit

coerce: % -> %

from Algebra %

coerce: % -> JLObject

from JLObjectType

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Complex Integer -> %

coerce: Float -> %

coerce: Fraction Integer -> %

from Algebra Fraction Integer

coerce: Integer -> %

from NonAssociativeRing

coerce: NMArbField 256 -> %

from CoercibleFrom NMArbField 256

commutator: (%, %) -> %

from NonAssociativeRng

complex: (NMArbField 256, NMArbField 256) -> %

from ComplexCategory NMArbField 256

conditionP: Matrix % -> Union(Vector %, failed) if % has CharacteristicNonZero and NMArbField 256 has PolynomialFactorizationExplicit or NMArbField 256 has FiniteFieldCategory

from PolynomialFactorizationExplicit

conjugate: % -> %

from SpecialFunctionCategory

contains?: (%, %) -> Boolean

contains?: (%, NMFraction NMInteger) -> Boolean

contains?: (%, NMInteger) -> Boolean

containsZero?: % -> Boolean

convert: % -> Complex DoubleFloat

from ConvertibleTo Complex DoubleFloat

convert: % -> Complex Float

from ConvertibleTo Complex Float

convert: % -> InputForm if NMArbField 256 has ConvertibleTo InputForm

from ConvertibleTo InputForm

convert: % -> Pattern Float

from ConvertibleTo Pattern Float

convert: % -> Pattern Integer if NMArbField 256 has ConvertibleTo Pattern Integer

from ConvertibleTo Pattern Integer

convert: % -> SparseUnivariatePolynomial NMArbField 256

from ConvertibleTo SparseUnivariatePolynomial NMArbField 256

convert: % -> String

from ConvertibleTo String

convert: % -> Vector NMArbField 256

from FramedModule NMArbField 256

convert: SparseUnivariatePolynomial NMArbField 256 -> %

from MonogenicAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

convert: Vector NMArbField 256 -> %

from FramedModule NMArbField 256

coordinates: % -> Vector NMArbField 256

from FramedModule NMArbField 256

coordinates: (%, Vector %) -> Vector NMArbField 256

from FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

coordinates: (Vector %, Vector %) -> Matrix NMArbField 256

from FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

coordinates: Vector % -> Matrix NMArbField 256

from FramedModule NMArbField 256

cos: % -> %

from TrigonometricFunctionCategory

cosh: % -> %

from HyperbolicFunctionCategory

cot: % -> %

from TrigonometricFunctionCategory

coth: % -> %

from HyperbolicFunctionCategory

createPrimitiveElement: () -> % if NMArbField 256 has FiniteFieldCategory

from FiniteFieldCategory

csc: % -> %

from TrigonometricFunctionCategory

csch: % -> %

from HyperbolicFunctionCategory

D: % -> %

from DifferentialRing

D: (%, List Symbol) -> % if NMArbField 256 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

D: (%, List Symbol, List NonNegativeInteger) -> % if NMArbField 256 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

D: (%, NMArbField 256 -> NMArbField 256) -> %

from DifferentialExtension NMArbField 256

D: (%, NMArbField 256 -> NMArbField 256, NonNegativeInteger) -> %

from DifferentialExtension NMArbField 256

D: (%, NonNegativeInteger) -> %

from DifferentialRing

D: (%, Symbol) -> % if NMArbField 256 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

D: (%, Symbol, NonNegativeInteger) -> % if NMArbField 256 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

definingPolynomial: () -> SparseUnivariatePolynomial NMArbField 256

from MonogenicAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

derivationCoordinates: (Vector %, NMArbField 256 -> NMArbField 256) -> Matrix NMArbField 256

from MonogenicAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

differentiate: % -> %

from DifferentialRing

differentiate: (%, List Symbol) -> % if NMArbField 256 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

differentiate: (%, List Symbol, List NonNegativeInteger) -> % if NMArbField 256 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

differentiate: (%, NMArbField 256 -> NMArbField 256) -> %

from DifferentialExtension NMArbField 256

differentiate: (%, NMArbField 256 -> NMArbField 256, NonNegativeInteger) -> %

from DifferentialExtension NMArbField 256

differentiate: (%, NonNegativeInteger) -> %

from DifferentialRing

differentiate: (%, Symbol) -> % if NMArbField 256 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

differentiate: (%, Symbol, NonNegativeInteger) -> % if NMArbField 256 has PartialDifferentialRing Symbol

from PartialDifferentialRing Symbol

digamma: % -> %

from SpecialFunctionCategory

diracDelta: % -> %

from SpecialFunctionCategory

discreteLog: % -> NonNegativeInteger if NMArbField 256 has FiniteFieldCategory

from FiniteFieldCategory

discreteLog: (%, %) -> Union(NonNegativeInteger, failed) if NMArbField 256 has FiniteFieldCategory

from FieldOfPrimeCharacteristic

discriminant: () -> NMArbField 256

from FramedAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

discriminant: Vector % -> NMArbField 256

from FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

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

from EuclideanDomain

ellipticE: % -> %

from SpecialFunctionCategory

ellipticE: (%, %) -> %

from SpecialFunctionCategory

ellipticF: (%, %) -> %

from SpecialFunctionCategory

ellipticK: % -> %

from SpecialFunctionCategory

ellipticPi: (%, %, %) -> %

from SpecialFunctionCategory

elt: (%, NMArbField 256) -> % if NMArbField 256 has Eltable(NMArbField 256, NMArbField 256)

from Eltable(NMArbField 256, %)

enumerate: () -> List % if NMArbField 256 has Finite

from Finite

euclideanSize: % -> NonNegativeInteger

from EuclideanDomain

eval: (%, Equation NMArbField 256) -> % if NMArbField 256 has Evalable NMArbField 256

from Evalable NMArbField 256

eval: (%, List Equation NMArbField 256) -> % if NMArbField 256 has Evalable NMArbField 256

from Evalable NMArbField 256

eval: (%, List NMArbField 256, List NMArbField 256) -> % if NMArbField 256 has Evalable NMArbField 256

from InnerEvalable(NMArbField 256, NMArbField 256)

eval: (%, List Symbol, List NMArbField 256) -> % if NMArbField 256 has InnerEvalable(Symbol, NMArbField 256)

from InnerEvalable(Symbol, NMArbField 256)

eval: (%, NMArbField 256, NMArbField 256) -> % if NMArbField 256 has Evalable NMArbField 256

from InnerEvalable(NMArbField 256, NMArbField 256)

eval: (%, Symbol, NMArbField 256) -> % if NMArbField 256 has InnerEvalable(Symbol, NMArbField 256)

from InnerEvalable(Symbol, NMArbField 256)

exact?: % -> Boolean

exp1: () -> %

exp: % -> %

from ElementaryFunctionCategory

exp: () -> %

expm1: % -> %

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

from PrincipalIdealDomain

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

from EntireRing

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

from ComplexCategory NMArbField 256

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

from EuclideanDomain

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

from EuclideanDomain

factor: % -> Factored %

from UniqueFactorizationDomain

factorPolynomial: SparseUnivariatePolynomial % -> Factored SparseUnivariatePolynomial % if NMArbField 256 has PolynomialFactorizationExplicit

from PolynomialFactorizationExplicit

factorsOfCyclicGroupSize: () -> List Record(factor: Integer, exponent: NonNegativeInteger) if NMArbField 256 has FiniteFieldCategory

from FiniteFieldCategory

factorSquareFreePolynomial: SparseUnivariatePolynomial % -> Factored SparseUnivariatePolynomial % if NMArbField 256 has PolynomialFactorizationExplicit

from PolynomialFactorizationExplicit

finite?: % -> Boolean

floor: % -> %

from SpecialFunctionCategory

fractionPart: % -> %

from SpecialFunctionCategory

Gamma: % -> %

from SpecialFunctionCategory

Gamma: (%, %) -> %

from SpecialFunctionCategory

gcd: (%, %) -> %

from GcdDomain

gcd: List % -> %

from GcdDomain

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

from GcdDomain

generator: () -> %

from MonogenicAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

guess: (%, NonNegativeInteger) -> NMAlgebraicNumber

hahn_p: (%, %, %, %, %) -> %

from SpecialFunctionCategory

hahnQ: (%, %, %, %, %) -> %

from SpecialFunctionCategory

hahnR: (%, %, %, %, %) -> %

from SpecialFunctionCategory

hahnS: (%, %, %, %, %) -> %

from SpecialFunctionCategory

hankelH1: (%, %) -> %

from SpecialFunctionCategory

hankelH2: (%, %) -> %

from SpecialFunctionCategory

hash: % -> SingleInteger if NMArbField 256 has Hashable

from Hashable

hashUpdate!: (HashState, %) -> HashState if NMArbField 256 has Hashable

from Hashable

hermiteH: (%, %) -> %

from SpecialFunctionCategory

hurwitzZeta: (%, %) -> %

hypergeometric1F1: (%, %, %) -> %

hypergeometric1F1Regularized: (%, %, %) -> %

hypergeometricF: (List %, List %, %) -> %

from SpecialFunctionCategory

hypergeometricU: (%, %, %) -> %

imag: % -> NMArbField 256

from ComplexCategory NMArbField 256

imaginary: () -> %

from ComplexCategory NMArbField 256

index: PositiveInteger -> % if NMArbField 256 has Finite

from Finite

init: % if NMArbField 256 has FiniteFieldCategory

from StepThrough

integer?: % -> Boolean

inv: % -> %

from DivisionRing

jacobiCn: (%, %) -> %

from SpecialFunctionCategory

jacobiDn: (%, %) -> %

from SpecialFunctionCategory

jacobiP: (%, %, %, %) -> %

from SpecialFunctionCategory

jacobiSn: (%, %) -> %

from SpecialFunctionCategory

jacobiTheta: (%, %) -> %

from SpecialFunctionCategory

jacobiZeta: (%, %) -> %

from SpecialFunctionCategory

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

jncb: (Float, Float) -> %

jncb: (Integer, Integer) -> %

jncb: (String, String) -> %

jncb: Float -> %

jncb: Integer -> %

jncb: NMAlgebraicNumber -> %

jncb: NMExactCalciumField -> %

jncb: String -> %

kelvinBei: (%, %) -> %

from SpecialFunctionCategory

kelvinBer: (%, %) -> %

from SpecialFunctionCategory

kelvinKei: (%, %) -> %

from SpecialFunctionCategory

kelvinKer: (%, %) -> %

from SpecialFunctionCategory

krawtchoukK: (%, %, %, %) -> %

from SpecialFunctionCategory

kummerM: (%, %, %) -> %

from SpecialFunctionCategory

kummerU: (%, %, %) -> %

from SpecialFunctionCategory

laguerreL: (%, %, %) -> %

from SpecialFunctionCategory

lambertW: % -> %

from SpecialFunctionCategory

latex: % -> String

from SetCategory

lcm: (%, %) -> %

from GcdDomain

lcm: List % -> %

from GcdDomain

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

from LeftOreRing

ldexp: (%, NMInteger) -> %

leftPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

leftPower: (%, PositiveInteger) -> %

from Magma

leftRecip: % -> Union(%, failed)

from MagmaWithUnit

legendreP: (%, %, %) -> %

from SpecialFunctionCategory

legendreQ: (%, %, %) -> %

from SpecialFunctionCategory

lerchPhi: (%, %, %) -> %

from SpecialFunctionCategory

lift: % -> SparseUnivariatePolynomial NMArbField 256

from MonogenicAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

log1p: % -> %

log: % -> %

from ElementaryFunctionCategory

lommelS1: (%, %, %) -> %

from SpecialFunctionCategory

lommelS2: (%, %, %) -> %

from SpecialFunctionCategory

lookup: % -> PositiveInteger if NMArbField 256 has Finite

from Finite

map: (NMArbField 256 -> NMArbField 256, %) -> %

from FullyEvalableOver NMArbField 256

meijerG: (List %, List %, List %, List %, %) -> %

from SpecialFunctionCategory

meixnerM: (%, %, %, %) -> %

from SpecialFunctionCategory

meixnerP: (%, %, %, %) -> %

from SpecialFunctionCategory

minimalPolynomial: % -> SparseUnivariatePolynomial NMArbField 256

from FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

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

from EuclideanDomain

mutable?: % -> Boolean

from JLObjectType

nextItem: % -> Union(%, failed) if NMArbField 256 has FiniteFieldCategory

from StepThrough

norm: % -> NMArbField 256

from ComplexCategory NMArbField 256

nothing?: % -> Boolean

from JLObjectType

nthRoot: (%, Integer) -> %

from RadicalCategory

one?: % -> Boolean

from MagmaWithUnit

opposite?: (%, %) -> Boolean

from AbelianMonoid

order: % -> OnePointCompletion PositiveInteger if NMArbField 256 has FiniteFieldCategory

from FieldOfPrimeCharacteristic

order: % -> PositiveInteger if NMArbField 256 has FiniteFieldCategory

from FiniteFieldCategory

overlaps?: (%, %) -> Boolean

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

from PatternMatchable Float

patternMatch: (%, Pattern Integer, PatternMatchResult(Integer, %)) -> PatternMatchResult(Integer, %) if NMArbField 256 has PatternMatchable Integer

from PatternMatchable Integer

pi: () -> %

plenaryPower: (%, PositiveInteger) -> %

from NonAssociativeAlgebra Fraction Integer

polarCoordinates: % -> Record(r: NMArbField 256, phi: NMArbField 256)

from ComplexCategory NMArbField 256

polygamma: (%, %) -> %

from SpecialFunctionCategory

polylog: (%, %) -> %

from SpecialFunctionCategory

precision: () -> PositiveInteger

prime?: % -> Boolean

from UniqueFactorizationDomain

primeFrobenius: % -> % if NMArbField 256 has FiniteFieldCategory

from FieldOfPrimeCharacteristic

primeFrobenius: (%, NonNegativeInteger) -> % if NMArbField 256 has FiniteFieldCategory

from FieldOfPrimeCharacteristic

primitive?: % -> Boolean if NMArbField 256 has FiniteFieldCategory

from FiniteFieldCategory

primitiveElement: () -> % if NMArbField 256 has FiniteFieldCategory

from FiniteFieldCategory

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

from PrincipalIdealDomain

quo: (%, %) -> %

from EuclideanDomain

racahR: (%, %, %, %, %, %) -> %

from SpecialFunctionCategory

random: () -> % if NMArbField 256 has Finite

from Finite

rank: () -> PositiveInteger

from FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

rational?: % -> Boolean if NMArbField 256 has IntegerNumberSystem

from ComplexCategory NMArbField 256

rational: % -> Fraction Integer if NMArbField 256 has IntegerNumberSystem

from ComplexCategory NMArbField 256

rationalIfCan: % -> Union(Fraction Integer, failed) if NMArbField 256 has IntegerNumberSystem

from ComplexCategory NMArbField 256

real: % -> NMArbField 256

from ComplexCategory NMArbField 256

recip: % -> Union(%, failed)

from MagmaWithUnit

reduce: Fraction SparseUnivariatePolynomial NMArbField 256 -> Union(%, failed)

from MonogenicAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

reduce: SparseUnivariatePolynomial NMArbField 256 -> %

from MonogenicAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

reducedSystem: (Matrix %, Vector %) -> Record(mat: Matrix Integer, vec: Vector Integer) if NMArbField 256 has LinearlyExplicitOver Integer

from LinearlyExplicitOver Integer

reducedSystem: (Matrix %, Vector %) -> Record(mat: Matrix NMArbField 256, vec: Vector NMArbField 256)

from LinearlyExplicitOver NMArbField 256

reducedSystem: Matrix % -> Matrix Integer if NMArbField 256 has LinearlyExplicitOver Integer

from LinearlyExplicitOver Integer

reducedSystem: Matrix % -> Matrix NMArbField 256

from LinearlyExplicitOver NMArbField 256

regularRepresentation: % -> Matrix NMArbField 256

from FramedAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

regularRepresentation: (%, Vector %) -> Matrix NMArbField 256

from FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

rem: (%, %) -> %

from EuclideanDomain

representationType: () -> Union(prime, polynomial, normal, cyclic) if NMArbField 256 has FiniteFieldCategory

from FiniteFieldCategory

represents: (Vector NMArbField 256, Vector %) -> %

from FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

represents: Vector NMArbField 256 -> %

from FramedModule NMArbField 256

retract: % -> Fraction Integer

from RetractableTo Fraction Integer

retract: % -> Integer

from RetractableTo Integer

retract: % -> NMArbField 256

from RetractableTo NMArbField 256

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

from RetractableTo Fraction Integer

retractIfCan: % -> Union(Integer, failed)

from RetractableTo Integer

retractIfCan: % -> Union(NMArbField 256, failed)

from RetractableTo NMArbField 256

riemannZeta: % -> %

from SpecialFunctionCategory

rightPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

rightPower: (%, PositiveInteger) -> %

from Magma

rightRecip: % -> Union(%, failed)

from MagmaWithUnit

rootOfUnity: NonNegativeInteger -> %

sample: %

from AbelianMonoid

sec: % -> %

from TrigonometricFunctionCategory

sech: % -> %

from HyperbolicFunctionCategory

sign: % -> %

from SpecialFunctionCategory

sin: % -> %

from TrigonometricFunctionCategory

sinh: % -> %

from HyperbolicFunctionCategory

size: () -> NonNegativeInteger if NMArbField 256 has Finite

from Finite

sizeLess?: (%, %) -> Boolean

from EuclideanDomain

smaller?: (%, %) -> Boolean

from Comparable

solveLinearPolynomialEquation: (List SparseUnivariatePolynomial %, SparseUnivariatePolynomial %) -> Union(List SparseUnivariatePolynomial %, failed) if NMArbField 256 has PolynomialFactorizationExplicit

from PolynomialFactorizationExplicit

sqrt: % -> %

from RadicalCategory

squareFree: % -> Factored %

from UniqueFactorizationDomain

squareFreePart: % -> %

from UniqueFactorizationDomain

squareFreePolynomial: SparseUnivariatePolynomial % -> Factored SparseUnivariatePolynomial % if NMArbField 256 has PolynomialFactorizationExplicit

from PolynomialFactorizationExplicit

string: % -> String

from JLType

struveH: (%, %) -> %

from SpecialFunctionCategory

struveL: (%, %) -> %

from SpecialFunctionCategory

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

from CancellationAbelianMonoid

tableForDiscreteLogarithm: Integer -> Table(PositiveInteger, NonNegativeInteger) if NMArbField 256 has FiniteFieldCategory

from FiniteFieldCategory

tan: % -> %

from TrigonometricFunctionCategory

tanh: % -> %

from HyperbolicFunctionCategory

trace: % -> NMArbField 256

from FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

traceMatrix: () -> Matrix NMArbField 256

from FramedAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

traceMatrix: Vector % -> Matrix NMArbField 256

from FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

trim: % -> %

uniqueInteger: % -> Union(NMInteger, failed)

unit?: % -> Boolean

from EntireRing

unitCanonical: % -> %

from EntireRing

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

from EntireRing

unitStep: % -> %

from SpecialFunctionCategory

weberE: (%, %) -> %

from SpecialFunctionCategory

weierstrassP: (%, %, %) -> %

from SpecialFunctionCategory

weierstrassPInverse: (%, %, %) -> %

from SpecialFunctionCategory

weierstrassPPrime: (%, %, %) -> %

from SpecialFunctionCategory

weierstrassSigma: (%, %, %) -> %

from SpecialFunctionCategory

weierstrassZeta: (%, %, %) -> %

from SpecialFunctionCategory

whittakerM: (%, %, %) -> %

from SpecialFunctionCategory

whittakerW: (%, %, %) -> %

from SpecialFunctionCategory

wilsonW: (%, %, %, %, %, %) -> %

from SpecialFunctionCategory

zero?: % -> Boolean

from AbelianMonoid

AbelianGroup

AbelianMonoid

AbelianSemiGroup

Algebra %

Algebra Fraction Integer

Algebra NMArbField 256

Approximate

arbitraryPrecision

ArcHyperbolicFunctionCategory

ArcTrigonometricFunctionCategory

BasicType

BiModule(%, %)

BiModule(Fraction Integer, Fraction Integer)

BiModule(NMArbField 256, NMArbField 256)

CancellationAbelianMonoid

canonicalsClosed

canonicalUnitNormal

CharacteristicNonZero if NMArbField 256 has CharacteristicNonZero

CharacteristicZero

CoercibleFrom Fraction Integer

CoercibleFrom Integer

CoercibleFrom NMArbField 256

CoercibleTo OutputForm

CommutativeRing

CommutativeStar

Comparable

ComplexCategory NMArbField 256

ConvertibleTo Complex DoubleFloat

ConvertibleTo Complex Float

ConvertibleTo InputForm if NMArbField 256 has ConvertibleTo InputForm

ConvertibleTo Pattern Float

ConvertibleTo Pattern Integer if NMArbField 256 has ConvertibleTo Pattern Integer

ConvertibleTo SparseUnivariatePolynomial NMArbField 256

ConvertibleTo String

DifferentialExtension NMArbField 256

DifferentialRing

DivisionRing

ElementaryFunctionCategory

Eltable(NMArbField 256, %) if NMArbField 256 has Eltable(NMArbField 256, NMArbField 256)

EntireRing

EuclideanDomain

Evalable NMArbField 256 if NMArbField 256 has Evalable NMArbField 256

Field

FieldOfPrimeCharacteristic if NMArbField 256 has FiniteFieldCategory

Finite if NMArbField 256 has Finite

FiniteFieldCategory if NMArbField 256 has FiniteFieldCategory

FiniteRankAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

FramedAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

FramedModule NMArbField 256

FullyEvalableOver NMArbField 256

FullyLinearlyExplicitOver NMArbField 256

FullyPatternMatchable NMArbField 256

FullyRetractableTo NMArbField 256

GcdDomain

Hashable if NMArbField 256 has Hashable

HyperbolicFunctionCategory

InnerEvalable(NMArbField 256, NMArbField 256) if NMArbField 256 has Evalable NMArbField 256

InnerEvalable(Symbol, NMArbField 256) if NMArbField 256 has InnerEvalable(Symbol, NMArbField 256)

IntegralDomain

JLArbitraryPrecision

JLObjectRing

JLObjectType

JLRing

JLType

LeftModule %

LeftModule Fraction Integer

LeftModule NMArbField 256

LeftOreRing

LinearlyExplicitOver Integer if NMArbField 256 has LinearlyExplicitOver Integer

LinearlyExplicitOver NMArbField 256

Magma

MagmaWithUnit

Module %

Module Fraction Integer

Module NMArbField 256

MonogenicAlgebra(NMArbField 256, SparseUnivariatePolynomial NMArbField 256)

Monoid

multiplicativeValuation if NMArbField 256 has IntegerNumberSystem

NMRing

NMType

NonAssociativeAlgebra %

NonAssociativeAlgebra Fraction Integer

NonAssociativeAlgebra NMArbField 256

NonAssociativeRing

NonAssociativeRng

NonAssociativeSemiRing

NonAssociativeSemiRng

noZeroDivisors

PartialDifferentialRing Symbol if NMArbField 256 has PartialDifferentialRing Symbol

Patternable NMArbField 256

PatternMatchable Float

PatternMatchable Integer if NMArbField 256 has PatternMatchable Integer

PolynomialFactorizationExplicit if NMArbField 256 has PolynomialFactorizationExplicit

PrincipalIdealDomain

RadicalCategory

RetractableTo Fraction Integer

RetractableTo Integer

RetractableTo NMArbField 256

RightModule %

RightModule Fraction Integer

RightModule Integer if NMArbField 256 has LinearlyExplicitOver Integer

RightModule NMArbField 256

Ring

Rng

SemiGroup

SemiRing

SemiRng

SetCategory

SpecialFunctionCategory

StepThrough if NMArbField 256 has FiniteFieldCategory

TranscendentalFunctionCategory

TrigonometricFunctionCategory

TwoSidedRecip

UniqueFactorizationDomain

unitsKnown