The cyclicity of a cubic system with nonradical Bautin ideal

We present a method for investigating the cyclicity of an elementary focus or center of a polynomial system of differential equations by means of complexification of the system and application of algorithms of computational algebra, showing an approach to treating the case that the Bautin ideal B of focus quantities is not a radical ideal (more precisely, when the ideal BK is not radical, where BK is the ideal generated by the shortest initial string of focus quantities that, like the Bautin ideal, determines the center variety). We illustrate the method with a family of cubic systems.