| 1 : |
anton
|
1.1
|
\ High level floating point 14jan94py |
| 2 : |
|
|
|
| 3 : |
pazsan
|
1.6
|
1 cells 4 = [IF] |
| 4 : |
|
|
' cells Alias sfloats |
| 5 : |
|
|
' cell+ Alias sfloat+ |
| 6 : |
|
|
' align Alias sfalign |
| 7 : |
|
|
' aligned Alias sfaligned |
| 8 : |
|
|
[ELSE] |
| 9 : |
pazsan
|
1.8
|
: sfloats 2* 2* ; |
| 10 : |
pazsan
|
1.6
|
: sfloat+ 4 + ; |
| 11 : |
|
|
: sfaligned ( addr -- addr' ) 3 + -4 and ; |
| 12 : |
|
|
: sfalign ( -- ) here dup sfaligned swap ?DO bl c, LOOP ; |
| 13 : |
|
|
[THEN] |
| 14 : |
|
|
|
| 15 : |
|
|
1 floats 8 = [IF] |
| 16 : |
|
|
' floats Alias dfloats |
| 17 : |
|
|
' float+ Alias dfloat+ |
| 18 : |
|
|
' falign Alias dfalign |
| 19 : |
|
|
' faligned Alias dfaligned |
| 20 : |
|
|
[ELSE] |
| 21 : |
pazsan
|
1.8
|
: dfloats 2* 2* 2* ; |
| 22 : |
pazsan
|
1.6
|
: dfloat+ 8 + ; |
| 23 : |
|
|
: dfaligned ( addr -- addr' ) 7 + -8 and ; |
| 24 : |
|
|
: dfalign ( -- ) here dup dfaligned swap ?DO bl c, LOOP ; |
| 25 : |
|
|
[THEN] |
| 26 : |
|
|
|
| 27 : |
anton
|
1.1
|
: f, ( f -- ) here 1 floats allot f! ; |
| 28 : |
|
|
|
| 29 : |
anton
|
1.2
|
\ !! have create produce faligned pfas |
| 30 : |
anton
|
1.1
|
: fconstant ( r -- ) |
| 31 : |
pazsan
|
1.4
|
falign here f, Create A, |
| 32 : |
|
|
DOES> @ f@ ; |
| 33 : |
anton
|
1.1
|
|
| 34 : |
|
|
: fvariable |
| 35 : |
pazsan
|
1.4
|
falign here 0. d>f f, AConstant ; |
| 36 : |
anton
|
1.1
|
|
| 37 : |
|
|
: fdepth ( -- n ) f0 @ fp@ - [ 1 floats ] Literal / ; |
| 38 : |
|
|
|
| 39 : |
|
|
: FLit ( -- r ) r> faligned dup f@ float+ >r ; |
| 40 : |
|
|
: FLiteral ( r -- ) postpone FLit falign f, ; immediate |
| 41 : |
|
|
|
| 42 : |
|
|
&16 Value precision |
| 43 : |
|
|
: set-precision to precision ; |
| 44 : |
|
|
|
| 45 : |
|
|
: scratch ( r -- addr len ) |
| 46 : |
|
|
pad precision - precision ; |
| 47 : |
|
|
|
| 48 : |
|
|
: zeros ( n -- ) 0 max 0 ?DO '0 emit LOOP ; |
| 49 : |
|
|
|
| 50 : |
|
|
: -zeros ( addr u -- addr' u' ) |
| 51 : |
|
|
BEGIN dup WHILE 1- 2dup + c@ '0 <> UNTIL 1+ THEN ; |
| 52 : |
|
|
|
| 53 : |
pazsan
|
1.4
|
: f$ ( f -- n ) scratch represent 0= |
| 54 : |
|
|
IF 2drop scratch 3 min type rdrop EXIT THEN |
| 55 : |
|
|
IF '- emit THEN ; |
| 56 : |
|
|
|
| 57 : |
|
|
: f. ( r -- ) f$ dup >r 0< |
| 58 : |
|
|
IF '0 emit |
| 59 : |
anton
|
1.1
|
ELSE scratch r@ min type r@ precision - zeros THEN |
| 60 : |
|
|
'. emit r@ negate zeros |
| 61 : |
|
|
scratch r> 0 max /string 0 max -zeros type space ; |
| 62 : |
benschop
|
1.3
|
\ I'm afraid this does not really implement ansi semantics wrt precision. |
| 63 : |
|
|
\ Shouldn't precision indicate the number of places shown after the point? |
| 64 : |
anton
|
1.1
|
|
| 65 : |
pazsan
|
1.4
|
: fe. ( r -- ) f$ 1- s>d 3 fm/mod 3 * >r 1+ >r |
| 66 : |
anton
|
1.1
|
scratch r@ min type '. emit scratch r> /string type |
| 67 : |
|
|
'E emit r> . ; |
| 68 : |
|
|
|
| 69 : |
pazsan
|
1.4
|
: fs. ( r -- ) f$ 1- |
| 70 : |
|
|
scratch over c@ emit '. emit 1 /string type |
| 71 : |
|
|
'E emit . ; |
| 72 : |
|
|
|
| 73 : |
anton
|
1.7
|
: sfnumber ( c-addr u -- r / ) |
| 74 : |
|
|
2dup >float |
| 75 : |
|
|
IF |
| 76 : |
|
|
2drop state @ |
| 77 : |
|
|
IF |
| 78 : |
|
|
postpone FLiteral |
| 79 : |
|
|
THEN |
| 80 : |
|
|
ELSE |
| 81 : |
|
|
defers notfound |
| 82 : |
|
|
THEN ; |
| 83 : |
anton
|
1.1
|
|
| 84 : |
anton
|
1.7
|
' sfnumber IS notfound |
| 85 : |
anton
|
1.1
|
|
| 86 : |
|
|
1e0 fasin 2e0 f* fconstant pi |
| 87 : |
pazsan
|
1.6
|
|
| 88 : |
|
|
: f2* 2e0 f* ; |
| 89 : |
|
|
: f2/ 2e0 f/ ; |
| 90 : |
|
|
: 1/f 1e0 fswap f/ ; |
| 91 : |
|
|
|
| 92 : |
|
|
: falog ( f -- 10^f ) [ 10e0 fln ] FLiteral f* fexp ; |
| 93 : |
|
|
|
| 94 : |
|
|
: fsinh fexpm1 fdup fdup 1e0 f+ f/ f+ f2/ ; |
| 95 : |
|
|
: fcosh fexp fdup 1/f f+ f2/ ; |
| 96 : |
|
|
: ftanh f2* fexpm1 fdup 2e0 f+ f/ ; |
| 97 : |
|
|
|
| 98 : |
|
|
: fatanh fdup f0< >r fabs 1e0 fover f- f/ f2* flnp1 f2/ |
| 99 : |
|
|
r> IF fnegate THEN ; |
| 100 : |
|
|
: facosh fdup fdup f* 1e0 f- fsqrt f+ fln ; |
| 101 : |
|
|
: fasinh fdup fdup f* 1e0 f+ fsqrt f/ fatanh ; |
| 102 : |
pazsan
|
1.9
|
|
| 103 : |
|
|
: f.s ." <" fdepth 0 .r ." > " fdepth 0 max maxdepth-.s @ min dup 0 |
| 104 : |
|
|
?DO dup i - 1- floats fp@ + f@ f. LOOP drop ; |