version 1.8, 2000/12/14 09:13:37 |
version 1.9, 2000/12/14 09:36:17 |
|
|
* 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/asir2000/lib/bfct,v 1.7 2000/12/14 01:38:37 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/lib/bfct,v 1.8 2000/12/14 09:13:37 noro Exp $ |
*/ |
*/ |
/* requires 'primdec' */ |
/* requires 'primdec' */ |
|
|
Line 250 def weyl_gennf(G,TL,V,O) |
|
Line 250 def weyl_gennf(G,TL,V,O) |
|
NF = remove_cont(NF); |
NF = remove_cont(NF); |
H = cons(NF,H); |
H = cons(NF,H); |
} |
} |
print(""); |
if ( dp_gr_print() ) print(""); |
TNF = time()[0]-T0; |
TNF = time()[0]-T0; |
if ( dp_gr_print() ) |
if ( dp_gr_print() ) |
print("gennf(TAB="+rtostr(TTAB)+" NF="+rtostr(TNF)+")"); |
print("gennf(TAB="+rtostr(TTAB)+" NF="+rtostr(TNF)+")"); |