<86>Apr 21 03:04:59 userdel[26088]: delete user 'rooter'
<86>Apr 21 03:04:59 userdel[26088]: removed shadow group 'rooter' owned by 'rooter'
<86>Apr 21 03:04:59 groupadd[26102]: group added to /etc/group: name=rooter, GID=531
<86>Apr 21 03:04:59 groupadd[26102]: group added to /etc/gshadow: name=rooter
<86>Apr 21 03:04:59 groupadd[26102]: new group: name=rooter, GID=531
<86>Apr 21 03:04:59 useradd[26116]: new user: name=rooter, UID=531, GID=531, home=/root, shell=/bin/bash
<86>Apr 21 03:04:59 userdel[26131]: delete user 'builder'
<86>Apr 21 03:04:59 userdel[26131]: removed group 'builder' owned by 'builder'
<86>Apr 21 03:04:59 groupadd[26146]: group added to /etc/group: name=builder, GID=532
<86>Apr 21 03:04:59 groupadd[26146]: group added to /etc/gshadow: name=builder
<86>Apr 21 03:04:59 groupadd[26146]: new group: name=builder, GID=532
<86>Apr 21 03:04:59 useradd[26157]: new user: name=builder, UID=532, GID=532, home=/usr/src, shell=/bin/bash
<13>Apr 21 03:05:07 rpmi: tex-common-0.2-alt4 1244804096 installed
<13>Apr 21 03:05:07 rpmi: texlive-common-0.1-alt3 1244804816 installed
<13>Apr 21 03:05:07 rpmi: libjpeg-2:1.3.1-alt0.1 1388074033 installed
<13>Apr 21 03:05:07 rpmi: libpng15-1.5.28-alt1 1484572014 installed
<13>Apr 21 03:05:07 rpmi: libtiff5-4.0.3-alt1 1348347498 installed
<13>Apr 21 03:05:07 rpmi: perl-Encode-2.83-alt1 1459157776 installed
<13>Apr 21 03:05:07 rpmi: libnspr-1:4.20-alt1 p8.216526.40 1542382588 installed
<13>Apr 21 03:05:07 rpmi: libpng12-1.2.50-alt2 1347753407 installed
<13>Apr 21 03:05:07 rpmi: liblcms2-2.8-alt1 1471601528 installed
<13>Apr 21 03:05:07 rpmi: libexpat-2.2.4-alt0.M80P.1 1503871120 installed
<13>Apr 21 03:05:07 rpmi: perl-Term-ANSIColor-4.05-alt1 1458575791 installed
<13>Apr 21 03:05:07 rpmi: libidn2-2.0.4-alt3.M80P.1 1520307194 installed
<13>Apr 21 03:05:07 rpmi: libICE-1.0.9-alt1 1409902719 installed
<13>Apr 21 03:05:07 rpmi: libwayland-server-1.14.0-alt0.M80P.1 1502720500 installed
<13>Apr 21 03:05:07 rpmi: libgdbm-1.8.3-alt10 1454943313 installed
<13>Apr 21 03:05:07 rpmi: libkpathsea-2008.0-alt0.15.6 1449446882 installed
<13>Apr 21 03:05:07 rpmi: libopenjpeg2.0-2.2.0-alt0.M80P.1 1503526491 installed
<13>Apr 21 03:05:07 rpmi: ca-certificates-2016.02.25-alt1 1462368370 installed
<13>Apr 21 03:05:08 rpmi: libcrypto10-1.0.2n-alt0.M80P.1 1512766129 installed
<13>Apr 21 03:05:08 rpmi: perl-DBM-1:5.22.3-alt0.M80P.1 1485958065 installed
<13>Apr 21 03:05:08 rpmi: libSM-1.2.2-alt1 1391072686 installed
<13>Apr 21 03:05:08 rpmi: libjasper-1.900.1-alt3 1391718482 installed
<13>Apr 21 03:05:08 rpmi: fonts-type1-tipa-tex-1.3-alt4 1246545601 installed
<13>Apr 21 03:05:08 rpmi: texlive-doc-base-2008.0-alt0.10 1238420746 installed
<13>Apr 21 03:05:09 rpmi: texmf-tex4ht-1.0.2009_06_11_1038-alt1 1328304130 installed
<13>Apr 21 03:05:09 rpmi: tcsh-6.18.01-alt2 1442313244 installed
<13>Apr 21 03:05:09 rpmi: t1lib-5.1.2-alt5 1326979643 installed
<13>Apr 21 03:05:09 rpmi: perl-Term-Cap-1.17-alt1 1445018869 installed
<13>Apr 21 03:05:09 rpmi: perl-Pod-Escapes-1.07-alt1 1418767892 installed
<13>Apr 21 03:05:09 rpmi: perl-Pod-Simple-3.32-alt1 1447205413 installed
<13>Apr 21 03:05:09 rpmi: libruby-2.5.1-alt0.M80P.1 1525659669 installed
<13>Apr 21 03:05:09 rpmi: ruby-2.5.1-alt0.M80P.1 1525659669 installed
<13>Apr 21 03:05:09 rpmi: poppler-data-0.4.8-alt1.M80P.1 1524561858 installed
<13>Apr 21 03:05:09 rpmi: libgmp-devel-6.1.0-alt2.M80P.1 1494393041 installed
<13>Apr 21 03:05:09 rpmi: publicsuffix-list-dafsa-20190329-alt1 p8+226349.100.1.1 1554128046 installed
<13>Apr 21 03:05:09 rpmi: libpsl-0.18.0-alt0.M80P.1 1502785107 installed
<13>Apr 21 03:05:09 rpmi: libnghttp2-1.8.0-alt1 1456818805 installed
<13>Apr 21 03:05:09 rpmi: libpixman-3:0.32.8-alt1 1447610691 installed
<13>Apr 21 03:05:09 rpmi: libbrotlicommon0-1.0.4-alt0.M80P.1 1528205024 installed
<13>Apr 21 03:05:09 rpmi: libbrotlidec0-1.0.4-alt0.M80P.1 1528205024 installed
<13>Apr 21 03:05:09 rpmi: libwayland-client-1.14.0-alt0.M80P.1 1502720500 installed
<13>Apr 21 03:05:09 rpmi: libxshmfence-1.2-alt1 1420972191 installed
<13>Apr 21 03:05:09 rpmi: libpciaccess-1:0.13.4-alt1 1431681688 installed
<13>Apr 21 03:05:09 rpmi: libdrm-1:2.4.89-alt1.M80P.1 1516609380 installed
<13>Apr 21 03:05:09 rpmi: libgbm-4:18.0.5-alt1.M80P.1 p8+226404.100.1.1 1554206332 installed
<13>Apr 21 03:05:09 rpmi: libX11-locales-3:1.6.3-alt1 1431956885 installed
<13>Apr 21 03:05:09 rpmi: libXdmcp-1.1.1-alt1 1334617699 installed
<13>Apr 21 03:05:09 rpmi: libXau-1.0.8-alt1 1369565807 installed
<13>Apr 21 03:05:09 rpmi: libxcb-1.12-alt2 p8.218219.300 1545313310 installed
<13>Apr 21 03:05:09 rpmi: libX11-3:1.6.3-alt1 1431956911 installed
<13>Apr 21 03:05:09 rpmi: libXext-1.3.3-alt1 1409902932 installed
<13>Apr 21 03:05:09 rpmi: libXt-1.1.4-alt1 1369984716 installed
<13>Apr 21 03:05:09 rpmi: libXmu-1.1.2-alt1 1391072528 installed
<13>Apr 21 03:05:09 rpmi: libXpm-3.5.11-alt1 1391072398 installed
<13>Apr 21 03:05:09 rpmi: libXrender-0.9.8-alt1 1371312110 installed
<13>Apr 21 03:05:09 rpmi: libXaw-1.0.12-alt1 1391072621 installed
<13>Apr 21 03:05:09 rpmi: libXxf86vm-1.1.3-alt1 1369984824 installed
<13>Apr 21 03:05:09 rpmi: libXdamage-1.1.3-alt4 1297162596 installed
<13>Apr 21 03:05:09 rpmi: libXfixes-5.0.1-alt1 1369809606 installed
<13>Apr 21 03:05:09 rpmi: libGL-4:18.0.5-alt1.M80P.1 p8+226404.100.1.1 1554206332 installed
<13>Apr 21 03:05:09 rpmi: libEGL-4:18.0.5-alt1.M80P.1 p8+226404.100.1.1 1554206332 installed
<13>Apr 21 03:05:09 rpmi: mailx-8.1.2-alt7 1366314831 installed
<13>Apr 21 03:05:09 rpmi: sharutils-4.6.3-alt1.1.qa2.1 1449219807 installed
<13>Apr 21 03:05:09 rpmi: libsqlite3-3.15.2-alt1 1480432212 installed
<13>Apr 21 03:05:10 rpmi: libnss-3.40.0-alt0.M80P.1 p8.216526.44 1542814585 installed
<13>Apr 21 03:05:10 rpmi: nss-utils-3.40.0-alt0.M80P.1 p8.216526.44 1542814585 installed
<13>Apr 21 03:05:10 rpmi: ncompress-4.2.4.4-alt1 1366160439 installed
<13>Apr 21 03:05:10 rpmi: libjbig-2.1-alt1 1401380921 installed
<13>Apr 21 03:05:10 rpmi: xorg-rgb-1.0.4-alt1.qa1 1366268675 installed
<13>Apr 21 03:05:10 rpmi: libnetpbm-10.35.97-alt1 1447854203 installed
<13>Apr 21 03:05:10 rpmi: netpbm-10.35.97-alt1 1447854203 installed
<13>Apr 21 03:05:10 rpmi: libpaper-1.1.24-alt4 1315383473 installed
<13>Apr 21 03:05:10 rpmi: libverto-0.2.6-alt1_6 1455633234 installed
<13>Apr 21 03:05:10 rpmi: libkeyutils-1.5.10-alt0.M80P.2 p8+216694.100.6.1 1547827915 installed
<13>Apr 21 03:05:10 rpmi: libcom_err-1.42.13-alt2 1449075846 installed
<13>Apr 21 03:05:10 rpmi: liblz4-1:1.7.5-alt1 1488766699 installed
<13>Apr 21 03:05:10 rpmi: libgpg-error-1.31-alt1.M80P.1 1529024730 installed
<13>Apr 21 03:05:10 rpmi: libgcrypt20-1.8.3-alt4 p8+219793.200.6.1 1551112986 installed
<13>Apr 21 03:05:10 rpmi: libsystemd-1:239-alt1.M80P.1 p8+226956.200.2.1 1555431492 installed
<13>Apr 21 03:05:10 rpmi: libdbus-1.10.24-alt4.M80P.1 1518773282 installed
<13>Apr 21 03:05:10 rpmi: libavahi-0.6.31-alt7.M80P.1 1526318593 installed
<13>Apr 21 03:05:10 rpmi: libgraphite2-1.3.10-alt0.M80P.1 1496411360 installed
<13>Apr 21 03:05:10 rpmi: libmpfr-devel-3.1.3-alt1 1450368698 installed
<13>Apr 21 03:05:12 rpmi: texlive-base-bin-2008.0-alt0.15.6 1449446882 installed
<13>Apr 21 03:05:13 rpmi: texlive-base-2008.0-alt0.15 1300007455 installed
<13>Apr 21 03:05:15 rpmi: texlive-latex-base-2008.0-alt0.15 1300007455 installed
<13>Apr 21 03:05:16 rpmi: texlive-font-utils-2008.0-alt0.15.6 1449446882 installed
<86>Apr 21 03:05:16 groupadd[9890]: group added to /etc/group: name=_keytab, GID=499
<86>Apr 21 03:05:16 groupadd[9890]: group added to /etc/gshadow: name=_keytab
<86>Apr 21 03:05:16 groupadd[9890]: new group: name=_keytab, GID=499
<13>Apr 21 03:05:16 rpmi: libkrb5-1.14.6-alt1.M80P.1 1525355673 installed
<13>Apr 21 03:05:16 rpmi: libssl10-1.0.2n-alt0.M80P.1 1512766129 installed
<13>Apr 21 03:05:16 rpmi: perl-Pod-Usage-1.68-alt1 1451923699 installed
<13>Apr 21 03:05:16 rpmi: libcups-2.1.0-alt2.M80P.4 p8+223280.100.1.1 1551372192 installed
<86>Apr 21 03:05:16 groupadd[10012]: group added to /etc/group: name=sasl, GID=498
<86>Apr 21 03:05:16 groupadd[10012]: group added to /etc/gshadow: name=sasl
<86>Apr 21 03:05:16 groupadd[10012]: new group: name=sasl, GID=498
<13>Apr 21 03:05:16 rpmi: libsasl2-3-2.1.26-alt7 1479477445 installed
<13>Apr 21 03:05:16 rpmi: libldap-2.4.45-alt1.M80P.1 1513980376 installed
<13>Apr 21 03:05:16 rpmi: libcurl-7.64.0-alt1 p8+220788.100.1.1 1549495393 installed
<13>Apr 21 03:05:16 rpmi: texlive-latex3-2008.0-alt0.16 1300008623 installed
<13>Apr 21 03:05:16 rpmi: texlive-lang-tibetan-2008.0-alt0.14 1248958512 installed
<13>Apr 21 03:05:17 rpmi: texlive-lang-polish-2008.0-alt0.14 1248958512 installed
<13>Apr 21 03:05:17 rpmi: texmf-latex-tipa-1.3-alt4 1246545601 installed
<13>Apr 21 03:05:17 rpmi: texlive-generic-extra-2008.0-alt0.16 1300008623 installed
<13>Apr 21 03:05:17 rpmi: perl-podlators-4.07-alt1 1458574366 installed
<13>Apr 21 03:05:17 rpmi: libharfbuzz-1.6.3-alt0.M80P.1 1509918814 installed
<13>Apr 21 03:05:17 rpmi: libfreetype-2.8-alt0.M80P.3 1505462817 installed
<13>Apr 21 03:05:17 rpmi: fontconfig-2.12.6-alt1.M80P.1 1506008910 installed
Updating fonts cache: <29>Apr 21 03:05:18 fontconfig: Updating fonts cache: succeeded
[ DONE ]
<13>Apr 21 03:05:19 rpmi: fonts-type1-urw-3:1.0.7pre44-alt3 p8+224868.100.1.1 1552412385 installed
<13>Apr 21 03:05:19 rpmi: libgs-9.20-alt1.M80P.1 1494700569 installed
<13>Apr 21 03:05:19 rpmi: libXft-2.3.2-alt1 1409902650 installed
<13>Apr 21 03:05:19 rpmi: perl-Tk-804.033-alt1.1 1448484960 installed
<13>Apr 21 03:05:19 rpmi: libcairo-1:1.14.4-alt1 1447005495 installed
<13>Apr 21 03:05:19 rpmi: libpoppler72-0.61.1-alt1.M80P.1 1524829028 installed
<13>Apr 21 03:05:19 rpmi: poppler-0.61.1-alt1.M80P.1 1524829028 installed
<13>Apr 21 03:05:20 rpmi: python-modules-encodings-2.7.11-alt6.M80P.1 1527682470 installed
<13>Apr 21 03:05:21 rpmi: ghostscript-common-9.20-alt1.M80P.1 1494700614 installed
<13>Apr 21 03:05:21 rpmi: ghostscript-classic-9.20-alt1.M80P.1 1494700569 installed
<13>Apr 21 03:05:21 rpmi: latex2html-2012-alt1 1450368036 installed
<13>Apr 21 03:05:21 rpmi: python-modules-compiler-2.7.11-alt6.M80P.1 1527682470 installed
<13>Apr 21 03:05:21 rpmi: python-modules-email-2.7.11-alt6.M80P.1 1527682470 installed
<13>Apr 21 03:05:21 rpmi: python-modules-2.7.11-alt6.M80P.1 1527682470 installed
<13>Apr 21 03:05:21 rpmi: python-modules-unittest-2.7.11-alt6.M80P.1 1527682470 installed
<13>Apr 21 03:05:25 rpmi: texlive-fonts-recommended-2008.0-alt0.15 1300007455 installed
<13>Apr 21 03:05:41 rpmi: texlive-latex-recommended-2008.0-alt0.15 1300007455 installed
<13>Apr 21 03:05:41 rpmi: texlive-generic-recommended-2008.0-alt0.15 1300007455 installed
<13>Apr 21 03:05:42 rpmi: texlive-math-extra-2008.0-alt0.16 1300008623 installed
<13>Apr 21 03:05:42 rpmi: texlive-lang-french-2008.0-alt0.14 1248958512 installed
<13>Apr 21 03:05:42 rpmi: texlive-extra-utils-2008.0-alt0.15.6 1449446882 installed
<13>Apr 21 03:05:42 rpmi: texlive-lang-german-2008.0-alt0.14 1248958512 installed
<13>Apr 21 03:05:43 rpmi: texlive-lang-cyrillic-2008.0-alt0.14 1248958512 installed
<13>Apr 21 03:05:43 rpmi: texmf-latex-xcolor-2.06-alt3 1244802289 installed
<13>Apr 21 03:05:44 rpmi: texmf-pgf-3.0.1-alt1 1439012888 installed
<13>Apr 21 03:05:55 rpmi: texlive-fonts-extra-2008.0-alt0.16 1300008623 installed
<13>Apr 21 03:06:09 rpmi: texlive-pstricks-2008.0-alt0.16 1300008623 installed
<13>Apr 21 03:06:09 rpmi: texlive-games-2008.0-alt0.16 1300008623 installed
<13>Apr 21 03:06:09 rpmi: texmf-latex-obsolete-0.1-alt1 1244748792 installed
<13>Apr 21 03:06:10 rpmi: texlive-lang-arab-2008.0-alt0.14 1248958512 installed
<13>Apr 21 03:06:11 rpmi: texlive-xetex-2008.0-alt0.15.6 1449446882 installed
<13>Apr 21 03:06:11 rpmi: texmf-latex-beamer-3.36-alt4 1451249538 installed
<13>Apr 21 03:06:14 rpmi: texlive-publishers-2008.0-alt0.16 1300008623 installed
<13>Apr 21 03:06:15 rpmi: texlive-pictures-2008.0-alt0.15 1300007455 installed
<13>Apr 21 03:06:16 rpmi: texlive-science-2008.0-alt0.16 1300008623 installed
<13>Apr 21 03:06:17 rpmi: texlive-humanities-2008.0-alt0.16 1300008623 installed
<13>Apr 21 03:06:29 rpmi: texlive-latex-extra-2008.0-alt0.16 1300008623 installed
<13>Apr 21 03:06:29 rpmi: texlive-bibtex-extra-2008.0-alt0.16 1300008623 installed
Installing crlibm-1.0beta4-alt2.src.rpm
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.5199
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ rm -rf crlibm-1.0beta4
+ echo 'Source #0 (crlibm-1.0beta4.tar):'
Source #0 (crlibm-1.0beta4.tar):
+ /bin/tar -xf /usr/src/RPM/SOURCES/crlibm-1.0beta4.tar
+ cd crlibm-1.0beta4
+ /bin/chmod -c -Rf u+rwX,go-w .
+ exit 0
Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.5199
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd crlibm-1.0beta4
+ autoreconf -fisv
autoreconf-default: Entering directory `.'
autoreconf-default: configure.ac: not using Gettext
autoreconf-default: running: aclocal --force 
autoreconf-default: configure.ac: tracing
autoreconf-default: configure.ac: not using Libtool
autoreconf-default: configure.ac: not using Intltool
autoreconf-default: configure.ac: not using gtk-doc
autoreconf-default: running: /usr/bin/autoconf-2.60 --force
autoreconf-default: running: /usr/bin/autoheader-2.60 --force
autoreconf-default: running: automake --add-missing --force-missing
configure.ac:6: warning: AM_INIT_AUTOMAKE: two- and three-arguments forms are deprecated.  For more info, see:
configure.ac:6: http://www.gnu.org/software/automake/manual/automake.html#Modernize-AM_005fINIT_005fAUTOMAKE-invocation
configure.ac:52: installing './compile'
scs_lib/Makefile.am:5: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
tests/Makefile.am:12: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
parallel-tests: installing './test-driver'
autoreconf-default: Leaving directory `.'
+ CFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC'
+ export CFLAGS
+ CXXFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC'
+ export CXXFLAGS
+ FFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC'
+ export FFLAGS
+ '[' -n '' ']'
++ printf %s '-pipe -Wall -g -O2 -fPIC -DPIC'
++ sed -r 's/(^|[[:space:]]+)-[^m][^[:space:]]*//g'
+ ASFLAGS=
+ export ASFLAGS
+ export lt_cv_deplibs_check_method=pass_all
+ lt_cv_deplibs_check_method=pass_all
+ readlink -e -- ./configure
+ xargs -ri dirname -- '{}'
+ xargs -ri find '{}' -type f '(' -name config.sub -or -name config.guess ')' -printf '%h/\n'
+ sort -u
+ xargs -rn1 install -pm755 -- /usr/share/gnu-config/config.sub /usr/share/gnu-config/config.guess
+ ./configure --build=x86_64-alt-linux --host=x86_64-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/lib --localstatedir=/var/lib --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-dependency-tracking --without-included-gettext --enable-sse2 --enable-mpfr --enable-gmp --with-gmp-include=/usr/include --with-gmp-lib=/usr/lib64 --with-mpfr-include=/usr/include --with-mpfr-lib=/usr/lib64
configure: WARNING: unrecognized options: --without-included-gettext
checking for a BSD-compatible install... /bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking build system type... x86_64-alt-linux-gnu
checking host system type... x86_64-alt-linux-gnu
checking whether make sets $(MAKE)... (cached) yes
checking for x86_64-alt-linux-gcc... x86_64-alt-linux-gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether x86_64-alt-linux-gcc accepts -g... yes
checking for x86_64-alt-linux-gcc option to accept ISO C89... none needed
checking whether x86_64-alt-linux-gcc understands -c and -o together... yes
checking for style of include used by make... GNU
checking dependency style of x86_64-alt-linux-gcc... none
checking for x86_64-alt-linux-ranlib... no
checking for ranlib... ranlib
checking whether ln -s works... yes
checking how to run the C preprocessor... x86_64-alt-linux-gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for an ANSI C-conforming const... yes
checking for inline... inline
checking for sqrt... no
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking fenv.h usability... yes
checking fenv.h presence... yes
checking for fenv.h... yes
checking float.h usability... yes
checking float.h presence... yes
checking for float.h... yes
checking fpu_control.h usability... yes
checking fpu_control.h presence... yes
checking for fpu_control.h... yes
checking for log in -lm... yes
checking whether byte ordering is bigendian... no
checking for long double with more range or precision than double... yes
checking size of int... 4
checking gmp library... yes
checking gmp.h usability... yes
checking gmp.h presence... yes
checking for gmp.h... yes
checking for main in -lgmp... yes
checking mpfr library... yes
checking for mpfr.h... yes
checking for main in -lmpfr... yes
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating tests/Makefile
config.status: creating scs_lib/Makefile
config.status: creating crlibm_config.h
config.status: executing depfiles commands
configure: WARNING: unrecognized options: --without-included-gettext
+ '[' -n '' ']'
+ NPROCS=8
+ make -j8
make: Entering directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
make  all-recursive
make[1]: Entering directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
Making all in scs_lib
make[2]: Entering directory `/usr/src/RPM/BUILD/crlibm-1.0beta4/scs_lib'
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I..  -I/usr/include -I/usr/include  -pipe -Wall -g -O2 -fPIC -DPIC -c -o scs_private.o scs_private.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I..  -I/usr/include -I/usr/include  -pipe -Wall -g -O2 -fPIC -DPIC -c -o double2scs.o double2scs.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I..  -I/usr/include -I/usr/include  -pipe -Wall -g -O2 -fPIC -DPIC -c -o print_scs.o print_scs.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I..  -I/usr/include -I/usr/include  -pipe -Wall -g -O2 -fPIC -DPIC -c -o division_scs.o division_scs.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I..  -I/usr/include -I/usr/include  -pipe -Wall -g -O2 -fPIC -DPIC -c -o addition_scs.o addition_scs.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I..  -I/usr/include -I/usr/include  -pipe -Wall -g -O2 -fPIC -DPIC -c -o multiplication_scs.o multiplication_scs.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I..  -I/usr/include -I/usr/include  -pipe -Wall -g -O2 -fPIC -DPIC -c -o scs2double.o scs2double.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I..  -I/usr/include -I/usr/include  -pipe -Wall -g -O2 -fPIC -DPIC -c -o zero_scs.o zero_scs.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I. -I.. -I..  -I/usr/include -I/usr/include  -pipe -Wall -g -O2 -fPIC -DPIC -c -o scs2mpfr.o scs2mpfr.c
print_scs.c:39:13: warning: 'print_integer' defined but not used [-Wunused-function]
 static void print_integer(unsigned int x, int b, int nb){
             ^
rm -f libscs.a
ar cru libscs.a scs_private.o double2scs.o print_scs.o division_scs.o addition_scs.o multiplication_scs.o scs2double.o zero_scs.o scs2mpfr.o 
ranlib libscs.a
make[2]: Leaving directory `/usr/src/RPM/BUILD/crlibm-1.0beta4/scs_lib'
Making all in .
make[2]: Entering directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o crlibm_private.o crlibm_private.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o triple-double.o triple-double.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o exp-td.o exp-td.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o exp-td-standalone.o exp-td-standalone.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o expm1-standalone.o expm1-standalone.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o expm1.o expm1.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o log-de.o log-de.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o log1p.o log1p.c
log-de.c: In function 'log_rn':
log-de.c:109:66: warning: division by zero [-Wdiv-by-zero]
      if (xdb.i[HI] < 0)                              return (x-x)/0;   /* log(-x) = Nan    */
                                                                  ^
