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