next up previous
: bfunction : Macros in libraries : asirconnectr

bf-111

 [ideal vlist rest-vlist bf-111] bf-111 
Compute the b-function for the weight vector 11111 for the variables
res-vlist.  cf. wbf
Example: [ [((x Dx -1 ) x Dx (x Dx + 2)) (y Dy)] (x,y) (x)] bf-111



Nobuki Takayama 平成17年2月10日