quadraticinteger_alvin.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 QUADRATICINTEGER_ALVIN_H
#define QUADRATICINTEGER_ALVIN_H

#include "alvin.h"
#include "quadraticinteger.h"
#include "quadraticinteger_alvinfractions.h"

class QuadraticInteger_AlVin : public AlVin
{
    private:
        vector< QuadraticInteger > qiQF; 
        vector< QuadraticInteger > qi2QF; 
        vector< QuadraticInteger > qiDQF; 
        vector< QuadraticInteger > qiDQFConj; 
        
        vector< QuadraticInteger > qiBilinearProducts; 
        vector< QuadraticInteger > qiVectorCurrent; 
        vector< vector< QuadraticInteger* > > qiVectors; 
        
        long int d; 
        long int dISqrt; 
        bool bIsOneMod4; 
        
    public:
        QuadraticInteger_AlVin( const vector< QuadraticInteger >& iQuadraticFormCoeffs, const string &strOuputMathematicalFormat, const bool& bWriteInfo, const bool& bDebug );
        
        virtual string get_strField() const;
        
    private:
        void findPossibleNorms2();
        
        bool PreRun();
        
        void findVector( AlgebraicInteger* aiX0, AlgebraicInteger* aiNorm2 );
        
        void findVector( QuadraticInteger* qi0, QuadraticInteger* qiNorm2, unsigned int iIndex, QuadraticInteger qiSumComp, QuadraticInteger qiGCDComponents );
        
        void addCandidate();
        virtual void addVectorChild( const vector< AlgebraicInteger* >& aiVector );
        virtual int addVector_iFindWeight( AlgebraicInteger* aiNumerator, AlgebraicInteger* aiDenominator );
};

#endif // QUADRATICINTEGER_ALVIN_H