JLComplexFloat

jobject.spad line 1176 [edit on github]

JLFComplexloat implements arbitrary precision floating point arithmetic for complex numbers using Julia BigFloats (MPFR based). https://www.mpfr.org/

0: %

from AbelianMonoid

1: %

from MagmaWithUnit

*: (%, %) -> %

from Magma

*: (%, Fraction Integer) -> %

from RightModule Fraction Integer

*: (%, Integer) -> %

*: (%, JLFloat) -> %

from RightModule JLFloat

*: (Fraction Integer, %) -> %

from LeftModule Fraction Integer

*: (Integer, %) -> %

from AbelianGroup

*: (JLFloat, %) -> %

from LeftModule JLFloat

*: (NMInteger, %) -> %

from JLObjectRing

*: (NonNegativeInteger, %) -> %

from AbelianMonoid

*: (PositiveInteger, %) -> %

from AbelianSemiGroup

+: (%, %) -> %

from AbelianSemiGroup

-: % -> %

from AbelianGroup

-: (%, %) -> %

from AbelianGroup

/: (%, %) -> %

from Field

/: (%, Integer) -> %

/: (Integer, %) -> %

=: (%, %) -> Boolean

from BasicType

^: (%, %) -> %

from ElementaryFunctionCategory

^: (%, Fraction Integer) -> %

from RadicalCategory

^: (%, Integer) -> %

from DivisionRing

^: (%, NonNegativeInteger) -> %

from MagmaWithUnit

^: (%, PositiveInteger) -> %

from Magma

~=: (%, %) -> Boolean

from BasicType

abs: % -> %

from ComplexCategory JLFloat

acos: % -> %

from ArcTrigonometricFunctionCategory

acosh: % -> %

from ArcHyperbolicFunctionCategory

acot: % -> %

from ArcTrigonometricFunctionCategory

acoth: % -> %

from ArcHyperbolicFunctionCategory

acsc: % -> %

from ArcTrigonometricFunctionCategory

acsch: % -> %

from ArcHyperbolicFunctionCategory

annihilate?: (%, %) -> Boolean

from Rng

antiCommutator: (%, %) -> %

from NonAssociativeSemiRng

argument: % -> JLFloat

from ComplexCategory JLFloat

asec: % -> %

from ArcTrigonometricFunctionCategory

asech: % -> %

from ArcHyperbolicFunctionCategory

asin: % -> %

from ArcTrigonometricFunctionCategory

asinh: % -> %

from ArcHyperbolicFunctionCategory

associates?: (%, %) -> Boolean

from EntireRing

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

from NonAssociativeRng

atan: % -> %

atan(x) computes the inverse tangent of x.

atan: (%, %) -> %

atan(x, y) computes the inverse tangent of x/y.

atanh: % -> %

from ArcHyperbolicFunctionCategory

basis: () -> Vector %

from FramedModule JLFloat

characteristic: () -> NonNegativeInteger

from NonAssociativeRing

characteristicPolynomial: % -> SparseUnivariatePolynomial JLFloat

from FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

charthRoot: % -> % if JLFloat has FiniteFieldCategory

from FiniteFieldCategory

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

from PolynomialFactorizationExplicit

cis: % -> %

cis(x) returns exp(%i*x) computed efficiently.

cispi: % -> %

cispi(x) returns cis(%pi*x) computed efficiently.

coerce: % -> %

from Algebra %

coerce: % -> JLObject

from JLObjectType

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Float -> %

coerce: Fraction Integer -> %

from Algebra Fraction Integer

coerce: Integer -> %

from NonAssociativeRing

coerce: JLFloat -> %

from CoercibleFrom JLFloat

coerce: JLFloat64 -> %

commutator: (%, %) -> %

from NonAssociativeRng

complex: (JLFloat, JLFloat) -> %

from ComplexCategory JLFloat

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

from PolynomialFactorizationExplicit

conjugate: % -> %

from ComplexCategory JLFloat

convert: % -> Complex DoubleFloat

from ConvertibleTo Complex DoubleFloat

convert: % -> Complex Float

from ConvertibleTo Complex Float

