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

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Fraction Integer -> % if R has RetractableTo Fraction Integer

from CoercibleFrom Fraction Integer

coerce: Integer -> % if R has RetractableTo Integer

from CoercibleFrom Integer

coerce: R -> %

from CoercibleFrom R

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?: % -> Boolean if R has IntegerNumberSystem

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

rational: % -> Fraction Integer if R has IntegerNumberSystem

rational(x) returns x as a finite rational number. Error: if x is not a 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: % -> Fraction Integer if R has RetractableTo Fraction Integer

from RetractableTo Fraction Integer

retract: % -> Integer if R has RetractableTo Integer

from RetractableTo Integer

retract: % -> R

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

retractIfCan: % -> Union(R, failed)

from RetractableTo R

BasicType

CoercibleFrom Fraction Integer if R has RetractableTo Fraction Integer

CoercibleFrom Integer if R has RetractableTo Integer

CoercibleFrom R

CoercibleTo OutputForm

ConvertibleTo InputForm if R has ConvertibleTo InputForm

FullyRetractableTo R

RetractableTo Fraction Integer if R has RetractableTo Fraction Integer

RetractableTo Integer if R has RetractableTo Integer

RetractableTo R

SetCategory