[BACK]Return to real.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / engine

Diff for /OpenXM_contrib2/asir2000/engine/real.c between version 1.2 and 1.12

version 1.2, 2000/02/04 09:27:31 version 1.12, 2018/03/29 01:32:52
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/engine/real.c,v 1.1.1.1 1999/12/03 07:39:08 noro Exp $ */  /*
    * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
    * All rights reserved.
    *
    * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
    * non-exclusive and royalty-free license to use, copy, modify and
    * redistribute, solely for non-commercial and non-profit purposes, the
    * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
    * conditions of this Agreement. For the avoidance of doubt, you acquire
    * only a limited right to use the SOFTWARE hereunder, and FLL or any
    * third party developer retains all rights, including but not limited to
    * copyrights, in and to the SOFTWARE.
    *
    * (1) FLL does not grant you a license in any way for commercial
    * purposes. You may use the SOFTWARE only for non-commercial and
    * non-profit purposes only, such as academic, research and internal
    * business use.
    * (2) The SOFTWARE is protected by the Copyright Law of Japan and
    * international copyright treaties. If you make copies of the SOFTWARE,
    * with or without modification, as permitted hereunder, you shall affix
    * to all such copies of the SOFTWARE the above copyright notice.
    * (3) An explicit reference to this SOFTWARE and its copyright owner
    * shall be made on your publication or presentation in any form of the
    * results obtained by use of the SOFTWARE.
    * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
    * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
    * for such modification or the source code of the modified part of the
    * SOFTWARE.
    *
    * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
    * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
    * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
    * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
    * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
    * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
    * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
    * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
    * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
    * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
    * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
    * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
    * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
    * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
    * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
    * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
    * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
    *
    * $OpenXM: OpenXM_contrib2/asir2000/engine/real.c,v 1.11 2016/06/29 08:16:11 ohara Exp $
   */
 #include "ca.h"  #include "ca.h"
 #include "base.h"  #include "base.h"
 #include <math.h>  #include <math.h>
   
 #if defined(THINK_C)  
 double RatnToReal(a)  double RatnToReal(a)
 Q a;  Q a;
 {  {
         double nm,dn,t;    double nm,dn,man;
         int enm,edn;    int enm,edn,e;
         char buf[BUFSIZ];  
   
         nm = NatToReal(NM(a),&enm);    nm = NatToReal(NM(a),&enm);
         if ( INT(a) )    if ( INT(a) )
                 if ( enm >= 1 )      if ( enm >= 1 ) {
                         error("RatnToReal : Overflow");        error("RatnToReal : Overflow");
                 else        /* NOTREACHED */
                         return SGN(a)>0 ? nm : -nm;        return 0;
         else {      } else
                 dn = NatToReal(DN(a),&edn);        return SGN(a)>0 ? nm : -nm;
                 sprintf(buf,"1.0E%d",enm-edn);    else {
                 sscanf(buf,"%lf",&t);      dn = NatToReal(DN(a),&edn);
                 if ( SGN(a) < 0 )      man = nm/dn;
                         t = -t;      if ( SGN(a) < 0 )
                 return nm/dn*t;        man = -man;
         }      if ( ((e = enm - edn) >= 1024) || (e <= -1023) ) {
         error("RatnToReal : Overflow"); /* XXX */
         /* NOTREACHED */
         return 0;
       } else if ( !e )
         return man;
       else
         return man*pow(2,e);
     }
 }  }
   
 double NatToReal(a,expo)  double NatToReal(a,expo)
 N a;  N a;
 int *expo;  int *expo;
 {  {
         int *p;    unsigned int *p;
         int l,all,i,j,s,tb,top,tail;    int l,all,i,j,s,tb,top,tail;
         unsigned int t,m[2];    unsigned int t,m[2];
   
         p = BD(a); l = PL(a) - 1;    p = BD(a); l = PL(a) - 1;
         for ( top = 0, t = p[l]; t; t >>= 1, top++ );    for ( top = 0, t = p[l]; t; t >>= 1, top++ );
         all = top + BSH*l; tail = (53-top)%BSH; i = l-(53-top)/BSH-1;    all = top + BSH*l; tail = (53-top)%BSH; i = l-(53-top)/BSH-1;
         m[1] = i < 0 ? 0 : p[i]>>(BSH-tail);    m[1] = i < 0 ? 0 : p[i]>>(BSH-tail);
         for ( j = 1, i++, tb = tail; i <= l; i++ ) {    for ( j = 1, i++, tb = tail; i <= l; i++ ) {
                 s = 32-tb; t = i < 0 ? 0 : p[i];      s = 32-tb; t = i < 0 ? 0 : p[i];
                 if ( BSH > s ) {      if ( BSH > s ) {
                         m[j] |= ((t&((1<<s)-1))<<tb);        m[j] |= ((t&((1<<s)-1))<<tb);
                         if ( !j )        if ( !j )
                                 break;          break;
                         else {        else {
                                 j--; m[j] = t>>s; tb = BSH-s;          j--; m[j] = t>>s; tb = BSH-s;
                         }        }
                 } else {      } else {
                         m[j] |= (t<<tb); tb += BSH;        m[j] |= (t<<tb); tb += BSH;
                 }      }
         }    }
         s = (all-1)+1023;    s = (all-1)+1023;
         m[0] = (m[0]&((1<<20)-1))|(MIN(2046,s)<<20); *expo = MAX(s-2046,0);    m[0] = (m[0]&((1<<20)-1))|(MIN(2046,s)<<20); *expo = MAX(s-2046,0);
 #ifdef vax  #ifdef vax
         t = m[0]; m[0] = m[1]; m[1] = t; itod(m);    t = m[0]; m[0] = m[1]; m[1] = t; itod(m);
 #endif  #endif
 #if defined(MIPSEL)  #if defined(__i386__) || defined(MIPSEL) || defined(VISUAL) || defined(__MINGW32__) || defined(__alpha) || defined(__FreeBSD__) || defined(__NetBSD__) || defined(__x86_64) || defined(__ARM_ARCH) || defined(ANDROID)
         t = m[0]; m[0] = m[1]; m[1] = t;    t = m[0]; m[0] = m[1]; m[1] = t;
 #endif  #endif
         return (double)(*((short double *)m));    return *((double *)m);
 }  }
 #else  
 double RatnToReal(a)  
 Q a;  
 {  
         double nm,dn,t,man;  
         int enm,edn,e;  
         unsigned int *p,s;  
   
         nm = NatToReal(NM(a),&enm);  
         if ( INT(a) )  
                 if ( enm >= 1 )  
                         error("RatnToReal : Overflow");  
                 else  
                         return SGN(a)>0 ? nm : -nm;  
         else {  
                 dn = NatToReal(DN(a),&edn);  
                 man = nm/dn;  
                 if ( SGN(a) < 0 )  
                         man = -man;  
                 if ( ((e = enm - edn) >= 1024) || (e <= -1023) )  
                         error("RatnToReal : Overflow"); /* XXX */  
                 else if ( !e )  
                         return man;  
                 else  
                         return man*pow(2,e);  
         }  
 }  
   
 double NatToReal(a,expo)  
 N a;  
 int *expo;  
 {  
         unsigned int *p;  
         int l,all,i,j,s,tb,top,tail;  
         unsigned int t,m[2];  
   
         p = BD(a); l = PL(a) - 1;  
         for ( top = 0, t = p[l]; t; t >>= 1, top++ );  
         all = top + BSH*l; tail = (53-top)%BSH; i = l-(53-top)/BSH-1;  
         m[1] = i < 0 ? 0 : p[i]>>(BSH-tail);  
         for ( j = 1, i++, tb = tail; i <= l; i++ ) {  
                 s = 32-tb; t = i < 0 ? 0 : p[i];  
                 if ( BSH > s ) {  
                         m[j] |= ((t&((1<<s)-1))<<tb);  
                         if ( !j )  
                                 break;  
                         else {  
                                 j--; m[j] = t>>s; tb = BSH-s;  
                         }  
                 } else {  
                         m[j] |= (t<<tb); tb += BSH;  
                 }  
         }  
         s = (all-1)+1023;  
         m[0] = (m[0]&((1<<20)-1))|(MIN(2046,s)<<20); *expo = MAX(s-2046,0);  
 #ifdef vax  
         t = m[0]; m[0] = m[1]; m[1] = t; itod(m);  
 #endif  
 #if defined(__i386__) || defined(MIPSEL) || defined(VISUAL) || defined(__alpha) || defined(__FreeBSD__) || defined(__NetBSD__)  
         t = m[0]; m[0] = m[1]; m[1] = t;  
 #endif  
         return *((double *)m);  
 }  
 #endif  
   
 void addreal(a,b,c)  void addreal(a,b,c)
 Num a,b;  Num a,b;
 Real *c;  Real *c;
 {  {
         double t;    double t;
   
         t = ToReal(a)+ToReal(b); MKReal(t,*c);    t = ToReal(a)+ToReal(b); MKReal(t,*c);
 }  }
   
 void subreal(a,b,c)  void subreal(a,b,c)
 Num a,b;  Num a,b;
 Real *c;  Real *c;
 {  {
         double t;    double t;
   
         t = ToReal(a)-ToReal(b); MKReal(t,*c);    t = ToReal(a)-ToReal(b); MKReal(t,*c);
 }  }
   
 void mulreal(a,b,c)  void mulreal(a,b,c)
 Num a,b;  Num a,b;
 Real *c;  Real *c;
 {  {
         double t;    double t;
   
         if ( !a || !b )    if ( !a || !b )
                 *c = 0;      *c = 0;
         else {    else {
                 t = ToReal(a)*ToReal(b);      t = ToReal(a)*ToReal(b);
                 if ( !t )  #if 0
                         error("mulreal : Underflow"); /* XXX */      if ( !t )
                 else        error("mulreal : Underflow"); /* XXX */
                         MKReal(t,*c);      else
         }  #endif
         MKReal(t,*c);
     }
 }  }
   
 void divreal(a,b,c)  void divreal(a,b,c)
 Num a,b;  Num a,b;
 Real *c;  Real *c;
 {  {
         double t;    double t;
   
         if ( !a )    if ( !a )
                 *c = 0;      *c = 0;
         else {    else {
                 t = ToReal(a)/ToReal(b);      t = ToReal(a)/ToReal(b);
                 if ( !t )  #if 0
                         error("divreal : Underflow"); /* XXX */      if ( !t )
                 else        error("divreal : Underflow"); /* XXX */
                         MKReal(t,*c);      else
         }  #endif
         MKReal(t,*c);
     }
 }  }
   
 void chsgnreal(a,c)  void chsgnreal(a,c)
 Num a,*c;  Num a,*c;
 {  {
         double t;    double t;
         Real s;    Real s;
   
         if ( !a )    if ( !a )
                 *c = 0;      *c = 0;
         else if ( NID(a) == N_Q )    else if ( NID(a) == N_Q )
                 chsgnq((Q)a,(Q *)c);      chsgnq((Q)a,(Q *)c);
         else {    else {
                 t = -ToReal(a); MKReal(t,s); *c = (Num)s;      t = -ToReal(a); MKReal(t,s); *c = (Num)s;
         }    }
 }  }
   
 void pwrreal(a,b,c)  void pwrreal(a,b,c)
 Num a,b;  Num a,b;
 Real *c;  Real *c;
 {  {
         double t;    double t;
         double pwrreal0();    double pwrreal0();
   
         if ( !b )    if ( !b )
                 MKReal(1.0,*c);      MKReal(1.0,*c);
         else if ( !a )    else if ( !a )
                 *c = 0;      *c = 0;
         else if ( !RATN(b) || !INT(b) || (PL(NM((Q)b)) > 1) ) {    else if ( !RATN(b) || !INT(b) || (PL(NM((Q)b)) > 1) ) {
                 t = (double)pow((double)ToReal(a),(double)ToReal(b));      t = (double)pow((double)ToReal(a),(double)ToReal(b));
                 if ( !t )  #if 0
                         error("pwrreal : Underflow"); /* XXX */      if ( !t )
                 else        error("pwrreal : Underflow"); /* XXX */
                         MKReal(t,*c);      else
         } else {  #endif
                 t = pwrreal0(BDY((Real)a),BD(NM((Q)b))[0]);        MKReal(t,*c);
                 t = SGN((Q)b)>0?t:1/t;    } else {
                 if ( !t )      t = pwrreal0(BDY((Real)a),BD(NM((Q)b))[0]);
                         error("pwrreal : Underflow"); /* XXX */      t = SGN((Q)b)>0?t:1/t;
                 else  #if 0
                         MKReal(t,*c);      if ( !t )
         }        error("pwrreal : Underflow"); /* XXX */
       else
   #endif
         MKReal(t,*c);
     }
 }  }
   
 double pwrreal0(n,e)  double pwrreal0(n,e)
 double n;  double n;
 int e;  int e;
 {  {
         double t;    double t;
   
         if ( e == 1 )    if ( e == 1 )
                 return n;      return n;
         else {    else {
                 t = pwrreal0(n,e / 2);      t = pwrreal0(n,e / 2);
                 return e%2 ? t*t*n : t*t;      return e%2 ? t*t*n : t*t;
         }    }
 }  }
   
 int cmpreal(a,b)  int cmpreal(a,b)
 Real a,b;  Real a,b;
 {  {
         double t;    double t;
   
         t = ToReal(a)-ToReal(b);    t = ToReal(a)-ToReal(b);
         return t>0.0 ? 1 : t<0.0?-1 : 0;    return t>0.0 ? 1 : t<0.0?-1 : 0;
 }  }
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.12
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>