convert: % -> InputForm if JLFloat has ConvertibleTo InputForm

from ConvertibleTo InputForm

convert: % -> Pattern Float

from ConvertibleTo Pattern Float

convert: % -> Pattern Integer if JLFloat has ConvertibleTo Pattern Integer

from ConvertibleTo Pattern Integer

convert: % -> SparseUnivariatePolynomial JLFloat

from ConvertibleTo SparseUnivariatePolynomial JLFloat

convert: % -> String

from ConvertibleTo String

convert: % -> Vector JLFloat

from FramedModule JLFloat

convert: SparseUnivariatePolynomial JLFloat -> %

from MonogenicAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

convert: Vector JLFloat -> %

from FramedModule JLFloat

coordinates: % -> Vector JLFloat

from FramedModule JLFloat

coordinates: (%, Vector %) -> Vector JLFloat

from FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

coordinates: (Vector %, Vector %) -> Matrix JLFloat

from FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

coordinates: Vector % -> Matrix JLFloat

from FramedModule JLFloat

cos: % -> %

from TrigonometricFunctionCategory

cosh: % -> %

from HyperbolicFunctionCategory

cot: % -> %

from TrigonometricFunctionCategory

coth: % -> %

from HyperbolicFunctionCategory

createPrimitiveElement: () -> % if JLFloat has FiniteFieldCategory

from FiniteFieldCategory

csc: % -> %

from TrigonometricFunctionCategory

csch: % -> %

from HyperbolicFunctionCategory

D: % -> %

from DifferentialRing

D: (%, JLFloat -> JLFloat) -> %

from DifferentialExtension JLFloat

D: (%, JLFloat -> JLFloat, NonNegativeInteger) -> %

from DifferentialExtension JLFloat

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

D: (%, NonNegativeInteger) -> %

from DifferentialRing

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

definingPolynomial: () -> SparseUnivariatePolynomial JLFloat

from MonogenicAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

derivationCoordinates: (Vector %, JLFloat -> JLFloat) -> Matrix JLFloat

from MonogenicAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

differentiate: % -> %

from DifferentialRing

differentiate: (%, JLFloat -> JLFloat) -> %

from DifferentialExtension JLFloat

differentiate: (%, JLFloat -> JLFloat, NonNegativeInteger) -> %

from DifferentialExtension JLFloat

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

differentiate: (%, NonNegativeInteger) -> %

from DifferentialRing

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

discreteLog: % -> NonNegativeInteger if JLFloat has FiniteFieldCategory

from FiniteFieldCategory

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

from FieldOfPrimeCharacteristic

discriminant: () -> JLFloat

from FramedAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

discriminant: Vector % -> JLFloat

from FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

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

from EuclideanDomain

elt: (%, JLFloat) -> % if JLFloat has Eltable(JLFloat, JLFloat)

from Eltable(JLFloat, %)

enumerate: () -> List % if JLFloat has Finite

from Finite

euclideanSize: % -> NonNegativeInteger

from EuclideanDomain

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

from Evalable JLFloat

eval: (%, JLFloat, JLFloat) -> % if JLFloat has Evalable JLFloat

from InnerEvalable(JLFloat, JLFloat)

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

from Evalable JLFloat

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

from InnerEvalable(JLFloat, JLFloat)

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

from InnerEvalable(Symbol, JLFloat)

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

from InnerEvalable(Symbol, JLFloat)

exp10: % -> %

exp10(x) computes the base 10 exponential of x.

exp1: () -> %

exp1() returns the JLComplexFloat ℯ (%e or exp(1)).

exp2: % -> %

exp2(x) computes the base 2 exponential of x.

exp: % -> %

from ElementaryFunctionCategory

exp: () -> %

exp() returns the JLComplexFloat ℯ (%e or exp(1)).

expm1: % -> %

expm1(x) computes accurately ℯ^x-1. It avoids the loss of precision involved in the direct evaluation of exp(x)-1 for small values of x.

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

from PrincipalIdealDomain

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

from EntireRing

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

from ComplexCategory JLFloat

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

from EuclideanDomain

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

