| version 1.47, 2021/02/01 08:06:33 |
version 1.48, 2021/02/18 05:35:01 |
|
|
| /* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.46 2021/01/25 00:39:52 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.47 2021/02/01 08:06:33 noro Exp $ */ |
| |
|
| #include "nd.h" |
#include "nd.h" |
| |
|
| Line 2865 init_eg(&eg_remove); |
|
| Line 2865 init_eg(&eg_remove); |
|
| Nnominimal = 0; |
Nnominimal = 0; |
| Nredundant = 0; |
Nredundant = 0; |
| ngen = nd_psn; |
ngen = nd_psn; |
| for ( i = 0; i < nd_psn; i++ ) |
if ( !do_weyl ) { |
| for ( j = i+1; j < nd_psn; j++ ) { |
for ( i = 0; i < nd_psn; i++ ) |
| sig = trivial_sig(i,j); |
for ( j = i+1; j < nd_psn; j++ ) { |
| syzlist[sig->pos] = insert_sig(syzlist[sig->pos],sig); |
sig = trivial_sig(i,j); |
| |
syzlist[sig->pos] = insert_sig(syzlist[sig->pos],sig); |
| |
} |
| } |
} |
| dlen = 0; |
dlen = 0; |
| for ( i = 0; i < nd_psn; i++ ) { |
for ( i = 0; i < nd_psn; i++ ) { |
| Line 6968 ND ptond(VL vl,VL dvl,P p) |
|
| Line 6970 ND ptond(VL vl,VL dvl,P p) |
|
| else if ( NUM(p) ) { |
else if ( NUM(p) ) { |
| NEWNM(m); |
NEWNM(m); |
| ndl_zero(DL(m)); |
ndl_zero(DL(m)); |
| if ( !INT((Q)p) ) |
if ( RATN(p) && !INT((Q)p) ) |
| error("ptond : input must be integer-coefficient"); |
error("ptond : input must be integer-coefficient"); |
| CZ(m) = (Z)p; |
CZ(m) = (Z)p; |
| NEXT(m) = 0; |
NEXT(m) = 0; |