OnePointCompletion(R)

complet.spad line 138 [edit on github]

Adjunction of a complex infinity to a set. Date Created: 4 Oct 1989

= : (%, %) -> Boolean
from BasicType
coerce : R -> %
from CoercibleFrom(R)
coerce : Fraction(Integer) -> % if R has RetractableTo(Fraction(Integer))
from CoercibleFrom(Fraction(Integer))
coerce : Integer -> % if R has RetractableTo(Integer)
from CoercibleFrom(Integer)
coerce : % -> OutputForm
from CoercibleTo(OutputForm)
convert : % -> InputForm if R has ConvertibleTo(InputForm)
from ConvertibleTo(InputForm)
finite? : % -> Boolean

finite?(x) tests if x is finite.

infinite? : % -> Boolean

infinite?(x) tests if x is infinite.

infinity : () -> %

infinity() returns infinity.

latex : % -> String
from SetCategory
rational : % -> Fraction(Integer) if R has IntegerNumberSystem

rational(x) returns x as a finite rational number. Error: if x is not a rational number.

rational? : % -> Boolean if R has IntegerNumberSystem

rational?(x) tests if x is a finite rational number.

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

rationalIfCan(x) returns x as a finite rational number if it is one, "failed" otherwise.

retract : % -> R
from RetractableTo(R)
retract : % -> Fraction(Integer) if R has RetractableTo(Fraction(Integer))
from RetractableTo(Fraction(Integer))
retract : % -> Integer if R has RetractableTo(Integer)
from RetractableTo(Integer)
retractIfCan : % -> Union(R, "failed")
from RetractableTo(R)
retractIfCan : % -> Union(Fraction(Integer), "failed") if R has RetractableTo(Fraction(Integer))
from RetractableTo(Fraction(Integer))
retractIfCan : % -> Union(Integer, "failed") if R has RetractableTo(Integer)
from RetractableTo(Integer)
~= : (%, %) -> Boolean
from BasicType

ConvertibleTo(InputForm)

RetractableTo(Integer)

CoercibleTo(OutputForm)

CoercibleFrom(R)

CoercibleFrom(Fraction(Integer))

CoercibleFrom(Integer)

SetCategory

RetractableTo(Fraction(Integer))

FullyRetractableTo(R)

BasicType

RetractableTo(R)