version 1.12, 2003/08/21 12:28:57 |
version 1.13, 2003/08/22 01:02:45 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/ecart.c,v 1.11 2003/08/21 02:30:23 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/ecart.c,v 1.12 2003/08/21 12:28:57 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "extern2.h" |
#include "extern2.h" |
Line 507 static POLY reduction_ecart1(r,gset,needSyz,syzp) |
|
Line 507 static POLY reduction_ecart1(r,gset,needSyz,syzp) |
|
/* dehomogenize the syzygy. BUG, this may be inefficient. */ |
/* dehomogenize the syzygy. BUG, this may be inefficient. */ |
cf = goDeHomogenizeS(cf); |
cf = goDeHomogenizeS(cf); |
syz = goDeHomogenizeS(syz); |
syz = goDeHomogenizeS(syz); |
printf("cf=%s\n",POLYToString(cf,'*',1)); |
/*printf("cf=%s\n",POLYToString(cf,'*',1)); |
printf("syz=%s\n",POLYToString(syz,'*',1)); |
printf("syz=%s\n",POLYToString(syz,'*',1));*/ |
syzp->cf = cf; /* cf is in the CurrentRingp */ |
syzp->cf = cf; /* cf is in the CurrentRingp */ |
syzp->syz = syz; /* syz is in the SyzRingp */ |
syzp->syz = syz; /* syz is in the SyzRingp */ |
} |
} |