I have recently installed Firedrake to my Ubuntu 16 and made all tests successfully. However it doest show up in any of Python3 directories. Therefore, the command “ from firedrake import * “ never works. If you have any suggestion, I would really appreciate. Have a good day.