LICENSE

===============================================================================

controlled-reduction (version 1.0):

    An implementation of the controlled reduction method for computing the
    Hasse-Weil zeta functions of smooth projective hypersurfaces over finite
    fields. Explicitly, by computing a p-adic approximation of Frobenius
    action on p-adic cohomology (Monsky-Washnizter) with sufficient precision
    and then lifting its characteristic polynomial to the integers.
    An overview of the method can be found in: 
     - "Computing zeta functions of nondegenerate projective hypersurfaces over 
    finite fields", (under preparation) by Edgar Costa and David Harvey.
     - "Effective computations of Hasse-Weil zeta functions", by Edgar Costa


Copyright (C) 2013-2017, Edgar Costa

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 2 of the License, or
(at your option) version 3 of the License. See, GPLv2 or GPLv3, respectively.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License,
along with this program (see GPLv2 and GPLv3 text files). If not,
see <http://www.gnu.org/licenses/>.

===============================================================================