File: bigfloat-beta.rkt

package info (click to toggle)
racket 7.2%2Bdfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 125,432 kB
  • sloc: ansic: 258,980; pascal: 59,975; sh: 33,650; asm: 13,558; lisp: 7,124; makefile: 3,329; cpp: 2,889; exp: 499; python: 274; xml: 11
file content (15 lines) | stat: -rw-r--r-- 337 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
#lang typed/racket/base

(require "bigfloat-struct.rkt")

(provide bfbeta bflog-beta)

(: bflog-beta (Bigfloat Bigfloat -> Bigfloat))
(define (bflog-beta a b)
  (bf+ (bflog-gamma a)
       (bflog-gamma b)
       (bf- (bflog-gamma (bf+ a b)))))

(: bfbeta (Bigfloat Bigfloat -> Bigfloat))
(define (bfbeta a b)
  (bfexp (bflog-beta a b)))