Types.hpp

/*
    This file is part of the FAAST library.

    Copyright (c) 2009 Luca De Feo and Éric Schost.

    The most recent version of FAAST is available at http://www.lix.polytechnique.fr/~defeo/FAAST

    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) any later version.

    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 file COPYING. If not, write to the Free Software
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
*/
#ifndef TYPES_H_
#define TYPES_H_

#include <NTL/ZZ.h>
#include <NTL/lzz_p.h>
#include <NTL/lzz_pE.h>
#include <NTL/lzz_pX.h>
#include <NTL/lzz_pEX.h>
#include <NTL/mat_lzz_p.h>
#include <NTL/ZZ_p.h>
#include <NTL/ZZ_pE.h>
#include <NTL/ZZ_pX.h>
#include <NTL/ZZ_pEX.h>
#include <NTL/mat_ZZ_p.h>
#include <NTL/GF2.h>
#include <NTL/GF2E.h>
#include <NTL/GF2X.h>
#include <NTL/GF2EX.h>
#include <NTL/mat_GF2.h>
#include "NTLhacks.hpp"

NTL_CLIENT

namespace FAAST {
    struct Constants {
        mutable long HalfGCD_CROSSOVER;
        Constants(const long h) : HalfGCD_CROSSOVER(h) {}
    };

    class ZZ_auto : public ZZ {
    public:
        ZZ_auto() {}
        ZZ_auto(const long i) : ZZ(to_ZZ(i)) {}
        ZZ_auto(const ZZ& i) : ZZ(i) {}
        ZZ_auto& operator=(const ZZ_auto& i) { ZZ::operator=(i); return *this; }
        ZZ_auto& operator=(const ZZ& i) { ZZ::operator=(i); return *this; }
        ZZ_auto& operator=(const long i) { ZZ::operator=(i); return *this; }
        operator long() const {
            return to_long(*this);
        }
    };

    struct zz_p_Algebra {
        typedef zz_p            GFp;
        typedef mat_zz_p        MatGFp;
        typedef vec_zz_p        VecGFp;
        typedef zz_pX           GFpX;
        typedef zz_pE           GFpE;
        typedef zz_pEX          GFpEX;
        typedef long            BigInt;
        typedef struct {
            zz_pContext  p;
            zz_pEContext P;
        }                       Context;
        typedef zz_pXModulus    GFpXModulus;
        typedef zz_pXMultiplier GFpXMultiplier;

        static const Constants consts;
        static char const * const name;
    };

    struct ZZ_p_Algebra {
        typedef ZZ_p            GFp;
        typedef mat_ZZ_p        MatGFp;
        typedef vec_ZZ_p        VecGFp;
        typedef ZZ_pX           GFpX;
        typedef ZZ_pE           GFpE;
        typedef ZZ_pEX          GFpEX;
        typedef ZZ_auto         BigInt;
        typedef struct {
            ZZ_pContext  p;
            ZZ_pEContext P;
        }                       Context;
        typedef ZZ_pXModulus    GFpXModulus;
        typedef ZZ_pXMultiplier GFpXMultiplier;

        static const Constants consts;
        static char const * const name;
    };

    struct GF2_Algebra {
        typedef GF2                 GFp;
        typedef mat_GF2             MatGFp;
        typedef vec_GF2             VecGFp;
        typedef GF2X                GFpX;
        typedef GF2E                GFpE;
        typedef GF2EX               GFpEX;
        typedef int                 BigInt;
        typedef struct {
            GF2EContext P;
        }                           Context;
        typedef GF2XModulus         GFpXModulus;
        typedef GF2XTransMultiplier GFpXMultiplier;

        static const Constants consts;
        static char const * const name;
    };

}

#endif /*TYPES_H_*/