Nuprl Definition : ternary-fps
*1/3* == [(1/3); (1/3); (1/3)]
Definitions occuring in Statement :
cons: [a / b],
nil: [],
natural_number: $n,
qdiv: (r/s)
Definitions :
cons: Error :cons def,
qdiv: (r/s),
natural_number: $n,
nil: Error :nil def
FDL editor aliases :
ternary-fps
*1/3* == [(1/3); (1/3); (1/3)]
Date html generated:
2015_07_17-AM-07_58_01
Last ObjectModification:
2008_02_27-PM-05_47_11
Home
Index