| 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)+")"); |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to bfct CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / lib