[BACK]Return to poly4.c CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Kan

Diff for /OpenXM/src/kan96xx/Kan/poly4.c between version 1.3 and 1.5

version 1.3, 2001/05/04 01:06:25 version 1.5, 2003/07/10 08:20:04
Line 1 
Line 1 
 /* $OpenXM: OpenXM/src/kan96xx/Kan/poly4.c,v 1.2 2000/01/16 07:55:40 takayama Exp $ */  /* $OpenXM: OpenXM/src/kan96xx/Kan/poly4.c,v 1.4 2002/09/08 10:49:50 takayama Exp $ */
 #include <stdio.h>  #include <stdio.h>
 #include "datatype.h"  #include "datatype.h"
 #include "stackm.h"  #include "stackm.h"
Line 338  int isHomogenized(f)
Line 338  int isHomogenized(f)
   int maxg;    int maxg;
   if (!Homogenize_vec) return(isHomogenized_vec(f));    if (!Homogenize_vec) return(isHomogenized_vec(f));
   if (f == ZERO) return(1);    if (f == ZERO) return(1);
     if (f->m->ringp->weightedHomogenization) {
           return 1; /* BUG: do not chech in case of one-zero homogenization */
     }
   maxg = (*grade)(f);    maxg = (*grade)(f);
   t = f;    t = f;
   while (t != POLYNULL) {    while (t != POLYNULL) {
Line 354  int isHomogenized_vec(f)
Line 357  int isHomogenized_vec(f)
   POLY t;    POLY t;
   int ggg;    int ggg;
   if (f == ZERO) return(1);    if (f == ZERO) return(1);
     if (f->m->ringp->weightedHomogenization) {
           return 1; /* BUG: do not chech in case of one-zero homogenization */
     }
   while (f != POLYNULL) {    while (f != POLYNULL) {
     t = f;      t = f;
     ggg = (*grade)(f);      ggg = (*grade)(f);
Line 501  int isTheSameRing(struct ring *rstack[],int rp, struct
Line 507  int isTheSameRing(struct ring *rstack[],int rp, struct
     if (rrr->multiplication != newRingp->multiplication) { a=15; goto bbb ; }      if (rrr->multiplication != newRingp->multiplication) { a=15; goto bbb ; }
     /* if (rrr->schreyer != newRingp->schreyer) { a=16; goto bbb ; }*/      /* if (rrr->schreyer != newRingp->schreyer) { a=16; goto bbb ; }*/
     if (newRingp->schreyer == 1) { a=16; goto bbb; }      if (newRingp->schreyer == 1) { a=16; goto bbb; }
       if (rrr->weightedHomogenization != newRingp->weightedHomogenization) { a=16; goto bbb; }
     /* The following fields are ignored.      /* The following fields are ignored.
        void *gbListTower;         void *gbListTower;
        int *outputOrder;         int *outputOrder;
Line 515  int isTheSameRing(struct ring *rstack[],int rp, struct
Line 522  int isTheSameRing(struct ring *rstack[],int rp, struct
   return(-1);    return(-1);
 }  }
   
   /* Granger-Oaku's homogenization for the ecart tangent cone.
      Note: 2003.07.10.
      ds[] is the degree shift.
      ei ( element index ). If it is < 0, then e[n-1]->x will be used,
                            else ei is used.
   */
   POLY goHomogenize(POLY f,int u[],int v[],int ds[],int dssize,int ei)
   {
     POLY node;
     POLY lastf;
     struct listPoly nod;
     POLY h;
     POLY tf;
     int gt,first,m,mp,t,tp,dsIdx,message;
   
     message = 1;
     if (f == POLYNULL) return(POLYNULL);
     node = &nod;
     node->next = POLYNULL;
     lastf = POLYNULL;
     first = 1;
     while (f != POLYNULL) {
       if (first) {
         t = m = dGrade1(f);
         tp = mp = uvGrade1(f,u,v,ds,dssize,ei);
       }else{
         t =  dGrade1(f);
         tp = uvGrade1(f,u,v,ds,dssize,ei);
         if (t > m) m = t;
         if (tp < mp) mp = tp;
       }
   
       tf = newCell(f->coeffp,monomialCopy(f->m));
           /* Automatic dehomogenize. Not +=  */
           if (message && ((tf->m->e[0].D != 0) || (tf->m->e[0].x != 0))) {
         /*go-debug fprintf(stderr,"Automatic dehomogenize and homogenize.\n"); */
             message = 0;
           }
       tf->m->e[0].D = -t;  /* h */
       tf->m->e[0].x = tp;  /* H, s variable in the G-O paper. */
           /*go-debug printf("t(h)=%d, tp(uv+ds)=%d\n",t,tp); */
       if (first) {
         node->next = tf;
         lastf = tf;
         first = 0;
       }else{
         gt = (*mmLarger)(lastf,tf);
         if (gt == 1) {
           lastf->next = tf;
           lastf = tf;
         }else{
           /*go-debug printf("?\n"); */
           h = node->next;
           h = ppAddv(h,tf);
           node->next = h;
           lastf = h;
           while (lastf->next != POLYNULL) {
             lastf = lastf->next;
           }
         }
           }
           f = f->next;
     }
     h = node->next;
     /*go-debug printf("m=%d, mp=%d\n",m,mp); */
     while (h != POLYNULL) {
       /*go-debug printf("Old: h=%d, s=%d\n",h->m->e[0].D,h->m->e[0].x); */
       h->m->e[0].D += m;   /* h */
       h->m->e[0].x += -mp; /* H, s*/
       /*go-debug printf("New: h=%d, s=%d\n",h->m->e[0].D,h->m->e[0].x); */
       h = h->next;
     }
     return (node->next);
   }
   
   /* u[] = -1, v[] = 1 */
   POLY goHomogenize11(POLY f,int ds[],int dssize,int ei)
   {
     int r;
     int i,t,n,m,nn;
     MONOMIAL tf;
     static int *u;
     static int *v;
     static struct ring *cr = (struct ring *)NULL;
   
     if (f == POLYNULL) return POLYNULL;
   
     tf = f->m;
     if (tf->ringp != cr) {
       n = tf->ringp->n;
       m = tf->ringp->m;
       nn = tf->ringp->nn;
       cr = tf->ringp;
           u = (int *)sGC_malloc(sizeof(int)*n);
           v = (int *)sGC_malloc(sizeof(int)*n);
           for (i=0; i<n; i++) u[i]=v[i]=0;
           for (i=m; i<nn; i++) {
             u[i] = -1; v[i] = 1;
           }
     }
     return(goHomogenize(f,u,v,ds,dssize,ei));
   }
   
   POLY goHomogenize_dsIdx(POLY f,int u[],int v[],int dsIdx,int ei)
   {
     if (f == POLYNULL) return POLYNULL;
   }
   POLY goHomogenize11_dsIdx(POLY f,int ds[],int dsIdx,int ei)
   {
     if (f == POLYNULL) return POLYNULL;
   }
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>