Nuprl Definition : qtruncate
qtruncate(q;N) == (q-ceil(q * N)/N)
Definitions occuring in Statement :
q-ceil: q-ceil(r),
qdiv: (r/s),
qmul: r * s
Definitions occuring in definition :
qdiv: (r/s),
q-ceil: q-ceil(r),
qmul: r * s
FDL editor aliases :
qtruncate
Latex:
qtruncate(q;N) == (q-ceil(q * N)/N)
Date html generated:
2016_05_15-PM-11_35_15
Last ObjectModification:
2015_09_23-AM-08_30_26
Theory : rationals
Home
Index