# AnnFs(List) -- the annihilating ideal of f_1^{s_1}...f_r^{s_r}

## Synopsis

• Function: AnnFs
• Usage:
AnnFs F
• Inputs:
• F, a list, {f_1,...,f_r}, a list of polynomials in n variables (f_i has to be an element of A_n, the Weyl algebra)
• Outputs:
• an ideal, an ideal in A_n<t_1,..., t_r,dt_1,...,dt_r>

## Description

 i1 : W = makeWA ( QQ[x_1..x_3] ) o1 = W o1 : PolynomialRing, 3 differential variables i2 : AnnFs {x_2^2-x_1*x_3, x_1^3-x_3^2} 2 3 2 2 o2 = ideal (- x + x x + t , - x + x + t , 3x dt - x dt + dx , 2x dt + 2 1 3 0 1 3 1 1 1 3 0 1 2 0 ------------------------------------------------------------------------ dx , - x dt - 2x dt + dx ) 2 1 0 3 1 3 o2 : Ideal of QQ[x ..x , t ..t , dx ..dx , dt ..dt ] 1 3 0 1 1 3 0 1