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 */ |
|
|