wbhart/flint2 — pull request #52 by fandango- (2014-03-06 12:46:49+00:00)
Title: added profiler for gcd

Added a profiling function to time the adjusted n_gcd