element-givaro.h

Go to the documentation of this file.

/* 
 * Copyright (C) 2015 Antoine Joux, Vanessa Vitse and Titouan Coladon
 * 
 * This file is part of openf4.
 * 
 * openf4 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 3 of the License, or
 * (at your option) any later version.
 * 
 * openf4 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 openf4.  If not, see <http://www.gnu.org/licenses/>.
 */

#ifndef OPENF4_ELEMENT_GIVARO_H
#define OPENF4_ELEMENT_GIVARO_H

#ifdef HAVE_GIVARO

#include "global.h"
#include <iostream>
#include <string.h>
#include <cassert>
#include <cmath>
#include "givaro/modular-log16.h"
#include "givaro/modular-integer.h"
#include "givaro/gfq.h"
namespace F4
{
    template <class Field>
    class ElementGivaro
    {
        public:
            
            /* static methods */
            
            static void setField(Field & field);
            
            static void setVariableName(std::string var);
            
            
            /* No constructor because POD */
            
            /* No Destructor because POD */
            
            
            /* Miscellaneous */
            
            ElementGivaro<Field> & addMult(ElementGivaro<Field> const & element, ElementGivaro<Field> const & mult);
            
            ElementGivaro<Field> & inverse();
            
            void printElementGivaro (std::ostream & stream) const;
            
            bool isZero() const;
            
            bool isOne() const;
            
            void setZero();
            
            void setOne();
            
            
            /* Internal operators */
            
            ElementGivaro & operator=(typename Field::Element element);
            
            ElementGivaro & operator=(std::string element);
            
            ElementGivaro & operator*=(ElementGivaro const & mult); 
            
            ElementGivaro & operator-=(ElementGivaro const & element);
            
            
            /* Public attribute because POD */
            
            typename Field::Element _element; 
            static Field F; 
            static std::string VARIABLE_NAME; 
    };
    
    
    /* External operators */
    
    template <class Field>
    std::ostream & operator<<(std::ostream & stream, ElementGivaro<Field> const & element);
    
    template <class Field>
    ElementGivaro<Field> operator * (ElementGivaro<Field> const & element1, ElementGivaro<Field> const & element2);
    
    template <class Field>
    ElementGivaro<Field> operator - (ElementGivaro<Field> const & element);
}

#include "../src/element-givaro.inl"
#endif // HAVE_GIVARO
#endif // OPENF4_ELEMENT_GIVARO_H