Differential algebra of polytopes and inversion formulas | Synapse