| version 1.3, 2003/07/17 23:37:01 |
version 1.4, 2003/07/17 23:47:44 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/ecart.c,v 1.2 2003/07/17 12:11:09 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/ecart.c,v 1.3 2003/07/17 23:37:01 takayama Exp $ */ |
| #include <stdio.h> |
#include <stdio.h> |
| #include "datatype.h" |
#include "datatype.h" |
| #include "extern2.h" |
#include "extern2.h" |
| Line 137 static struct ecartReducer ecartFindReducer(POLY r,str |
|
| Line 137 static struct ecartReducer ecartFindReducer(POLY r,str |
|
| for (i=0; i<set->size; i++) { |
for (i=0; i<set->size; i++) { |
| if (set->gh[i] == POLYNULL) { |
if (set->gh[i] == POLYNULL) { |
| /* goHomogenize set->gh[i] */ |
/* goHomogenize set->gh[i] */ |
| if (EcartAutomaticHomogenization) { |
if (EcartAutomaticHomogenization) { |
| set->gh[i] = goHomogenize11(set->g[i],DegreeShifto_vec,DegreeShifto_size,-1,1); |
set->gh[i] = goHomogenize11(set->g[i],DegreeShifto_vec,DegreeShifto_size,-1,1); |
| }else{ |
}else{ |
| set->gh[i] = set->g[i]; |
set->gh[i] = set->g[i]; |
| } |
} |
| } |
} |
| ell = ecartGetEll(r,set->gh[i]); |
ell = ecartGetEll(r,set->gh[i]); |
| if ((ell>=0) && (ell < ell1)) { |
if ((ell>=0) && (ell < ell1)) { |
| Line 217 POLY reduction_ecart(r,gset,needSyz,syzp) |
|
| Line 217 POLY reduction_ecart(r,gset,needSyz,syzp) |
|
| } |
} |
| |
|
| if (r != POLYNULL) { |
if (r != POLYNULL) { |
| rp = r->m->ringp; |
rp = r->m->ringp; |
| if (! rp->weightedHomogenization) { |
if (! rp->weightedHomogenization) { |
| errorKan1("%s\n","ecart.c: the given ring must be declared with [(weightedHomogenization) 1]"); |
errorKan1("%s\n","ecart.c: the given ring must be declared with [(weightedHomogenization) 1]"); |
| } |
} |
| } |
} |
| |
|
| if (EcartAutomaticHomogenization) { |
if (EcartAutomaticHomogenization) { |
| r = goHomogenize11(r,DegreeShifto_vec,DegreeShifto_size,-1,1); |
r = goHomogenize11(r,DegreeShifto_vec,DegreeShifto_size,-1,1); |
| } |
} |
| /* 1 means homogenize only s */ |
/* 1 means homogenize only s */ |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ecart.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan