algebraicinteger.h

Go to the documentation of this file.

/*
Copyright (C) 2014, 2015, 2016
Rafael Guglielmetti, rafael.guglielmetti@unifr.ch
*/

/*
This file is part of AlVin.

CoxIter 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.

CoxIter 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 AlVin. If not, see <http://www.gnu.org/licenses/>.
*/

#ifndef ALGEBRAICINTEGER_H
#define ALGEBRAICINTEGER_H

#include <vector>
#include <iostream>
#include <string>

#include "CoxIter/lib/math_tools.h"

using namespace std;
using namespace MathTools;

class AlgebraicInteger
{
    public:
        virtual ~AlgebraicInteger();
        
        virtual AlgebraicInteger* aiCopyToInteger( const int& n ) const = 0;
        
        virtual AlgebraicInteger* copy() const = 0;
        
        virtual void set( const int& n ) = 0;
        
        virtual void set( AlgebraicInteger* ai ) = 0;
        
        virtual void removeSquareFactors() = 0;
        
        virtual bool bIsInvertible() const = 0;
        
        virtual bool bIsSquareOfIvertible() const = 0;
        
        virtual void gcd( const AlgebraicInteger* ai ) = 0;
        
        virtual bool bIsDivisbleBy( const AlgebraicInteger* ai ) const = 0;
        
        virtual void divideBy( const AlgebraicInteger *ai ) = 0;
        
        virtual void multiplyBy( const int& n ) = 0;
        
        virtual void multiplyBy( const AlgebraicInteger *ai ) = 0;
        
        virtual void add( const AlgebraicInteger *ai ) = 0;
        
        virtual void substract( const AlgebraicInteger *ai ) = 0;
        
        virtual void opp() = 0;

        virtual bool bIsLessThan( const int& n ) const = 0;
        
        virtual bool bIsLessThan( const AlgebraicInteger& ai ) const = 0;
        
        virtual bool bIsLessOEThan( const AlgebraicInteger& ai ) const = 0;
        
        virtual bool bIsGreaterThan( const int& n ) const = 0;
        
        virtual bool bIsGreaterOEThan( const int& n ) const = 0;
        
        virtual bool bIsEqualTo( const AlgebraicInteger& ai ) const = 0;
        
        virtual bool bIsEqualTo( const int& n ) const = 0;
        
        bool operator==( const AlgebraicInteger& ai ) const;
        
        bool operator!=( const int& n ) const;
        
        bool operator!=( const AlgebraicInteger& ai ) const;
        
        friend ostream& operator<<( ostream& , AlgebraicInteger const & );
        
        virtual ostream& print( ostream& ) const;
        
        virtual string to_string( const string& strFormat = "generic", const bool& bProtect = false ) const = 0;
        
        virtual double to_double() const = 0;
        
        virtual string get_classname() const = 0;
        
    private:
        AlgebraicInteger& operator=( AlgebraicInteger const & ); 
};

bool isLessThanPtrAlgebraicInteger( AlgebraicInteger* a, AlgebraicInteger* b );

bool isEqualToPtrAlgebraicInteger( AlgebraicInteger* a, AlgebraicInteger* b );

#endif // ALGEBRAICINTEGER_H