Here you can find various documents that explain how to perform polyhedral computations in Sage.
How to write your own classes for coding theory
A Brief Introduction to Polytopes in Sage