C. BIAS/Profil

PROFIL/BIAS については、Knuppel [51] が基本的な文献である。 内輪向けコピーを

http://nalab.mind.meiji.ac.jp/~mk/labo/library/numerical-verification/1994-knuppel.pdf

に置いておく。

ネット上に用意されたドキュメント

PROFIL/BIAS Documentation

がある。

またマニュアルが PostScript で用意されている。 とりあえず PDF に変換したものを内輪向けに置いておく。

• Olaf Knuppël, BIAS -- Basic Interval Arithmetic Subroutines, 1993.
  http://nalab.mind.meiji.ac.jp/~mk/labo/library/numerical-verification/report93.3.pdf
• Olaf Knuppël, PROFIL -- Programmer's Runtime Optimized Fast Interval Library, 1993.
  http://nalab.mind.meiji.ac.jp/~mk/labo/library/numerical-verification/report93.4.pdf
• Olaf Knuppël and Thomas Simenec, PROFIL/BIAS Extensions, 1993.
  http://nalab.mind.meiji.ac.jp/~mk/labo/library/numerical-verification/report93.5.pdf
• Olaf Knuppël, BIAS -- A PROFIL/BIAS Implementation of a Global Minimization Algorithm, 1993.
  http://nalab.mind.meiji.ac.jp/~mk/labo/library/numerical-verification/report95.4.pdf

ずっと以前、学生が使ったことがあって、そのときに書いたノート

1. 「区間演算用ソフトウェア BIAS/Profil の紹介」
   もうイントロ (次項に取り込んだ) 以外は参考にならないかな。
2. 「Profil を使ったプログラム例」
   これも内容を更新して以下に取り込んだ。
3. 『BIAS/Profil ノート』
   これは BIAS, PROFILE のドキュメントの抄訳のようなもの。 作業率２割程度。必要に応じて書き足すと良い。

2018年現在、BIAS/Profil をインストールする方法は、 「BIAS/Profil を動かす」 にある。

curl -O http://www.ti3.tuhh.de/keil/profil/Profil-2.0.8.tgz
tar xzf Profil-2.0.8.tgz
cd Profil-2.0.8/config
mkdir any-any-gcc
cd any-any-gcc
curl -O http://nalab.mind.meiji.ac.jp/~mk/20180923/BiasRnd.c
cp -p ../x86-Linux-compat-gcc/BiasRnd.h .
cp -p ../x86-Linux-compat-gcc/Host.cfg Host.cfg
rm -f fpRound.s
touch fpRound.s
cd ../..
echo 2 | ./Configure
make CC=gcc all>&make-all.log
make CC=gcc install>&make-install.log
make CC=gcc check>&make-check.log
cat make-check.log
sudo cp -pr include/ /usr/local/include/profil
sudo cp -p lib/* /usr/local/lib

以下のサンプル・プログラムを試したいならば

curl -O http://nalab.mind.meiji.ac.jp/~mk/20180923/profil-samples.tar.gz
tar xzf profil-samples.tar.gz
cd profil-samples
make

とすれば良い。