JLWSComplex

jws.spad line 1097 [edit on github]

JL Wolfram Symbolic complex numbers using Wolfram Symbolic Transport Protocol.

0: %

from AbelianMonoid

1: %

from MagmaWithUnit

*: (%, %) -> %

from Magma

*: (%, Fraction Integer) -> %

from RightModule Fraction Integer

*: (%, Integer) -> % if JLWSReal has LinearlyExplicitOver Integer

from RightModule Integer

*: (%, JLWSReal) -> %

from RightModule JLWSReal

*: (Fraction Integer, %) -> %

from LeftModule Fraction Integer

*: (Integer, %) -> %

from AbelianGroup

*: (JLWSInteger, %) -> %

n * x multiplies n by x.

*: (JLWSReal, %) -> %

from LeftModule JLWSReal

*: (NMInteger, %) -> %

from JLObjectRing

*: (NonNegativeInteger, %) -> %

from AbelianMonoid

*: (PositiveInteger, %) -> %

from AbelianSemiGroup

+: (%, %) -> %

from AbelianSemiGroup

-: % -> %

from AbelianGroup

-: (%, %) -> %

from AbelianGroup

/: (%, %) -> %

from Field

=: (%, %) -> Boolean

from BasicType

^: (%, %) -> %

from ElementaryFunctionCategory

^: (%, Fraction Integer) -> %

from RadicalCategory

^: (%, Integer) -> %

from DivisionRing

^: (%, NonNegativeInteger) -> %

from MagmaWithUnit

^: (%, PositiveInteger) -> %

from Magma

~=: (%, %) -> Boolean

from BasicType

abs: % -> %

from ComplexCategory JLWSReal

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: % -> JLWSReal

from ComplexCategory JLWSReal

asec: % -> %

from ArcTrigonometricFunctionCategory

asech: % -> %

from ArcHyperbolicFunctionCategory

asin: % -> %

from ArcTrigonometricFunctionCategory

asinh: % -> %

from ArcHyperbolicFunctionCategory

associates?: (%, %) -> Boolean

from EntireRing

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

from NonAssociativeRng

atan: % -> %

from ArcTrigonometricFunctionCategory

atan: (%, %) -> %

atan(z1,z2) computes the arc tangent of z2/z1.

atanh: % -> %

from ArcHyperbolicFunctionCategory

basis: () -> Vector %

from FramedModule JLWSReal

characteristic: () -> NonNegativeInteger

from NonAssociativeRing

characteristicPolynomial: % -> SparseUnivariatePolynomial JLWSReal

from FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

charthRoot: % -> % if JLWSReal has FiniteFieldCategory

from FiniteFieldCategory

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

from PolynomialFactorizationExplicit

Chi: % -> %

from LiouvillianFunctionCategory

Ci: % -> %

from LiouvillianFunctionCategory

coerce: % -> %

from Algebra %

coerce: % -> Complex DoubleFloat

coerce(z) coerces z to a FriCAS Complex(DoubleFloat).

coerce: % -> Complex JLFloat64

coerce(z) coerces z to a FriCAS Complex(JLFloat64).

coerce: % -> JLObject

from JLObjectType

coerce: % -> JLWSExpression

coerce(cplx) coerces cplx. Convenience function.

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Complex Integer -> %

coerce(z) coerce z. Convenience function. -- %i operations for example

coerce: Fraction Integer -> %

from Algebra Fraction Integer

coerce: Integer -> %

coerce(int): coerces int. Convenience function.

coerce: JLWSInteger -> %

coerce(int): coerces int. Convenience function.

coerce: JLWSReal -> %

from CoercibleFrom JLWSReal

commutator: (%, %) -> %

from NonAssociativeRng

complex: (JLWSReal, JLWSReal) -> %

complex(re,im) constructs a JLWSComplex from real part re and imaginary part im.

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

from PolynomialFactorizationExplicit

conjugate: % -> %