log-de.c: In function 'log_rd':
log-de.c:243:66: warning: division by zero [-Wdiv-by-zero]
      if (xdb.i[HI] < 0)                              return (x-x)/0;   /* log(-x) = Nan    */
                                                                  ^
log-de.c: In function 'log_ru':
log-de.c:370:66: warning: division by zero [-Wdiv-by-zero]
      if (xdb.i[HI] < 0)                              return (x-x)/0;   /* log(-x) = Nan    */
                                                                  ^
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o log10-td.o log10-td.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o log2-td.o log2-td.c
log10-td.c: In function 'log10_rn':
log10-td.c:206:20: warning: division by zero [-Wdiv-by-zero]
        return (x-x)/0;                      /* log(-x) = Nan    */
                    ^
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o rem_pio2_accurate.o rem_pio2_accurate.c
log10-td.c: In function 'log10_ru':
log10-td.c:391:20: warning: division by zero [-Wdiv-by-zero]
        return (x-x)/0;                      /* log(-x) = Nan    */
                    ^
log10-td.c: In function 'log10_rd':
log10-td.c:571:20: warning: division by zero [-Wdiv-by-zero]
        return (x-x)/0;                      /* log(-x) = Nan    */
                    ^
log10-td.c: In function 'log10_rz':
log10-td.c:749:20: warning: division by zero [-Wdiv-by-zero]
        return (x-x)/0;                      /* log(-x) = Nan    */
                    ^
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o trigo_fast.o trigo_fast.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o trigo_accurate.o trigo_accurate.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o trigpi.o trigpi.c
log2-td.c: In function 'log2_rn':
log2-td.c:188:20: warning: division by zero [-Wdiv-by-zero]
        return (x-x)/0;                      /* log(-x) = Nan    */
                    ^
log2-td.c: In function 'log2_ru':
log2-td.c:374:20: warning: division by zero [-Wdiv-by-zero]
        return (x-x)/0;                      /* log(-x) = Nan    */
                    ^
log2-td.c: In function 'log2_rd':
log2-td.c:571:20: warning: division by zero [-Wdiv-by-zero]
        return (x-x)/0;                      /* log(-x) = Nan    */
                    ^
log2-td.c: In function 'log2_rz':
log2-td.c:766:20: warning: division by zero [-Wdiv-by-zero]
        return (x-x)/0;                      /* log(-x) = Nan    */
                    ^
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o asincos.o asincos.c
asincos.c: In function 'asinpi_rd':
asincos.c:3450:29: warning: variable 'deltal' set but not used [-Wunused-but-set-variable]
   double deltatemp, deltah, deltal;
                             ^
asincos.c: In function 'asinpi_ru':
asincos.c:3804:29: warning: variable 'deltal' set but not used [-Wunused-but-set-variable]
   double deltatemp, deltah, deltal;
                             ^
asincos.c: In function 'asinpi_rz':
asincos.c:4157:29: warning: variable 'deltal' set but not used [-Wunused-but-set-variable]
   double deltatemp, deltah, deltal;
                             ^
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o pow.o pow.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o atan_fast.o atan_fast.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o atan_accurate.o atan_accurate.c
x86_64-alt-linux-gcc -DHAVE_CONFIG_H -I.   -I/usr/include -I/usr/include -std=c99 -Wall -msse2 -mfpmath=sse  -pipe -Wall -g -O2 -fPIC -DPIC -c -o csh_fast.o csh_fast.c
rm -f libcrlibm.a
ar cru libcrlibm.a crlibm_private.o triple-double.o exp-td.o exp-td-standalone.o expm1-standalone.o expm1.o log-de.o log1p.o log10-td.o log2-td.o rem_pio2_accurate.o trigo_fast.o trigo_accurate.o trigpi.o asincos.o pow.o atan_fast.o atan_accurate.o csh_fast.o scs_lib/scs_private.o scs_lib/addition_scs.o scs_lib/division_scs.o scs_lib/print_scs.o scs_lib/double2scs.o scs_lib/zero_scs.o scs_lib/multiplication_scs.o scs_lib/scs2double.o
ranlib libcrlibm.a
make[2]: Leaving directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
make[1]: Leaving directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
make: Leaving directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
+ make doc
make: Entering directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
cd docs/latex; pdflatex crlibm; bibtex crlibm; pdflatex crlibm; pdflatex crlibm;\
mv crlibm.pdf .. 
This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7)
 %&-line parsing enabled.
