by Klitzing » Wed Oct 24, 2012 11:12 am
As to "EP||PXQXR":
P x Q x R is just a subcase of P x S: just take S to be Q x R. Therefore "EP||PXQXR" is contained in case "EP||PXQ".
As to "EP||P^R":
Depends on what you mean by "P^R". In case you mean Jonathans powertopes, you probably have to ask him yourself. (I never managed to wrap my mind arround these high dimensional structures.)
But if "R" here just means some (positive) integer, "EP||P^R" would be again, by the same argument, a subcase of "EP||PXQ".
--- rk