from ComplexCategory JLWSReal

convert: % -> Complex DoubleFloat

from ConvertibleTo Complex DoubleFloat

convert: % -> Complex Float

from ConvertibleTo Complex Float

convert: % -> InputForm if JLWSReal has ConvertibleTo InputForm

from ConvertibleTo InputForm

convert: % -> Pattern Float

from ConvertibleTo Pattern Float

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

from ConvertibleTo Pattern Integer

convert: % -> SparseUnivariatePolynomial JLWSReal

from ConvertibleTo SparseUnivariatePolynomial JLWSReal

convert: % -> String

from ConvertibleTo String

convert: % -> Vector JLWSReal

from FramedModule JLWSReal

convert: SparseUnivariatePolynomial JLWSReal -> %

from MonogenicAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

convert: Vector JLWSReal -> %

from FramedModule JLWSReal

coordinates: % -> Vector JLWSReal

from FramedModule JLWSReal

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

from FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

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

from FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

coordinates: Vector % -> Matrix JLWSReal

from FramedModule JLWSReal

cos: % -> %

from TrigonometricFunctionCategory

cosh: % -> %

from HyperbolicFunctionCategory

cot: % -> %

from TrigonometricFunctionCategory

coth: % -> %

from HyperbolicFunctionCategory

createPrimitiveElement: () -> % if JLWSReal has FiniteFieldCategory

from FiniteFieldCategory

csc: % -> %

from TrigonometricFunctionCategory

csch: % -> %

from HyperbolicFunctionCategory

D: % -> %

from DifferentialRing

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

from DifferentialExtension JLWSReal

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

from DifferentialExtension JLWSReal

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

D: (%, NonNegativeInteger) -> %

from DifferentialRing

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

definingPolynomial: () -> SparseUnivariatePolynomial JLWSReal

from MonogenicAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

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

from MonogenicAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

differentiate: % -> %

from DifferentialRing

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

from DifferentialExtension JLWSReal

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

from DifferentialExtension JLWSReal

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

differentiate: (%, NonNegativeInteger) -> %

from DifferentialRing

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

from PartialDifferentialRing Symbol

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

from PartialDifferentialRing Symbol

dilog: % -> %

from LiouvillianFunctionCategory

discreteLog: % -> NonNegativeInteger if JLWSReal has FiniteFieldCategory

from FiniteFieldCategory

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

from FieldOfPrimeCharacteristic

discriminant: () -> JLWSReal

from FramedAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

discriminant: Vector % -> JLWSReal

from FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

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

from EuclideanDomain

Ei: % -> %

from LiouvillianFunctionCategory

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

from Eltable(JLWSReal, %)

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

from Finite

erf: % -> %

from LiouvillianFunctionCategory

erf: (%, %) -> %

``erf ``undocumented

erfc: % -> %

``erfc ``undocuemented

erfi: % -> %

from LiouvillianFunctionCategory

euclideanSize: % -> NonNegativeInteger

from EuclideanDomain

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

from Evalable JLWSReal

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

from InnerEvalable(JLWSReal, JLWSReal)

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

from Evalable JLWSReal

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

from InnerEvalable(JLWSReal, JLWSReal)

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

from InnerEvalable(Symbol, JLWSReal)

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

from InnerEvalable(Symbol, JLWSReal)

exp: % -> %

from ElementaryFunctionCategory

exp: () -> %

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

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

from PrincipalIdealDomain

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

from EntireRing

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

from ComplexCategory JLWSReal

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

from EuclideanDomain

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

from EuclideanDomain

factor: % -> Factored %

from UniqueFactorizationDomain

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

from PolynomialFactorizationExplicit

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

from FiniteFieldCategory

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

from PolynomialFactorizationExplicit

fresnelC: % -> %

from LiouvillianFunctionCategory

fresnelS: % -> %

from LiouvillianFunctionCategory

gcd: (%, %) -> %

from GcdDomain

