version 1.18, 2000/08/21 07:45:22 |
version 1.19, 2000/08/22 02:13:51 |
|
|
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal-test.k,v 1.17 2000/08/10 02:59:08 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal-test.k,v 1.18 2000/08/21 07:45:22 takayama Exp $ */ |
load["minimal.k"]; |
load["minimal.k"]; |
def sm1_resol1(p) { |
def sm1_resol1(p) { |
sm1(" p resol1 /FunctionValue set "); |
sm1(" p resol1 /FunctionValue set "); |
|
|
ttt = sss[i]; |
ttt = sss[i]; |
ans = 0; |
ans = 0; |
for (j=0; j<Length(ttt); j++) { |
for (j=0; j<Length(ttt); j++) { |
p = ttt[j] + maxR + 3; /* degree */ |
p = -ttt[j] + maxR + 3; /* degree */ |
if (p >= 0) { |
if (p-maxR >= 0) { |
ans = ans + CancelNumber(p*(p-1)*(p-2)/(3*2*1)); |
ans = ans + CancelNumber(p*(p-1)*(p-2)/(3*2*1)); |
/* Add the number of monomials */ |
/* Add the number of monomials */ |
} |
} |
|
|
ttt = sss[i]; |
ttt = sss[i]; |
ans = 0; |
ans = 0; |
for (j=0; j<Length(ttt); j++) { |
for (j=0; j<Length(ttt); j++) { |
p = ttt[j] + maxR + 3; /* degree */ |
p = -ttt[j] + maxR + 3; /* degree */ |
if (p >= 0) { |
if (p-maxR >= 0) { |
ans = ans + CancelNumber(p*(p-1)*(p-2)/(3*2*1)); |
ans = ans + CancelNumber(p*(p-1)*(p-2)/(3*2*1)); |
/* Add the number of monomials */ |
/* Add the number of monomials */ |
} |
} |