pi-space library based on the pi-space theory