next up previous contents
: OX Local Data : 数, 多項式 の CMO : CPU依存の double   目次

Bigfloat32

int32 を基本とした bigfloat の表現方法について述べる. この形式は mpfr を 32bit CPU で使用した時の内部表現と共通である.

Ref: OpenXM/src/mpfr/bfsize/bfsize.c

#define     CMO_BIGFLOAT32          52

Bigfloat32 は次の形式の int32 の配列である.

int32
prec
, int32
sign
, int32
exp
, int32 a[1], ..., int32 a[k]

p=prec は精度, s=sign は符号(1 が正の数, -1 (2の補数表現)が負の数) , E=exp は指数部で, 上のデータは数

\begin{displaymath}s (a[k]/B + a[k-1]/B^2 + ... + a[1]/B^k) 2^E \end{displaymath}

を表す. ここで $B=2^{32}$, $k = \lceil p/32 \rceil$ である.



Nobuki Takayama 平成28年8月27日