from EuclideanDomain

factor: % -> Factored %

from UniqueFactorizationDomain

factorPolynomial: SparseUnivariatePolynomial % -> Factored SparseUnivariatePolynomial % if JLFloat has PolynomialFactorizationExplicit

from PolynomialFactorizationExplicit

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

from FiniteFieldCategory

factorSquareFreePolynomial: SparseUnivariatePolynomial % -> Factored SparseUnivariatePolynomial % if JLFloat has PolynomialFactorizationExplicit

from PolynomialFactorizationExplicit

finite?: % -> Boolean

finite?(x) tests whether or not x is finite.

gcd: (%, %) -> %

from GcdDomain

gcd: List % -> %

from GcdDomain

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

from GcdDomain

generator: () -> %

from MonogenicAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

hash: % -> SingleInteger if JLFloat has Hashable

from Hashable

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

from Hashable

imag: % -> JLFloat

from ComplexCategory JLFloat

imaginary: () -> %

from ComplexCategory JLFloat

index: PositiveInteger -> % if JLFloat has Finite

from Finite

init: % if JLFloat has FiniteFieldCategory

from StepThrough

integer?: % -> Boolean

integer?(x) tests whether or not x is an integer.

inv: % -> %

from DivisionRing

jcfloat: Float -> %

jcfloat: Fraction Integer -> %

jcfloat: Integer -> %

jlAbout: % -> Void

from JLObjectType

jlApply: (String, %) -> %

jlApply(func, x) applies the function func with x as parameter.

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

jlApply(func, x, y) applies the function func to x and y.

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

jlApply(func, x, y, z) applies the function func to x, y and z.

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

from JLObjectType

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

from JLObjectType

jlApprox?: (%, %) -> Boolean

jlApprox?(x,y) computes inexact equality comparison with default parameters. Two numbers compare equal if their relative distance or their absolute distance is within tolerance bounds.

jlApprox?: (%, %, %) -> Boolean

jlApprox?(x,y,atol) computes inexact equality comparison with absolute tolerance atol. Two numbers compare equal if their relative distance or their absolute distance is within tolerance bounds.

jlDisplay: % -> Void

from JLObjectType

jlDump: JLObject -> Void

from JLObjectType

jlId: % -> JLInt64

from JLObjectType

jlObject: () -> String

from JLObjectType

jlRef: % -> SExpression

from JLObjectType

jlref: String -> %

from JLObjectType

jlType: % -> String

from JLObjectType

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

lift: % -> SparseUnivariatePolynomial JLFloat

from MonogenicAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

log10: % -> %

log10(x) computes the base 10 logarithm of x.

log1p: % -> %

log1p(x) computes accurately log(1+x)

log2: % -> %

log2(x) computes the base 2 logarithm of x.

log: % -> %

from ElementaryFunctionCategory

lookup: % -> PositiveInteger if JLFloat has Finite

from Finite

map: (JLFloat -> JLFloat, %) -> %

from FullyEvalableOver JLFloat

minimalPolynomial: % -> SparseUnivariatePolynomial JLFloat

from FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

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

from EuclideanDomain

mutable?: % -> Boolean

from JLObjectType

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

from StepThrough

norm: % -> JLFloat

from ComplexCategory JLFloat

nothing?: % -> Boolean

from JLObjectType

nrand: () -> %

nrand() returns an normally distributed random number.

nthRoot: (%, Integer) -> %

from RadicalCategory

one?: % -> Boolean

from MagmaWithUnit

opposite?: (%, %) -> Boolean

from AbelianMonoid

order: % -> OnePointCompletion PositiveInteger if JLFloat has FiniteFieldCategory

from FieldOfPrimeCharacteristic

order: % -> PositiveInteger if JLFloat has FiniteFieldCategory

from FiniteFieldCategory

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

from PatternMatchable Float

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

from PatternMatchable Integer

pi: () -> %

from TranscendentalFunctionCategory

plenaryPower: (%, PositiveInteger) -> %

from NonAssociativeAlgebra Fraction Integer

polarCoordinates: % -> Record(r: JLFloat, phi: JLFloat)