entering extended mode
(./crlibm.tex
LaTeX2e <2005/12/01>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, farsi, arabic, bulgarian, ukrainian, russian, french, basque, germa
n, ngerman, german-x-2008-06-18, ngerman-x-2008-06-18, polish, loaded.
(/usr/share/texmf-texlive/tex/latex/base/book.cls
Document Class: book 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/bk10.clo))
(/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
(/usr/share/texmf-texlive/tex/latex/graphics/trig.sty)
(/etc/texmf/tex/latex/config/graphics.cfg)
(/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def)))
(/usr/share/texmf-texlive/tex/latex/psnfss/mathpazo.sty)
(/usr/share/texmf-texlive/tex/latex/listings/listings.sty
(/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)
(/usr/share/texmf-texlive/tex/latex/listings/listings.cfg))
(/usr/share/texmf-texlive/tex/latex/tools/longtable.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/lscape.sty)
(/usr/share/texmf-texlive/tex/latex/base/makeidx.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/color.sty
(/etc/texmf/tex/latex/config/color.cfg))
(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty)
(/usr/share/texmf-texlive/tex/latex/base/latexsym.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty))
(/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty)
(/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty)
(/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty)
(/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty
(/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty))
(/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def)
(/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty))
(/etc/texmf/tex/latex/config/hyperref.cfg)
(/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty)
Implicit mode ON; LaTeX internals redefined
(/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty)
(/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty)))
(/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty)
(/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty))
*hyperref using driver hpdftex*
(/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def)
(/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty)
(/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)
No file crlibm.aux.
(/usr/share/texmf-texlive/tex/latex/psnfss/ot1ppl.fd)
(/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
(/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty))
(/usr/share/texmf-texlive/tex/latex/psnfss/omlzplm.fd)
(/usr/share/texmf-texlive/tex/latex/psnfss/omszplm.fd)
(/usr/share/texmf-texlive/tex/latex/psnfss/omxzplm.fd)
(/usr/share/texmf-texlive/tex/latex/psnfss/ot1zplm.fd)
(/usr/share/texmf-texlive/tex/latex/base/ulasy.fd) [1{/var/cache/texmf/fonts/ma
p/pdftex/updmap/pdftex.map}] (../../VERSION)
(/usr/share/texmf-texlive/tex/latex/psnfss/omsppl.fd) [2] [3] [4]
Chapter 0.
(./0_getting-started.tex [5]
Overfull \hbox (12.64775pt too wide) in paragraph at lines 67--80
\OT1/ppl/m/n/10 some pro-ces-sors and some op-er-at-ing sys-tems (most no-tably
 IA32 and IA64 pro-ces-sors un-der GNU/Linux),
(/usr/share/texmf-texlive/tex/latex/psnfss/omlppl.fd)

LaTeX Warning: Reference `tab:currentstate' on page 6 undefined on input line 1
29.


LaTeX Warning: Reference `chap:pow' on page 6 undefined on input line 157.


LaTeX Warning: Reference `chap:pow' on page 6 undefined on input line 157.


Overfull \hbox (51.24655pt too wide) in paragraph at lines 133--159
 [] 

LaTeX Warning: Citation `LMT98' on page 6 undefined on input line 175.


LaTeX Warning: Citation `Lef2000' on page 6 undefined on input line 175.


LaTeX Warning: Reference `section:crlibm-presentation' on page 6 undefined on i
nput line 183.

[6]

LaTeX Warning: Citation `Melqu05' on page 7 undefined on input line 188.


LaTeX Warning: Citation `DinLauMel2005' on page 7 undefined on input line 188.

[7]) [8]
Chapter 1.
(./0_intro.tex

LaTeX Warning: Citation `Far81' on page 9 undefined on input line 10.


LaTeX Warning: Citation `Tan91' on page 9 undefined on input line 10.


LaTeX Warning: Citation `DauMor2k' on page 9 undefined on input line 11.


LaTeX Warning: Citation `Muller97' on page 9 undefined on input line 11.


LaTeX Warning: Citation `Markstein2000' on page 9 undefined on input line 12.


LaTeX Warning: Citation `IEEE754' on page 9 undefined on input line 14.


LaTeX Warning: Citation `Moore66' on page 9 undefined on input line 24.


LaTeX Warning: Citation `KKLRW93' on page 9 undefined on input line 24.


LaTeX Warning: Citation `MPFRweb' on page 9 undefined on input line 38.


LaTeX Warning: Citation `IBMlibultimweb' on page 9 undefined on input line 42.


LaTeX Warning: Reference `section:lib-overview' on page 9 undefined on input li
ne 48.

[9]

LaTeX Warning: Citation `Ziv91' on page 10 undefined on input line 104.


LaTeX Warning: Citation `LMT98' on page 10 undefined on input line 129.


LaTeX Warning: Citation `Lef2000' on page 10 undefined on input line 129.

[10]

LaTeX Warning: Reference `sec:error-accuracy-perf' on page 11 undefined on inpu
t line 158.


LaTeX Warning: Citation `DinErshGast2005' on page 11 undefined on input line 16
4.


LaTeX Warning: Citation `DefDin2002' on page 11 undefined on input line 194.


LaTeX Warning: Citation `DinDef2003' on page 11 undefined on input line 194.


LaTeX Warning: Citation `SCSweb' on page 11 undefined on input line 198.


LaTeX Warning: Reference `sec:SCSLib' on page 11 undefined on input line 199.


LaTeX Warning: Citation `DinErshGast2005' on page 11 undefined on input line 21
8.

[11]

LaTeX Warning: Reference `tab:currentstate' on page 12 undefined on input line 
239.


LaTeX Warning: Reference `tab:currentstate' on page 12 undefined on input line 
240.


LaTeX Warning: Citation `Gal86' on page 12 undefined on input line 246.


LaTeX Warning: Citation `DinErshGast2005' on page 12 undefined on input line 24
6.


LaTeX Warning: Reference `tab:currentstate' on page 12 undefined on input line 
251.


LaTeX Warning: Citation `DefHanLefMulRevZim2004' on page 12 undefined on input 
line 259.

[12]

LaTeX Warning: Reference `section:testrounding' on page 13 undefined on input l
ine 340.


LaTeX Warning: Reference `section:testrounding' on page 13 undefined on input l
ine 384.

[13]

LaTeX Warning: Citation `FDLIBMweb' on page 14 undefined on input line 412.


LaTeX Warning: Citation `HarKubStoTan99' on page 14 undefined on input line 414
.


LaTeX Warning: Citation `IntelOpenSource' on page 14 undefined on input line 41
4.


LaTeX Warning: Citation `Markstein2000' on page 14 undefined on input line 415.


LaTeX Warning: Citation `Markstein2001' on page 14 undefined on input line 415.


LaTeX Warning: Citation `IBMlibultimweb' on page 14 undefined on input line 424
.

[14]

LaTeX Warning: Citation `DefHanLefMulRevZim2004' on page 15 undefined on input 
line 507.


LaTeX Warning: Reference `chap:common' on page 15 undefined on input line 537.


Overfull \hbox (19.93695pt too wide) in paragraph at lines 537--540
[]\OT1/ppl/m/n/10 The com-mon C rou-tines that are de-tailed in Chap-ter [] of 
this doc-u-ment are de-fined in \OT1/cmtt/m/n/10 crlibm[]private.c

LaTeX Warning: Reference `chap:common' on page 15 undefined on input line 544.

) [15] [16]
Chapter 2.
(./1_common.tex

LaTeX Warning: Citation `Ste74' on page 17 undefined on input line 37.


LaTeX Warning: Citation `Gol91' on page 17 undefined on input line 37.

[17]

LaTeX Warning: Citation `AMDoptim2001' on page 18 undefined on input line 77.


Overfull \hbox (21.01736pt too wide) in paragraph at lines 152--157
\OT1/ppl/m/n/10 ple-ment them as macros, as in \OT1/cmtt/m/n/10 libultim\OT1/pp
l/m/n/10 . The code of-fers both ver-sions, se-lected by the \OT1/cmtt/m/n/10 D
EKKER[]AS[]FUNCTIONS
[18]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 19 undefined on in
put line 158.


LaTeX Warning: Citation `Knu73' on page 19 undefined on input line 164.


LaTeX Warning: Citation `Boldo2001' on page 19 undefined on input line 164.


LaTeX Warning: Citation `Dek71' on page 19 undefined on input line 216.


LaTeX Warning: Citation `Gol91' on page 19 undefined on input line 218.

[19]

LaTeX Warning: Citation `CorneaHarrisonTang2002' on page 20 undefined on input 
line 283.


LaTeX Warning: Citation `Dek71' on page 20 undefined on input line 307.


LaTeX Warning: Citation `Dek71' on page 20 undefined on input line 309.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 20 undefined on in
put line 309.

[20]

LaTeX Warning: Citation `Dek71' on page 21 undefined on input line 345.


LaTeX Warning: Citation `Dek71' on page 21 undefined on input line 347.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 21 undefined on in
put line 347.


Underfull \hbox (badness 10000) in paragraph at lines 386--388


Underfull \hbox (badness 10000) in paragraph at lines 390--394


LaTeX Warning: Reference `muldDDref' on page 21 undefined on input line 397.


LaTeX Warning: Reference `muldDDref' on page 21 undefined on input line 399.

[21]
Underfull \hbox (badness 10000) in paragraph at lines 422--424


Underfull \hbox (badness 10000) in paragraph at lines 426--433


LaTeX Warning: Reference `MulAddDdDref' on page 22 undefined on input line 436.


LaTeX Warning: Reference `MulAddDdDref' on page 22 undefined on input line 438.


Underfull \hbox (badness 10000) in paragraph at lines 461--463


Underfull \hbox (badness 10000) in paragraph at lines 465--474

[22]

LaTeX Warning: Reference `MulAddDDref' on page 23 undefined on input line 477.


LaTeX Warning: Reference `MulAddDDref' on page 23 undefined on input line 479.


LaTeX Warning: Reference `chap:log' on page 23 undefined on input line 494.


LaTeX Warning: Reference `chap:log' on page 23 undefined on input line 495.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 23 undefined on in
put line 501.

(/usr/share/texmf-texlive/tex/latex/psnfss/ufplmbb.fd)

LaTeX Warning: Reference `renormalg' on page 23 undefined on input line 525.

[23]
Underfull \hbox (badness 10000) in paragraph at lines 553--555


LaTeX Warning: Reference `addTTref' on page 24 undefined on input line 567.


LaTeX Warning: Reference `addTTref' on page 24 undefined on input line 569.


Underfull \hbox (badness 10000) in paragraph at lines 591--593


Underfull \hbox (badness 10000) in paragraph at lines 595--601

[24]

LaTeX Warning: Reference `addDTTref' on page 25 undefined on input line 604.


LaTeX Warning: Reference `addDTTref' on page 25 undefined on input line 605.


Underfull \hbox (badness 10000) in paragraph at lines 626--628


Underfull \hbox (badness 10000) in paragraph at lines 630--634


LaTeX Warning: Reference `adddTTref' on page 25 undefined on input line 637.


LaTeX Warning: Reference `adddTTref' on page 25 undefined on input line 638.

[25]
Underfull \hbox (badness 10000) in paragraph at lines 667--669


LaTeX Warning: Reference `mulTTref' on page 26 undefined on input line 691.


LaTeX Warning: Reference `mulTTref' on page 26 undefined on input line 693.

[26]
Underfull \hbox (badness 10000) in paragraph at lines 727--729


Underfull \hbox (badness 10000) in paragraph at lines 731--738


LaTeX Warning: Reference `mulDTref' on page 27 undefined on input line 741.


LaTeX Warning: Reference `mulDTref' on page 27 undefined on input line 742.


Underfull \hbox (badness 10000) in paragraph at lines 766--768


Underfull \hbox (badness 10000) in paragraph at lines 770--781

[27]

LaTeX Warning: Reference `mulDTTref' on page 28 undefined on input line 784.


LaTeX Warning: Reference `mulDTTref' on page 28 undefined on input line 785.


Underfull \hbox (badness 10000) in paragraph at lines 813--815


LaTeX Warning: Reference `muldTTref' on page 28 undefined on input line 827.


LaTeX Warning: Reference `muldTTref' on page 28 undefined on input line 828.

[28]
Underfull \hbox (badness 10000) in paragraph at lines 848--850


LaTeX Warning: Reference `muldDTref' on page 29 undefined on input line 860.


LaTeX Warning: Reference `muldDTref' on page 29 undefined on input line 861.


Underfull \hbox (badness 10000) in paragraph at lines 889--890


Underfull \hbox (badness 10000) in paragraph at lines 892--901

[29]

LaTeX Warning: Reference `algarrpres' on page 30 undefined on input line 956.


LaTeX Warning: Reference `algarrpres' on page 30 undefined on input line 957.

[30] [31]

LaTeX Warning: Reference `sec:error-accuracy-perf' on page 32 undefined on inpu
t line 1155.

[32] (./sqrt.tex [33] [34] [35] [36]) [37]

LaTeX Warning: Reference `eq:prooftest3' on page 38 undefined on input line 131
5.


LaTeX Warning: Reference `eq:prooftest3p2' on page 38 undefined on input line 1
327.


Underfull \hbox (badness 10000) in paragraph at lines 1348--1353
[]\OT1/ppl/m/n/10 Now con-sider the case when $\OMS/zplm/m/n/10 ^^@\OML/zplm/m/
it/10 y[] \OMS/zplm/m/n/10 ^^U

Overfull \hbox (6.0165pt too wide) detected at line 1353
\OMS/zplm/m/n/10 ^^@\OML/zplm/m/it/10 y[] \OMS/zplm/m/n/10 ^^B \OML/zplm/m/it/1
0 e\OT1/zplm/m/n/10 (\OT1/ppl/m/n/10 1 \OMS/zplm/m/n/10 ^^@ \OT1/ppl/m/n/10 2[]
\OT1/zplm/m/n/10 )  \OMS/zplm/m/n/10 ^^T  ^^@\OML/zplm/m/it/10 y[] \OMS/zplm/m/
n/10 
 \OML/zplm/m/it/10 e  \OMS/zplm/m/n/10 ^^T  ^^@\OML/zplm/m/it/10 y[] \OMS/zplm/
m/n/10 ^^B \OML/zplm/m/it/10 e\OT1/zplm/m/n/10 (\OT1/ppl/m/n/10 1 \OT1/zplm/m/n
/10 + \OT1/ppl/m/n/10 2[]\OT1/zplm/m/n/10 )

Underfull \hbox (badness 10000) in paragraph at lines 1379--1381


Underfull \hbox (badness 10000) in paragraph at lines 1385--1387


LaTeX Warning: Reference `eq:prooftest3' on page 38 undefined on input line 139
3.


LaTeX Warning: Reference `eq:prooftest3p2' on page 38 undefined on input line 1
403.


Underfull \hbox (badness 10000) in paragraph at lines 1240--1431


Underfull \vbox (badness 10000) has occurred while \output is active [38]
[39] [40]

LaTeX Warning: Reference `chap:log' on page 41 undefined on input line 1574.


LaTeX Warning: Citation `DefDin2002' on page 41 undefined on input line 1604.


LaTeX Warning: Citation `DinDef2003' on page 41 undefined on input line 1604.


LaTeX Warning: Reference `fig:scsrepresentation' on page 41 undefined on input 
line 1631.


LaTeX Warning: Citation `DefDin2002' on page 41 undefined on input line 1638.


LaTeX Warning: Citation `DinDef2003' on page 41 undefined on input line 1638.


LaTeX Warning: Reference `fig:scsrepresentation' on page 41 undefined on input 
line 1641.

<fig_scs/exponent_representation.pdf, id=545, 714.67pt x 301.125pt>
<use fig_scs/exponent_representation.pdf>

LaTeX Warning: `h' float specifier changed to `ht'.

[41]

LaTeX Warning: Reference `renorm' on page 42 undefined on input line 1695.


LaTeX Warning: Reference `fig:scsmultiplication' on page 42 undefined on input 
line 1722.

<fig_scs/multiplication.pdf, id=554, 376.40625pt x 234.8775pt>
<use fig_scs/multiplication.pdf>

LaTeX Warning: `h' float specifier changed to `ht'.


LaTeX Warning: Reference `fig:scsmultiplication' on page 42 undefined on input 
line 1743.

[42 <./fig_scs/exponent_representation.pdf>]

LaTeX Warning: Reference `fig:scsmultiplication' on page 43 undefined on input 
line 1747.


LaTeX Warning: Citation `DefDin2002' on page 43 undefined on input line 1804.

[43 <./fig_scs/multiplication.pdf>] [44] [45]

LaTeX Warning: Reference `sec:Horner' on page 46 undefined on input line 2072.

[46]
Overfull \hbox (0.3383pt too wide) in paragraph at lines 2148--2152
[]\OT1/ppl/m/n/10 Procedures \OT1/cmtt/m/n/10 compute[]abs[]rounding[]error[]fi
rstmult \OT1/ppl/m/n/10 and \OT1/cmtt/m/n/10 compute[]abs[]rounding[]error[]fir
stmult

LaTeX Warning: Reference `th:roundingRN1' on page 47 undefined on input line 21
58.


LaTeX Warning: Citation `DinDefLau2004LIP' on page 47 undefined on input line 2
172.


LaTeX Warning: Citation `DinErshGast2005' on page 47 undefined on input line 21
72.

[47]) [48]
Chapter 3.
(./log.tex

LaTeX Warning: Reference `sec:logoutline' on page 49 undefined on input line 14
.


LaTeX Warning: Reference `sec:logdeproof' on page 49 undefined on input line 14
.


LaTeX Warning: Reference `sec:logtdproof' on page 49 undefined on input line 15
.


LaTeX Warning: Reference `sec:logperf' on page 49 undefined on input line 16.


LaTeX Warning: Citation `WG94' on page 49 undefined on input line 21.


LaTeX Warning: Citation `Muller97' on page 49 undefined on input line 21.


LaTeX Warning: Reference `subsec:reduction' on page 49 undefined on input line 
26.

[49]

LaTeX Warning: Reference `subsec:reduction' on page 50 undefined on input line 
72.


Overfull \hbox (4.48827pt too wide) detected at line 92
\OML/zplm/m/it/10 p [] \OMS/zplm/m/n/10 ^^Y [] \OT1/zplm/m/n/10 + []

LaTeX Warning: Reference `subsec:quickphase' on page 50 undefined on input line
 98.


LaTeX Warning: Reference `th:roundingRN1' on page 50 undefined on input line 10
3.

[50]

LaTeX Warning: Reference `subsec:accuratephase' on page 51 undefined on input l
ine 137.


LaTeX Warning: Citation `DinDefLau2004LIP' on page 51 undefined on input line 1
45.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 51 undefined on in
put line 147.


LaTeX Warning: Citation `Melqu05' on page 51 undefined on input line 157.


LaTeX Warning: Reference `subsec:reduction' on page 51 undefined on input line 
159.


LaTeX Warning: Reference `subsec:quickphase' on page 51 undefined on input line
 159.


LaTeX Warning: Reference `subsec:accuratephase' on page 51 undefined on input l
ine 159.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 51 undefined on in
put line 171.

[51] [52]

LaTeX Warning: Reference `sec:logoutline' on page 53 undefined on input line 26
0.

[53] [54]
Overfull \hbox (1.54433pt too wide) in paragraph at lines 335--337
[]\OT1/ppl/m/n/10 for $\OML/zplm/m/it/10 E \OT1/zplm/m/n/10 = \OT1/ppl/m/n/10 0
$ and all in-dexes to the ta-ble ex-cept $0$, i.e. $1 \OMS/zplm/m/n/10 ^^T \OML
/zplm/m/it/10 i \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 127$, a proof file named \
OT1/cmtt/m/n/10 log-td-E0.gappa
[55]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 56 undefined on in
put line 429.


Overfull \hbox (5.69792pt too wide) in paragraph at lines 433--434
[]\OT1/cmtt/m/n/10 (LogTabPolyhl - LogTabPoly) / LogTabPoly in [-1b-103,1b-103]
 \OT1/ppl/m/n/10 falls still into the same case
[56]
Overfull \hbox (3.488pt too wide) in paragraph at lines 436--438
[]\OT1/ppl/m/n/10 And fi-nally, \OT1/cmtt/m/n/10 (Loghm - LogE) / LogE in [-1b-
103,1b-103] \OT1/ppl/m/n/10 which is also just the ac-cu-racy bound

LaTeX Warning: Reference `list:maplelog2' on page 57 undefined on input line 44
1.

[57] [58] [59]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 60 undefined on in
put line 600.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 60 undefined on in
put line 603.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 60 undefined on in
put line 608.


LaTeX Warning: Reference `subsec:reduction' on page 60 undefined on input line 
608.


LaTeX Warning: Reference `subsec:quickphase' on page 60 undefined on input line
 633.


Overfull \hbox (1.27411pt too wide) in paragraph at lines 639--648
\OT1/ppl/m/n/10 We can sup-pose that in the triple-double num-ber $\OML/zplm/m/
it/10 zSquare[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 zSquare[] \OT1/zplm/m/n/10
 + \OML/zplm/m/it/10 zSquare[]$\OT1/ppl/m/n/10 , $\OML/zplm/m/it/10 zSquare[]$ 
\OT1/ppl/m/n/10 and $\OML/zplm/m/it/10 zSquare[]$
[60] [61]

LaTeX Warning: Reference `subsec:quickphase' on page 62 undefined on input line
 707.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 62 undefined on in
put line 732.

[62]
Overfull \hbox (7.04803pt too wide) in paragraph at lines 800--803
[]\OT1/ppl/m/n/10 At line 90, $\OML/zplm/m/it/10 ZSquarehml$ \OT1/ppl/m/n/10 is
 com-puted out of the double-double num-ber $\OML/zplm/m/it/10 z[] \OT1/zplm/m/
n/10 + \OML/zplm/m/it/10 z[]$ \OT1/ppl/m/n/10 by use of the \OT1/ppl/b/n/10 Mul
23  \OT1/ppl/m/n/10 se-

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 63 undefined on in
put line 811.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 63 undefined on in
put line 814.


LaTeX Warning: Reference `list:tripledouble' on page 63 undefined on input line
 848.

[63] [64]

LaTeX Warning: Citation `DinDefLau2004LIP' on page 65 undefined on input line 9
50.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 65 undefined on in
put line 952.

) [65] [66]
Chapter 4.
(./log2.tex) [67] [68]
Chapter 5.
(./log10.tex

LaTeX Warning: Reference `subsec:outlinelog10' on page 69 undefined on input li
ne 22.


LaTeX Warning: Reference `chap:log' on page 69 undefined on input line 24.


LaTeX Warning: Citation `IEEE754' on page 69 undefined on input line 37.


LaTeX Warning: Citation `Baker75' on page 69 undefined on input line 51.


LaTeX Warning: Citation `Muller97' on page 69 undefined on input line 65.

[69]

LaTeX Warning: Reference `eq:log10' on page 70 undefined on input line 127.


LaTeX Warning: `h' float specifier changed to `ht'.

) [70] [71] [72]
Chapter 6.
(./exp.tex

LaTeX Warning: Reference `sec:expargred' on page 73 undefined on input line 17.


LaTeX Warning: Reference `sec:expaccuracy' on page 73 undefined on input line 4
6.

[73] [74] [75]

LaTeX Warning: Reference `sec:double2int' on page 76 undefined on input line 23
8.


LaTeX Warning: Reference `sec:double2int' on page 76 undefined on input line 23
8.


Overfull \hbox (28.9597pt too wide) in paragraph at lines 258--266
[] \OT1/zplm/m/n/10 = [] \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 2[]$. Fur-ther, $
[] \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 2[] \OMS/zplm/m/n/10 ^^A []$\OT1/ppl/m/
n/10 . 
[76] [77] [78]
Overfull \hbox (6.01637pt too wide) in paragraph at lines 505--508
\OT1/ppl/m/n/10 The fol-low-ing steps must still add the lin-ear term $\OML/zpl
m/m/it/10 r[]$ \OT1/ppl/m/n/10 of the poly-no-mial ($\OML/zplm/m/it/10 p [] \OT
1/zplm/m/n/10 = \OML/zplm/m/it/10 r[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 high
PolyWithSquare$\OT1/ppl/m/n/10 )
[79]

LaTeX Warning: Reference `sec:expfinalround' on page 80 undefined on input line
 560.


LaTeX Warning: Reference `sec:expfinalround' on page 80 undefined on input line
 561.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 80 undefined on in
put line 620.


Overfull \hbox (4.56361pt too wide) in paragraph at lines 597--625
\OML/zplm/m/it/10 rhSquareHalf[] \OT1/zplm/m/n/10 = [] \OMS/zplm/m/n/10 ^^A \OM
L/zplm/m/it/10 r[]$ \OT1/ppl/m/n/10 is ex-act. Since $\OML/zplm/m/it/10 r[]$ \O
T1/ppl/m/n/10 is such that $[] \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 2[]$, $\OML
/zplm/m/it/10 r[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 rhSquareHalf[] \OT1/zplm
/m/n/10 + \OML/zplm/m/it/10 rhSquareHalf[]$
[80]
Overfull \hbox (12.31042pt too wide) in paragraph at lines 669--673
\OT1/ppl/m/n/10 First an arith-meti-cal ap-prox-i-ma-tion $\OML/zplm/m/it/10 fu
llPoly[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 fullPoly[] \OT1/zplm/m/n/10 + \OM
L/zplm/m/it/10 fullPoly[]$ \OT1/ppl/m/n/10 to $\OML/zplm/m/it/10 p[] \OT1/zplm/
m/n/10 + \OML/zplm/m/it/10 p[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 p[] \OT1/zp
lm/m/n/10 + \OML/zplm/m/it/10 r[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 r[] \OT1
/zplm/m/n/10 + [] \OMS/zplm/m/n/10 ^^A
[81]

LaTeX Warning: Reference `sec:expaccuracy' on page 82 undefined on input line 7
05.


LaTeX Warning: Reference `sec:expaccuracy' on page 82 undefined on input line 7
06.

[82] [83] [84]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 85 undefined on in
put line 957.

[85]

LaTeX Warning: Citation `DinDefLau2004LIP' on page 86 undefined on input line 1
012.


Overfull \hbox (1.61098pt too wide) in alignment at lines 1015--1044
 [][][] []
) [86]
Chapter 7.
(./expm1.tex) [87] [88]
Chapter 8.
(./log1p.tex) [89] [90]
Chapter 9.
(./trigo.tex

LaTeX Warning: Citation `Muller97' on page 91 undefined on input line 24.


LaTeX Warning: Reference `section:testrounding' on page 91 undefined on input l
ine 33.


LaTeX Warning: Reference `section:testrounding' on page 91 undefined on input l
ine 33.


LaTeX Warning: Reference `section:testrounding' on page 91 undefined on input l
ine 38.

[91]

LaTeX Warning: Reference `eq:sinapy' on page 92 undefined on input line 131.


LaTeX Warning: Reference `fig:sine-reconstruction' on page 92 undefined on inpu
t line 138.


LaTeX Warning: Reference `eq:cosapy' on page 92 undefined on input line 182.

[92]

LaTeX Warning: Reference `fig:sine-reconstruction' on page 93 undefined on inpu
t line 189.


LaTeX Warning: Reference `trigo:argred' on page 93 undefined on input line 241.


LaTeX Warning: Reference `fig:sine-reconstruction' on page 93 undefined on inpu
t line 247.


LaTeX Warning: Reference `fig:cosine-reconstruction' on page 93 undefined on in
put line 248.


LaTeX Warning: Reference `trigo:auxiliary' on page 93 undefined on input line 2
50.

[93]

LaTeX Warning: Reference `section:testrounding' on page 94 undefined on input l
ine 296.


LaTeX Warning: Reference `section:testrounding' on page 94 undefined on input l
ine 296.


LaTeX Warning: Citation `Muller97' on page 94 undefined on input line 306.


LaTeX Warning: Citation `Muller97' on page 94 undefined on input line 307.


LaTeX Warning: Reference `trigo:structargred' on page 94 undefined on input lin
e 342.

[94] [95]
Underfull \vbox (badness 10000) has occurred while \output is active [96]

LaTeX Warning: Reference `trigo:lst:cw3maple' on page 97 undefined on input lin
e 521.


LaTeX Warning: Reference `sec:double2int' on page 97 undefined on input line 52
3.


LaTeX Warning: Reference `sec:double2longint' on page 97 undefined on input lin
e 526.


LaTeX Warning: Reference `trigo:lst:cwddrmaple' on page 97 undefined on input l
ine 528.

(/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty) [97] [98]

LaTeX Warning: Reference `sec:trigo:maxvalred' on page 99 undefined on input li
ne 696.


LaTeX Warning: Citation `Ng1992' on page 99 undefined on input line 701.


LaTeX Warning: Citation `Muller97' on page 99 undefined on input line 701.


LaTeX Warning: Reference `sec:dosinzero' on page 99 undefined on input line 742
.


LaTeX Warning: Reference `trigo:structargred' on page 99 undefined on input lin
e 742.

[99]

LaTeX Warning: Reference `trigo:CWDD' on page 100 undefined on input line 830.


LaTeX Warning: Reference `sec:dosinnotzero' on page 100 undefined on input line
 849.

[100]

LaTeX Warning: Reference `sec:dosinzero' on page 101 undefined on input line 86
2.


LaTeX Warning: Reference `sec:dosinnotzero' on page 101 undefined on input line
 864.


LaTeX Warning: Reference `sec:trigo:fastsine' on page 101 undefined on input li
ne 900.


LaTeX Warning: Reference `sec:trigo:fastsine' on page 101 undefined on input li
ne 924.

[101]

LaTeX Warning: Reference `eq:sinargrederror1' on page 102 undefined on input li
ne 959.


LaTeX Warning: Reference `eq:sink0ts' on page 102 undefined on input line 959.

[102] (../../gappa/trigos/SinCosCase3.gappa [103]
Underfull \vbox (badness 10000) has occurred while \output is active [104]
Underfull \vbox (badness 10000) has occurred while \output is active [105])
[106] [107]

LaTeX Warning: Reference `eq:SinCase2Total' on page 108 undefined on input line
 1180.

[108] [109] [110]

LaTeX Warning: Reference `lst:trig:argred' on page 111 undefined on input line 
1403.


LaTeX Warning: Reference `th:roundingRN1' on page 111 undefined on input line 1
463.


LaTeX Warning: Reference `th:roundingRN1' on page 111 undefined on input line 1
463.

[111]

LaTeX Warning: Reference `th:roundingRN1' on page 112 undefined on input line 1
473.


LaTeX Warning: Reference `th:roundingRN1' on page 112 undefined on input line 1
481.


LaTeX Warning: Reference `th:roundingRN1' on page 112 undefined on input line 1
490.

(../../gappa/trigos/TanCase2.gappa [112]) [113] [114] [115]

LaTeX Warning: Reference `tbl:sine_abstime' on page 116 undefined on input line
 1736.


LaTeX Warning: Reference `tbl:tan_abstime' on page 116 undefined on input line 
1770.

) [116] [117] [118]
Chapter 10.
(./asin.tex

LaTeX Warning: Citation `DinDefLau2004LIP' on page 119 undefined on input line 
24.

[119]

LaTeX Warning: Reference `sec:asinargred' on page 120 undefined on input line 1
01.


LaTeX Warning: Reference `sec:asinargred' on page 120 undefined on input line 1
01.

[120] [121] [122] [123]

LaTeX Warning: Reference `sec:double-double-horner' on page 124 undefined on in
put line 365.


LaTeX Warning: Reference `sec:double-double-horner' on page 124 undefined on in
put line 366.


LaTeX Warning: Reference `subsec:asinquickphaseaccu' on page 124 undefined on i
nput line 372.


LaTeX Warning: Reference `subsec:asinquickphaseaccu' on page 124 undefined on i
nput line 373.


LaTeX Warning: Reference `sec:asinacculowpath' on page 124 undefined on input l
ine 419.


LaTeX Warning: Reference `sec:asinacculowpath' on page 124 undefined on input l
ine 419.


LaTeX Warning: Reference `subsec:asinquickphaseaccu' on page 124 undefined on i
nput line 425.


LaTeX Warning: Reference `subsec:asinquickphaseaccu' on page 124 undefined on i
nput line 426.

[124]

LaTeX Warning: Reference `subsec:asinquickphaseaccu' on page 125 undefined on i
nput line 490.


LaTeX Warning: Reference `subsec:asinquickphaseaccu' on page 125 undefined on i
nput line 491.

[125]

LaTeX Warning: Reference `subsection:sqrt' on page 126 undefined on input line 
519.


LaTeX Warning: Reference `subsection:sqrt' on page 126 undefined on input line 
520.

[126]

LaTeX Warning: Reference `subsec:asinaccuratephaseaccu' on page 127 undefined o
n input line 639.


LaTeX Warning: Reference `subsec:asinaccuratephaseaccu' on page 127 undefined o
n input line 640.

[127]

LaTeX Warning: Reference `subsec:asinaccuratephaseaccu' on page 128 undefined o
n input line 711.


LaTeX Warning: Reference `subsec:asinaccuratephaseaccu' on page 128 undefined o
n input line 712.


Overfull \hbox (3.20735pt too wide) in paragraph at lines 705--713
\OT1/ppl/m/n/10 double steps use sep-a-rate ad-di-tion and mul-ti-pli-ca-tion o
p-er-a-tors. In par-tic-u-lar, \OT1/ppl/b/n/10 Add33  \OT1/ppl/m/n/10 and \OT1/
ppl/b/n/10 Mul133  \OT1/ppl/m/n/10 come
[128]

LaTeX Warning: Reference `subsection:sqrt' on page 129 undefined on input line 
805.


LaTeX Warning: Reference `subsection:sqrt' on page 129 undefined on input line 
806.


LaTeX Warning: Reference `subsec:asinaccuratephaseaccu' on page 129 undefined o
n input line 807.


LaTeX Warning: Reference `subsec:asinaccuratephaseaccu' on page 129 undefined o
n input line 808.

[129] [130]) [131] [132]
Chapter 11.
(./acos.tex) [133] [134]
Chapter 12.
(./atan.tex [135]

LaTeX Warning: Reference `eq:poly_eval1' on page 136 undefined on input line 91
.


LaTeX Warning: Reference `eq:arctan_redu' on page 136 undefined on input line 9
1.


LaTeX Warning: Reference `atan_ineq_interval' on page 136 undefined on input li
ne 110.


Overfull \hbox (9.17107pt too wide) in paragraph at lines 145--154
[][] 
[136]

LaTeX Warning: Citation `Ziv91' on page 137 undefined on input line 172.


Overfull \hbox (24.59428pt too wide) in paragraph at lines 167--175
[][]
pdfTeX warning (ext4): destination with the same identifier (name{equation.12.2
.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                       [137] [138]
Underfull \hbox (badness 10000) in paragraph at lines 383--391

[139]

LaTeX Warning: Reference `th:roundingRN1' on page 140 undefined on input line 5
11.

[140]

LaTeX Warning: Reference `tbl:arctan_abstime' on page 141 undefined on input li
ne 541.

[141]) [142]
Chapter 13.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 268.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 268.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 268.

(./trigpi.tex

LaTeX Warning: Reference `chap:trigo' on page 143 undefined on input line 26.

[143]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 110.


LaTeX Warning: Reference `eq:sinpiTaylor' on page 144 undefined on input line 1
32.


LaTeX Warning: Reference `eq:sinpiTaylor' on page 144 undefined on input line 1
51.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 155.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 155.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 155.


LaTeX Warning: Reference `eq:sinpiTaylor' on page 144 undefined on input line 1
60.

[144]

LaTeX Warning: Reference `chap:trigo' on page 145 undefined on input line 173.


LaTeX Warning: Reference `eq:sinpiTaylor' on page 145 undefined on input line 1
81.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 227.

[145]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 255.


LaTeX Warning: Reference `chap:atan' on page 146 undefined on input line 282.

) [146]
Chapter 14.
(./csh.tex

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `superscript' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.

[147] [148]
Overfull \hbox (15.32735pt too wide) in paragraph at lines 198--204
[]\OT1/ppl/m/n/10 Error in poly-no-mial ap-prox-i-ma-tions We use the $\OML/zpl
m/m/it/10 errlist[]quickphase$ \OT1/ppl/m/n/10 and $\OML/zplm/m/it/10 compute[]
horner[]rounding[]error$
[149] [150]
Overfull \hbox (74.58688pt too wide) in paragraph at lines 322--350
[][] 

Underfull \vbox (badness 10000) has occurred while \output is active [151]
Overfull \hbox (2.24329pt too wide) in paragraph at lines 375--387
[][] 
[152]
Overfull \hbox (51.03047pt too wide) in paragraph at lines 428--454
[][] 

Underfull \vbox (badness 1454) has occurred while \output is active [153]
Overfull \hbox (8.66362pt too wide) in paragraph at lines 509--532
[][] 

Underfull \vbox (badness 10000) has occurred while \output is active [154]

LaTeX Warning: Reference `th:roundingRN1' on page 155 undefined on input line 5
41.


LaTeX Warning: Reference `th:roundingDirected' on page 155 undefined on input l
ine 547.

[155]

LaTeX Warning: Reference `tbl:cosh_abstime' on page 156 undefined on input line
 587.

) [156]
Chapter 15.
(./pow.tex

LaTeX Warning: Citation `LauterLefevre2007' on page 157 undefined on input line
 12.


LaTeX Warning: Citation `KorLauLefLouvMul2008' on page 157 undefined on input l
ine 21.


LaTeX Warning: Citation `Stehle-thesis' on page 157 undefined on input line 47.


)
No file crlibm.bbl.
[157] (./crlibm.aux)

LaTeX Warning: There were undefined references.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 )
(see the transcript file for additional information){/usr/share/texmf-texlive/f
onts/enc/dvips/base/8r.enc}</usr/share/texmf-texlive/fonts/type1/bluesky/cm/cme
x10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmmi10.pfb></usr/share
/texmf-texlive/fonts/type1/bluesky/cm/cmmi8.pfb></usr/share/texmf-texlive/fonts
/type1/bluesky/cm/cmr10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cm
sy10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmsy8.pfb></usr/share
/texmf-texlive/fonts/type1/bluesky/cm/cmtt10.pfb></usr/share/texmf-texlive/font
s/type1/bluesky/cm/cmtt12.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/
cmtt8.pfb></usr/share/texmf-texlive/fonts/type1/public/mathpazo/fplmbb.pfb></us
r/share/texmf-texlive/fonts/type1/public/mathpazo/fplmr.pfb></usr/share/texmf-t
exlive/fonts/type1/public/mathpazo/fplmri.pfb></usr/share/texmf-texlive/fonts/t
ype1/bluesky/ams/msam10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/ams/m
sbm10.pfb></usr/share/texmf-texlive/fonts/type1/urw/palatino/uplb8a.pfb></usr/s
hare/texmf-texlive/fonts/type1/urw/palatino/uplbi8a.pfb></usr/share/texmf-texli
ve/fonts/type1/urw/palatino/uplr8a.pfb></usr/share/texmf-texlive/fonts/type1/ur
w/palatino/uplri8a.pfb>
Output written on crlibm.pdf (157 pages, 1199750 bytes).
Transcript written on crlibm.log.
This is BibTeX, Version 0.99c (Web2C 7.5.7)
The top-level auxiliary file: crlibm.aux
The style file: plain.bst
Database file #1: elem-fun.bib
Warning--to sort, need author or key in SCSweb
Warning--to sort, need author or key in FDLIBMweb
Warning--to sort, need author or key in IntelOpenSource
(There were 3 warnings)
This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7)
 %&-line parsing enabled.
entering extended mode
(./crlibm.tex
LaTeX2e <2005/12/01>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, farsi, arabic, bulgarian, ukrainian, russian, french, basque, germa
n, ngerman, german-x-2008-06-18, ngerman-x-2008-06-18, polish, loaded.
(/usr/share/texmf-texlive/tex/latex/base/book.cls
Document Class: book 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/bk10.clo))
(/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
(/usr/share/texmf-texlive/tex/latex/graphics/trig.sty)
(/etc/texmf/tex/latex/config/graphics.cfg)
(/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def)))
(/usr/share/texmf-texlive/tex/latex/psnfss/mathpazo.sty)
(/usr/share/texmf-texlive/tex/latex/listings/listings.sty
(/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)
(/usr/share/texmf-texlive/tex/latex/listings/listings.cfg))
(/usr/share/texmf-texlive/tex/latex/tools/longtable.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/lscape.sty)
(/usr/share/texmf-texlive/tex/latex/base/makeidx.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/color.sty
(/etc/texmf/tex/latex/config/color.cfg))
(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty)
(/usr/share/texmf-texlive/tex/latex/base/latexsym.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty))
(/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty)
(/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty)
(/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty)
(/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty
(/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty))
(/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def)
(/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty))
(/etc/texmf/tex/latex/config/hyperref.cfg)
(/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty)
Implicit mode ON; LaTeX internals redefined
(/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty)
(/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty)))
(/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty)
(/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty))
*hyperref using driver hpdftex*
(/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def)
(/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty)
(/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty) (./crlibm.aux)
(/usr/share/texmf-texlive/tex/latex/psnfss/ot1ppl.fd)
(/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
(/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty)) (./crlibm.out)
(./crlibm.out) (/usr/share/texmf-texlive/tex/latex/psnfss/omlzplm.fd)
(/usr/share/texmf-texlive/tex/latex/psnfss/omszplm.fd)
(/usr/share/texmf-texlive/tex/latex/psnfss/omxzplm.fd)
(/usr/share/texmf-texlive/tex/latex/psnfss/ot1zplm.fd)
(/usr/share/texmf-texlive/tex/latex/base/ulasy.fd) [1{/var/cache/texmf/fonts/ma
p/pdftex/updmap/pdftex.map}] (../../VERSION)
(/usr/share/texmf-texlive/tex/latex/psnfss/omsppl.fd) [2] (./crlibm.toc
[3] [4] [5]) [6]
Chapter 0.
(./0_getting-started.tex [7]
Overfull \hbox (12.64775pt too wide) in paragraph at lines 67--80
\OT1/ppl/m/n/10 some pro-ces-sors and some op-er-at-ing sys-tems (most no-tably
 IA32 and IA64 pro-ces-sors un-der GNU/Linux),
(/usr/share/texmf-texlive/tex/latex/psnfss/omlppl.fd)
Overfull \hbox (51.24655pt too wide) in paragraph at lines 133--159
 [] 

LaTeX Warning: Citation `LMT98' on page 8 undefined on input line 175.


LaTeX Warning: Citation `Lef2000' on page 8 undefined on input line 175.

[8]

LaTeX Warning: Citation `Melqu05' on page 9 undefined on input line 188.


LaTeX Warning: Citation `DinLauMel2005' on page 9 undefined on input line 188.

[9]) [10]
Chapter 1.
(./0_intro.tex

LaTeX Warning: Citation `Far81' on page 11 undefined on input line 10.


LaTeX Warning: Citation `Tan91' on page 11 undefined on input line 10.


LaTeX Warning: Citation `DauMor2k' on page 11 undefined on input line 11.


LaTeX Warning: Citation `Muller97' on page 11 undefined on input line 11.


LaTeX Warning: Citation `Markstein2000' on page 11 undefined on input line 12.


LaTeX Warning: Citation `IEEE754' on page 11 undefined on input line 14.


LaTeX Warning: Citation `Moore66' on page 11 undefined on input line 24.


LaTeX Warning: Citation `KKLRW93' on page 11 undefined on input line 24.


LaTeX Warning: Citation `MPFRweb' on page 11 undefined on input line 38.


LaTeX Warning: Citation `IBMlibultimweb' on page 11 undefined on input line 42.


[11]

LaTeX Warning: Citation `Ziv91' on page 12 undefined on input line 104.


LaTeX Warning: Citation `LMT98' on page 12 undefined on input line 129.


LaTeX Warning: Citation `Lef2000' on page 12 undefined on input line 129.

[12]

LaTeX Warning: Citation `DinErshGast2005' on page 13 undefined on input line 16
4.


LaTeX Warning: Citation `DefDin2002' on page 13 undefined on input line 194.


LaTeX Warning: Citation `DinDef2003' on page 13 undefined on input line 194.


LaTeX Warning: Citation `SCSweb' on page 13 undefined on input line 198.


LaTeX Warning: Citation `DinErshGast2005' on page 13 undefined on input line 21
8.

[13]

LaTeX Warning: Citation `Gal86' on page 14 undefined on input line 246.


LaTeX Warning: Citation `DinErshGast2005' on page 14 undefined on input line 24
6.


LaTeX Warning: Citation `DefHanLefMulRevZim2004' on page 14 undefined on input 
line 259.

[14] [15]

LaTeX Warning: Citation `FDLIBMweb' on page 16 undefined on input line 412.


LaTeX Warning: Citation `HarKubStoTan99' on page 16 undefined on input line 414
.


LaTeX Warning: Citation `IntelOpenSource' on page 16 undefined on input line 41
4.


LaTeX Warning: Citation `Markstein2000' on page 16 undefined on input line 415.


LaTeX Warning: Citation `Markstein2001' on page 16 undefined on input line 415.


LaTeX Warning: Citation `IBMlibultimweb' on page 16 undefined on input line 424
.

[16]

LaTeX Warning: Citation `DefHanLefMulRevZim2004' on page 17 undefined on input 
line 507.


Overfull \hbox (16.05707pt too wide) in paragraph at lines 537--540
[]\OT1/ppl/m/n/10 The com-mon C rou-tines that are de-tailed in Chap-ter []2[] 
of this doc-u-ment are de-fined in \OT1/cmtt/m/n/10 crlibm[]private.c
) [17] [18]
Chapter 2.
(./1_common.tex

LaTeX Warning: Citation `Ste74' on page 19 undefined on input line 37.


LaTeX Warning: Citation `Gol91' on page 19 undefined on input line 37.

[19]

LaTeX Warning: Citation `AMDoptim2001' on page 20 undefined on input line 77.


Overfull \hbox (21.01736pt too wide) in paragraph at lines 152--157
\OT1/ppl/m/n/10 ple-ment them as macros, as in \OT1/cmtt/m/n/10 libultim\OT1/pp
l/m/n/10 . The code of-fers both ver-sions, se-lected by the \OT1/cmtt/m/n/10 D
EKKER[]AS[]FUNCTIONS
[20]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 21 undefined on in
put line 158.


LaTeX Warning: Citation `Knu73' on page 21 undefined on input line 164.


LaTeX Warning: Citation `Boldo2001' on page 21 undefined on input line 164.


LaTeX Warning: Citation `Dek71' on page 21 undefined on input line 216.


LaTeX Warning: Citation `Gol91' on page 21 undefined on input line 218.

[21]

LaTeX Warning: Citation `CorneaHarrisonTang2002' on page 22 undefined on input 
line 283.


LaTeX Warning: Citation `Dek71' on page 22 undefined on input line 307.


LaTeX Warning: Citation `Dek71' on page 22 undefined on input line 309.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 22 undefined on in
put line 309.

[22]

LaTeX Warning: Citation `Dek71' on page 23 undefined on input line 345.


LaTeX Warning: Citation `Dek71' on page 23 undefined on input line 347.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 23 undefined on in
put line 347.


Underfull \hbox (badness 10000) in paragraph at lines 386--388


Underfull \hbox (badness 10000) in paragraph at lines 390--394

[23]
Underfull \hbox (badness 10000) in paragraph at lines 422--424


Underfull \hbox (badness 10000) in paragraph at lines 426--433


Underfull \hbox (badness 10000) in paragraph at lines 461--463


Underfull \hbox (badness 10000) in paragraph at lines 465--474

[24]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 25 undefined on in
put line 501.

(/usr/share/texmf-texlive/tex/latex/psnfss/ufplmbb.fd) [25]
Underfull \hbox (badness 10000) in paragraph at lines 553--555


Underfull \hbox (badness 10000) in paragraph at lines 591--593


Underfull \hbox (badness 10000) in paragraph at lines 595--601

[26]
Underfull \hbox (badness 10000) in paragraph at lines 626--628


Underfull \hbox (badness 10000) in paragraph at lines 630--634

[27]
Underfull \hbox (badness 10000) in paragraph at lines 667--669

[28]
Underfull \hbox (badness 10000) in paragraph at lines 727--729


Underfull \hbox (badness 10000) in paragraph at lines 731--738


Underfull \hbox (badness 10000) in paragraph at lines 766--768


Underfull \hbox (badness 10000) in paragraph at lines 770--781

[29]
Underfull \hbox (badness 10000) in paragraph at lines 813--815

[30]
Underfull \hbox (badness 10000) in paragraph at lines 848--850


Underfull \hbox (badness 10000) in paragraph at lines 889--890


Underfull \hbox (badness 10000) in paragraph at lines 892--901

[31] [32] [33] [34] (./sqrt.tex [35] [36] [37] [38]) [39]
Underfull \hbox (badness 10000) in paragraph at lines 1348--1353
[]\OT1/ppl/m/n/10 Now con-sider the case when $\OMS/zplm/m/n/10 ^^@\OML/zplm/m/
it/10 y[] \OMS/zplm/m/n/10 ^^U

Overfull \hbox (6.0165pt too wide) detected at line 1353
\OMS/zplm/m/n/10 ^^@\OML/zplm/m/it/10 y[] \OMS/zplm/m/n/10 ^^B \OML/zplm/m/it/1
0 e\OT1/zplm/m/n/10 (\OT1/ppl/m/n/10 1 \OMS/zplm/m/n/10 ^^@ \OT1/ppl/m/n/10 2[]
\OT1/zplm/m/n/10 )  \OMS/zplm/m/n/10 ^^T  ^^@\OML/zplm/m/it/10 y[] \OMS/zplm/m/
n/10 
 \OML/zplm/m/it/10 e  \OMS/zplm/m/n/10 ^^T  ^^@\OML/zplm/m/it/10 y[] \OMS/zplm/
m/n/10 ^^B \OML/zplm/m/it/10 e\OT1/zplm/m/n/10 (\OT1/ppl/m/n/10 1 \OT1/zplm/m/n
/10 + \OT1/ppl/m/n/10 2[]\OT1/zplm/m/n/10 )

Underfull \hbox (badness 10000) in paragraph at lines 1379--1381


Underfull \hbox (badness 10000) in paragraph at lines 1385--1387


Underfull \hbox (badness 10000) in paragraph at lines 1240--1431


Underfull \vbox (badness 10000) has occurred while \output is active [40]
[41] [42]

LaTeX Warning: Citation `DefDin2002' on page 43 undefined on input line 1604.


LaTeX Warning: Citation `DinDef2003' on page 43 undefined on input line 1604.


LaTeX Warning: Citation `DefDin2002' on page 43 undefined on input line 1638.


LaTeX Warning: Citation `DinDef2003' on page 43 undefined on input line 1638.

<fig_scs/exponent_representation.pdf, id=1471, 714.67pt x 301.125pt>
<use fig_scs/exponent_representation.pdf>

LaTeX Warning: `h' float specifier changed to `ht'.

[43] <fig_scs/multiplication.pdf, id=1482, 376.40625pt x 234.8775pt>
<use fig_scs/multiplication.pdf>

LaTeX Warning: `h' float specifier changed to `ht'.

[44 <./fig_scs/exponent_representation.pdf>]

LaTeX Warning: Citation `DefDin2002' on page 45 undefined on input line 1804.

[45 <./fig_scs/multiplication.pdf>] [46] [47] [48]
Overfull \hbox (0.3383pt too wide) in paragraph at lines 2148--2152
[]\OT1/ppl/m/n/10 Procedures \OT1/cmtt/m/n/10 compute[]abs[]rounding[]error[]fi
rstmult \OT1/ppl/m/n/10 and \OT1/cmtt/m/n/10 compute[]abs[]rounding[]error[]fir
stmult

LaTeX Warning: Citation `DinDefLau2004LIP' on page 49 undefined on input line 2
172.


LaTeX Warning: Citation `DinErshGast2005' on page 49 undefined on input line 21
72.

[49]) [50]
Chapter 3.
(./log.tex

LaTeX Warning: Citation `WG94' on page 51 undefined on input line 21.


LaTeX Warning: Citation `Muller97' on page 51 undefined on input line 21.

[51]
Overfull \hbox (4.48827pt too wide) detected at line 92
\OML/zplm/m/it/10 p [] \OMS/zplm/m/n/10 ^^Y [] \OT1/zplm/m/n/10 + []
[52]

LaTeX Warning: Citation `DinDefLau2004LIP' on page 53 undefined on input line 1
45.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 53 undefined on in
put line 147.


LaTeX Warning: Citation `Melqu05' on page 53 undefined on input line 157.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 53 undefined on in
put line 171.

[53] [54] [55] [56]
Overfull \hbox (1.54433pt too wide) in paragraph at lines 335--337
[]\OT1/ppl/m/n/10 for $\OML/zplm/m/it/10 E \OT1/zplm/m/n/10 = \OT1/ppl/m/n/10 0
$ and all in-dexes to the ta-ble ex-cept $0$, i.e. $1 \OMS/zplm/m/n/10 ^^T \OML
/zplm/m/it/10 i \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 127$, a proof file named \
OT1/cmtt/m/n/10 log-td-E0.gappa
[57]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 58 undefined on in
put line 429.


Overfull \hbox (5.69792pt too wide) in paragraph at lines 433--434
[]\OT1/cmtt/m/n/10 (LogTabPolyhl - LogTabPoly) / LogTabPoly in [-1b-103,1b-103]
 \OT1/ppl/m/n/10 falls still into the same case
[58]
Overfull \hbox (3.488pt too wide) in paragraph at lines 436--438
[]\OT1/ppl/m/n/10 And fi-nally, \OT1/cmtt/m/n/10 (Loghm - LogE) / LogE in [-1b-
103,1b-103] \OT1/ppl/m/n/10 which is also just the ac-cu-racy bound
[59] [60] [61]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 62 undefined on in
put line 600.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 62 undefined on in
put line 603.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 62 undefined on in
put line 608.


Overfull \hbox (1.27411pt too wide) in paragraph at lines 639--648
\OT1/ppl/m/n/10 We can sup-pose that in the triple-double num-ber $\OML/zplm/m/
it/10 zSquare[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 zSquare[] \OT1/zplm/m/n/10
 + \OML/zplm/m/it/10 zSquare[]$\OT1/ppl/m/n/10 , $\OML/zplm/m/it/10 zSquare[]$ 
\OT1/ppl/m/n/10 and $\OML/zplm/m/it/10 zSquare[]$
[62] [63]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 64 undefined on in
put line 732.

[64]
Overfull \hbox (7.04803pt too wide) in paragraph at lines 800--803
[]\OT1/ppl/m/n/10 At line 90, $\OML/zplm/m/it/10 ZSquarehml$ \OT1/ppl/m/n/10 is
 com-puted out of the double-double num-ber $\OML/zplm/m/it/10 z[] \OT1/zplm/m/
n/10 + \OML/zplm/m/it/10 z[]$ \OT1/ppl/m/n/10 by use of the \OT1/ppl/b/n/10 Mul
23  \OT1/ppl/m/n/10 se-

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 65 undefined on in
put line 811.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 65 undefined on in
put line 814.

[65] [66]

LaTeX Warning: Citation `DinDefLau2004LIP' on page 67 undefined on input line 9
50.


LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 67 undefined on in
put line 952.

) [67] [68]
Chapter 4.
(./log2.tex) [69] [70]
Chapter 5.
(./log10.tex

LaTeX Warning: Citation `IEEE754' on page 71 undefined on input line 37.


LaTeX Warning: Citation `Baker75' on page 71 undefined on input line 51.


LaTeX Warning: Citation `Muller97' on page 71 undefined on input line 65.

[71]

LaTeX Warning: `h' float specifier changed to `ht'.

) [72] [73] [74]
Chapter 6.
(./exp.tex [75] [76] [77]
Overfull \hbox (28.9597pt too wide) in paragraph at lines 258--266
[] \OT1/zplm/m/n/10 = [] \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 2[]$. Fur-ther, $
[] \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 2[] \OMS/zplm/m/n/10 ^^A []$\OT1/ppl/m/
n/10 . 
[78] [79] [80]
Overfull \hbox (6.01637pt too wide) in paragraph at lines 505--508
\OT1/ppl/m/n/10 The fol-low-ing steps must still add the lin-ear term $\OML/zpl
m/m/it/10 r[]$ \OT1/ppl/m/n/10 of the poly-no-mial ($\OML/zplm/m/it/10 p [] \OT
1/zplm/m/n/10 = \OML/zplm/m/it/10 r[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 high
PolyWithSquare$\OT1/ppl/m/n/10 )
[81]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 82 undefined on in
put line 620.


Overfull \hbox (4.56361pt too wide) in paragraph at lines 597--625
\OML/zplm/m/it/10 rhSquareHalf[] \OT1/zplm/m/n/10 = [] \OMS/zplm/m/n/10 ^^A \OM
L/zplm/m/it/10 r[]$ \OT1/ppl/m/n/10 is ex-act. Since $\OML/zplm/m/it/10 r[]$ \O
T1/ppl/m/n/10 is such that $[] \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 2[]$, $\OML
/zplm/m/it/10 r[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 rhSquareHalf[] \OT1/zplm
/m/n/10 + \OML/zplm/m/it/10 rhSquareHalf[]$
[82]
Overfull \hbox (12.31042pt too wide) in paragraph at lines 669--673
\OT1/ppl/m/n/10 First an arith-meti-cal ap-prox-i-ma-tion $\OML/zplm/m/it/10 fu
llPoly[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 fullPoly[] \OT1/zplm/m/n/10 + \OM
L/zplm/m/it/10 fullPoly[]$ \OT1/ppl/m/n/10 to $\OML/zplm/m/it/10 p[] \OT1/zplm/
m/n/10 + \OML/zplm/m/it/10 p[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 p[] \OT1/zp
lm/m/n/10 + \OML/zplm/m/it/10 r[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 r[] \OT1
/zplm/m/n/10 + [] \OMS/zplm/m/n/10 ^^A
[83] [84] [85] [86]

LaTeX Warning: Citation `Lauter2005LIP:tripledouble' on page 87 undefined on in
put line 957.

[87]

LaTeX Warning: Citation `DinDefLau2004LIP' on page 88 undefined on input line 1
012.


Overfull \hbox (1.61098pt too wide) in alignment at lines 1015--1044
 [][][] []
) [88]
Chapter 7.
(./expm1.tex) [89] [90]
Chapter 8.
(./log1p.tex) [91] [92]
Chapter 9.
(./trigo.tex

LaTeX Warning: Citation `Muller97' on page 93 undefined on input line 24.

[93] [94] [95]

LaTeX Warning: Citation `Muller97' on page 96 undefined on input line 306.


LaTeX Warning: Citation `Muller97' on page 96 undefined on input line 307.

[96] [97]
Underfull \vbox (badness 10000) has occurred while \output is active [98]
(/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty) [99] [100]

LaTeX Warning: Citation `Ng1992' on page 101 undefined on input line 701.


LaTeX Warning: Citation `Muller97' on page 101 undefined on input line 701.

[101] [102] [103] [104] (../../gappa/trigos/SinCosCase3.gappa [105]
Underfull \vbox (badness 10000) has occurred while \output is active [106]
Underfull \vbox (badness 10000) has occurred while \output is active [107])
[108] [109] [110] [111] [112] [113] (../../gappa/trigos/TanCase2.gappa [114])
[115] [116] [117]) [118] [119] [120]
Chapter 10.
(./asin.tex

LaTeX Warning: Citation `DinDefLau2004LIP' on page 121 undefined on input line 
24.

[121] [122] [123] [124] [125] [126] [127] [128] [129]
Overfull \hbox (3.20735pt too wide) in paragraph at lines 705--713
\OT1/ppl/m/n/10 double steps use sep-a-rate ad-di-tion and mul-ti-pli-ca-tion o
p-er-a-tors. In par-tic-u-lar, \OT1/ppl/b/n/10 Add33  \OT1/ppl/m/n/10 and \OT1/
ppl/b/n/10 Mul133  \OT1/ppl/m/n/10 come
[130] [131] [132]) [133] [134]
Chapter 11.
(./acos.tex) [135] [136]
Chapter 12.
(./atan.tex [137]
Overfull \hbox (9.17107pt too wide) in paragraph at lines 145--154
[][] 
[138]

LaTeX Warning: Citation `Ziv91' on page 139 undefined on input line 172.


Overfull \hbox (24.59428pt too wide) in paragraph at lines 167--175
[][]
pdfTeX warning (ext4): destination with the same identifier (name{equation.12.2
.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                       [139] [140]
Underfull \hbox (badness 10000) in paragraph at lines 383--391

[141] [142] [143]) [144]
Chapter 13.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 268.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 268.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 268.

(./trigpi.tex [145]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 155.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 155.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 155.

[146]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 227.

[147]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 255.

) [148]
Chapter 14.
(./csh.tex

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `superscript' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.

[149] [150]
Overfull \hbox (15.32735pt too wide) in paragraph at lines 198--204
[]\OT1/ppl/m/n/10 Error in poly-no-mial ap-prox-i-ma-tions We use the $\OML/zpl
m/m/it/10 errlist[]quickphase$ \OT1/ppl/m/n/10 and $\OML/zplm/m/it/10 compute[]
horner[]rounding[]error$
[151] [152]
Overfull \hbox (74.58688pt too wide) in paragraph at lines 322--350
[][] 

Underfull \vbox (badness 10000) has occurred while \output is active [153]
Overfull \hbox (2.24329pt too wide) in paragraph at lines 375--387
[][] 
[154]
Overfull \hbox (51.03047pt too wide) in paragraph at lines 428--454
[][] 

Underfull \vbox (badness 1454) has occurred while \output is active [155]
Overfull \hbox (8.66362pt too wide) in paragraph at lines 509--532
[][] 

Underfull \vbox (badness 10000) has occurred while \output is active [156]
[157]) [158]
Chapter 15.
(./pow.tex

LaTeX Warning: Citation `LauterLefevre2007' on page 159 undefined on input line
 12.


LaTeX Warning: Citation `KorLauLefLouvMul2008' on page 159 undefined on input l
ine 21.


LaTeX Warning: Citation `Stehle-thesis' on page 159 undefined on input line 47.


) (./crlibm.bbl [159] [160]
Underfull \hbox (badness 2111) in paragraph at lines 53--60
[]\OT1/ppl/m/n/10 F. de Dinechin, D. De-four, and C. Lauter.  Fast cor-rect rou
nd-ing of el-e-men-tary func-

Underfull \hbox (badness 2884) in paragraph at lines 53--60
\OT1/ppl/m/n/10 tions in dou-ble pre-ci-sion us-ing double-extended arith-metic
.  Tech-ni-cal Re-port 2004-10,

Underfull \hbox (badness 3803) in paragraph at lines 53--60
\OT1/ppl/m/n/10 LIP, []Ecole Nor-male Sup[]erieure de Lyon, March 2004.  Avail-
able at http://www.ens-
[161] [162]) [163] (./crlibm.aux)

LaTeX Warning: There were undefined references.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 )
(see the transcript file for additional information){/usr/share/texmf-texlive/f
onts/enc/dvips/base/8r.enc}</usr/share/texmf-texlive/fonts/type1/bluesky/cm/cme
x10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmmi10.pfb></usr/share
/texmf-texlive/fonts/type1/bluesky/cm/cmmi8.pfb></usr/share/texmf-texlive/fonts
/type1/bluesky/cm/cmr10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cm
sy10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmsy8.pfb></usr/share
/texmf-texlive/fonts/type1/bluesky/cm/cmtt10.pfb></usr/share/texmf-texlive/font
s/type1/bluesky/cm/cmtt12.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/
cmtt8.pfb></usr/share/texmf-texlive/fonts/type1/public/mathpazo/fplmbb.pfb></us
r/share/texmf-texlive/fonts/type1/public/mathpazo/fplmr.pfb></usr/share/texmf-t
exlive/fonts/type1/public/mathpazo/fplmri.pfb></usr/share/texmf-texlive/fonts/t
ype1/bluesky/ams/msam10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/ams/m
sbm10.pfb></usr/share/texmf-texlive/fonts/type1/urw/palatino/uplb8a.pfb></usr/s
hare/texmf-texlive/fonts/type1/urw/palatino/uplbi8a.pfb></usr/share/texmf-texli
ve/fonts/type1/urw/palatino/uplr8a.pfb></usr/share/texmf-texlive/fonts/type1/ur
w/palatino/uplri8a.pfb>
Output written on crlibm.pdf (163 pages, 1335255 bytes).
Transcript written on crlibm.log.
This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7)
 %&-line parsing enabled.
entering extended mode
(./crlibm.tex
LaTeX2e <2005/12/01>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, farsi, arabic, bulgarian, ukrainian, russian, french, basque, germa
n, ngerman, german-x-2008-06-18, ngerman-x-2008-06-18, polish, loaded.
(/usr/share/texmf-texlive/tex/latex/base/book.cls
Document Class: book 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/bk10.clo))
(/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
(/usr/share/texmf-texlive/tex/latex/graphics/trig.sty)
(/etc/texmf/tex/latex/config/graphics.cfg)
(/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def)))
(/usr/share/texmf-texlive/tex/latex/psnfss/mathpazo.sty)
(/usr/share/texmf-texlive/tex/latex/listings/listings.sty
(/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)
(/usr/share/texmf-texlive/tex/latex/listings/listings.cfg))
(/usr/share/texmf-texlive/tex/latex/tools/longtable.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/lscape.sty)
(/usr/share/texmf-texlive/tex/latex/base/makeidx.sty)
(/usr/share/texmf-texlive/tex/latex/graphics/color.sty
(/etc/texmf/tex/latex/config/color.cfg))
(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty)
(/usr/share/texmf-texlive/tex/latex/base/latexsym.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty))
(/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty)
(/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty)
(/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty)
(/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty
(/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty))
(/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def)
(/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty))
(/etc/texmf/tex/latex/config/hyperref.cfg)
(/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty)
Implicit mode ON; LaTeX internals redefined
(/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty)
(/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty
(/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty)))
(/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty)
(/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty))
*hyperref using driver hpdftex*
(/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def)
(/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty)
(/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty) (./crlibm.aux)
(/usr/share/texmf-texlive/tex/latex/psnfss/ot1ppl.fd)
(/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
(/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty)) (./crlibm.out)
(./crlibm.out) (/usr/share/texmf-texlive/tex/latex/psnfss/omlzplm.fd)
(/usr/share/texmf-texlive/tex/latex/psnfss/omszplm.fd)
(/usr/share/texmf-texlive/tex/latex/psnfss/omxzplm.fd)
(/usr/share/texmf-texlive/tex/latex/psnfss/ot1zplm.fd)
(/usr/share/texmf-texlive/tex/latex/base/ulasy.fd) [1{/var/cache/texmf/fonts/ma
p/pdftex/updmap/pdftex.map}] (../../VERSION)
(/usr/share/texmf-texlive/tex/latex/psnfss/omsppl.fd) [2] (./crlibm.toc
[3] [4] [5]) [6]
Chapter 0.
(./0_getting-started.tex [7]
Overfull \hbox (12.64775pt too wide) in paragraph at lines 67--80
\OT1/ppl/m/n/10 some pro-ces-sors and some op-er-at-ing sys-tems (most no-tably
 IA32 and IA64 pro-ces-sors un-der GNU/Linux),
(/usr/share/texmf-texlive/tex/latex/psnfss/omlppl.fd)
Overfull \hbox (51.24655pt too wide) in paragraph at lines 133--159
 [] 
[8] [9]) [10]
Chapter 1.
(./0_intro.tex [11] [12] [13] [14] [15] [16]
Overfull \hbox (16.05707pt too wide) in paragraph at lines 537--540
[]\OT1/ppl/m/n/10 The com-mon C rou-tines that are de-tailed in Chap-ter []2[] 
of this doc-u-ment are de-fined in \OT1/cmtt/m/n/10 crlibm[]private.c
) [17] [18]
Chapter 2.
(./1_common.tex [19]
Overfull \hbox (21.01736pt too wide) in paragraph at lines 152--157
\OT1/ppl/m/n/10 ple-ment them as macros, as in \OT1/cmtt/m/n/10 libultim\OT1/pp
l/m/n/10 . The code of-fers both ver-sions, se-lected by the \OT1/cmtt/m/n/10 D
EKKER[]AS[]FUNCTIONS
[20] [21] [22]
Underfull \hbox (badness 10000) in paragraph at lines 386--388


Underfull \hbox (badness 10000) in paragraph at lines 390--394

[23]
Underfull \hbox (badness 10000) in paragraph at lines 422--424


Underfull \hbox (badness 10000) in paragraph at lines 426--433


Underfull \hbox (badness 10000) in paragraph at lines 461--463


Underfull \hbox (badness 10000) in paragraph at lines 465--474

[24] (/usr/share/texmf-texlive/tex/latex/psnfss/ufplmbb.fd) [25]
Underfull \hbox (badness 10000) in paragraph at lines 553--555


Underfull \hbox (badness 10000) in paragraph at lines 591--593


Underfull \hbox (badness 10000) in paragraph at lines 595--601

[26]
Underfull \hbox (badness 10000) in paragraph at lines 626--628


Underfull \hbox (badness 10000) in paragraph at lines 630--634

[27]
Underfull \hbox (badness 10000) in paragraph at lines 667--669

[28]
Underfull \hbox (badness 10000) in paragraph at lines 727--729


Underfull \hbox (badness 10000) in paragraph at lines 731--738


Underfull \hbox (badness 10000) in paragraph at lines 766--768


Underfull \hbox (badness 10000) in paragraph at lines 770--781

[29]
Underfull \hbox (badness 10000) in paragraph at lines 813--815

[30]
Underfull \hbox (badness 10000) in paragraph at lines 848--850


Underfull \hbox (badness 10000) in paragraph at lines 889--890


Underfull \hbox (badness 10000) in paragraph at lines 892--901

[31] [32] [33] [34] (./sqrt.tex [35] [36] [37] [38]) [39]
Underfull \hbox (badness 10000) in paragraph at lines 1348--1353
[]\OT1/ppl/m/n/10 Now con-sider the case when $\OMS/zplm/m/n/10 ^^@\OML/zplm/m/
it/10 y[] \OMS/zplm/m/n/10 ^^U

Overfull \hbox (6.0165pt too wide) detected at line 1353
\OMS/zplm/m/n/10 ^^@\OML/zplm/m/it/10 y[] \OMS/zplm/m/n/10 ^^B \OML/zplm/m/it/1
0 e\OT1/zplm/m/n/10 (\OT1/ppl/m/n/10 1 \OMS/zplm/m/n/10 ^^@ \OT1/ppl/m/n/10 2[]
\OT1/zplm/m/n/10 )  \OMS/zplm/m/n/10 ^^T  ^^@\OML/zplm/m/it/10 y[] \OMS/zplm/m/
n/10 
 \OML/zplm/m/it/10 e  \OMS/zplm/m/n/10 ^^T  ^^@\OML/zplm/m/it/10 y[] \OMS/zplm/
m/n/10 ^^B \OML/zplm/m/it/10 e\OT1/zplm/m/n/10 (\OT1/ppl/m/n/10 1 \OT1/zplm/m/n
/10 + \OT1/ppl/m/n/10 2[]\OT1/zplm/m/n/10 )

Underfull \hbox (badness 10000) in paragraph at lines 1379--1381


Underfull \hbox (badness 10000) in paragraph at lines 1385--1387


Underfull \hbox (badness 10000) in paragraph at lines 1240--1431


Underfull \vbox (badness 10000) has occurred while \output is active [40]
[41] [42] <fig_scs/exponent_representation.pdf, id=1556, 714.67pt x 301.125pt>
<use fig_scs/exponent_representation.pdf>

LaTeX Warning: `h' float specifier changed to `ht'.

[43] <fig_scs/multiplication.pdf, id=1567, 376.40625pt x 234.8775pt>
<use fig_scs/multiplication.pdf>

LaTeX Warning: `h' float specifier changed to `ht'.

[44 <./fig_scs/exponent_representation.pdf>] [45 <./fig_scs/multiplication.pdf>
] [46] [47] [48]
Overfull \hbox (0.3383pt too wide) in paragraph at lines 2148--2152
[]\OT1/ppl/m/n/10 Procedures \OT1/cmtt/m/n/10 compute[]abs[]rounding[]error[]fi
rstmult \OT1/ppl/m/n/10 and \OT1/cmtt/m/n/10 compute[]abs[]rounding[]error[]fir
stmult
[49]) [50]
Chapter 3.
(./log.tex [51]
Overfull \hbox (4.48827pt too wide) detected at line 92
\OML/zplm/m/it/10 p [] \OMS/zplm/m/n/10 ^^Y [] \OT1/zplm/m/n/10 + []
[52] [53] [54] [55] [56]
Overfull \hbox (1.54433pt too wide) in paragraph at lines 335--337
[]\OT1/ppl/m/n/10 for $\OML/zplm/m/it/10 E \OT1/zplm/m/n/10 = \OT1/ppl/m/n/10 0
$ and all in-dexes to the ta-ble ex-cept $0$, i.e. $1 \OMS/zplm/m/n/10 ^^T \OML
/zplm/m/it/10 i \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 127$, a proof file named \
OT1/cmtt/m/n/10 log-td-E0.gappa
[57]
Overfull \hbox (5.69792pt too wide) in paragraph at lines 433--434
[]\OT1/cmtt/m/n/10 (LogTabPolyhl - LogTabPoly) / LogTabPoly in [-1b-103,1b-103]
 \OT1/ppl/m/n/10 falls still into the same case
[58]
Overfull \hbox (3.488pt too wide) in paragraph at lines 436--438
[]\OT1/ppl/m/n/10 And fi-nally, \OT1/cmtt/m/n/10 (Loghm - LogE) / LogE in [-1b-
103,1b-103] \OT1/ppl/m/n/10 which is also just the ac-cu-racy bound
[59] [60] [61]
Overfull \hbox (1.27411pt too wide) in paragraph at lines 639--648
\OT1/ppl/m/n/10 We can sup-pose that in the triple-double num-ber $\OML/zplm/m/
it/10 zSquare[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 zSquare[] \OT1/zplm/m/n/10
 + \OML/zplm/m/it/10 zSquare[]$\OT1/ppl/m/n/10 , $\OML/zplm/m/it/10 zSquare[]$ 
\OT1/ppl/m/n/10 and $\OML/zplm/m/it/10 zSquare[]$
[62] [63] [64]
Overfull \hbox (7.04803pt too wide) in paragraph at lines 800--803
[]\OT1/ppl/m/n/10 At line 90, $\OML/zplm/m/it/10 ZSquarehml$ \OT1/ppl/m/n/10 is
 com-puted out of the double-double num-ber $\OML/zplm/m/it/10 z[] \OT1/zplm/m/
n/10 + \OML/zplm/m/it/10 z[]$ \OT1/ppl/m/n/10 by use of the \OT1/ppl/b/n/10 Mul
23  \OT1/ppl/m/n/10 se-
[65] [66]) [67] [68]
Chapter 4.
(./log2.tex) [69] [70]
Chapter 5.
(./log10.tex [71]

LaTeX Warning: `h' float specifier changed to `ht'.

) [72] [73] [74]
Chapter 6.
(./exp.tex [75] [76] [77]
Overfull \hbox (28.9597pt too wide) in paragraph at lines 258--266
[] \OT1/zplm/m/n/10 = [] \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 2[]$. Fur-ther, $
[] \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 2[] \OMS/zplm/m/n/10 ^^A []$\OT1/ppl/m/
n/10 . 
[78] [79] [80]
Overfull \hbox (6.01637pt too wide) in paragraph at lines 505--508
\OT1/ppl/m/n/10 The fol-low-ing steps must still add the lin-ear term $\OML/zpl
m/m/it/10 r[]$ \OT1/ppl/m/n/10 of the poly-no-mial ($\OML/zplm/m/it/10 p [] \OT
1/zplm/m/n/10 = \OML/zplm/m/it/10 r[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 high
PolyWithSquare$\OT1/ppl/m/n/10 )
[81]
Overfull \hbox (4.56361pt too wide) in paragraph at lines 597--625
\OML/zplm/m/it/10 rhSquareHalf[] \OT1/zplm/m/n/10 = [] \OMS/zplm/m/n/10 ^^A \OM
L/zplm/m/it/10 r[]$ \OT1/ppl/m/n/10 is ex-act. Since $\OML/zplm/m/it/10 r[]$ \O
T1/ppl/m/n/10 is such that $[] \OMS/zplm/m/n/10 ^^T \OT1/ppl/m/n/10 2[]$, $\OML
/zplm/m/it/10 r[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 rhSquareHalf[] \OT1/zplm
/m/n/10 + \OML/zplm/m/it/10 rhSquareHalf[]$
[82]
Overfull \hbox (12.31042pt too wide) in paragraph at lines 669--673
\OT1/ppl/m/n/10 First an arith-meti-cal ap-prox-i-ma-tion $\OML/zplm/m/it/10 fu
llPoly[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 fullPoly[] \OT1/zplm/m/n/10 + \OM
L/zplm/m/it/10 fullPoly[]$ \OT1/ppl/m/n/10 to $\OML/zplm/m/it/10 p[] \OT1/zplm/
m/n/10 + \OML/zplm/m/it/10 p[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 p[] \OT1/zp
lm/m/n/10 + \OML/zplm/m/it/10 r[] \OT1/zplm/m/n/10 + \OML/zplm/m/it/10 r[] \OT1
/zplm/m/n/10 + [] \OMS/zplm/m/n/10 ^^A
[83] [84] [85] [86] [87]
Overfull \hbox (1.61098pt too wide) in alignment at lines 1015--1044
 [][][] []
) [88]
Chapter 7.
(./expm1.tex) [89] [90]
Chapter 8.
(./log1p.tex) [91] [92]
Chapter 9.
(./trigo.tex [93] [94] [95] [96] [97]
Underfull \vbox (badness 10000) has occurred while \output is active [98]
(/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty) [99] [100] [101]
[102] [103] [104] (../../gappa/trigos/SinCosCase3.gappa [105]
Underfull \vbox (badness 10000) has occurred while \output is active [106]
Underfull \vbox (badness 10000) has occurred while \output is active [107])
[108] [109] [110] [111] [112] [113] (../../gappa/trigos/TanCase2.gappa [114])
[115] [116] [117]) [118] [119] [120]
Chapter 10.
(./asin.tex [121] [122] [123] [124] [125] [126] [127] [128] [129]
Overfull \hbox (3.20735pt too wide) in paragraph at lines 705--713
\OT1/ppl/m/n/10 double steps use sep-a-rate ad-di-tion and mul-ti-pli-ca-tion o
p-er-a-tors. In par-tic-u-lar, \OT1/ppl/b/n/10 Add33  \OT1/ppl/m/n/10 and \OT1/
ppl/b/n/10 Mul133  \OT1/ppl/m/n/10 come
[130] [131] [132]) [133] [134]
Chapter 11.
(./acos.tex) [135] [136]
Chapter 12.
(./atan.tex [137]
Overfull \hbox (9.17107pt too wide) in paragraph at lines 145--154
[][] 
[138]
Overfull \hbox (30.15434pt too wide) in paragraph at lines 167--175
[][]
pdfTeX warning (ext4): destination with the same identifier (name{equation.12.2
.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.176 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                      pdfTeX warning (ext4): destination with the same identifi
er (name{equation.12.2.3}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.186 \begin{equation}
                       [139] [140]
Underfull \hbox (badness 10000) in paragraph at lines 383--391

[141] [142] [143]) [144]
Chapter 13.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 268.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 268.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 268.

(./trigpi.tex [145]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 70.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 110.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 155.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 155.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 155.

[146]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 227.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 227.

[147]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\pi' on input line 255.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 255.

) [148]
Chapter 14.
(./csh.tex

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathop' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\mathgroup' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\symoperators' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `\new@ifnextchar' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `superscript' on input line 38.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding),
(hyperref)                removing `math shift' on input line 38.

[149] [150]
Overfull \hbox (15.32735pt too wide) in paragraph at lines 198--204
[]\OT1/ppl/m/n/10 Error in poly-no-mial ap-prox-i-ma-tions We use the $\OML/zpl
m/m/it/10 errlist[]quickphase$ \OT1/ppl/m/n/10 and $\OML/zplm/m/it/10 compute[]
horner[]rounding[]error$
[151] [152]
Overfull \hbox (74.58688pt too wide) in paragraph at lines 322--350
[][] 

Underfull \vbox (badness 10000) has occurred while \output is active [153]
Overfull \hbox (2.24329pt too wide) in paragraph at lines 375--387
[][] 
[154]
Overfull \hbox (51.03047pt too wide) in paragraph at lines 428--454
[][] 

Underfull \vbox (badness 1454) has occurred while \output is active [155]
Overfull \hbox (8.66362pt too wide) in paragraph at lines 509--532
[][] 

Underfull \vbox (badness 10000) has occurred while \output is active [156]
[157]) [158]
Chapter 15.
(./pow.tex) (./crlibm.bbl [159] [160]
Underfull \hbox (badness 2111) in paragraph at lines 53--60
[]\OT1/ppl/m/n/10 F. de Dinechin, D. De-four, and C. Lauter.  Fast cor-rect rou
nd-ing of el-e-men-tary func-

Underfull \hbox (badness 2884) in paragraph at lines 53--60
\OT1/ppl/m/n/10 tions in dou-ble pre-ci-sion us-ing double-extended arith-metic
.  Tech-ni-cal Re-port 2004-10,

Underfull \hbox (badness 3803) in paragraph at lines 53--60
\OT1/ppl/m/n/10 LIP, []Ecole Nor-male Sup[]erieure de Lyon, March 2004.  Avail-
able at http://www.ens-
[161] [162]) [163] (./crlibm.aux) )
(see the transcript file for additional information){/usr/share/texmf-texlive/f
onts/enc/dvips/base/8r.enc}</usr/share/texmf-texlive/fonts/type1/bluesky/cm/cme
x10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmmi10.pfb></usr/share
/texmf-texlive/fonts/type1/bluesky/cm/cmmi8.pfb></usr/share/texmf-texlive/fonts
/type1/bluesky/cm/cmr10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cm
sy10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmsy8.pfb></usr/share
/texmf-texlive/fonts/type1/bluesky/cm/cmtt10.pfb></usr/share/texmf-texlive/font
s/type1/bluesky/cm/cmtt12.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/
cmtt8.pfb></usr/share/texmf-texlive/fonts/type1/public/mathpazo/fplmbb.pfb></us
r/share/texmf-texlive/fonts/type1/public/mathpazo/fplmr.pfb></usr/share/texmf-t
exlive/fonts/type1/public/mathpazo/fplmri.pfb></usr/share/texmf-texlive/fonts/t
ype1/bluesky/ams/msam10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/ams/m
sbm10.pfb></usr/share/texmf-texlive/fonts/type1/urw/palatino/uplb8a.pfb></usr/s
hare/texmf-texlive/fonts/type1/urw/palatino/uplbi8a.pfb></usr/share/texmf-texli
ve/fonts/type1/urw/palatino/uplr8a.pfb></usr/share/texmf-texlive/fonts/type1/ur
w/palatino/uplri8a.pfb>
Output written on crlibm.pdf (163 pages, 1350662 bytes).
Transcript written on crlibm.log.
cd docs/latex; \
pdflatex tripledoubleprocedures; bibtex tripledoubleprocedures; \
pdflatex tripledoubleprocedures; pdflatex tripledoubleprocedures;\
mv tripledoubleprocedures.pdf ..
This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7)
 %&-line parsing enabled.
entering extended mode
(./tripledoubleprocedures.tex
LaTeX2e <2005/12/01>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, farsi, arabic, bulgarian, ukrainian, russian, french, basque, germa
n, ngerman, german-x-2008-06-18, ngerman-x-2008-06-18, polish, loaded.
(/usr/share/texmf-texlive/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/size10.clo))
(/usr/share/texmf-texlive/tex/latex/ltxmisc/a4wide.sty
(/usr/share/texmf-texlive/tex/latex/ntgclass/a4.sty))
(/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
(/usr/share/texmf-texlive/tex/latex/base/latin1.def))
(/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
(/usr/share/texmf-texlive/tex/latex/base/t1enc.def))
(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty)
(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
(/usr/share/texmf-texlive/tex/latex/base/latexsym.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty)
No file tripledoubleprocedures.aux.
(/usr/share/texmf-texlive/tex/latex/base/ulasy.fd)
(/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd)
(/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd)

LaTeX Warning: Citation `Muller97' on page 1 undefined on input line 91.


LaTeX Warning: Citation `Defour-thesis' on page 1 undefined on input line 91.


LaTeX Warning: Citation `crlibmweb' on page 1 undefined on input line 91.


LaTeX Warning: Citation `DinDefLau2004LIP' on page 1 undefined on input line 91
.


LaTeX Warning: Citation `DinDefLau2004LIP' on page 1 undefined on input line 92
.


LaTeX Warning: Citation `Dek71' on page 1 undefined on input line 94.


LaTeX Warning: Citation `Finot-thesis' on page 1 undefined on input line 98.


LaTeX Warning: Citation `Pri91' on page 1 undefined on input line 98.


LaTeX Warning: Citation `She97' on page 1 undefined on input line 98.


LaTeX Warning: Citation `Finot-thesis' on page 1 undefined on input line 121.


Underfull \vbox (badness 1107) has occurred while \output is active [1{/var/cac
he/texmf/fonts/map/pdftex/updmap/pdftex.map}]

LaTeX Warning: Reference `predsuccdef' on page 2 undefined on input line 141.


LaTeX Warning: Citation `Defour-thesis' on page 2 undefined on input line 141.


LaTeX Warning: Citation `Defour-thesis' on page 2 undefined on input line 151.


LaTeX Warning: Citation `Muller05INRIA' on page 2 undefined on input line 151.


Underfull \hbox (badness 10000) in paragraph at lines 151--152

[2]
Underfull \hbox (badness 10000) in paragraph at lines 190--194

(/usr/share/texmf-texlive/tex/latex/base/omscmr.fd)
Underfull \hbox (badness 10000) in paragraph at lines 205--209


LaTeX Warning: Citation `Dek71' on page 3 undefined on input line 220.


LaTeX Warning: Reference `defulp' on page 3 undefined on input line 221.

[3]
Underfull \hbox (badness 10000) in paragraph at lines 244--248


Underfull \hbox (badness 10000) in paragraph at lines 251--257

[4]

LaTeX Warning: Reference `commut' on page 5 undefined on input line 288.


LaTeX Warning: Reference `commut' on page 5 undefined on input line 316.


LaTeX Warning: Reference `commut' on page 5 undefined on input line 326.

[5]

LaTeX Warning: Reference `defulp' on page 6 undefined on input line 369.


LaTeX Warning: Reference `defulp' on page 6 undefined on input line 372.


LaTeX Warning: Reference `multhalf' on page 6 undefined on input line 372.

[6] [7]

LaTeX Warning: Citation `Finot-thesis' on page 8 undefined on input line 455.


LaTeX Warning: Reference `renorm' on page 8 undefined on input line 457.


LaTeX Warning: Reference `renorm' on page 8 undefined on input line 459.


LaTeX Warning: Reference `renorm' on page 8 undefined on input line 467.

[8]

LaTeX Warning: Reference `renorm' on page 9 undefined on input line 483.


Underfull \hbox (badness 10000) in paragraph at lines 494--495

[9]

LaTeX Warning: Reference `renorm' on page 10 undefined on input line 536.


LaTeX Warning: Reference `renorm' on page 10 undefined on input line 558.

[10]

LaTeX Warning: Reference `adddef' on page 11 undefined on input line 582.


LaTeX Warning: Reference `renorm' on page 11 undefined on input line 589.


LaTeX Warning: Reference `renorm' on page 11 undefined on input line 590.


LaTeX Warning: Reference `exact' on page 11 undefined on input line 598.


LaTeX Warning: Reference `specialcaseinzero' on page 11 undefined on input line
 601.


LaTeX Warning: Reference `properties' on page 11 undefined on input line 601.


LaTeX Warning: Reference `properties' on page 11 undefined on input line 602.


Underfull \hbox (badness 10000) in paragraph at lines 607--611


LaTeX Warning: Reference `major' on page 11 undefined on input line 612.


LaTeX Warning: Reference `minor' on page 11 undefined on input line 614.


LaTeX Warning: Reference `major' on page 11 undefined on input line 618.


Underfull \hbox (badness 10000) in paragraph at lines 615--619


LaTeX Warning: Citation `IEEE754' on page 11 undefined on input line 620.


LaTeX Warning: Reference `major' on page 11 undefined on input line 626.


LaTeX Warning: Reference `addsupp' on page 11 undefined on input line 628.

[11]

LaTeX Warning: Citation `Dek71' on page 12 undefined on input line 643.


Underfull \hbox (badness 10000) in paragraph at lines 664--666


Underfull \vbox (badness 4378) has occurred while \output is active [12]

LaTeX Warning: Citation `crlibmweb' on page 13 undefined on input line 692.


LaTeX Warning: Reference `addDDref' on page 13 undefined on input line 692.


LaTeX Warning: Reference `addDDref' on page 13 undefined on input line 694.


LaTeX Warning: Reference `addDDref' on page 13 undefined on input line 695.


Overfull \hbox (17.95969pt too wide) in paragraph at lines 694--697
[]

Underfull \hbox (badness 10000) in paragraph at lines 694--697

[13]
Overfull \hbox (16.71385pt too wide) in alignment at lines 757--762
 [][][] []

LaTeX Warning: Reference `addDDref' on page 14 undefined on input line 784.


LaTeX Warning: Reference `addDDref' on page 14 undefined on input line 785.


LaTeX Warning: Reference `AddDDpreuve' on page 14 undefined on input line 795.

[14]

LaTeX Warning: Reference `addDDref' on page 15 undefined on input line 834.


LaTeX Warning: Reference `addDDref' on page 15 undefined on input line 835.

[15]

LaTeX Warning: Reference `theoAddDDref' on page 16 undefined on input line 847.


LaTeX Warning: Reference `theoAddDDrefborn' on page 16 undefined on input line 
847.


LaTeX Warning: Citation `Ste74' on page 16 undefined on input line 854.


LaTeX Warning: Reference `addDDref' on page 16 undefined on input line 873.


LaTeX Warning: Reference `addDDref' on page 16 undefined on input line 874.


Underfull \hbox (badness 10000) in paragraph at lines 889--891

[16]
Underfull \hbox (badness 10000) in paragraph at lines 893--899


LaTeX Warning: Citation `crlibmweb' on page 17 undefined on input line 902.


LaTeX Warning: Reference `mulDDref' on page 17 undefined on input line 902.


LaTeX Warning: Reference `mulDDref' on page 17 undefined on input line 903.


LaTeX Warning: Reference `mulDDref' on page 17 undefined on input line 904.


LaTeX Warning: Reference `mulDDref' on page 17 undefined on input line 913.

[17]
Underfull \hbox (badness 10000) in paragraph at lines 990--992

[18]

LaTeX Warning: Reference `addTTref' on page 19 undefined on input line 1004.


LaTeX Warning: Reference `addTTref' on page 19 undefined on input line 1006.


LaTeX Warning: Reference `addTTref' on page 19 undefined on input line 1018.


LaTeX Warning: Reference `theoAddTT' on page 19 undefined on input line 1021.

[19] [20]
Overfull \hbox (3.26712pt too wide) in paragraph at lines 1136--1139
\T1/cmr/m/n/10 In or-der to give a lower bound for this term, let us prove an u
p-per bound for $[]$
[21]

LaTeX Warning: Reference `addTTref' on page 22 undefined on input line 1214.


LaTeX Warning: Reference `addTTref' on page 22 undefined on input line 1216.

[22]
Underfull \hbox (badness 10000) in paragraph at lines 1255--1257


Underfull \hbox (badness 10000) in paragraph at lines 1259--1265


LaTeX Warning: Reference `addDTTref' on page 23 undefined on input line 1268.


LaTeX Warning: Reference `addDTTref' on page 23 undefined on input line 1269.

[23] [24] [25] [26]
Underfull \hbox (badness 10000) in paragraph at lines 1432--1434


Underfull \hbox (badness 10000) in paragraph at lines 1436--1443


LaTeX Warning: Reference `mulDTref' on page 27 undefined on input line 1446.


LaTeX Warning: Reference `mulDTref' on page 27 undefined on input line 1447.


LaTeX Warning: Reference `mulDTref' on page 27 undefined on input line 1457.


LaTeX Warning: Reference `addDDerrabs' on page 27 undefined on input line 1490.


[27]

LaTeX Warning: Reference `mulDTref' on page 28 undefined on input line 1495.


LaTeX Warning: Reference `mulDTref' on page 28 undefined on input line 1527.

[28]

LaTeX Warning: Reference `addDDerrabs' on page 29 undefined on input line 1547.


LaTeX Warning: Reference `mulDTref' on page 29 undefined on input line 1593.

[29]
Underfull \hbox (badness 10000) in paragraph at lines 1634--1636


Underfull \hbox (badness 10000) in paragraph at lines 1638--1649

[30]

LaTeX Warning: Reference `mulDTTref' on page 31 undefined on input line 1652.


LaTeX Warning: Reference `mulDTTref' on page 31 undefined on input line 1653.


LaTeX Warning: Reference `addDDerrabs' on page 31 undefined on input line 1682.


[31] [32] [33] [34]
Overfull \hbox (0.24716pt too wide) in alignment at lines 1887--1902
 [][][] []
[35]

LaTeX Warning: Reference `mulDTTref' on page 36 undefined on input line 1921.


Underfull \hbox (badness 10000) in paragraph at lines 1918--1924


LaTeX Warning: Citation `Defour-thesis' on page 36 undefined on input line 1975
.


LaTeX Warning: Citation `crlibmweb' on page 36 undefined on input line 1975.


LaTeX Warning: Citation `DinDefLau2004LIP' on page 36 undefined on input line 1
975.


LaTeX Warning: Citation `IEEE754' on page 36 undefined on input line 1977.

[36]

LaTeX Warning: Reference `defprocarrcorr' on page 37 undefined on input line 20
01.


LaTeX Warning: Citation `IEEE754' on page 37 undefined on input line 2022.

[37]

LaTeX Warning: Citation `Ste74' on page 38 undefined on input line 2028.


LaTeX Warning: Reference `predsuccdef' on page 38 undefined on input line 2033.


Underfull \hbox (badness 10000) in paragraph at lines 2046--2050


Underfull \hbox (badness 10000) in paragraph at lines 2046--2050


Underfull \hbox (badness 10000) in paragraph at lines 2055--2059


Underfull \hbox (badness 10000) in paragraph at lines 2055--2059

[38]

LaTeX Warning: Citation `Ste74' on page 39 undefined on input line 2067.


Underfull \hbox (badness 10000) in paragraph at lines 2064--2068


LaTeX Warning: Reference `defulp' on page 39 undefined on input line 2074.


Underfull \hbox (badness 10000) in paragraph at lines 2073--2080


Underfull \hbox (badness 10000) in paragraph at lines 2073--2080


Underfull \hbox (badness 10000) in paragraph at lines 2080--2084


Underfull \hbox (badness 10000) in paragraph at lines 2080--2084


Underfull \hbox (badness 10000) in paragraph at lines 2098--2103

[39]
Underfull \hbox (badness 10000) in paragraph at lines 2122--2124

[40]

LaTeX Warning: Citation `IEEE754' on page 41 undefined on input line 2164.


LaTeX Warning: Citation `Ste74' on page 41 undefined on input line 2170.


Underfull \hbox (badness 10000) in paragraph at lines 2184--2188


Underfull \hbox (badness 10000) in paragraph at lines 2184--2188

[41]
Underfull \hbox (badness 10000) in paragraph at lines 2193--2199


Underfull \hbox (badness 10000) in paragraph at lines 2193--2199


LaTeX Warning: Citation `Ste74' on page 42 undefined on input line 2207.

[42]

LaTeX Warning: Reference `predsuccdef' on page 43 undefined on input line 2236.


Underfull \hbox (badness 10000) in paragraph at lines 2235--2241


Underfull \hbox (badness 10000) in paragraph at lines 2235--2241


Underfull \hbox (badness 10000) in paragraph at lines 2256--2260


Underfull \hbox (badness 10000) in paragraph at lines 2256--2260

[43]

LaTeX Warning: Reference `poweroftwo' on page 44 undefined on input line 2305.

[44]
Underfull \hbox (badness 10000) in paragraph at lines 2331--2332


Underfull \hbox (badness 10000) in paragraph at lines 2334--2343


LaTeX Warning: Reference `algarrpres' on page 45 undefined on input line 2397.


LaTeX Warning: Reference `algarrpres' on page 45 undefined on input line 2398.


LaTeX Warning: Reference `equivxormult' on page 45 undefined on input line 2412
.


LaTeX Warning: Reference `genmiquartulp' on page 45 undefined on input line 242
1.


LaTeX Warning: Reference `genmiulp' on page 45 undefined on input line 2421.


LaTeX Warning: Reference `gensigne' on page 45 undefined on input line 2421.

[45]

LaTeX Warning: Reference `equivxormult' on page 46 undefined on input line 2430
.


LaTeX Warning: Reference `defoverlap' on page 46 undefined on input line 2455.

[46]

LaTeX Warning: Reference `ulpmonoton' on page 47 undefined on input line 2523.

[47]

LaTeX Warning: Reference `commut' on page 48 undefined on input line 2536.


LaTeX Warning: Reference `poweroftwo' on page 48 undefined on input line 2536.


LaTeX Warning: Reference `multhalf' on page 48 undefined on input line 2551.


LaTeX Warning: Reference `succtroisfoispuissdeux' on page 48 undefined on input
 line 2574.

[48] [49] [50] [51]

LaTeX Warning: Citation `IEEE754' on page 52 undefined on input line 2736.


Underfull \hbox (badness 10000) in paragraph at lines 2761--2769

[52] [53]

LaTeX Warning: Citation `Defour-thesis' on page 54 undefined on input line 2833
.


LaTeX Warning: Citation `IEEE754' on page 54 undefined on input line 2833.


LaTeX Warning: Citation `crlibmweb' on page 54 undefined on input line 2839.


LaTeX Warning: Citation `Defour-thesis' on page 54 undefined on input line 2839
.

[54]

LaTeX Warning: Reference `decarrdir' on page 55 undefined on input line 2897.

[55]

LaTeX Warning: Reference `arrdirper' on page 56 undefined on input line 2948.


LaTeX Warning: Reference `arrdirper' on page 56 undefined on input line 2949.

[56]

LaTeX Warning: Reference `commut' on page 57 undefined on input line 2974.


LaTeX Warning: Reference `defulp' on page 57 undefined on input line 2975.

[57]

LaTeX Warning: Reference `arrdirper' on page 58 undefined on input line 3027.


LaTeX Warning: Reference `notpoweroftwo' on page 58 undefined on input line 304
9.


Underfull \hbox (badness 10000) in paragraph at lines 3059--3065

[58]

LaTeX Warning: Reference `arrdirper' on page 59 undefined on input line 3110.

[59]

LaTeX Warning: Reference `multhalf' on page 60 undefined on input line 3154.

[60]

LaTeX Warning: Reference `notpoweroftwo' on page 61 undefined on input line 317
8.

[61]

LaTeX Warning: Reference `decarrdir' on page 62 undefined on input line 3240.

[62]

LaTeX Warning: Reference `arrdirper' on page 63 undefined on input line 3258.


LaTeX Warning: Reference `moinsquunmiulp' on page 63 undefined on input line 32
76.


LaTeX Warning: Reference `plusdunmiulp' on page 63 undefined on input line 3276
.

No file tripledoubleprocedures.bbl.
[63] (./tripledoubleprocedures.aux)
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecbx1200
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecbx1200
This is METAFONT, Version 2.718281 (Web2C 7.5.7)

(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx1200.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf
 Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf
 Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf
 Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf
 Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf
 Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf
 Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf
 Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf
 Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf
 Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf
 Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf
 Ok [38] [63] [190])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf
 Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf
 Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108]
[109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf
 Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf
 Ok) ) ) )
Font metrics written on ecbx1200.tfm.
Output written on ecbx1200.600gf (256 characters, 59220 bytes).
Transcript written on ecbx1200.log.
mktexpk: /usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1200.600pk: successfully generated.


LaTeX Warning: There were undefined references.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 )
(see the transcript file for additional information) </usr/src/.texmf-var/fonts
/pk/ljfour/jknappen/ec/ecbx1200.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecti1000
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecti1000
This is METAFONT, Version 2.718281 (Web2C 7.5.7)

(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecti1000.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecti.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/extextit.mf
 Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exileast.mf
 Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exilwest.mf
 Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf
 Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf
 Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf
 Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf
 Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf
 Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf
 Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exilig.mf
 Ok [25] [26] [27] [28] [29] [30] [31])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exitalp.mf
 Ok [38] [63] [190])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf
 Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exillett.mf
 Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108]
[109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exidigit.mf
 Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exiligtb.mf
 Ok) ) ) )
Font metrics written on ecti1000.tfm.
Output written on ecti1000.600gf (256 characters, 53420 bytes).
Transcript written on ecti1000.log.
mktexpk: /usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecti1000.600pk: successfully generated.
 </usr/src/.texmf-var/fonts/pk/ljfour/jkn
appen/ec/ecti1000.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecbx1000
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecbx1000
This is METAFONT, Version 2.718281 (Web2C 7.5.7)

(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx1000.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf
 Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf
 Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf
 Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf
 Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf
 Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf
 Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf
 Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf
 Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf
 Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf
 Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf
 Ok [38] [63] [190])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf
 Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf
 Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108]
[109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf
 Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf
 Ok) ) ) )
Font metrics written on ecbx1000.tfm.
Output written on ecbx1000.600gf (256 characters, 49864 bytes).
Transcript written on ecbx1000.log.
mktexpk: /usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1000.600pk: successfully generated.
 </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1
000.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1000
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecrm1000
This is METAFONT, Version 2.718281 (Web2C 7.5.7)

(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm1000.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf
 Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf
 Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf
 Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf
 Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf
 Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf
 Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf
 Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf
 Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf
 Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf
 Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf
 Ok [38] [63] [190])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf
 Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf
 Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108]
[109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf
 Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf
 Ok) ) ) )
(some charht values had to be adjusted by as much as 0.06586pt)
Font metrics written on ecrm1000.tfm.
Output written on ecrm1000.600gf (256 characters, 51184 bytes).
Transcript written on ecrm1000.log.
mktexpk: /usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1000.600pk: successfully generated.
 </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1000.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecbx1440
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecbx1440
This is METAFONT, Version 2.718281 (Web2C 7.5.7)

(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx1440.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf
 Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf
 Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf
 Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf
 Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf
 Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf
 Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf
 Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf
 Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf
 Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf
 Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf
 Ok [38] [63] [190])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf
 Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf
 Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108]
[109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf
 Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf
 Ok) ) ) )
(some charht values had to be adjusted by as much as 0.10997pt)
Font metrics written on ecbx1440.tfm.
Output written on ecbx1440.600gf (256 characters, 70764 bytes).
Transcript written on ecbx1440.log.
mktexpk: /usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1440.600pk: successfully generated.
 </u
sr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1440.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecbx0900
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecbx0900
This is METAFONT, Version 2.718281 (Web2C 7.5.7)

(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx0900.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf
 Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf
 Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf
 Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf
 Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf
 Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf
 Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf
 Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf
 Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf
 Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf
 Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf
 Ok [38] [63] [190])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf
 Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf
 Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108]
[109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf
 Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf
 Ok) ) ) )
Font metrics written on ecbx0900.tfm.
Output written on ecbx0900.600gf (256 characters, 45332 bytes).
Transcript written on ecbx0900.log.
mktexpk: /usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx0900.600pk: successfully generated.
 </usr/src/.texmf-
var/fonts/pk/ljfour/jknappen/ec/ecbx0900.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1200
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecrm1200
This is METAFONT, Version 2.718281 (Web2C 7.5.7)

(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm1200.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf
 Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf
 Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf
 Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf
 Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf
 Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf
 Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf
 Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf
 Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf
 Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf
 Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf
 Ok [38] [63] [190])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf
 Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf
 Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108]
[109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf
 Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf
 Ok) ) ) )
(some charht values had to be adjusted by as much as 0.07143pt)
Font metrics written on ecrm1200.tfm.
Output written on ecrm1200.600gf (256 characters, 60320 bytes).
Transcript written on ecrm1200.log.
mktexpk: /usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1200.600pk: successfully generated.
 </usr/src/.texmf-var/fonts/pk/l
jfour/jknappen/ec/ecrm1200.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm0900
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecrm0900
This is METAFONT, Version 2.718281 (Web2C 7.5.7)

(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm0900.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf
 Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf
 Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf
 Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf
 Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf
 Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf
 Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf
 Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf
 Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf
 Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf
 Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf
 Ok [38] [63] [190])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf
 Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf
 Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108]
[109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf
 Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf
 Ok) ) ) )
(some charht values had to be adjusted by as much as 0.07498pt)
Font metrics written on ecrm0900.tfm.
Output written on ecrm0900.600gf (256 characters, 46448 bytes).
Transcript written on ecrm0900.log.
mktexpk: /usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm0900.600pk: successfully generated.
 </usr/src/.texmf-var/fonts/pk/ljfour/jknappen
/ec/ecrm0900.600pk>
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1728
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecrm1728
This is METAFONT, Version 2.718281 (Web2C 7.5.7)

(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm1728.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf
 Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf
 Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf
 Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf
 Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf
 Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf
 Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf
 Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf
 Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf
 Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf
 Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf
 Ok [38] [63] [190])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf
 Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf
 Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108]
[109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf
 Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf
 Ok) ) ) )
(some charht values had to be adjusted by as much as 0.0972pt)
Font metrics written on ecrm1728.tfm.
Output written on ecrm1728.600gf (256 characters, 84608 bytes).
Transcript written on ecrm1728.log.
mktexpk: /usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.600pk: successfully generated.
 </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.6
00pk></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmbx10.pfb></usr/share/te
xmf-texlive/fonts/type1/bluesky/cm/cmex10.pfb></usr/share/texmf-texlive/fonts/t
ype1/bluesky/cm/cmmi10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmm
i5.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmmi7.pfb></usr/share/t
exmf-texlive/fonts/type1/bluesky/cm/cmr10.pfb></usr/share/texmf-texlive/fonts/t
ype1/bluesky/cm/cmr7.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmsy1
0.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmsy7.pfb></usr/share/te
xmf-texlive/fonts/type1/bluesky/cm/cmti10.pfb></usr/share/texmf-texlive/fonts/t
ype1/bluesky/cm/cmti7.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/ams/msa
m10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/ams/msbm10.pfb>
Output written on tripledoubleprocedures.pdf (63 pages, 359131 bytes).
Transcript written on tripledoubleprocedures.log.
This is BibTeX, Version 0.99c (Web2C 7.5.7)
The top-level auxiliary file: tripledoubleprocedures.aux
The style file: plain.bst
Database file #1: elem-fun.bib.bib
Warning--to sort, need author or key in crlibmweb
(There was 1 warning)
This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7)
 %&-line parsing enabled.
entering extended mode
(./tripledoubleprocedures.tex
LaTeX2e <2005/12/01>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, farsi, arabic, bulgarian, ukrainian, russian, french, basque, germa
n, ngerman, german-x-2008-06-18, ngerman-x-2008-06-18, polish, loaded.
(/usr/share/texmf-texlive/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/size10.clo))
(/usr/share/texmf-texlive/tex/latex/ltxmisc/a4wide.sty
(/usr/share/texmf-texlive/tex/latex/ntgclass/a4.sty))
(/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
(/usr/share/texmf-texlive/tex/latex/base/latin1.def))
(/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
(/usr/share/texmf-texlive/tex/latex/base/t1enc.def))
(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty)
(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
(/usr/share/texmf-texlive/tex/latex/base/latexsym.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty)
(./tripledoubleprocedures.aux)
(/usr/share/texmf-texlive/tex/latex/base/ulasy.fd)
(/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd)
(/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd)

LaTeX Warning: Citation `Muller97' on page 1 undefined on input line 91.


LaTeX Warning: Citation `Defour-thesis' on page 1 undefined on input line 91.


LaTeX Warning: Citation `crlibmweb' on page 1 undefined on input line 91.


LaTeX Warning: Citation `DinDefLau2004LIP' on page 1 undefined on input line 91
.


LaTeX Warning: Citation `DinDefLau2004LIP' on page 1 undefined on input line 92
.


LaTeX Warning: Citation `Dek71' on page 1 undefined on input line 94.


LaTeX Warning: Citation `Finot-thesis' on page 1 undefined on input line 98.


LaTeX Warning: Citation `Pri91' on page 1 undefined on input line 98.


LaTeX Warning: Citation `She97' on page 1 undefined on input line 98.


LaTeX Warning: Citation `Finot-thesis' on page 1 undefined on input line 121.


Underfull \vbox (badness 1107) has occurred while \output is active [1{/var/cac
he/texmf/fonts/map/pdftex/updmap/pdftex.map}]

LaTeX Warning: Citation `Defour-thesis' on page 2 undefined on input line 141.


LaTeX Warning: Citation `Defour-thesis' on page 2 undefined on input line 151.


LaTeX Warning: Citation `Muller05INRIA' on page 2 undefined on input line 151.


Underfull \hbox (badness 10000) in paragraph at lines 151--152

[2]
Underfull \hbox (badness 10000) in paragraph at lines 190--194

(/usr/share/texmf-texlive/tex/latex/base/omscmr.fd)
Underfull \hbox (badness 10000) in paragraph at lines 205--209


LaTeX Warning: Citation `Dek71' on page 3 undefined on input line 220.

[3]
Underfull \hbox (badness 10000) in paragraph at lines 244--248


Underfull \hbox (badness 10000) in paragraph at lines 251--257

[4] [5] [6] [7]

LaTeX Warning: Citation `Finot-thesis' on page 8 undefined on input line 455.

[8]
Underfull \hbox (badness 10000) in paragraph at lines 494--495

[9] [10]
Underfull \hbox (badness 10000) in paragraph at lines 607--611


Underfull \hbox (badness 10000) in paragraph at lines 615--619


LaTeX Warning: Citation `IEEE754' on page 11 undefined on input line 620.

[11]

LaTeX Warning: Citation `Dek71' on page 12 undefined on input line 643.


Underfull \hbox (badness 10000) in paragraph at lines 664--666


Underfull \vbox (badness 4378) has occurred while \output is active [12]

LaTeX Warning: Citation `crlibmweb' on page 13 undefined on input line 692.


Overfull \hbox (21.79208pt too wide) in paragraph at lines 694--697
[]

Underfull \hbox (badness 10000) in paragraph at lines 694--697

[13]
Overfull \hbox (16.71385pt too wide) in alignment at lines 757--762
 [][][] []
[14] [15]

LaTeX Warning: Citation `Ste74' on page 16 undefined on input line 854.


Underfull \hbox (badness 10000) in paragraph at lines 889--891

[16]
Underfull \hbox (badness 10000) in paragraph at lines 893--899


LaTeX Warning: Citation `crlibmweb' on page 17 undefined on input line 902.

[17]
Underfull \hbox (badness 10000) in paragraph at lines 990--992

[18] [19] [20]
Overfull \hbox (3.26712pt too wide) in paragraph at lines 1136--1139
\T1/cmr/m/n/10 In or-der to give a lower bound for this term, let us prove an u
p-per bound for $[]$
[21] [22]
Underfull \hbox (badness 10000) in paragraph at lines 1255--1257


Underfull \hbox (badness 10000) in paragraph at lines 1259--1265

[23] [24] [25] [26]
Underfull \hbox (badness 10000) in paragraph at lines 1432--1434


Underfull \hbox (badness 10000) in paragraph at lines 1436--1443

[27] [28] [29]
Underfull \hbox (badness 10000) in paragraph at lines 1634--1636


Underfull \hbox (badness 10000) in paragraph at lines 1638--1649

[30] [31] [32] [33] [34]
Overfull \hbox (0.24716pt too wide) in alignment at lines 1887--1902
 [][][] []
[35]
Underfull \hbox (badness 10000) in paragraph at lines 1918--1924


LaTeX Warning: Citation `Defour-thesis' on page 36 undefined on input line 1975
.


LaTeX Warning: Citation `crlibmweb' on page 36 undefined on input line 1975.


LaTeX Warning: Citation `DinDefLau2004LIP' on page 36 undefined on input line 1
975.


LaTeX Warning: Citation `IEEE754' on page 36 undefined on input line 1977.

[36]

LaTeX Warning: Citation `IEEE754' on page 37 undefined on input line 2022.

[37]

LaTeX Warning: Citation `Ste74' on page 38 undefined on input line 2028.


Underfull \hbox (badness 10000) in paragraph at lines 2046--2050


Underfull \hbox (badness 10000) in paragraph at lines 2046--2050


Underfull \hbox (badness 10000) in paragraph at lines 2055--2059


Underfull \hbox (badness 10000) in paragraph at lines 2055--2059

[38]

LaTeX Warning: Citation `Ste74' on page 39 undefined on input line 2067.


Underfull \hbox (badness 10000) in paragraph at lines 2064--2068


Underfull \hbox (badness 10000) in paragraph at lines 2073--2080


Underfull \hbox (badness 10000) in paragraph at lines 2073--2080


Underfull \hbox (badness 10000) in paragraph at lines 2080--2084


Underfull \hbox (badness 10000) in paragraph at lines 2080--2084


Underfull \hbox (badness 10000) in paragraph at lines 2098--2103

[39]
Underfull \hbox (badness 10000) in paragraph at lines 2122--2124

[40]

LaTeX Warning: Citation `IEEE754' on page 41 undefined on input line 2164.


LaTeX Warning: Citation `Ste74' on page 41 undefined on input line 2170.


Underfull \hbox (badness 10000) in paragraph at lines 2184--2188


Underfull \hbox (badness 10000) in paragraph at lines 2184--2188

[41]
Underfull \hbox (badness 10000) in paragraph at lines 2193--2199


Underfull \hbox (badness 10000) in paragraph at lines 2193--2199


LaTeX Warning: Citation `Ste74' on page 42 undefined on input line 2207.

[42]
Underfull \hbox (badness 10000) in paragraph at lines 2235--2241


Underfull \hbox (badness 10000) in paragraph at lines 2235--2241


Underfull \hbox (badness 10000) in paragraph at lines 2256--2260


Underfull \hbox (badness 10000) in paragraph at lines 2256--2260

[43] [44]
Underfull \hbox (badness 10000) in paragraph at lines 2331--2332


Underfull \hbox (badness 10000) in paragraph at lines 2334--2343

[45] [46] [47] [48] [49] [50] [51]

LaTeX Warning: Citation `IEEE754' on page 52 undefined on input line 2736.


Underfull \hbox (badness 10000) in paragraph at lines 2761--2769

[52] [53]

LaTeX Warning: Citation `Defour-thesis' on page 54 undefined on input line 2833
.


LaTeX Warning: Citation `IEEE754' on page 54 undefined on input line 2833.


LaTeX Warning: Citation `crlibmweb' on page 54 undefined on input line 2839.


LaTeX Warning: Citation `Defour-thesis' on page 54 undefined on input line 2839
.

[54] [55] [56] [57]
Underfull \hbox (badness 10000) in paragraph at lines 3059--3065

[58] [59] [60] [61] [62] (./tripledoubleprocedures.bbl
(/usr/share/texmf-texlive/tex/latex/base/t1cmtt.fd) [63]) [64]
(./tripledoubleprocedures.aux)
kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt1000
mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt1000
This is METAFONT, Version 2.718281 (Web2C 7.5.7)

(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ectt1000.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf)
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/ectt.mf
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf
 Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf
 Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf
 Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203]
[204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215]
[216] [217] [218] [219] [220] [221] [222] [223])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf
 Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235]
[236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247]
[248] [249] [250] [251] [252] [253] [254] [255])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf
 Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156] [157])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf
 Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186] [187] [188])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf
 Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125]
[95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf
 Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58]
[59] [61] [96] [189] [17] [45] [16] [21] [22])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf
 Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf
 Ok [24] [34] [35] [36] [37] [64] [191] [159])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf
 Ok [25] [26] [28] [27] [29] [30] [31])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf
 Ok [38] [63] [190])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf
 Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf
 Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108]
[109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120]
[121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf
 Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57])
(/usr/share/texmf-texlive/fonts/source/jknappen/ec/exmligtb.mf
 Ok) ) ) )
