[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.15 and 1.23

version 1.15, 2004/06/15 16:14:50 version 1.23, 2005/11/16 23:42:54
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.14 2004/05/14 06:02:54 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/arith.c,v 1.22 2005/10/03 00:29:11 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();
   
 struct oAFUNC afunc[] = {  struct oAFUNC afunc[] = {
 /* ???=0 */     {0,0,0,0,0,0,0},  /* ???=0 */     {0,0,0,0,0,0,0},
Line 83  struct oAFUNC afunc[] = {
Line 85  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},
   /* O_QUOTEARG=23 */     {notdef,notdef,notdef,notdef,notdef,notdef,compqa},
   /* O_MAT=24 */  {AddMatI,SubMatI,MulMatG,notdef,notdef,ChsgnI,(int(*)())notdef},
   /* O_NBP=25 */  {addnbp,subnbp,mulnbp,notdef,pwrnbp,chsgnnbp,(int(*)())notdef},
 };  };
   
 void arf_init() {  void arf_init() {
Line 112  Obj a,b,*r;
Line 117  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 135  Obj a,b,*r;
Line 140  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 152  Obj a,b,*r;
Line 157  Obj a,b,*r;
         if ( !a && !b )          if ( !a && !b )
                 *r = 0;                  *r = 0;
         else if ( !a || !b ) {          else if ( !a || !b ) {
                 if ( !a )                  if ( !a ) a = b;
                         a = b;  
                 /* compute a*0 */                  /* compute a*0 */
                 if ( OID(a) == O_MAT || OID(a) == O_VECT )                  if ( OID(a) == O_MAT || OID(a) == O_VECT )
                         (*(afunc[O_MAT].mul))(vl,a,0,r);                          (*(afunc[O_MAT].mul))(vl,a,0,r);
                   else if ( OID(a) == O_IMAT )
                           (*(afunc[O_IMAT].mul))(vl,0,a,r);
                 else                  else
                         *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 ) {
Line 197  Obj a,b,*r;
Line 203  Obj a,b,*r;
                                 else                                  else
                                         notdef(vl,a,b,r);                                          notdef(vl,a,b,r);
                                 break;                                  break;
                           case O_IMAT:
                                   (*afunc[O_IMAT].mul)(vl,a,b,r);
                                   break;
                         default:                          default:
                                         notdef(vl,a,b,r);                                          notdef(vl,a,b,r);
                                 break;                                  break;
Line 217  Obj a,b,*r;
Line 226  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);
Line 237  Obj a,b,*r;
Line 246  Obj a,b,*r;
                 notdef(vl,a,b,r);                  notdef(vl,a,b,r);
 }  }
   
   int allow_laurent;
   
 void arf_pwr(vl,a,e,r)  void arf_pwr(vl,a,e,r)
 VL vl;  VL vl;
 Obj a,e,*r;  Obj a,e,*r;
 {  {
         R t;          R t;
   
         if ( !a )          if ( !a ) {
                 if ( !e )                  if ( !e )
                         *r = (pointer)ONE;                          *r = (pointer)ONE;
                 else                  else if ( RATN(e) && SGN((Q)e)>0 )
                         *r = 0;                          *r = 0;
         else if ( OID(a) == O_QUOTE )                  else
                 (*(afunc[O_QUOTE].pwr))(vl,a,e,r);                          mkpow(vl,a,e,r);
         else if ( !e ) {          } 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) ) {
                         MKRAT((P)a,(P)ONE,1,t);                          if ( allow_laurent )
                         (*(afunc[O_R].pwr))(vl,t,e,r);                                  (*(afunc[O_P].pwr))(vl,a,e,r);
                           else {
                                   MKRAT((P)a,(P)ONE,1,t);
                                   (*(afunc[O_R].pwr))(vl,t,e,r);
                           }
                 } else                  } else
                         (*(afunc[OID(a)].pwr))(vl,a,e,r);                          (*(afunc[OID(a)].pwr))(vl,a,e,r);
           } else if ( (OID(e) <= O_N) && RATN(e) ) {
                   if ( (OID(a) == O_P) && allow_laurent )
                           (*(afunc[O_P].pwr))(vl,a,e,r);
                   else if ( OID(a) <= O_R )
                           mkpow(vl,a,e,r);
                   else
                           notdef(vl,a,e,r);
         } else if ( OID(a) <= O_R )          } else if ( OID(a) <= O_R )
                 mkpow(vl,a,e,r);                  mkpow(vl,a,e,r);
         else          else
Legend:
Removed from v.1.15  
changed lines
  Added in v.1.23
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>