from ComplexCategory JLFloat

precision: % -> PositiveInteger

precision(x) returns the precision of x.

precision: (%, PositiveInteger) -> %

precision(x, p) returns a copy of x with precision p.

prime?: % -> Boolean

from UniqueFactorizationDomain

primeFrobenius: % -> % if JLFloat has FiniteFieldCategory

from FieldOfPrimeCharacteristic

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

from FieldOfPrimeCharacteristic

primitive?: % -> Boolean if JLFloat has FiniteFieldCategory

from FiniteFieldCategory

primitiveElement: () -> % if JLFloat has FiniteFieldCategory

from FiniteFieldCategory

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

from PrincipalIdealDomain

quo: (%, %) -> %

from EuclideanDomain

random: () -> % if JLFloat has Finite

from Finite

rank: () -> PositiveInteger

from FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

rational?: % -> Boolean if JLFloat has IntegerNumberSystem

from ComplexCategory JLFloat

rational: % -> Fraction Integer if JLFloat has IntegerNumberSystem

from ComplexCategory JLFloat

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

from ComplexCategory JLFloat

real?: % -> Boolean

real?(x) tests whether or not x is real.

real: % -> JLFloat

from ComplexCategory JLFloat

recip: % -> Union(%, failed)

from MagmaWithUnit

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

from MonogenicAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

reduce: SparseUnivariatePolynomial JLFloat -> %

from MonogenicAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

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

from LinearlyExplicitOver Integer

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

from LinearlyExplicitOver JLFloat

reducedSystem: Matrix % -> Matrix Integer if JLFloat has LinearlyExplicitOver Integer

from LinearlyExplicitOver Integer

reducedSystem: Matrix % -> Matrix JLFloat

from LinearlyExplicitOver JLFloat

regularRepresentation: % -> Matrix JLFloat

from FramedAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

regularRepresentation: (%, Vector %) -> Matrix JLFloat

from FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

rem: (%, %) -> %

from EuclideanDomain

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

from FiniteFieldCategory

represents: (Vector JLFloat, Vector %) -> %

from FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

represents: Vector JLFloat -> %

from FramedModule JLFloat

retract: % -> Fraction Integer

from RetractableTo Fraction Integer

retract: % -> Integer

from RetractableTo Integer

retract: % -> JLFloat

from RetractableTo JLFloat

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

from RetractableTo Fraction Integer

retractIfCan: % -> Union(Integer, failed)

from RetractableTo Integer

retractIfCan: % -> Union(JLFloat, failed)

from RetractableTo JLFloat

rightPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

rightPower: (%, PositiveInteger) -> %

from Magma

rightRecip: % -> Union(%, failed)

from MagmaWithUnit

sample: %

from AbelianMonoid

sec: % -> %

from TrigonometricFunctionCategory

sech: % -> %

from HyperbolicFunctionCategory

sin: % -> %

from TrigonometricFunctionCategory

sinh: % -> %

from HyperbolicFunctionCategory

size: () -> NonNegativeInteger if JLFloat has Finite

from Finite

sizeLess?: (%, %) -> Boolean

from EuclideanDomain

smaller?: (%, %) -> Boolean

from Comparable

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

from PolynomialFactorizationExplicit

sqrt: % -> %

from RadicalCategory

squareFree: % -> Factored %

from UniqueFactorizationDomain

squareFreePart: % -> %

from UniqueFactorizationDomain

squareFreePolynomial: SparseUnivariatePolynomial % -> Factored SparseUnivariatePolynomial % if JLFloat has PolynomialFactorizationExplicit

from PolynomialFactorizationExplicit

string: % -> String

from JLType

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

from CancellationAbelianMonoid

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

from FiniteFieldCategory

tan: % -> %

from TrigonometricFunctionCategory

tanh: % -> %

from HyperbolicFunctionCategory

trace: % -> JLFloat

from FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

traceMatrix: () -> Matrix JLFloat

from FramedAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

traceMatrix: Vector % -> Matrix JLFloat

from FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

unit?: % -> Boolean

from EntireRing

unitCanonical: % -> %

from EntireRing

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

