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

Diff for /OpenXM_contrib2/asir2000/builtin/result.c between version 1.4 and 1.5

version 1.4, 2005/03/18 08:55:59 version 1.5, 2018/03/29 01:32:50
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/builtin/result.c,v 1.3 2000/08/22 05:03:59 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/builtin/result.c,v 1.4 2005/03/18 08:55:59 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
Line 53 
Line 53 
 void Presult(), Psrcr(), Pnd_res();  void Presult(), Psrcr(), Pnd_res();
   
 struct ftab result_tab[] = {  struct ftab result_tab[] = {
         {"res",Presult,-4},    {"res",Presult,-4},
         {"nd_res",Pnd_res,-4},    {"nd_res",Pnd_res,-4},
         {"srcr",Psrcr,3},    {"srcr",Psrcr,3},
         {0,0,0},    {0,0,0},
 };  };
   
 void Pnd_res(arg,rp)  void Pnd_res(arg,rp)
 NODE arg;  NODE arg;
 P *rp;  P *rp;
 {  {
         int mod,d1,d2,i,j;    int mod,d1,d2,i,j;
         Q q1,q2;    Q q1,q2;
         P *a1,*a2;    P *a1,*a2;
         P p1,p2,r1,r2,r;    P p1,p2,r1,r2,r;
         V v;    V v;
         MAT m;    MAT m;
         DCP dc;    DCP dc;
         VL vl;    VL vl;
   
         asir_assert(ARG0(arg),O_P,"nd_res");    asir_assert(ARG0(arg),O_P,"nd_res");
         asir_assert(ARG1(arg),O_P,"nd_res");    asir_assert(ARG1(arg),O_P,"nd_res");
         asir_assert(ARG2(arg),O_P,"nd_res");    asir_assert(ARG2(arg),O_P,"nd_res");
         v = VR((P)ARG0(arg)); p1 = ARG1(arg); p2 = ARG2(arg);    v = VR((P)ARG0(arg)); p1 = ARG1(arg); p2 = ARG2(arg);
         d1 = getdeg(v,p1);    d1 = getdeg(v,p1);
         d2 = getdeg(v,p2);    d2 = getdeg(v,p2);
         if ( d1 == 0 ) {    if ( d1 == 0 ) {
                 if ( d2 == 0 )      if ( d2 == 0 )
                         *rp = (P)ONE;        *rp = (P)ONE;
                 else {      else {
                         STOQ(d2,q2);        STOQ(d2,q2);
                         pwrp(CO,p1,q2,rp);        pwrp(CO,p1,q2,rp);
                 }      }
                 return;      return;
         } else if ( d2 == 0 ) {    } else if ( d2 == 0 ) {
                 STOQ(d1,q1);      STOQ(d1,q1);
                 pwrp(CO,p2,q1,rp);      pwrp(CO,p2,q1,rp);
                 return;      return;
         }    }
         MKMAT(m,d1+d2,d1+d2);    MKMAT(m,d1+d2,d1+d2);
         reordvar(CO,v,&vl);    reordvar(CO,v,&vl);
         reorderp(vl,CO,p1,&r1);    reorderp(vl,CO,p1,&r1);
         reorderp(vl,CO,p2,&r2);    reorderp(vl,CO,p2,&r2);
         a1 = ALLOCA((d1+1)*sizeof(P));    a1 = ALLOCA((d1+1)*sizeof(P));
         a2 = ALLOCA((d2+1)*sizeof(P));    a2 = ALLOCA((d2+1)*sizeof(P));
         for ( i = 0; i <= d1; i++ ) a1[i] = 0;    for ( i = 0; i <= d1; i++ ) a1[i] = 0;
         for ( i = 0; i <= d2; i++ ) a2[i] = 0;    for ( i = 0; i <= d2; i++ ) a2[i] = 0;
         for ( dc = DC(r1); dc; dc = NEXT(dc) ) a1[d1-QTOS(DEG(dc))] = COEF(dc);    for ( dc = DC(r1); dc; dc = NEXT(dc) ) a1[d1-QTOS(DEG(dc))] = COEF(dc);
         for ( dc = DC(r2); dc; dc = NEXT(dc) ) a2[d2-QTOS(DEG(dc))] = COEF(dc);    for ( dc = DC(r2); dc; dc = NEXT(dc) ) a2[d2-QTOS(DEG(dc))] = COEF(dc);
         for ( i = 0; i < d2; i++ )    for ( i = 0; i < d2; i++ )
                 for ( j = 0; j <= d1; j++ )      for ( j = 0; j <= d1; j++ )
                         m->body[i][i+j] = a1[j];        m->body[i][i+j] = a1[j];
         for ( i = 0; i < d1; i++ )    for ( i = 0; i < d1; i++ )
                 for ( j = 0; j <= d2; j++ )      for ( j = 0; j <= d2; j++ )
                         m->body[i+d2][i+j] = a2[j];        m->body[i+d2][i+j] = a2[j];
         nd_det(argc(arg)==3?0:QTOS((Q)ARG3(arg)),m,rp);    nd_det(argc(arg)==3?0:QTOS((Q)ARG3(arg)),m,rp);
 }  }
   
 void Presult(arg,rp)  void Presult(arg,rp)
 NODE arg;  NODE arg;
 P *rp;  P *rp;
 {  {
         int mod;    int mod;
         P p1,p2,r;    P p1,p2,r;
   
         asir_assert(ARG0(arg),O_P,"res");    asir_assert(ARG0(arg),O_P,"res");
         asir_assert(ARG1(arg),O_P,"res");    asir_assert(ARG1(arg),O_P,"res");
         asir_assert(ARG2(arg),O_P,"res");    asir_assert(ARG2(arg),O_P,"res");
         if ( argc(arg) == 3 )    if ( argc(arg) == 3 )
                 resultp(CO,VR((P)ARG0(arg)),(P)ARG1(arg),(P)ARG2(arg),rp);      resultp(CO,VR((P)ARG0(arg)),(P)ARG1(arg),(P)ARG2(arg),rp);
         else {    else {
                 mod = QTOS((Q)ARG3(arg));      mod = QTOS((Q)ARG3(arg));
                 ptomp(mod,(P)ARG1(arg),&p1); ptomp(mod,(P)ARG2(arg),&p2);      ptomp(mod,(P)ARG1(arg),&p1); ptomp(mod,(P)ARG2(arg),&p2);
                 resultmp(CO,mod,VR((P)ARG0(arg)),p1,p2,&r);      resultmp(CO,mod,VR((P)ARG0(arg)),p1,p2,&r);
                 mptop(r,rp);      mptop(r,rp);
         }    }
 }  }
   
 void Psrcr(arg,rp)  void Psrcr(arg,rp)
 NODE arg;  NODE arg;
 P *rp;  P *rp;
 {  {
         asir_assert(ARG0(arg),O_P,"srcr");    asir_assert(ARG0(arg),O_P,"srcr");
         asir_assert(ARG1(arg),O_P,"srcr");    asir_assert(ARG1(arg),O_P,"srcr");
         asir_assert(ARG2(arg),O_P,"srcr");    asir_assert(ARG2(arg),O_P,"srcr");
         res_ch_det(CO,VR((P)ARG0(arg)),(P)ARG1(arg),(P)ARG2(arg),rp);    res_ch_det(CO,VR((P)ARG0(arg)),(P)ARG1(arg),(P)ARG2(arg),rp);
 }  }
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>