from IPython.display import FileLink FileLink("gram-schmidt.webm")
(Click the link above to play the movie.)