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

Diff for /OpenXM_contrib2/asir2000/parse/arith.c between version 1.19 and 1.28

version 1.19, 2005/02/08 18:06:05 version 1.28, 2017/08/31 04:21:48
Line 45 
Line 45 
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *   *
  * $OpenXM: OpenXM_contrib2/asir2000/parse/arith.c,v 1.18 2004/12/18 16:50:10 saito Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/arith.c,v 1.27 2017/08/31 02:36:21 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
Line 64  struct oARF arf[6];
Line 64  struct oARF arf[6];
 ARF addfs, subfs, mulfs, divfs, remfs, pwrfs;  ARF addfs, subfs, mulfs, divfs, remfs, pwrfs;
   
 void divsdc();  void divsdc();
   int compqa();
   int compquote();
   int compvoid();
   
 struct oAFUNC afunc[] = {  struct oAFUNC afunc0[] = {
 /* ???=0 */     {0,0,0,0,0,0,0},  /* O_VOID=-1 */ {notdef,notdef,notdef,notdef,notdef,notdef,compvoid},
   /* ???=0 */     {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
 /* O_N=1 */     {addnum,subnum,mulnum,divnum,pwrnum,chsgnnum,compnum},  /* O_N=1 */     {addnum,subnum,mulnum,divnum,pwrnum,chsgnnum,compnum},
 /* O_P=2 */     {addp,subp,mulp,divr,pwrp,chsgnp,compp},  /* O_P=2 */     {addp,subp,mulp,divr,pwrp,chsgnp,compp},
 /* O_R=3 */     {addr,subr,mulr,divr,pwrr,chsgnr,compr},  /* O_R=3 */     {addr,subr,mulr,divr,pwrr,chsgnr,compr},
Line 75  struct oAFUNC afunc[] = {
Line 79  struct oAFUNC afunc[] = {
 /* O_MAT=6 */   {addmat,submat,mulmat,divmat,pwrmat,chsgnmat,compmat},  /* O_MAT=6 */   {addmat,submat,mulmat,divmat,pwrmat,chsgnmat,compmat},
 /* O_STR=7 */   {addstr,notdef,notdef,notdef,notdef,notdef,compstr},  /* O_STR=7 */   {addstr,notdef,notdef,notdef,notdef,notdef,compstr},
 /* O_COMP=8 */  {addcomp,subcomp,mulcomp,divcomp,pwrcomp,chsgncomp,compcomp},  /* O_COMP=8 */  {addcomp,subcomp,mulcomp,divcomp,pwrcomp,chsgncomp,compcomp},
 /* O_DP=9 */   {addd,subd,muld,divsdc,notdef,chsgnd,compd},  /* O_DP=9 */   {addd,subd,muld,divdc,notdef,chsgnd,compd},
 /* O_USINT=10 */        {notdef,notdef,notdef,notdef,notdef,notdef,compui},  /* O_USINT=10 */        {notdef,notdef,notdef,notdef,notdef,notdef,compui},
 /* O_ERR=11 */  {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},  /* O_ERR=11 */  {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
 /* O_GF2MAT=12 */       {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},  /* O_GF2MAT=12 */       {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
Line 83  struct oAFUNC afunc[] = {
Line 87  struct oAFUNC afunc[] = {
 /* O_F=14 */    {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},  /* O_F=14 */    {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
 /* O_GFMMAT=15 */       {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},  /* O_GFMMAT=15 */       {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
 /* O_BYTEARRAY=16 */    {notdef,notdef,notdef,notdef,notdef,notdef,compbytearray},  /* O_BYTEARRAY=16 */    {notdef,notdef,notdef,notdef,notdef,notdef,compbytearray},
 /* O_QUOTE=17 */        {addquote,subquote,mulquote,divquote,pwrquote,chsgnquote,(int(*)())notdef},  /* O_QUOTE=17 */        {addquote,subquote,mulquote,divquote,pwrquote,chsgnquote,compquote},
 /* O_OPTLIST=18 */      {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},  /* O_OPTLIST=18 */      {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
 /* O_SYMBOL=19 */       {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},  /* O_SYMBOL=19 */       {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
 /* O_RANGE=20 */        {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},  /* O_RANGE=20 */        {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
 /* O_TB=21 */   {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},  /* O_TB=21 */   {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef},
 /* O_DPV=22 */  {adddv,subdv,muldv,notdef,notdef,chsgndv,compdv},  /* O_DPV=22 */  {adddv,subdv,muldv,notdef,notdef,chsgndv,compdv},
 /* ???=23 */    {0,0,0,0,0,0,0},  /* O_QUOTEARG=23 */     {notdef,notdef,notdef,notdef,notdef,notdef,compqa},
 /* O_MAT=24 */  {AddMatI,SubMatI,MulMatG,notdef,notdef,ChsgnI,(int(*)())notdef},  /* O_MAT=24 */  {AddMatI,SubMatI,MulMatG,notdef,notdef,ChsgnI,(int(*)())notdef},
   /* O_NBP=25 */  {addnbp,subnbp,mulnbp,notdef,pwrnbp,chsgnnbp,compnbp},
   /* O_DPM=26 */  {adddpm,subdpm,mulobjdpm,notdef,notdef,chsgndpm,compdpm},
 };  };
   
   struct oAFUNC *afunc = &afunc0[1];
   
 void arf_init() {  void arf_init() {
         addfs = &arf[0]; addfs->name = "+"; addfs->fp = arf_add;          addfs = &arf[0]; addfs->name = "+"; addfs->fp = arf_add;
         subfs = &arf[1]; subfs->name = "-"; subfs->fp = arf_sub;          subfs = &arf[1]; subfs->name = "-"; subfs->fp = arf_sub;
Line 102  void arf_init() {
Line 110  void arf_init() {
         pwrfs = &arf[5]; pwrfs->name = "^"; pwrfs->fp = arf_pwr;          pwrfs = &arf[5]; pwrfs->name = "^"; pwrfs->fp = arf_pwr;
 }  }
   
 void arf_add(vl,a,b,r)  void arf_add(VL vl,Obj a,Obj b,Obj *r)
 VL vl;  
 Obj a,b,*r;  
 {  {
         int mid;          int mid;
   
Line 114  Obj a,b,*r;
Line 120  Obj a,b,*r;
                 *r = a;                  *r = a;
         else if ( OID(a) == OID(b) )          else if ( OID(a) == OID(b) )
                 (*afunc[OID(a)].add)(vl,a,b,r);                  (*afunc[OID(a)].add)(vl,a,b,r);
         else if ( (mid = MAX(OID(a),OID(b))) <= O_R )          else if ( (mid = MAX(OID(a),OID(b))) <= O_R || mid == O_QUOTE )
                 (*afunc[mid].add)(vl,a,b,r);                  (*afunc[mid].add)(vl,a,b,r);
         else if ( (mid = MAX(OID(a),OID(b))) == O_DP && MIN(OID(a),OID(b)) <= O_R )          else if ( (mid = MAX(OID(a),OID(b))) == O_DP && MIN(OID(a),OID(b)) <= O_R )
                 (*afunc[mid].add)(vl,a,b,r);                  (*afunc[mid].add)(vl,a,b,r);
Line 122  Obj a,b,*r;
Line 128  Obj a,b,*r;
                 notdef(vl,a,b,r);                  notdef(vl,a,b,r);
 }  }
   
 void arf_sub(vl,a,b,r)  void arf_sub(VL vl,Obj a,Obj b,Obj *r)
 VL vl;  
 Obj a,b,*r;  
 {  {
         int mid;          int mid;
   
Line 137  Obj a,b,*r;
Line 141  Obj a,b,*r;
                 *r = a;                  *r = a;
         else if ( OID(a) == OID(b) )          else if ( OID(a) == OID(b) )
                 (*afunc[OID(a)].sub)(vl,a,b,r);                  (*afunc[OID(a)].sub)(vl,a,b,r);
         else if ( (mid = MAX(OID(a),OID(b))) <= O_R )          else if ( (mid = MAX(OID(a),OID(b))) <= O_R || mid == O_QUOTE )
                 (*afunc[mid].sub)(vl,a,b,r);                  (*afunc[mid].sub)(vl,a,b,r);
         else if ( (mid = MAX(OID(a),OID(b))) == O_DP && MIN(OID(a),OID(b)) <= O_R )          else if ( (mid = MAX(OID(a),OID(b))) == O_DP && MIN(OID(a),OID(b)) <= O_R )
                 (*afunc[mid].sub)(vl,a,b,r);                  (*afunc[mid].sub)(vl,a,b,r);
Line 145  Obj a,b,*r;
Line 149  Obj a,b,*r;
                 notdef(vl,a,b,r);                  notdef(vl,a,b,r);
 }  }
   
 void arf_mul(vl,a,b,r)  void arf_mul(VL vl,Obj a,Obj b,Obj *r)
 VL vl;  
 Obj a,b,*r;  
 {  {
         int mid,aid,bid;          int mid,aid,bid;
   
Line 164  Obj a,b,*r;
Line 166  Obj a,b,*r;
                         *r = 0;                          *r = 0;
         } else if ( (aid = OID(a)) == (bid = OID(b)) )          } else if ( (aid = OID(a)) == (bid = OID(b)) )
                 (*(afunc[aid].mul))(vl,a,b,r);                  (*(afunc[aid].mul))(vl,a,b,r);
         else if ( (mid = MAX(aid,bid)) <= O_R )          else if ( (mid = MAX(aid,bid)) <= O_R || mid == O_QUOTE )
                 (*afunc[mid].mul)(vl,a,b,r);                  (*afunc[mid].mul)(vl,a,b,r);
         else {          else {
                 switch ( aid ) {                  switch ( aid ) {
                         case O_N: case O_P:                          case O_N: case O_P: case O_NBP:
                                 (*afunc[mid].mul)(vl,a,b,r);                                  (*afunc[mid].mul)(vl,a,b,r);
                                 break;                                  break;
                         case O_R:                          case O_R:
                                 /* rat * something; bid > O_R */                                  /* rat * something; bid > O_R */
                                 if ( bid == O_VECT || bid == O_MAT )                                  if ( bid == O_VECT || bid == O_MAT || bid == O_DP || bid == O_DPM )
                                         (*afunc[mid].mul)(vl,a,b,r);                                          (*afunc[mid].mul)(vl,a,b,r);
                                 else                                  else
                                         notdef(vl,a,b,r);                                          notdef(vl,a,b,r);
Line 193  Obj a,b,*r;
Line 195  Obj a,b,*r;
                                         notdef(vl,a,b,r);                                          notdef(vl,a,b,r);
                                 break;                                  break;
                         case O_DP:                          case O_DP:
                                 if ( bid <= O_P )                                  if ( bid <= O_R )
                                         (*afunc[O_DP].mul)(vl,a,b,r);                                          (*afunc[O_DP].mul)(vl,a,b,r);
                                 else if ( bid == O_MAT || bid == O_VECT || bid == O_DPV )                                  else if ( bid == O_MAT || bid == O_VECT || bid == O_DPV || bid == O_DPM )
                                         (*afunc[bid].mul)(vl,a,b,r);                                          (*afunc[bid].mul)(vl,a,b,r);
                                 else                                  else
                                         notdef(vl,a,b,r);                                          notdef(vl,a,b,r);
Line 210  Obj a,b,*r;
Line 212  Obj a,b,*r;
         }          }
 }  }
   
 void arf_div(vl,a,b,r)  void arf_div(VL vl,Obj a,Obj b,Obj *r)
 VL vl;  
 Obj a,b,*r;  
 {  {
         int mid;          int mid;
   
Line 223  Obj a,b,*r;
Line 223  Obj a,b,*r;
         else if ( (OID(a) == OID(b)) )          else if ( (OID(a) == OID(b)) )
                 (*(afunc[OID(a)].div))(vl,a,b,r);                  (*(afunc[OID(a)].div))(vl,a,b,r);
         else if ( (mid = MAX(OID(a),OID(b))) <= O_R ||          else if ( (mid = MAX(OID(a),OID(b))) <= O_R ||
                 (mid == O_MAT) || (mid == O_VECT) || (mid == O_DP) )                  (mid == O_MAT) || (mid == O_VECT) || (mid == O_DP) || mid == O_QUOTE )
                 (*afunc[mid].div)(vl,a,b,r);                  (*afunc[mid].div)(vl,a,b,r);
         else          else
                 notdef(vl,a,b,r);                  notdef(vl,a,b,r);
 }  }
   
 void arf_remain(vl,a,b,r)  void arf_remain(VL vl,Obj a,Obj b,Obj *r)
 VL vl;  
 Obj a,b,*r;  
 {  {
         if ( !b )          if ( !b )
                 error("rem : division by 0");                  error("rem : division by 0");
Line 245  Obj a,b,*r;
Line 243  Obj a,b,*r;
   
 int allow_laurent;  int allow_laurent;
   
 void arf_pwr(vl,a,e,r)  void arf_pwr(VL vl,Obj a,Obj e,Obj *r)
 VL vl;  
 Obj a,e,*r;  
 {  {
         R t;          R t;
   
Line 258  Obj a,e,*r;
Line 254  Obj a,e,*r;
                         *r = 0;                          *r = 0;
                 else                  else
                         mkpow(vl,a,e,r);                          mkpow(vl,a,e,r);
         } else if ( OID(a) == O_QUOTE )          } else if ( !e ) {
                 (*(afunc[O_QUOTE].pwr))(vl,a,e,r);  
         else if ( !e ) {  
                 if ( OID(a) == O_MAT )                  if ( OID(a) == O_MAT )
                         (*(afunc[O_MAT].pwr))(vl,a,e,r);                          (*(afunc[O_MAT].pwr))(vl,a,e,r);
                 else                  else
                         *r = (pointer)ONE;                          *r = (pointer)ONE;
         } else if ( (OID(e) <= O_N) && INT(e) ) {          } else if ( OID(a) == O_QUOTE || OID(e) == O_QUOTE )
                   (*(afunc[O_QUOTE].pwr))(vl,a,e,r);
           else if ( (OID(e) <= O_N) && INT(e) ) {
                 if ( (OID(a) == O_P) && (SGN((Q)e) < 0) ) {                  if ( (OID(a) == O_P) && (SGN((Q)e) < 0) ) {
                         if ( allow_laurent )                          if ( allow_laurent )
                                 (*(afunc[O_P].pwr))(vl,a,e,r);                                  (*(afunc[O_P].pwr))(vl,a,e,r);
Line 288  Obj a,e,*r;
Line 284  Obj a,e,*r;
                 notdef(vl,a,e,r);                  notdef(vl,a,e,r);
 }  }
   
 void arf_chsgn(a,r)  void arf_chsgn(Obj a,Obj *r)
 Obj a,*r;  
 {  {
         if ( !a )          if ( !a )
                 *r = 0;                  *r = 0;
Line 297  Obj a,*r;
Line 292  Obj a,*r;
                 (*(afunc[OID(a)].chsgn))(a,r);                  (*(afunc[OID(a)].chsgn))(a,r);
 }  }
   
 int arf_comp(vl,a,b)  int arf_comp(VL vl,Obj a,Obj b)
 VL vl;  
 Obj a,b;  
 {  {
         if ( !a )          if ( !a )
                 if ( !b )                  if ( !b )
Line 314  Obj a,b;
Line 307  Obj a,b;
                 return (*afunc[OID(a)].comp)(vl,a,b);                  return (*afunc[OID(a)].comp)(vl,a,b);
 }  }
   
 int complist(vl,a,b)  int complist(VL vl,LIST a,LIST b)
 VL vl;  
 LIST a,b;  
 {  {
         int t;          int t;
         NODE an,bn;          NODE an,bn;
Line 337  LIST a,b;
Line 328  LIST a,b;
                 if ( t = arf_comp(vl,BDY(an),BDY(bn)) )                  if ( t = arf_comp(vl,BDY(an),BDY(bn)) )
                         return t;                          return t;
         return 0;          return 0;
   }
   
   int compvoid(VL vl,Obj a,Obj b)
   {
           if ( !a )
                   if ( !b ) return 0;
                   else return -1;
           else if ( !b )
                   return 1;
           else if ( OID(a) > OID(b) ) return 1;
           else if ( OID(b) < OID(a) ) return -1;
           else return 0;
 }  }
Legend:
Removed from v.1.19  
changed lines
  Added in v.1.28
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>