Para instalar FEniCs en Debian Linux usar
   # aptitude install fenics

Para correr los ejemplos usar
   $ python ejemplo.py