Consistent polycyclic presentation of a Bieberbach group with a nonabelian point group

Research on the nonabelian tensor square of a group is requisite on finding the other homological functors. One of the methods to explicate the nonabelian tensor square is to ensure the presentation of the group is polycyclic and to prove its consistency. In this research, the polycyclic presentation of a Bieberbach group with the quaternion point group of order eight is shown to be consistent.