from EntireRing

urand01: () -> %

urand01() returns an uniformly distributed random number contained in [0,1].

zero?: % -> Boolean

from AbelianMonoid

AbelianGroup

AbelianMonoid

AbelianSemiGroup

Algebra %

Algebra Fraction Integer

Algebra JLFloat

arbitraryPrecision

ArcHyperbolicFunctionCategory

ArcTrigonometricFunctionCategory

BasicType

BiModule(%, %)

BiModule(Fraction Integer, Fraction Integer)

BiModule(JLFloat, JLFloat)

CancellationAbelianMonoid

canonicalsClosed

canonicalUnitNormal

CharacteristicNonZero if JLFloat has CharacteristicNonZero

CharacteristicZero

CoercibleFrom Fraction Integer

CoercibleFrom Integer

CoercibleFrom JLFloat

CoercibleTo OutputForm

CommutativeRing

CommutativeStar

Comparable

ComplexCategory JLFloat

ConvertibleTo Complex DoubleFloat

ConvertibleTo Complex Float

ConvertibleTo InputForm if JLFloat has ConvertibleTo InputForm

ConvertibleTo Pattern Float

ConvertibleTo Pattern Integer if JLFloat has ConvertibleTo Pattern Integer

ConvertibleTo SparseUnivariatePolynomial JLFloat

ConvertibleTo String

DifferentialExtension JLFloat

DifferentialRing

DivisionRing

ElementaryFunctionCategory

Eltable(JLFloat, %) if JLFloat has Eltable(JLFloat, JLFloat)

EntireRing

EuclideanDomain

Evalable JLFloat if JLFloat has Evalable JLFloat

Field

FieldOfPrimeCharacteristic if JLFloat has FiniteFieldCategory

Finite if JLFloat has Finite

FiniteFieldCategory if JLFloat has FiniteFieldCategory

FiniteRankAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

FramedAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

FramedModule JLFloat

FullyEvalableOver JLFloat

FullyLinearlyExplicitOver JLFloat

FullyPatternMatchable JLFloat

FullyRetractableTo JLFloat

GcdDomain

Hashable if JLFloat has Hashable

HyperbolicFunctionCategory

InnerEvalable(JLFloat, JLFloat) if JLFloat has Evalable JLFloat

InnerEvalable(Symbol, JLFloat) if JLFloat has InnerEvalable(Symbol, JLFloat)

IntegralDomain

JLObjectRing

JLObjectType

JLRing

JLType

LeftModule %

LeftModule Fraction Integer

LeftModule JLFloat

LeftOreRing

LinearlyExplicitOver Integer if JLFloat has LinearlyExplicitOver Integer

LinearlyExplicitOver JLFloat

Magma

MagmaWithUnit

Module %

Module Fraction Integer

Module JLFloat

MonogenicAlgebra(JLFloat, SparseUnivariatePolynomial JLFloat)

Monoid

multiplicativeValuation if JLFloat has IntegerNumberSystem

NonAssociativeAlgebra %

NonAssociativeAlgebra Fraction Integer

NonAssociativeAlgebra JLFloat

NonAssociativeRing

NonAssociativeRng

NonAssociativeSemiRing

NonAssociativeSemiRng

noZeroDivisors

PartialDifferentialRing Symbol if JLFloat has PartialDifferentialRing Symbol

Patternable JLFloat

PatternMatchable Float

PatternMatchable Integer if JLFloat has PatternMatchable Integer

PolynomialFactorizationExplicit if JLFloat has PolynomialFactorizationExplicit

PrincipalIdealDomain

RadicalCategory

RetractableTo Fraction Integer

RetractableTo Integer

RetractableTo JLFloat

RightModule %

RightModule Fraction Integer

RightModule Integer if JLFloat has LinearlyExplicitOver Integer

RightModule JLFloat

Ring

Rng

SemiGroup

SemiRing

SemiRng

SetCategory

StepThrough if JLFloat has FiniteFieldCategory

TranscendentalFunctionCategory

TrigonometricFunctionCategory

TwoSidedRecip

UniqueFactorizationDomain

unitsKnown