test: test PxPyPzE.Set
test: refactor
ptetaphim: implement P4
test: test ptetaphim