ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-17 11:51:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'max19/test' into test

Browse Source
This commit is contained in:
Raymond Pasco 2015-08-07 21:02:56 -04:00
commit b5386a582e
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
arvo/hoon.hoon
View File

@ -1405,10 +1405,10 @@
$(a.a (rsh 0 1 a.a), e.a (sum:si e.a --1)) $(a.a (rsh 0 1 a.a), e.a (sum:si e.a --1))
:: ::
:: expands to either full precision or to denormalized :: expands to either full precision or to denormalized
:: assumes (met 0 a.a) <= precision
++ xpd ++ xpd
|= [a=[e=@s a=@u]] |= [a=[e=@s a=@u]]
=+ ma=(met 0 a.a) =+ ma=(met 0 a.a)
?: (gte ma prc) a
=+ ?: =(den %i) (^sub prc ma) =+ ?: =(den %i) (^sub prc ma)
=+ ^= q =+ ^= q
=+ w=(dif:si e.a emn) =+ w=(dif:si e.a emn)
@ -1419,7 +1419,7 @@
:: central rounding mechanism :: central rounding mechanism
:: can perform: floor, ceiling, smaller, larger, :: can perform: floor, ceiling, smaller, larger,
:: nearest (round ties to: even, away from 0, toward 0) :: nearest (round ties to: even, away from 0, toward 0)
:: s is sticky bit: represents a value less than ulp(a) = 2^(e:(xpd a)) :: s is sticky bit: represents a value less than ulp(a) = 2^(e.a)
++ lug ++ lug
~/ %lug ~/ %lug
|= [t=?(%fl %ce %sm %lg %ne %na %nt) a=[e=@s a=@u] s=?] ^- fn |= [t=?(%fl %ce %sm %lg %ne %na %nt) a=[e=@s a=@u] s=?] ^- fn
@ -1430,6 +1430,7 @@
?: =((met 0 ->+>) prc) - [%f & zer] ?: =((met 0 ->+>) prc) - [%f & zer]
:: ::
=+ m=(met 0 a.a) =+ m=(met 0 a.a)
?> |(s (gth m prc)) :: require precision
=+ ^= q =+ ^= q
=+ ^= f :: reduce precision =+ ^= f :: reduce precision
?: (gth m prc) (^sub m prc) 0 ?: (gth m prc) (^sub m prc) 0
@ -1489,7 +1490,7 @@
~/ %drg :: convert to decimal ~/ %drg :: convert to decimal
|= [a=[e=@s a=@u]] ^- [@s @u] |= [a=[e=@s a=@u]] ^- [@s @u]
?< =(a.a 0) ?< =(a.a 0)
=. a ?: (^lth (met 0 a.a) prc) (xpd a) a =. a (xpd a)
=+ r=(lsh 0 ?:((syn:si e.a) (abs:si e.a) 0) a.a) =+ r=(lsh 0 ?:((syn:si e.a) (abs:si e.a) 0) a.a)
=+ s=(lsh 0 ?.((syn:si e.a) (abs:si e.a) 0) 1) =+ s=(lsh 0 ?.((syn:si e.a) (abs:si e.a) 0) 1)
=+ m=(lsh 0 ?:((syn:si e.a) (abs:si e.a) 0) 1) =+ m=(lsh 0 ?:((syn:si e.a) (abs:si e.a) 0) 1)
@ -1921,7 +1922,7 @@
:: round to nearest, round up, round down, round to zero :: round to nearest, round up, round down, round to zero
:: ::
++ ma ++ ma
%*(. ff w 11, p 52, b --1.023, r r) %*(. ff w 8, p 23, b --127, r r)
:: ::
++ sea :: @rs to fn ++ sea :: @rs to fn
|= [a=@rs] (sea:ma a) |= [a=@rs] (sea:ma a)
@ -1979,7 +1980,7 @@
:: round to nearest, round up, round down, round to zero :: round to nearest, round up, round down, round to zero
:: ::
++ ma ++ ma
%*(. ff w 11, p 52, b --1.023, r r) %*(. ff w 15, p 112, b --16.383, r r)
:: ::
++ sea :: @rq to fn ++ sea :: @rq to fn
|= [a=@rq] (sea:ma a) |= [a=@rq] (sea:ma a)