Potential factors which may cause higher T-counts in phase teleportation

[ChenZhao44]

In the current implementation of rule p2 and p3, spiders without location information will be regarded as spiders in phase gadgets. However, it will cause incomplete simplification in phase teleportation.

[ChenZhao44]

Rule p2 and p3 can be applied to boundary spiders theoretically. However, it is not supported in the current version.