Font metrics written on ectt1000.tfm.
Output written on ectt1000.600gf (256 characters, 43832 bytes).
Transcript written on ectt1000.log.
mktexpk: /usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ectt1000.600pk: successfully generated.


LaTeX Warning: There were undefined references.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 )
(see the transcript file for additional information) </usr/src/.texmf-var/fonts
/pk/ljfour/jknappen/ec/ectt1000.600pk> </usr/src/.texmf-var/fonts/pk/ljfour/jkn
appen/ec/ecbx1200.600pk> </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecti1
000.600pk> </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1000.600pk> </u
sr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1000.600pk> </usr/src/.texmf-
var/fonts/pk/ljfour/jknappen/ec/ecbx1440.600pk> </usr/src/.texmf-var/fonts/pk/l
jfour/jknappen/ec/ecbx0900.600pk> </usr/src/.texmf-var/fonts/pk/ljfour/jknappen
/ec/ecrm1200.600pk> </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm0900.6
00pk> </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.600pk></usr/sha
re/texmf-texlive/fonts/type1/bluesky/cm/cmbx10.pfb></usr/share/texmf-texlive/fo
nts/type1/bluesky/cm/cmex10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/c
m/cmmi10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmmi5.pfb></usr/s
hare/texmf-texlive/fonts/type1/bluesky/cm/cmmi7.pfb></usr/share/texmf-texlive/f
onts/type1/bluesky/cm/cmr10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/c
m/cmr7.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmsy10.pfb></usr/sh
are/texmf-texlive/fonts/type1/bluesky/cm/cmsy7.pfb></usr/share/texmf-texlive/fo
nts/type1/bluesky/cm/cmti10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/c
m/cmti7.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/ams/msam10.pfb></usr/
share/texmf-texlive/fonts/type1/bluesky/ams/msbm10.pfb>
Output written on tripledoubleprocedures.pdf (64 pages, 375579 bytes).
Transcript written on tripledoubleprocedures.log.
This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7)
 %&-line parsing enabled.
