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; |