1: \begin{abstract}

2: According to the orbit method, the construction of a unitary irreducible

3: representation of a nilpotent Lie group requires a precise computation of some

4: polarizing subalgebra subordinated to a linear functional in the linear dual

5: of the corresponding Lie algebra. This important step is generally challenging

6: from a computational viewpoint. In this paper, we provide an algorithmic

7: approach to the construction of the well-known Vergne polarizing subalgebras

8: \cite{Corwin}. The algorithms presented in this paper are specifically

9: designed so that they can be implemented in Computer Algebra Systems. We also

10: show there are instances where Vergne's construction could be refined for the

11: sake of efficiency. Finally, we adapt our refined procedure to free nilpotent

12: finite-dimensional Lie algebras of step-two to obtain simple and precise

13: descriptions of Vergne polarizing algebras corresponding to all linear

14: functionals in a dense open subset of the linear dual of the corresponding

15: Lie algebra. Also, a

16: program written for Mathematica is presented at the end of the paper.

17: 

18: \end{abstract}

19: