Nuprl Definition : fractional-part
fractional-part(q) == snd(int_part_decomp(q))
Definitions occuring in Statement :
int_part_decomp: int_part_decomp(q),
pi2: snd(t)
Definitions occuring in definition :
pi2: snd(t),
int_part_decomp: int_part_decomp(q)
FDL editor aliases :
fractional-part
Latex:
fractional-part(q) == snd(int\_part\_decomp(q))
Date html generated:
2016_05_15-PM-11_40_25
Last ObjectModification:
2015_09_23-AM-08_31_16
Theory : rationals
Home
Index