JLObjRational

jimobject.spad line 563 [edit on github]

Convenience domain for Julia Rationals, 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.

0: %

from AbelianMonoid

1: %

from MagmaWithUnit

*: (%, %) -> %

from Magma

*: (%, Integer) -> %

x*i is the integer multiplication.

*: (Integer, %) -> %

i*x is the integer multiplication.

*: (NMInteger, %) -> JLObject

from JLObjectRing

*: (NonNegativeInteger, %) -> %

from AbelianMonoid

*: (PositiveInteger, %) -> %

from AbelianSemiGroup

+: (%, %) -> %

from AbelianSemiGroup

+: (%, Integer) -> %

x+i is the addition with an integer.

+: (Integer, %) -> %

i+x is the addition of an integer and a rational.

-: % -> %

from AbelianGroup

-: (%, %) -> %

from AbelianGroup

-: (%, Integer) -> %

x-i is the subtraction of an integer.

-: (Integer, %) -> %

i-x is the subtraction of a rational from an integer.

/: (%, %) -> %

x/y is the division of x by y.

/: (%, Integer) -> %

x/i is the division by an integer.

/: (Integer, %) -> %

i/x is the division of an integer by x.

<=: (%, %) -> Boolean

from PartialOrder

<: (%, %) -> Boolean

from PartialOrder

=: (%, %) -> Boolean

from BasicType

>=: (%, %) -> Boolean

from PartialOrder

>: (%, %) -> Boolean

from PartialOrder

^: (%, Integer) -> %

x^i is the integer exponentiation.

^: (%, NonNegativeInteger) -> %

from MagmaWithUnit

^: (%, PositiveInteger) -> %

from Magma

~=: (%, %) -> Boolean

from BasicType

annihilate?: (%, %) -> Boolean

from Rng

antiCommutator: (%, %) -> %

from NonAssociativeSemiRng

associates?: (%, %) -> Boolean

from EntireRing

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

from NonAssociativeRng

characteristic: () -> NonNegativeInteger

from NonAssociativeRing

coerce: % -> JLObject

from JLObjectType

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Fraction Integer -> %

coerce(p) returns a Julia Rational from the Fraction p.

coerce: Integer -> %

from NonAssociativeRing

coerce: JLObject -> %

coerce(a) returns a Julia Rational from the JLObject a.

coerce: String -> %

coerce(str) returns a Julia Rational from the str command.

commutator: (%, %) -> %

from NonAssociativeRng

convert: % -> String

from ConvertibleTo String

denominator: % -> Integer

denominator(p) returns the denominator of the rational p.

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

from EntireRing

inv: % -> %

from DivisionRing

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

jlGetJuliaIndex: % -> String

from JLObjectType

jlGetProperty: (%, JLSymbol) -> JLObject

from JLObjectType

jlId: % -> JLInt64

from JLObjectType

jlimref: String -> %

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

from JLObjectType

jrat: (Integer, Integer) -> %

jrat(num, den) returns the Julia Rational from the num and den.

jrat: Fraction Integer -> %

jrat(p) returns a Julia Rational from the Fraction p.

jrat: String -> %

jrat(str) returns the Julia Rational from the str command.

latex: % -> String

from SetCategory

leftPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

leftPower: (%, PositiveInteger) -> %

from Magma

leftRecip: % -> Union(%, failed)

from MagmaWithUnit

max: (%, %) -> %

from OrderedSet

min: (%, %) -> %

from OrderedSet

mutable?: % -> Boolean

from JLObjectType

nothing?: % -> Boolean

from JLObjectType

numerator: % -> Integer

numerator(p) returns the numerator of the rational p.

one?: % -> Boolean

from MagmaWithUnit

opposite?: (%, %) -> Boolean

from AbelianMonoid

recip: % -> Union(%, failed)

from MagmaWithUnit

rightPower: (%, NonNegativeInteger) -> %

from MagmaWithUnit

rightPower: (%, PositiveInteger) -> %

from Magma

rightRecip: % -> Union(%, failed)

from MagmaWithUnit

sample: %

from AbelianMonoid

smaller?: (%, %) -> Boolean

from Comparable

string: % -> String

from JLType

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

from CancellationAbelianMonoid

unit?: % -> Boolean

from EntireRing

unitCanonical: % -> %

from EntireRing

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

from EntireRing

zero?: % -> Boolean

from AbelianMonoid

AbelianGroup

AbelianMonoid

AbelianSemiGroup

BasicType

BiModule(%, %)

CancellationAbelianMonoid

CoercibleTo OutputForm

Comparable

ConvertibleTo String

DivisionRing

EntireRing

JLObjectRing

JLObjectType

JLRing

JLType

LeftModule %

Magma

MagmaWithUnit

Monoid

NonAssociativeRing

NonAssociativeRng

NonAssociativeSemiRing

NonAssociativeSemiRng

noZeroDivisors

OrderedSet

PartialOrder

RightModule %

Ring

Rng

SemiGroup

SemiRing

SemiRng

SetCategory

TwoSidedRecip

unitsKnown