gcd: List % -> %

from GcdDomain

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

from GcdDomain

generator: () -> %

from MonogenicAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

hash: % -> SingleInteger if JLWSReal has Hashable

from Hashable

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

from Hashable

imag: % -> JLWSReal

from ComplexCategory JLWSReal

imaginary: () -> %

from ComplexCategory JLWSReal

index: PositiveInteger -> % if JLWSReal has Finite

from Finite

init: % if JLWSReal has FiniteFieldCategory

from StepThrough

integral: (%, SegmentBinding %) -> %

from PrimitiveFunctionCategory

integral: (%, Symbol) -> %

from PrimitiveFunctionCategory

inv: % -> %

from DivisionRing

jlAbout: % -> Void

from JLObjectType

jlApply: (String, %) -> %

from JLObjectType

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

from JLObjectType

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

from JLObjectType

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

from JLObjectType

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

from JLObjectType

jlApprox?: (%, %) -> Boolean

jlApprox?(x,y) computes inexact equality comparison with WS default parameters (Equal).

jlDisplay: % -> Void

from JLObjectType

jlEval: % -> %

from JLWSObject

jlHead: % -> JLWSSymbol

from JLWSObject

jlId: % -> JLInt64

from JLObjectType

jlNumeric: % -> %

from JLWSObject

jlNumeric: (%, PositiveInteger) -> %

from JLWSObject

jlObject: () -> String

from JLObjectType

jlRef: % -> SExpression

from JLObjectType

jlref: String -> %

from JLObjectType

jlSymbolic: % -> String

from JLWSObject

jlType: % -> String

from JLObjectType

jWSComplex: (JLWSReal, JLWSReal) -> %

jWSComplex(re, im) constructs a JLWSComplex from real part re and imaginary part im.

jWSComplex: JLWSReal -> %

jWSComplex(re) constructs a JLWSComplex with real part re.

jWSInterpret: (String, String) -> %

from JLWSObject

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

li: % -> %

from LiouvillianFunctionCategory

lift: % -> SparseUnivariatePolynomial JLWSReal

from MonogenicAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

log10: % -> %

log10(z) compute logarithm of z in base 10.

log2: % -> %

log2(z) compute logarithm of z in base 2.

log: % -> %

from ElementaryFunctionCategory

lookup: % -> PositiveInteger if JLWSReal has Finite

from Finite

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

from FullyEvalableOver JLWSReal

minimalPolynomial: % -> SparseUnivariatePolynomial JLWSReal

from FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

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

from EuclideanDomain

mutable?: % -> Boolean

from JLObjectType

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

from StepThrough

norm: % -> JLWSReal

from ComplexCategory JLWSReal

nothing?: % -> Boolean

from JLObjectType

nthRoot: (%, Integer) -> %

from RadicalCategory

one?: % -> Boolean

from MagmaWithUnit

opposite?: (%, %) -> Boolean

from AbelianMonoid

order: % -> OnePointCompletion PositiveInteger if JLWSReal has FiniteFieldCategory

from FieldOfPrimeCharacteristic

order: % -> PositiveInteger if JLWSReal has FiniteFieldCategory

from FiniteFieldCategory

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

from PatternMatchable Float

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

from PatternMatchable Integer

pi: () -> %

from TranscendentalFunctionCategory

plenaryPower: (%, PositiveInteger) -> %

from NonAssociativeAlgebra Fraction Integer

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

from ComplexCategory JLWSReal

prime?: % -> Boolean

from UniqueFactorizationDomain

primeFrobenius: % -> % if JLWSReal has FiniteFieldCategory

from FieldOfPrimeCharacteristic

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

from FieldOfPrimeCharacteristic

primitive?: % -> Boolean if JLWSReal has FiniteFieldCategory

from FiniteFieldCategory

primitiveElement: () -> % if JLWSReal has FiniteFieldCategory

from FiniteFieldCategory

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

