JLObjUInt64ΒΆ
jobject.spad line 706 [edit on github]
Convenience domain for Julia UInt64, 64 bits unsigned integers, objects that are used within Julia, 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. By defaut the hexadecimal notation is used. Use the juliaUI64Print to change it to false if the integer representation is required. Note that operations defined here check overflow imposing a performance penalty.
- 0: %
from AbelianMonoid
- 1: %
from MagmaWithUnit
- *: (%, %) -> %
from Magma
- *: (Integer, %) -> %
from AbelianGroup
- *: (NMInteger, %) -> JLObject
from JLObjectRing
- *: (NonNegativeInteger, %) -> %
from AbelianMonoid
- *: (PositiveInteger, %) -> %
from AbelianSemiGroup
- +: (%, %) -> %
from AbelianSemiGroup
- -: % -> %
from AbelianGroup
- -: (%, %) -> %
from AbelianGroup
- <=: (%, %) -> Boolean
from PartialOrder
- <: (%, %) -> Boolean
from PartialOrder
- >=: (%, %) -> Boolean
from PartialOrder
- >: (%, %) -> Boolean
from PartialOrder
- ^: (%, NonNegativeInteger) -> %
from MagmaWithUnit
- ^: (%, PositiveInteger) -> %
from Magma
- abs: % -> %
from OrderedAbelianGroup
- annihilate?: (%, %) -> Boolean
from Rng
- antiCommutator: (%, %) -> %
- associates?: (%, %) -> Boolean
from EntireRing
- associator: (%, %, %) -> %
from NonAssociativeRng
- characteristic: () -> NonNegativeInteger
from NonAssociativeRing
- coerce: % -> %
from Algebra %
- coerce: % -> JLObject
from JLObjectType
- coerce: % -> NonNegativeInteger
coerce(i)coercesito a NonNegativeInteger.- coerce: % -> OutputForm
from CoercibleTo OutputForm
- coerce: Integer -> %
from NonAssociativeRing
- coerce: NonNegativeInteger -> %
coerce(z : NonNegativeInteger)returnszas aJLObjUInt64.
- commutator: (%, %) -> %
from NonAssociativeRng
- convert: % -> String
from ConvertibleTo String
- 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
- jlAbout: % -> Void
from JLObjectType
- jlApply: (String, %) -> JLObject
from JLObjectType
- jlApply: (String, %, %) -> JLObject
from JLObjectType
- jlApply: (String, %, %, %) -> JLObject
from JLObjectType
- jlApply: (String, %, %, %, %) -> JLObject
from JLObjectType
- jlApply: (String, %, %, %, %, %) -> JLObject
from JLObjectType
- jlDisplay: % -> Void
from JLObjectType
- jlDump: JLObject -> Void
from JLObjectType
- jlFieldNames: % -> JLObject
from JLObjectType
- jlGetField: (%, JLSymbol) -> JLObject
from JLObjectType
- jlGetProperty: (%, JLSymbol) -> JLObject
from JLObjectType
- jlId: % -> JLInt64
from JLObjectType
- jlObject: () -> String
from JLObjectType
- jlPropertyNames: % -> JLObject
from JLObjectType
- jlRef: % -> SExpression
from JLObjectType
- jlref: String -> %
from JLObjectType
- jlText: (%, String) -> List String
from JLObjectType
- jlType: % -> String
from JLObjectType
- juint64: Integer -> %
juint64(i)returnsias aJLObjUInt64if possible.
- juint64: NonNegativeInteger -> %
juint64(i)returnsias aJLObjInt64.
- juint64: String -> %
juint64(str)returns the JuliaUInt64from thestrcommand.
- juliaUI64Print: Boolean -> Boolean
juliaUI6Pprint(bool) set the output mode. If set to
false, use the FriCAS output mode. Otherwise use the Julia one, in hexadecimal notation (default).
- 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
- negative?: % -> Boolean
from OrderedAbelianGroup
- nothing?: % -> Boolean
from JLObjectType
- one?: % -> Boolean
from MagmaWithUnit
- opposite?: (%, %) -> Boolean
from AbelianMonoid
- plenaryPower: (%, PositiveInteger) -> %
from NonAssociativeAlgebra %
- positive?: % -> Boolean
from OrderedAbelianGroup
- 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
- sign: % -> Integer
from OrderedAbelianGroup
- sizeLess?: (%, %) -> Boolean
from EuclideanDomain
- smaller?: (%, %) -> Boolean
from Comparable
- subtractIfCan: (%, %) -> Union(%, failed)
- unit?: % -> Boolean
from EntireRing
- unitCanonical: % -> %
from EntireRing
- unitNormal: % -> Record(unit: %, canonical: %, associate: %)
from EntireRing
- zero?: % -> Boolean
from AbelianMonoid
Algebra %
BiModule(%, %)
Module %