Skip to main content
1 of 2
Christian Stump
  • 3.3k
  • 1
  • 20
  • 29

The statemend does indeed hold in type H3; you can find the computation here: http://sage.lacim.uqam.ca/home/pub/15/. The computer is still running (and I don't know how long it might take) doing type H4.

So, if no Coxeter theoretic proof is known, there is hope to find one...

Christian Stump
  • 3.3k
  • 1
  • 20
  • 29