entering extended mode
(./tripledoubleprocedures.tex
LaTeX2e <2005/12/01>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, farsi, arabic, bulgarian, ukrainian, russian, french, basque, germa
n, ngerman, german-x-2008-06-18, ngerman-x-2008-06-18, polish, loaded.
(/usr/share/texmf-texlive/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/size10.clo))
(/usr/share/texmf-texlive/tex/latex/ltxmisc/a4wide.sty
(/usr/share/texmf-texlive/tex/latex/ntgclass/a4.sty))
(/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
(/usr/share/texmf-texlive/tex/latex/base/latin1.def))
(/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
(/usr/share/texmf-texlive/tex/latex/base/t1enc.def))
(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty)
(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
(/usr/share/texmf-texlive/tex/latex/base/latexsym.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty)
(./tripledoubleprocedures.aux)
(/usr/share/texmf-texlive/tex/latex/base/ulasy.fd)
(/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd)
(/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd)
Underfull \vbox (badness 1107) has occurred while \output is active [1{/var/cac
he/texmf/fonts/map/pdftex/updmap/pdftex.map}]
Underfull \hbox (badness 10000) in paragraph at lines 151--152

[2]
Underfull \hbox (badness 10000) in paragraph at lines 190--194

(/usr/share/texmf-texlive/tex/latex/base/omscmr.fd)
Underfull \hbox (badness 10000) in paragraph at lines 205--209

[3]
Underfull \hbox (badness 10000) in paragraph at lines 244--248


Underfull \hbox (badness 10000) in paragraph at lines 251--257

[4] [5] [6] [7] [8]
Underfull \hbox (badness 10000) in paragraph at lines 494--495

[9] [10]
Underfull \hbox (badness 10000) in paragraph at lines 607--611


Underfull \hbox (badness 10000) in paragraph at lines 615--619

[11]
Underfull \hbox (badness 10000) in paragraph at lines 664--666


Underfull \vbox (badness 4378) has occurred while \output is active [12]
Overfull \hbox (21.79208pt too wide) in paragraph at lines 694--697
[]

Underfull \hbox (badness 10000) in paragraph at lines 694--697

[13]
Overfull \hbox (16.71385pt too wide) in alignment at lines 757--762
 [][][] []
[14] [15]
Underfull \hbox (badness 10000) in paragraph at lines 889--891

[16]
Underfull \hbox (badness 10000) in paragraph at lines 893--899

[17]
Underfull \hbox (badness 10000) in paragraph at lines 990--992

[18] [19] [20]
Overfull \hbox (3.26712pt too wide) in paragraph at lines 1136--1139
\T1/cmr/m/n/10 In or-der to give a lower bound for this term, let us prove an u
p-per bound for $[]$
[21] [22]
Underfull \hbox (badness 10000) in paragraph at lines 1255--1257


Underfull \hbox (badness 10000) in paragraph at lines 1259--1265

[23] [24] [25] [26]
Underfull \hbox (badness 10000) in paragraph at lines 1432--1434


Underfull \hbox (badness 10000) in paragraph at lines 1436--1443

[27] [28] [29]
Underfull \hbox (badness 10000) in paragraph at lines 1634--1636


Underfull \hbox (badness 10000) in paragraph at lines 1638--1649

[30] [31] [32] [33] [34]
Overfull \hbox (0.24716pt too wide) in alignment at lines 1887--1902
 [][][] []
[35]
Underfull \hbox (badness 10000) in paragraph at lines 1918--1924

[36] [37]
Underfull \hbox (badness 10000) in paragraph at lines 2046--2050


Underfull \hbox (badness 10000) in paragraph at lines 2046--2050


Underfull \hbox (badness 10000) in paragraph at lines 2055--2059


Underfull \hbox (badness 10000) in paragraph at lines 2055--2059

[38]
Underfull \hbox (badness 10000) in paragraph at lines 2064--2068


Underfull \hbox (badness 10000) in paragraph at lines 2073--2080


Underfull \hbox (badness 10000) in paragraph at lines 2073--2080


Underfull \hbox (badness 10000) in paragraph at lines 2080--2084


Underfull \hbox (badness 10000) in paragraph at lines 2080--2084


Underfull \hbox (badness 10000) in paragraph at lines 2098--2103

[39]
Underfull \hbox (badness 10000) in paragraph at lines 2122--2124

[40]
Underfull \hbox (badness 10000) in paragraph at lines 2184--2188


Underfull \hbox (badness 10000) in paragraph at lines 2184--2188

[41]
Underfull \hbox (badness 10000) in paragraph at lines 2193--2199


Underfull \hbox (badness 10000) in paragraph at lines 2193--2199

[42]
Underfull \hbox (badness 10000) in paragraph at lines 2235--2241


Underfull \hbox (badness 10000) in paragraph at lines 2235--2241


Underfull \hbox (badness 10000) in paragraph at lines 2256--2260


Underfull \hbox (badness 10000) in paragraph at lines 2256--2260

[43] [44]
Underfull \hbox (badness 10000) in paragraph at lines 2331--2332


Underfull \hbox (badness 10000) in paragraph at lines 2334--2343

[45] [46] [47] [48] [49] [50] [51]
Underfull \hbox (badness 10000) in paragraph at lines 2761--2769

[52] [53] [54] [55] [56] [57]
Underfull \hbox (badness 10000) in paragraph at lines 3059--3065

[58] [59] [60] [61] [62] (./tripledoubleprocedures.bbl
(/usr/share/texmf-texlive/tex/latex/base/t1cmtt.fd) [63]) [64]
(./tripledoubleprocedures.aux) )
(see the transcript file for additional information) </usr/src/.texmf-var/fonts
/pk/ljfour/jknappen/ec/ectt1000.600pk> </usr/src/.texmf-var/fonts/pk/ljfour/jkn
appen/ec/ecbx1200.600pk> </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecti1
000.600pk> </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1000.600pk> </u
sr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1000.600pk> </usr/src/.texmf-
var/fonts/pk/ljfour/jknappen/ec/ecbx1440.600pk> </usr/src/.texmf-var/fonts/pk/l
jfour/jknappen/ec/ecbx0900.600pk> </usr/src/.texmf-var/fonts/pk/ljfour/jknappen
/ec/ecrm1200.600pk> </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm0900.6
00pk> </usr/src/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.600pk></usr/sha
re/texmf-texlive/fonts/type1/bluesky/cm/cmbx10.pfb></usr/share/texmf-texlive/fo
nts/type1/bluesky/cm/cmex10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/c
m/cmmi10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmmi5.pfb></usr/s
hare/texmf-texlive/fonts/type1/bluesky/cm/cmmi7.pfb></usr/share/texmf-texlive/f
onts/type1/bluesky/cm/cmr10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/c
m/cmr7.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmsy10.pfb></usr/sh
are/texmf-texlive/fonts/type1/bluesky/cm/cmsy7.pfb></usr/share/texmf-texlive/fo
nts/type1/bluesky/cm/cmti10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/c
m/cmti7.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/ams/msam10.pfb></usr/
share/texmf-texlive/fonts/type1/bluesky/ams/msbm10.pfb>
Output written on tripledoubleprocedures.pdf (64 pages, 374813 bytes).
Transcript written on tripledoubleprocedures.log.
make: Leaving directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
+ exit 0
Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.19710
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ /bin/chmod -Rf u+rwX -- /usr/src/tmp/crlibm-buildroot
+ :
+ /bin/rm -rf -- /usr/src/tmp/crlibm-buildroot
+ cd crlibm-1.0beta4
+ make 'INSTALL=/bin/install -p' install DESTDIR=/usr/src/tmp/crlibm-buildroot
make: Entering directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
Making install in scs_lib
make[1]: Entering directory `/usr/src/RPM/BUILD/crlibm-1.0beta4/scs_lib'
make[2]: Entering directory `/usr/src/RPM/BUILD/crlibm-1.0beta4/scs_lib'
 /bin/mkdir -p '/usr/src/tmp/crlibm-buildroot/usr/lib64'
 /bin/install -p -m 644  libscs.a '/usr/src/tmp/crlibm-buildroot/usr/lib64'
 ( cd '/usr/src/tmp/crlibm-buildroot/usr/lib64' && ranlib libscs.a )
 /bin/mkdir -p '/usr/src/tmp/crlibm-buildroot/usr/include'
 /bin/install -p -m 644 scs.h ../crlibm_config.h '/usr/src/tmp/crlibm-buildroot/usr/include'
