The non-commutative generalization of the A-polynomial of a knot of Cooper, Culler, Gillet, Long and Shalen [4] was introduced in [6]. This generalization consists of a finitely generated left ideal of polynomials in the quantum plane, the non- commutative A-ideal, and was defined based on Kauffman bracket skein modules, by deforming the ideal generated by the A-polynomial with respect to a parameter. The deformation was possible because of the relationship between the skein module with the variable t of the Kauffman bracket evaluated at −1 and the SL(2, C)-character variety of the fundamental group, which was explained in [2]. The purpose of the present paper is to compute the non-commutative A-ideal for the left- and right- handed trefoil knots. As will be seen below, this reduces to trigonometric operations in the non-commutative torus, the main device used being the product-to-sum formula for non-commutative cosines.