Discrete Poincaré and trace inequalities for the hybridizable discontinuous Galerkin method | Synapse