intervals 0.3.56

data/ext/crlibm/maple/triple-double.mpl

@@ -0,0 +1,58 @@
+
+read "common-procedures.mpl":
+
+
+#---------------------------------------------------------------------
+# hi_mi_lo takes an arbitrary precision number x and returns three doubles such that:
+# x ~ x_hi + x_mi + x_lo
+hi_mi_lo:= proc(x)
+local x_hi, x_mi, x_lo, res:
+x_hi:= nearest(evalf(x)):
+res:=x-x_hi:
+if (res = 0) then
+  x_mi:=0:
+  x_lo:=0:
+else
+  x_mi:=nearest(evalf(res)):
+  res:=x-(x_hi+x_mi);
+  if (res = 0) then
+    x_lo:=0:
+  else
+    x_lo:=nearest(evalf(res)):
+  end if:
+end if:
+x_hi,x_mi,x_lo:
+end:
+
+
+#---------------------------------------------------------------------
+# same as hi_mi_lo, but returns hexadecimal strings
+ieeehexa3:=proc(x)
+local x_hi, x_mi, x_lo;
+  x_hi, x_mi, x_lo := hi_mi_lo(x):
+  ieeehexa(x_hi), ieeehexa(x_mi), ieeehexa(x_lo):
+end proc:
+
+
+#---------------------------------------------------------------------
+#Like poly_exact, but the first n coefficients as triple doubles, 
+#the next m coefiicients as double doubles and the rest as doubles
+#
+poly_exact32:=proc(P,n,m)
+local deg,i, coef, coef_hi, coef_mi, coef_lo, Q:
+Q:= 0:
+convert(Q, polynom):
+deg:=degree(P,x):
+  for i from 0 to deg do
+    coef :=coeff(P,x,i):
+    coef_hi, coef_mi, coef_lo:=hi_mi_lo(coef):
+    Q:= Q + coef_hi*x^i:
+    if(i<m+n) then
+        Q := Q + coef_mi*x^i:
+    fi: 
+    if(i<n) then
+	Q := Q + coef_lo*x^i:
+    fi:
+  od:
+  return(Q):
+end:

data/ext/crlibm/missing

