Fri, 22 Jul 2016 08:02:37 +0200 | wenzelm | tuned proofs -- avoid improper use of "this"; | file | diff | annotate |
Fri, 17 Jun 2016 11:33:52 +0200 | eberlm | fps_from_poly → fps_of_poly | file | diff | annotate |
Thu, 16 Jun 2016 17:57:09 +0200 | eberlm | Various additions to polynomials, FPSs, Gamma function | file | diff | annotate |