Nuprl Definition : ternary-fps

*1/3* ==  [(1/3); (1/3); (1/3)]


Definitions occuring in Statement :  qdiv: (r/s),  cons: [a / b],  nil: [],  natural_number: $n
FDL editor aliases :  ternary-fps
Latex:
*1/3*  ==    [(1/3);  (1/3);  (1/3)]


Date html generated: 2016_05_15-PM-11_44_50
Last ObjectModification: 2008_02_27-PM-05_47_11

Theory : randomness


Home Index