@@ -0,0 +1,198 @@
+#! /bin/sh
+# Common stub for a few missing GNU programs while installing.
+# Copyright (C) 1996, 1997, 2001, 2002 Free Software Foundation, Inc.
+# Franc,ois Pinard <pinard@iro.umontreal.ca>, 1996.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 2, or (at your option)
+# any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
+# 02111-1307, USA.
+
+if test $# -eq 0; then
+  echo 1>&2 "Try \`$0 --help' for more information"
+  exit 1
+fi
+
+# In the cases where this matters, `missing' is being run in the
+# srcdir already.
+if test -f configure.in; then
+  configure_ac=configure.ac
+else
+  configure_ac=configure.in
+fi
+
+case "$1" in
+
+  -h|--h|--he|--hel|--help)
+    echo "\
+$0 [OPTION]... PROGRAM [ARGUMENT]...
+
+Handle \`PROGRAM [ARGUMENT]...' for when PROGRAM is missing, or return an
+error status if there is no known handling for PROGRAM.
+
+Options:
+  -h, --help      display this help and exit
+  -v, --version   output version information and exit
+
+Supported PROGRAM values:
+  aclocal      touch file \`aclocal.m4'
+  autoconf     touch file \`configure'
+  autoheader   touch file \`config.h.in'
+  automake     touch all \`Makefile.in' files
+  bison        create \`y.tab.[ch]', if possible, from existing .[ch]
+  flex         create \`lex.yy.c', if possible, from existing .c
+  lex          create \`lex.yy.c', if possible, from existing .c
+  makeinfo     touch the output file
+  yacc         create \`y.tab.[ch]', if possible, from existing .[ch]"
+    ;;
+
+  -v|--v|--ve|--ver|--vers|--versi|--versio|--version)
+    echo "missing - GNU libit 0.0"
+    ;;
+
+  -*)
+    echo 1>&2 "$0: Unknown \`$1' option"
+    echo 1>&2 "Try \`$0 --help' for more information"
+    exit 1
+    ;;
+
+  aclocal*)
+    echo 1>&2 "\
+WARNING: \`$1' is missing on your system.  You should only need it if
+         you modified \`acinclude.m4' or \`$configure_ac'.  You might want
+         to install the \`Automake' and \`Perl' packages.  Grab them from
+         any GNU archive site."
+    touch aclocal.m4
+    ;;
+
+  autoconf)
+    echo 1>&2 "\
+WARNING: \`$1' is missing on your system.  You should only need it if
+         you modified \`$configure_ac'.  You might want to install the
+         \`Autoconf' and \`GNU m4' packages.  Grab them from any GNU
+         archive site."
+    touch configure
+    ;;
+
+  autoheader)
+    echo 1>&2 "\
+WARNING: \`$1' is missing on your system.  You should only need it if
+         you modified \`acconfig.h' or \`$configure_ac'.  You might want
+         to install the \`Autoconf' and \`GNU m4' packages.  Grab them
+         from any GNU archive site."
+    files=`sed -n 's/^[ ]*A[CM]_CONFIG_HEADER(\([^)]*\)).*/\1/p' $configure_ac`
+    test -z "$files" && files="config.h"
+    touch_files=
+    for f in $files; do
+      case "$f" in
+      *:*) touch_files="$touch_files "`echo "$f" |
+				       sed -e 's/^[^:]*://' -e 's/:.*//'`;;
+      *) touch_files="$touch_files $f.in";;
+      esac
+    done
+    touch $touch_files
+    ;;
+
+  automake*)
+    echo 1>&2 "\
+WARNING: \`$1' is missing on your system.  You should only need it if
+         you modified \`Makefile.am', \`acinclude.m4' or \`$configure_ac'.
+         You might want to install the \`Automake' and \`Perl' packages.
+         Grab them from any GNU archive site."
+    find . -type f -name Makefile.am -print |
+	   sed 's/\.am$/.in/' |
+	   while read f; do touch "$f"; done
+    ;;
+
+  bison|yacc)
+    echo 1>&2 "\
+WARNING: \`$1' is missing on your system.  You should only need it if
+         you modified a \`.y' file.  You may need the \`Bison' package
+         in order for those modifications to take effect.  You can get
+         \`Bison' from any GNU archive site."
+    rm -f y.tab.c y.tab.h
+    if [ $# -ne 1 ]; then
+        eval LASTARG="\${$#}"
+	case "$LASTARG" in
+	*.y)
+	    SRCFILE=`echo "$LASTARG" | sed 's/y$/c/'`
+	    if [ -f "$SRCFILE" ]; then
+	         cp "$SRCFILE" y.tab.c
+	    fi
+	    SRCFILE=`echo "$LASTARG" | sed 's/y$/h/'`
+	    if [ -f "$SRCFILE" ]; then
+	         cp "$SRCFILE" y.tab.h
+	    fi
+	  ;;
+	esac
+    fi
+    if [ ! -f y.tab.h ]; then
+	echo >y.tab.h
+    fi
+    if [ ! -f y.tab.c ]; then
+	echo 'main() { return 0; }' >y.tab.c
+    fi
+    ;;
+
+  lex|flex)
+    echo 1>&2 "\
+WARNING: \`$1' is missing on your system.  You should only need it if
+         you modified a \`.l' file.  You may need the \`Flex' package
+         in order for those modifications to take effect.  You can get
+         \`Flex' from any GNU archive site."
+    rm -f lex.yy.c
+    if [ $# -ne 1 ]; then
+        eval LASTARG="\${$#}"
+	case "$LASTARG" in
+	*.l)
+	    SRCFILE=`echo "$LASTARG" | sed 's/l$/c/'`
+	    if [ -f "$SRCFILE" ]; then
+	         cp "$SRCFILE" lex.yy.c
+	    fi
+	  ;;
+	esac
+    fi
+    if [ ! -f lex.yy.c ]; then
+	echo 'main() { return 0; }' >lex.yy.c
+    fi
+    ;;
+
+  makeinfo)
+    echo 1>&2 "\
+WARNING: \`$1' is missing on your system.  You should only need it if
+         you modified a \`.texi' or \`.texinfo' file, or any other file
+         indirectly affecting the aspect of the manual.  The spurious
+         call might also be the consequence of using a buggy \`make' (AIX,
+         DU, IRIX).  You might want to install the \`Texinfo' package or
+         the \`GNU make' package.  Grab either from any GNU archive site."
+    file=`echo "$*" | sed -n 's/.*-o \([^ ]*\).*/\1/p'`
+    if test -z "$file"; then
+      file=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'`
+      file=`sed -n '/^@setfilename/ { s/.* \([^ ]*\) *$/\1/; p; q; }' $file`
+    fi
+    touch $file
+    ;;
+
+  *)
+    echo 1>&2 "\
+WARNING: \`$1' is needed, and you do not seem to have it handy on your
+         system.  You might have modified some files without having the
+         proper tools for further handling them.  Check the \`README' file,
+         it often tells you about the needed prerequirements for installing
+         this package.  You may also peek at any GNU archive site, in case
+         some other package would contain this missing \`$1' program."
+    exit 1
+    ;;
+esac
+
+exit 0

data/ext/crlibm/mkinstalldirs

@@ -0,0 +1,40 @@
+#! /bin/sh
+# mkinstalldirs --- make directory hierarchy
+# Author: Noah Friedman <friedman@prep.ai.mit.edu>
+# Created: 1993-05-16
+# Public domain
+
+# $Id: mkinstalldirs,v 1.13 1999/01/05 03:18:55 bje Exp $
+
+errstatus=0
+
+for file
+do
+   set fnord `echo ":$file" | sed -ne 's/^:\//#/;s/^://;s/\// /g;s/^#/\//;p'`
+   shift
+
+   pathcomp=
+   for d
+   do
+     pathcomp="$pathcomp$d"
+     case "$pathcomp" in
+       -* ) pathcomp=./$pathcomp ;;
+     esac
+
+     if test ! -d "$pathcomp"; then
+        echo "mkdir $pathcomp"
+
+        mkdir "$pathcomp" || lasterr=$?
+
+        if test ! -d "$pathcomp"; then
+  	  errstatus=$lasterr
+        fi
+     fi
+
+     pathcomp="$pathcomp/"
+   done
+done
+
+exit $errstatus
+
+# mkinstalldirs ends here

data/ext/crlibm/rem_pio2_accurate.c

@@ -0,0 +1,219 @@
+/*
+ * rem_pio2, used in correctly rounded trigonometric functions
+ *
+ * Author : Catherine Daramy, David Defour, Florent de Dinechin
+ *
+ * This file is part of the crlibm library developed by the Arenaire
+ * project at Ecole Normale Superieure de Lyon
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or 
+ * (at your option) any later version.
+ * 
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  
+*/
+
+/**
+ * This file include functions to compute y=x-N*pi/2 and return the last two bits of N
+ * in order to know which quadrant we are considering.
+ *
+ * We use an scs representation to compute it by Payne and Hanek methods. For more information
+ * you can read K. C. Ng research report from Sun Microsystems:
+ * "Argument reduction for huge argument: Good to the last bit" (July 13, 1992)
+ *
+ */
+#include "rem_pio2_accurate.h"
+
+
+/**
+ * Case X_IND = -1:
+ *               0 
+ *           2 ^ 
+ *  X    :   <> |--| |--| |--|   0   0 0 0 0
+ *  2/Pi :   <> |--| |--| |--| |--| .....
+ *
+ *  Case X_IND = 0:
+ *                   0 
+ *                2 ^ 
+ *  X    :   |--| <> |--| |--|   0   0 0 0 0
+ *  2/Pi :        <> |--| |--| |--| |--| .....
+ *
+ *  Case X_IND = 1:
+ *                       0 
+ *                    2 ^ 
+ *  X    :   |--| |--| <> |--| |--|   0   0 0 0 0
+ *  2/Pi :             <> |--| |--| |--| |--| .....
+ *
+ *  Case ...
+ * 
+ *  Step 1:
+ *
+ *   Compute r = X . 2/Pi where: 
+ *    - r[0] hold the integer part. (if x>0 or the once complement integer part if x<0 )
+ *    - r[1] to r[SCS_NB_WORDS+2] hold the reduced part
+ *      the 3 extra 30 bits are here to prevent possible 
+ *      cancellation due to a number x too close to a
+ *      multiple of Pi/2.
+ *
+ *  Step 2:
+ *   Compute result = (r[1] ... r[SCS_NB_WORDS]) . Pi/2.
+ *       
+ * description of local variables :
+ * - ind : where to start multiplying into 2opi table
+ *
+ */
+
+/* TODO OPTIM 
+   better 64-bit multiplication, see in scs_mult */
+
+int rem_pio2_scs(scs_ptr result, const scs_ptr x){
+  uint64_t r[SCS_NB_WORDS+3], tmp;
+  unsigned int N;
+  /* result r[0],...,r[10] could store till 300 bits of precision */
+  /* that is really enough for computing the reduced argument */
+  int sign, i, j, ind;
+  int *two_over_pi_pt;
+
+  if ((X_EXP != 1)||(X_IND < -1)){
+    scs_set(result, x);
+    return 0;
+  }
+  
+
+
+  /* Compute the product |x| * 2/Pi */
+  if ((X_IND == -1)){
+    /* In this case we consider number between ]-1,+1[    */
+    /* we may use simpler algorithm such as Cody And Waite */
+    r[0] =  0;    r[1] =  0;
+    r[2] =  (uint64_t)(two_over_pi[0]) * X_HW[0];
+    r[3] = ((uint64_t)(two_over_pi[0]) * X_HW[1]
+	   +(uint64_t)(two_over_pi[1]) * X_HW[0]);
+    if(X_HW[2] == 0){
+      for(i=4; i<(SCS_NB_WORDS+3); i++){   
+	r[i] = ((uint64_t)(two_over_pi[i-3]) * X_HW[1]
+	       +(uint64_t)(two_over_pi[i-2]) * X_HW[0]);
+      }}else {
+	for(i=4; i<(SCS_NB_WORDS+3); i++){   
+	  r[i] = ((uint64_t)(two_over_pi[i-4]) * X_HW[2]
+		 +(uint64_t)(two_over_pi[i-3]) * X_HW[1]
+		 +(uint64_t)(two_over_pi[i-2]) * X_HW[0]);
+	}
+      }
+  }else {
+    if (X_IND == 0){
+      r[0] =  0;
+      r[1] =  (uint64_t)(two_over_pi[0]) * X_HW[0];
+      r[2] = ((uint64_t)(two_over_pi[0]) * X_HW[1]
+	     +(uint64_t)(two_over_pi[1]) * X_HW[0]);
+      if(X_HW[2] == 0){
+	for(i=3; i<(SCS_NB_WORDS+3); i++){   
+	  r[i] = ((uint64_t)(two_over_pi[i-2]) * X_HW[1]
+		 +(uint64_t)(two_over_pi[i-1]) * X_HW[0]);
+	}}else {
+	  for(i=3; i<(SCS_NB_WORDS+3); i++){   
+	    r[i] = ((uint64_t)(two_over_pi[i-3]) * X_HW[2]
+		   +(uint64_t)(two_over_pi[i-2]) * X_HW[1]
+		   +(uint64_t)(two_over_pi[i-1]) * X_HW[0]);
+	  }}
+    }else {
+      if (X_IND == 1){
+	r[0] =  (uint64_t)(two_over_pi[0]) * X_HW[0];
+	r[1] = ((uint64_t)(two_over_pi[0]) * X_HW[1]
+	       +(uint64_t)(two_over_pi[1]) * X_HW[0]);
+	if(X_HW[2] == 0){
+	  for(i=2; i<(SCS_NB_WORDS+3); i++){   
+	    r[i] = ((uint64_t)(two_over_pi[i-1]) * X_HW[1]
+		   +(uint64_t)(two_over_pi[ i ]) * X_HW[0]);
+	  }}else {
+	    for(i=2; i<(SCS_NB_WORDS+3); i++){   
+	      r[i] = ((uint64_t)(two_over_pi[i-2]) * X_HW[2]
+		     +(uint64_t)(two_over_pi[i-1]) * X_HW[1]
+		     +(uint64_t)(two_over_pi[ i ]) * X_HW[0]);
+	    }}
+      }else {
+	if (X_IND == 2){
+  	  r[0] = ((uint64_t)(two_over_pi[0]) * X_HW[1]
+		 +(uint64_t)(two_over_pi[1]) * X_HW[0]);
+	  if(X_HW[2] == 0){
+	    for(i=1; i<(SCS_NB_WORDS+3); i++){   
+	      r[i] = ((uint64_t)(two_over_pi[ i ]) * X_HW[1]
+		     +(uint64_t)(two_over_pi[i+1]) * X_HW[0]);
+	    }}else {
+	      for(i=1; i<(SCS_NB_WORDS+3); i++){   
+		r[i] = ((uint64_t)(two_over_pi[i-1]) * X_HW[2]
+		       +(uint64_t)(two_over_pi[ i ]) * X_HW[1]
+		       +(uint64_t)(two_over_pi[i+1]) * X_HW[0]);
+	      }}
+	}else {
+	  ind = (X_IND - 3);
+	  two_over_pi_pt = (int*)&(two_over_pi[ind]);
+	  if(X_HW[2] == 0){
+	    for(i=0; i<(SCS_NB_WORDS+3); i++){   
+	      r[i] = ((uint64_t)(two_over_pi_pt[i+1]) * X_HW[1]
+		     +(uint64_t)(two_over_pi_pt[i+2]) * X_HW[0]);
+	    }}else {
+	      for(i=0; i<(SCS_NB_WORDS+3); i++){   
+		r[i] = ((uint64_t)(two_over_pi_pt[ i ]) * X_HW[2]
+		       +(uint64_t)(two_over_pi_pt[i+1]) * X_HW[1]
+		       +(uint64_t)(two_over_pi_pt[i+2]) * X_HW[0]);
+	      }
+	    }
+	}
+      }
+    }
+  }
+      
+  /* Carry propagate */
+  r[SCS_NB_WORDS+1] += r[SCS_NB_WORDS+2]>>30;
+  for(i=(SCS_NB_WORDS+1); i>0; i--) {tmp=r[i]>>30;   r[i-1] += tmp;  r[i] -= (tmp<<30);}  
+      
+  /* The integer part is in r[0] */
+  N = (unsigned int)(r[0]);
+#if 0
+  printf("r[0] = %d\n", N);
+#endif
+
+
+  /* test if the reduced part is bigger than Pi/4 */
+  if (r[1] > (uint64_t)(SCS_RADIX)/2){
+    N += 1;
+    sign = -1;
+    for(i=1; i<(SCS_NB_WORDS+3); i++) { r[i]=((~(unsigned int)(r[i])) & 0x3fffffff);}
+  } 
+  else
+    sign = 1; 
+
+
+  /* Now we get the reduce argument and check for possible
+   * cancellation By Kahan algorithm we will have at most 2 digits
+   * of cancellations r[1] and r[2] in the worst case.
+   */    
+  if (r[1] == 0)
+    if (r[2] == 0) i = 3;
+    else           i = 2;
+  else             i = 1;
+
+  for(j=0; j<SCS_NB_WORDS; j++) { R_HW[j] = (unsigned int)(r[i+j]);}
+
+
+  R_EXP   = 1;
+  R_IND   = -i;
+  R_SGN   = sign*X_SGN; 
+  
+  /* Last step :
+   *   Multiplication by pi/2
+   */
+  scs_mul(result, Pio2_ptr, result);
+  return X_SGN*N;
+}
+ 
+

data/ext/crlibm/rem_pio2_accurate.h

@@ -0,0 +1,53 @@
+/*
+ * 2oPi[] store in hexadecimal 48 digits, each keeping 30 bits of
+ * 2/pi. 
+ * We then store 1440 bits of 2/pi. which is for sure a bit too much ...
+ */
+ 
+#include "crlibm.h"
+#include "crlibm_private.h"
+
+
+static const int two_over_pi[]=
+  {0x28be60db, 0x24e44152, 0x27f09d5f, 0x11f534dd,
+   0x3036d8a5, 0x1993c439, 0x0107f945, 0x23abdebb,
+   0x31586dc9, 0x06e3a424, 0x374b8019, 0x092eea09,
+   0x3464873f, 0x21deb1cb, 0x04a69cfb, 0x288235f5,
+   0x0baed121, 0x0e99c702, 0x1ad17df9, 0x013991d6,
+   0x0e60d4ce, 0x1f49c845, 0x3e2ef7e4, 0x283b1ff8,
+   0x25fff781, 0x1980fef2, 0x3c462d68, 0x0a6d1f6d,
+   0x0d9fb3c9, 0x3cb09b74, 0x3d18fd9a, 0x1e5fea2d,
+   0x1d49eeb1, 0x3ebe5f17, 0x2cf41ce7, 0x378a5292,
+   0x3a9afed7, 0x3b11f8d5, 0x3421580c, 0x3046fc7b,
+   0x1aeafc33, 0x3bc209af, 0x10d876a7, 0x2391615e,
+   0x3986c219, 0x199855f1, 0x1281a102, 0x0dffd880};
+
+
+
+
+/*
+ * This scs number store 211 bits of pi/2 
+ */
+static const scs Pio2=
+  {{0x00000001, 0x2487ed51, 0x042d1846, 0x26263314,
+    0x1701b839, 0x28948127, 0x01114cf9, 0x23a0105d},
+    DB_ONE,  0,   1 };
+
+#define Pio2_ptr  (scs_ptr)(& Pio2)
+
+
+
+#if 0
+
+/*
+ * This scs number store 211 bits of pi/4 
+ */
+static const scs Pio4=
+/* ~7.853982e-01 */ 
+{{0x3243f6a8, 0x22168c23, 0x1313198a, 0x0b80dc1c, 
+0x344a4093, 0x2088a67c, 0x31d0082e, 0x3ea63b13},
+DB_ONE,  -1,   1 };
+
+#define Pio4_ptr  ((scs_ptr)(& Pio4))
+
+#endif

data/ext/crlibm/scs_lib/AUTHORS

@@ -0,0 +1,3 @@
+scslib, the Software Carry-Save multiple-precision library
+
+Authors: David Defour, Catherine Daramy, Florent de Dinechin