from PrincipalIdealDomain

quo: (%, %) -> %

from EuclideanDomain

random: () -> % if JLWSReal has Finite

from Finite

rank: () -> PositiveInteger

from FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

rational?: % -> Boolean if JLWSReal has IntegerNumberSystem

from ComplexCategory JLWSReal

rational: % -> Fraction Integer if JLWSReal has IntegerNumberSystem

from ComplexCategory JLWSReal

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

from ComplexCategory JLWSReal

real: % -> JLWSReal

from ComplexCategory JLWSReal

recip: % -> Union(%, failed)

from MagmaWithUnit

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

from MonogenicAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

reduce: SparseUnivariatePolynomial JLWSReal -> %

from MonogenicAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

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

from LinearlyExplicitOver Integer

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

from LinearlyExplicitOver JLWSReal

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

from LinearlyExplicitOver Integer

reducedSystem: Matrix % -> Matrix JLWSReal

from LinearlyExplicitOver JLWSReal

regularRepresentation: % -> Matrix JLWSReal

from FramedAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

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

from FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

rem: (%, %) -> %

from EuclideanDomain

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

from FiniteFieldCategory

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

from FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

represents: Vector JLWSReal -> %

from FramedModule JLWSReal

retract: % -> Fraction Integer

from RetractableTo Fraction Integer

retract: % -> Integer

from RetractableTo Integer

retract: % -> JLWSReal

from RetractableTo JLWSReal

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

from RetractableTo Fraction Integer

retractIfCan: % -> Union(Integer, failed)

from RetractableTo Integer

retractIfCan: % -> Union(JLWSReal, failed)

from RetractableTo JLWSReal

rightPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

rightPower: (%, PositiveInteger) -> %

from Magma

rightRecip: % -> Union(%, failed)

from MagmaWithUnit

sample: %

from AbelianMonoid

sec: % -> %

from TrigonometricFunctionCategory

sech: % -> %

from HyperbolicFunctionCategory

Shi: % -> %

from LiouvillianFunctionCategory

Si: % -> %

from LiouvillianFunctionCategory

sin: % -> %

from TrigonometricFunctionCategory

sinc: % -> %

sinc(z) compues the unormalized sinc of z, sin(z)/z and 0 if z = 0.

sinh: % -> %

from HyperbolicFunctionCategory

size: () -> NonNegativeInteger if JLWSReal has Finite

from Finite

sizeLess?: (%, %) -> Boolean

from EuclideanDomain

smaller?: (%, %) -> Boolean

from Comparable

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

from PolynomialFactorizationExplicit

sqrt: % -> %

from RadicalCategory

squareFree: % -> Factored %

from UniqueFactorizationDomain

squareFreePart: % -> %

from UniqueFactorizationDomain

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

from PolynomialFactorizationExplicit

string: % -> String

from JLType

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

from CancellationAbelianMonoid

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

from FiniteFieldCategory

tan: % -> %

from TrigonometricFunctionCategory

tanh: % -> %

from HyperbolicFunctionCategory

toString: % -> String

from JLWSObject

toString: (%, JLWSExpression) -> String

toString(expr, form) returns the string representation of expr with WS language format form.

trace: % -> JLWSReal

from FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

traceMatrix: () -> Matrix JLWSReal

from FramedAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

traceMatrix: Vector % -> Matrix JLWSReal

from FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

unit?: % -> Boolean

from EntireRing

unitCanonical: % -> %

from EntireRing

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

from EntireRing

urand01: () -> %

urand01() returns a unit square random complex number.

zero?: % -> Boolean

from AbelianMonoid

AbelianGroup

AbelianMonoid

AbelianSemiGroup

Algebra %

Algebra Fraction Integer

Algebra JLWSReal

arbitraryPrecision if JLWSReal has arbitraryPrecision

ArcHyperbolicFunctionCategory

ArcTrigonometricFunctionCategory

BasicType

BiModule(%, %)

