In this paper we develop a theory for computing the nonabelian tensor square and related computations for finitely presented groups and specialize it to polycyclic groups. This theory provides a framework for making nonabelian tensor square computations for polycyclic groups and is the basis of an algorithm for computing the nonabelian tensor square for any polycyclic group.