version 1.6, 2020/12/15 07:40:09 |
version 1.9, 2022/09/10 04:04:51 |
|
|
* 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/asir2018/builtin/gr.c,v 1.5 2020/10/06 06:31:19 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2018/builtin/gr.c,v 1.8 2021/02/17 22:18:39 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
|
|
static int *pss; |
static int *pss; |
static int psn,pslen; |
static int psn,pslen; |
static int NVars,CNVars; |
static int NVars; |
|
int CNVars; |
static VL VC; |
static VL VC; |
|
|
int PCoeffs; |
int PCoeffs; |
Line 320 void dp_gr_main(LIST f,LIST v,Num homo,int modular,int |
|
Line 321 void dp_gr_main(LIST f,LIST v,Num homo,int modular,int |
|
if ( ord->id && NVars != ord->nv ) |
if ( ord->id && NVars != ord->nv ) |
error("dp_gr_main : invalid order specification"); |
error("dp_gr_main : invalid order specification"); |
initd(ord); |
initd(ord); |
// clear denominators |
// clear denominators if the ground field is Q |
for ( r0 = 0, t = BDY(f); t; t = NEXT(t) ) { |
if ( field == 0 ) { |
ptozp((P)BDY(t),1,&cont,&pp); |
for ( r0 = 0, t = BDY(f); t; t = NEXT(t) ) { |
NEXTNODE(r0,r); BDY(r) = (pointer)pp; |
ptozp((P)BDY(t),1,&cont,&pp); |
|
NEXTNODE(r0,r); BDY(r) = (pointer)pp; |
|
} |
|
if ( r0 ) NEXT(r) = 0; |
|
MKLIST(f,r0); |
} |
} |
if ( r0 ) NEXT(r) = 0; |
|
MKLIST(f,r0); |
|
if ( homo ) { |
if ( homo ) { |
homogenize_order(ord,NVars,&ord1); |
homogenize_order(ord,NVars,&ord1); |
for ( fd0 = fi0 = 0, t = BDY(f); t; t = NEXT(t) ) { |
for ( fd0 = fi0 = 0, t = BDY(f); t; t = NEXT(t) ) { |
Line 2365 void dp_make_flaglist(LIST *list) |
|
Line 2368 void dp_make_flaglist(LIST *list) |
|
if ( DP_Multiple ) { |
if ( DP_Multiple ) { |
STOZ(DP_Multiple,nm); STOZ(Denominator,dn); divq((Q)nm,(Q)dn,&r); |
STOZ(DP_Multiple,nm); STOZ(Denominator,dn); divq((Q)nm,(Q)dn,&r); |
} else |
} else |
v = 0; |
r = 0; |
MKNODE(n,v,0); MKSTR(name,"Content"); MKNODE(n1,name,n); n = n1; |
MKNODE(n,r,0); MKSTR(name,"Content"); MKNODE(n1,name,n); n = n1; |
#endif |
#endif |
MKNODE(n1,Dist,n); n = n1; MKSTR(name,"Dist"); MKNODE(n1,name,n); n = n1; |
MKNODE(n1,Dist,n); n = n1; MKSTR(name,"Dist"); MKNODE(n1,name,n); n = n1; |
STOZ(Reverse,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"Reverse"); MKNODE(n1,name,n); n = n1; |
STOZ(Reverse,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"Reverse"); MKNODE(n1,name,n); n = n1; |