These would make great examples for the sage wiki!
On Fri, Feb 10, 2012 at 2:55 AM, Vegard Lima wrote:
> On Fri, Feb 10, 2012 at 7:53 AM, Jonathan Bober wrote:
>> os.system("mv my_anim/movie.avi movie.avi; rm my_anim/*; rmdir my_anim")
>> ##
>>
>> (I had no idea if this would work on sag
On Fri, Feb 10, 2012 at 7:53 AM, Jonathan Bober wrote:
> os.system("mv my_anim/movie.avi movie.avi; rm my_anim/*; rmdir my_anim")
> ##
>
> (I had no idea if this would work on sagenb.org, so I tried, and it does.
> Sure enough, though, the output of mencoder is some format that Chrome won'
On Thu, Feb 9, 2012 at 6:19 PM, Nils Bruin wrote:
>
> Another thing is that for longer animations, an animated GIF is
> probably not the best format. You should probably use something that
> can collate a bunch of frames into an mpeg movie or similar. I am sure
> there are command-line programs f
