[[f1 ... fm] [v1 ... vn] [v1 w1 ... vp wp] k1] integral0 [[g1 ... gq],[e1,...,er]] poly|string f1 ...fm; string v1 ... vn; string v1 ... vp; integer w1 ... wp; integer k1; poly g1 ... gq; poly e1, ..., er; f1 ... fm are annihilors, v1 ... vn are variables, w1 is the weight of the variable v1, ... k1 is the maximal degree of the filtration: maximal integral root of b-function. cf. intwbf g1, ..., gq are integral. e1, ..., er are basis of the free module to which the g1, ..., gq belong. THE ORDERS OF INTEGRAL VARIABLES MUST BE SAME BOTH IN THE SECOND AND THE THIRD ARGUMENTS. INTEGRAL VARIABLES MUST APPEAR FIRST. Example 1: [[(x-y) (Dx+Dy)] [(y) (x)] [(y) -1 (Dy) 1] 1] integral-k1 Example 2: [[(x (x-1)) (x)] annfs 0 get [(x)] [(x) -1 (Dx) 1] 1] integral-k1