settings.h

Go to the documentation of this file.

#ifndef GINACRA_SETTINGS_H
#define GINACRA_SETTINGS_H

#include <limits.h>

#include "SymbolDB.h"
#include "VariableListPool.h"
#include "UnivariatePolynomial.h"

namespace GiNaCRA
{
    // CPPUnit //

    class CPPUNITSettings
    {
        public:
            static std::string TESTSUITE_ALL;
            static std::string TESTSUITE_UNIVARIATE;
    };

    // MultivariatePolynomial //

    class MultivariatePolynomialSettings
    {
        public:

            static void InitializeGiNaCRAMultivariateMR()
            {
                if( !VariableListPool::Initialize() )
                    throw std::runtime_error( "Could not initialize Variables" );
            }
    };

    // CAD //

    enum CADSettingsType
    {
        LOWDEG_CADSETTING = 1,
        ODDDEG_CADSETTING = 2,
        EVENDEG_CADSETTING = 4,
        EAGERLIFTING_CADSETTING = 8,
        GROEBNER_CADSETTING = 16,
        REALROOTCOUNT_CADSETTING = 32,
        SQUAREFREEELIMINATION_CADSETTING = 64
    };

    static const CADSettingsType DEFAULT_CADSETTING = LOWDEG_CADSETTING;

    // RealAlgebraicNumber //

    struct RealAlgebraicNumberSettings
    {
        enum RefinementStrategy
        {
            GENERIC_REFINEMENTSTRATEGY,
            BINARYSAMPLE_REFINEMENTSTRATEGY,
            BINARYNEWTON_REFINEMENTSTRATEGY,
            BINNARYMIDPOINTSAMPLE_REFINEMENTSTRATEGY
        };

        static const RefinementStrategy DEFAULT_REFINEMENTSTRATEGY = GENERIC_REFINEMENTSTRATEGY;

        static const unsigned MAXREFINE_REFINEMENTSTRATEGY = 8;

        enum IsolationStrategy
        {
            SIMPLE_ISOLATIONSTRATEGY,
            GENERIC_ISOLATIONSTRATEGY,
            BINARYSAMPLE_ISOLATIONSTRATEGY,
            TERNARYSAMPLE_ISOLATIONSTRATEGY,
            TERNARYNEWTON_ISOLATIONSTRATEGY
        };

        static const IsolationStrategy DEFAULT_ISOLATIONSTRATEGY = TERNARYSAMPLE_ISOLATIONSTRATEGY;

        static const long MAX_FASTSAMPLE_BOUND = SHRT_MAX;
    };
}
#endif