make[2]: Leaving directory `/usr/src/RPM/BUILD/crlibm-1.0beta4/scs_lib'
make[1]: Leaving directory `/usr/src/RPM/BUILD/crlibm-1.0beta4/scs_lib'
Making install in .
make[1]: Entering directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
make[2]: Entering directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
 /bin/mkdir -p '/usr/src/tmp/crlibm-buildroot/usr/lib64'
 /bin/install -p -m 644  libcrlibm.a '/usr/src/tmp/crlibm-buildroot/usr/lib64'
 ( cd '/usr/src/tmp/crlibm-buildroot/usr/lib64' && ranlib libcrlibm.a )
 /bin/mkdir -p '/usr/src/tmp/crlibm-buildroot/usr/include'
 /bin/install -p -m 644 crlibm.h '/usr/src/tmp/crlibm-buildroot/usr/include'
make[2]: Leaving directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
make[1]: Leaving directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
make: Leaving directory `/usr/src/RPM/BUILD/crlibm-1.0beta4'
+ pushd /usr/src/tmp/crlibm-buildroot/usr/lib64
~/tmp/crlibm-buildroot/usr/lib64 ~/RPM/BUILD/crlibm-1.0beta4
+ for i in crlibm scs
+ gcc -shared -Wl,--whole-archive libcrlibm.a -Wl,--no-whole-archive -lmpfr -lgmp -Wl,-soname=libcrlibm.so.1 -o libcrlibm.so.1
+ ln -s libcrlibm.so.1 libcrlibm.so
+ for i in crlibm scs
+ gcc -shared -Wl,--whole-archive libscs.a -Wl,--no-whole-archive -lmpfr -lgmp -Wl,-soname=libscs.so.1 -o libscs.so.1
+ ln -s libscs.so.1 libscs.so
+ popd
~/RPM/BUILD/crlibm-1.0beta4
+ /usr/lib/rpm/brp-alt
Cleaning files in /usr/src/tmp/crlibm-buildroot (auto)
mode of './usr/lib64/libscs.so.1' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
mode of './usr/lib64/libcrlibm.so.1' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--)
Verifying and fixing files in /usr/src/tmp/crlibm-buildroot (binconfig,pkgconfig,libtool,desktop)
Compressing files in /usr/src/tmp/crlibm-buildroot (auto)
Adjusting library links in /usr/src/tmp/crlibm-buildroot
./usr/lib64:
	libcrlibm.so.1 -> libcrlibm.so.1
	libscs.so.1 -> libscs.so.1
Verifying ELF objects in /usr/src/tmp/crlibm-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal)
Hardlinking identical .pyc and .pyo files
Processing files: libcrlibm-1.0beta4-alt2
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.28901
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd crlibm-1.0beta4
+ DOCDIR=/usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-1.0beta4
+ export DOCDIR
+ rm -rf /usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-1.0beta4
+ /bin/mkdir -p /usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-1.0beta4
+ cp -prL AUTHORS ChangeLog NEWS README TODO /usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-1.0beta4
+ chmod -R go-w /usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-1.0beta4
+ chmod -R a+rX /usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-1.0beta4
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.YQ4hV2
find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell)
lib.prov: /usr/src/tmp/crlibm-buildroot/usr/lib64/libcrlibm.so.1: 146 symbols, 18 bpp
lib.prov: /usr/src/tmp/crlibm-buildroot/usr/lib64/libscs.so.1: 29 symbols, 15 bpp
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.DT1Afn
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks)
Provides: libcrlibm.so.1()(64bit) = set:ldyOmAcX42gX9rz68diA1U4Z1GffemgRrP56acqoLV4ovy1P9ouf2NHjq1scMTKfY3rbHyKtazmVh2nhrUO5LhQ9YXntkbEKAqvi0yc6UzDRsqs5KUslWMyhdRZybL5DgKjCitKwXWZjhizvWB0tjRcYrJi2fdm9wr06z5BlM750aUGmwG7rikncuxvDg7TEraPYfATHYdoKH5wSRUv2QlDKn4o01iSFJe1lcXpVrZqKiCU4L0Igk6fuapesBrO5Gh2VctmaMFtdBiIewtPrhFaA9Xw3We1TZ7bY5A16LyMcKu9, libscs.so.1()(64bit) = set:idEeAbudXoaiY9ZkF05JGDZCWPVXx6sdTSzv1ld57KOZaJSZont5lafHTOi7
Requires: libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libmpfr.so.4()(64bit) >= set:mikBvjIP7ByFbZdAzaiyVvoy31, rtld(GNU_HASH)
Requires(rpmlib): rpmlib(SetVersions)
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.AIRkFK
Creating libcrlibm-debuginfo package
Processing files: libcrlibm-devel-1.0beta4-alt2
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.pBETab
find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.prayQE
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks)
Requires: libcrlibm = 1.0beta4-alt2, /usr/lib64/libcrlibm.so.1, /usr/lib64/libscs.so.1
Conflicts: libscs-devel
Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.RGs3Ib
Processing files: libcrlibm-devel-doc-1.0beta4-alt2
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.26064
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd crlibm-1.0beta4
+ DOCDIR=/usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-devel-doc-1.0beta4
+ export DOCDIR
+ rm -rf /usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-devel-doc-1.0beta4
+ /bin/mkdir -p /usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-devel-doc-1.0beta4
+ cp -prL docs/crlibm.pdf docs/tripledoubleprocedures.pdf /usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-devel-doc-1.0beta4
+ chmod -R go-w /usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-devel-doc-1.0beta4
+ chmod -R a+rX /usr/src/tmp/crlibm-buildroot/usr/share/doc/libcrlibm-devel-doc-1.0beta4
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.IrA7ZL
find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.dHMN0o
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks)
Processing files: libcrlibm-debuginfo-1.0beta4-alt2
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.lvXZZ4
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.EWBx5N
find-requires: running scripts (debuginfo)
Provides: debug64(libcrlibm.so.1), debug64(libscs.so.1)
Requires: libcrlibm = 1.0beta4-alt2, debug64(libc.so.6), debug64(libmpfr.so.4)
Removing 2 extra deps from libcrlibm-devel due to dependency on libcrlibm
warning: Installed (but unpackaged) file(s) found:
    /usr/lib64/libcrlibm.a
    /usr/lib64/libscs.a
Wrote: /usr/src/RPM/RPMS/x86_64/libcrlibm-1.0beta4-alt2.x86_64.rpm
Wrote: /usr/src/RPM/RPMS/x86_64/libcrlibm-devel-1.0beta4-alt2.x86_64.rpm
Wrote: /usr/src/RPM/RPMS/noarch/libcrlibm-devel-doc-1.0beta4-alt2.noarch.rpm
Wrote: /usr/src/RPM/RPMS/x86_64/libcrlibm-debuginfo-1.0beta4-alt2.x86_64.rpm
53.36user 6.25system 1:33.35elapsed 63%CPU (0avgtext+0avgdata 183504maxresident)k
0inputs+0outputs (0major+1104378minor)pagefaults 0swaps
165.88user 21.94system 3:58.83elapsed 78%CPU (0avgtext+0avgdata 183504maxresident)k
160inputs+0outputs (0major+2202331minor)pagefaults 0swaps