BiModule(Fraction Integer, Fraction Integer)

BiModule(JLWSReal, JLWSReal)

CancellationAbelianMonoid

canonicalsClosed

canonicalUnitNormal

CharacteristicNonZero if JLWSReal has CharacteristicNonZero

CharacteristicZero

CoercibleFrom Fraction Integer

CoercibleFrom Integer

CoercibleFrom JLWSReal

CoercibleTo OutputForm

CommutativeRing

CommutativeStar

Comparable

ComplexCategory JLWSReal

ConvertibleTo Complex DoubleFloat

ConvertibleTo Complex Float

ConvertibleTo InputForm if JLWSReal has ConvertibleTo InputForm

ConvertibleTo Pattern Float

ConvertibleTo Pattern Integer if JLWSReal has ConvertibleTo Pattern Integer

ConvertibleTo SparseUnivariatePolynomial JLWSReal

ConvertibleTo String

DifferentialExtension JLWSReal

DifferentialRing

DivisionRing

ElementaryFunctionCategory

Eltable(JLWSReal, %) if JLWSReal has Eltable(JLWSReal, JLWSReal)

EntireRing

EuclideanDomain

Evalable JLWSReal if JLWSReal has Evalable JLWSReal

Field

FieldOfPrimeCharacteristic if JLWSReal has FiniteFieldCategory

Finite if JLWSReal has Finite

FiniteFieldCategory if JLWSReal has FiniteFieldCategory

FiniteRankAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

FramedAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

FramedModule JLWSReal

FullyEvalableOver JLWSReal

FullyLinearlyExplicitOver JLWSReal

FullyPatternMatchable JLWSReal

FullyRetractableTo JLWSReal

GcdDomain

Hashable if JLWSReal has Hashable

HyperbolicFunctionCategory

InnerEvalable(JLWSReal, JLWSReal) if JLWSReal has Evalable JLWSReal

InnerEvalable(Symbol, JLWSReal) if JLWSReal has InnerEvalable(Symbol, JLWSReal)

IntegralDomain

JLObjectRing

JLObjectType

JLRing

JLType

JLWSNumber

JLWSObject

JLWSRing

LeftModule %

LeftModule Fraction Integer

LeftModule JLWSReal

LeftOreRing

LinearlyExplicitOver Integer if JLWSReal has LinearlyExplicitOver Integer

LinearlyExplicitOver JLWSReal

LiouvillianFunctionCategory

Magma

MagmaWithUnit

Module %

Module Fraction Integer

Module JLWSReal

MonogenicAlgebra(JLWSReal, SparseUnivariatePolynomial JLWSReal)

Monoid

multiplicativeValuation if JLWSReal has IntegerNumberSystem

NonAssociativeAlgebra %

NonAssociativeAlgebra Fraction Integer

NonAssociativeAlgebra JLWSReal

NonAssociativeRing

NonAssociativeRng

NonAssociativeSemiRing

NonAssociativeSemiRng

noZeroDivisors

PartialDifferentialRing Symbol if JLWSReal has PartialDifferentialRing Symbol

Patternable JLWSReal

PatternMatchable Float

PatternMatchable Integer if JLWSReal has PatternMatchable Integer

PolynomialFactorizationExplicit if JLWSReal has PolynomialFactorizationExplicit

PrimitiveFunctionCategory

PrincipalIdealDomain

RadicalCategory

RetractableTo Fraction Integer

RetractableTo Integer

RetractableTo JLWSReal

RightModule %

RightModule Fraction Integer

RightModule Integer if JLWSReal has LinearlyExplicitOver Integer

RightModule JLWSReal

Ring

Rng

SemiGroup

SemiRing

SemiRng

SetCategory

StepThrough if JLWSReal has FiniteFieldCategory

TranscendentalFunctionCategory

TrigonometricFunctionCategory

TwoSidedRecip

UniqueFactorizationDomain

unitsKnown