[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