polyhedral_analysis.trajectory moduleΒΆ