JLObjFloat64¶
jobject.spad line 379 [edit on github]
Convenience domain for JL Float64, objects that are used within JL, and not directly by the underlying FriCAS Common LISP. It is not meant to be used directly, but rather, for returned value or function argument for example. Only basic arithmetic operations are supported.
- 0: %
from AbelianMonoid
- 1: %
from MagmaWithUnit
*: (%, Integer) -> %
- *: (Fraction Integer, %) -> %
from LeftModule Fraction Integer
- *: (Integer, %) -> %
from AbelianGroup
- *: (NMInteger, %) -> %
from JLObjectRing
- *: (NonNegativeInteger, %) -> %
from AbelianMonoid
- *: (PositiveInteger, %) -> %
from AbelianSemiGroup
- +: (%, %) -> %
from AbelianSemiGroup
- -: % -> %
from AbelianGroup
- -: (%, %) -> %
from AbelianGroup
/: (%, Integer) -> %
/: (Integer, %) -> %
- <=: (%, %) -> Boolean
from PartialOrder
- <: (%, %) -> Boolean
from PartialOrder
- >=: (%, %) -> Boolean
from PartialOrder
- >: (%, %) -> Boolean
from PartialOrder
- ^: (%, Integer) -> %
from DivisionRing
- ^: (%, NonNegativeInteger) -> %
from MagmaWithUnit
- ^: (%, PositiveInteger) -> %
from Magma
- annihilate?: (%, %) -> Boolean
from Rng
- antiCommutator: (%, %) -> %
- associates?: (%, %) -> Boolean
from EntireRing
- associator: (%, %, %) -> %
from NonAssociativeRng
- characteristic: () -> NonNegativeInteger
from NonAssociativeRing
- cis: % -> JLObjComplexF64
cis(x)returns exp(%i*x) computed efficiently.
- cispi: % -> JLObjComplexF64
cispi(x)returns cis(%pi*x) computed efficiently.
- coerce: % -> %
from Algebra %
- coerce: % -> JLObject
from JLObjectType
- coerce: % -> OutputForm
from CoercibleTo OutputForm
coerce: DoubleFloat -> %
coerce: Float -> %
- commutator: (%, %) -> %
from NonAssociativeRng
- convert: % -> String
from ConvertibleTo String
convert: Float -> %
- divide: (%, %) -> Record(quotient: %, remainder: %)
from EuclideanDomain
- euclideanSize: % -> NonNegativeInteger
from EuclideanDomain
- 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
- gcdPolynomial: (SparseUnivariatePolynomial %, SparseUnivariatePolynomial %) -> SparseUnivariatePolynomial %
from GcdDomain
- inv: % -> %
from DivisionRing
jfloat64: Float -> %
jfloat64: JLFloat64 -> %
- jfloat64: String -> %
jfloat64(str) evaluatesstrinJLand returns theJLFloat64object. For example: example{jfloat64(“sin(pi)”)} example{jfloat64(“0.7”)}
- 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 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 toleranceatol. Two numbers compare equal if their relative distance or their absolute distance is within tolerance bounds.
- jlDisplay: % -> Void
from JLObjectType
- jlF64CApply: (JLObjDynamicLinker, %) -> %
jlF64CApply(func,x)applies the function pointerfunctox. For example: example{libm:= jlDlOpen “libopenlibm”} example{squareRoot:=jlDlSym(libm,jsym(sqrt))} example{jlF64CApply(squareRoot,jfloat64(2))}
- jlF64CApply: (JLObjDynamicLinker, %, %) -> %
jlF64CApply(func,x,y)applies the function pointerfunctoxandy. For example: example{libm:= jlDlOpen “libopenlibm”} example{power:=jlDlSym(libm,jsym(pow))} example{jlF64CApply(power,jfloat64(2),jfloat64(7))}
- jlF64CApply: (JLObjDynamicLinker, %, %, %) -> %
jlF64CApply(func,x,y,z)applies the function pointerfunctox,yandz. For example withGSL-2.8: example{gsl:= jlDlOpen “libgsl.so.28”} example{hypot3:= jlDlSym(gsl,jsym(gsl_hypot3))} example{jlF64CApply(hypot3,jfloat64(2),jfloat64(7),jfloat64(9.0))}
- jlId: % -> JLInt64
from JLObjectType
- jlObject: () -> String
from JLObjectType
- jlRef: % -> SExpression
from JLObjectType
- jlref: String -> %
from JLObjectType
- jlType: % -> String
from JLObjectType
- latex: % -> String
from SetCategory
- lcmCoef: (%, %) -> Record(llcm_res: %, coeff1: %, coeff2: %)
from LeftOreRing
- leftPower: (%, NonNegativeInteger) -> %
from MagmaWithUnit
- leftPower: (%, PositiveInteger) -> %
from Magma
- leftRecip: % -> Union(%, failed)
from MagmaWithUnit
- max: (%, %) -> %
from OrderedSet
- min: (%, %) -> %
from OrderedSet
- multiEuclidean: (List %, %) -> Union(List %, failed)
from EuclideanDomain
- mutable?: % -> Boolean
from JLObjectType
- nothing?: % -> Boolean
from JLObjectType
- one?: % -> Boolean
from MagmaWithUnit
- opposite?: (%, %) -> Boolean
from AbelianMonoid
- plenaryPower: (%, PositiveInteger) -> %
- principalIdeal: List % -> Record(coef: List %, generator: %)
from PrincipalIdealDomain
- quo: (%, %) -> %
from EuclideanDomain
- recip: % -> Union(%, failed)
from MagmaWithUnit
- rem: (%, %) -> %
from EuclideanDomain
- rightPower: (%, NonNegativeInteger) -> %
from MagmaWithUnit
- rightPower: (%, PositiveInteger) -> %
from Magma
- rightRecip: % -> Union(%, failed)
from MagmaWithUnit
- sample: %
from AbelianMonoid
- sizeLess?: (%, %) -> Boolean
from EuclideanDomain
- smaller?: (%, %) -> Boolean
from Comparable
- squareFree: % -> Factored %
- squareFreePart: % -> %
- subtractIfCan: (%, %) -> Union(%, failed)
- unit?: % -> Boolean
from EntireRing
- unitCanonical: % -> %
from EntireRing
- unitNormal: % -> Record(unit: %, canonical: %, associate: %)
from EntireRing
- zero?: % -> Boolean
from AbelianMonoid
Algebra %
BiModule(%, %)
BiModule(Fraction Integer, Fraction Integer)
Module %