GiNaCRA  0.6.4
ginacra.h
Go to the documentation of this file.
00001 /*
00002  * GiNaCRA - GiNaC Real Algebra package
00003  * Copyright (C) 2010-2012  Ulrich Loup, Joachim Redies, Sebastian Junges
00004  *
00005  * This file is part of GiNaCRA.
00006  *
00007  * GiNaCRA is free software: you can redistribute it and/or modify
00008  * it under the terms of the GNU General Public License as published by
00009  * the Free Software Foundation, either version 3 of the License, or
00010  * (at your option) any later version.
00011  *
00012  * GiNaCRA is distributed in the hope that it will be useful,
00013  * but WITHOUT ANY WARRANTY; without even the implied warranty of
00014  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00015  * GNU General Public License for more details.
00016  *
00017  * You should have received a copy of the GNU General Public License
00018  * along with GiNaCRA.  If not, see <http://www.gnu.org/licenses/>.
00019  *
00020  */
00021 
00022 
00041 #ifndef GINACRA_H
00042 #define GINACRA_H
00043 
00055 #include "settings.h"
00056 #include "constants.h"
00057 #include "utilities.h"
00058 #include "Polynomial.h"
00059 #include "Constraint.h"
00060 #include "UnivariatePolynomial.h"
00061 #include "RationalUnivariatePolynomial.h"
00062 #include "OpenInterval.h"
00063 #include "MultivariateMonomialMR.h"
00064 #include "MultivariateTermMR.h"
00065 #include "MultivariatePolynomialMR.h"
00066 #include "Groebner.h"
00067 //#include "MultivariatePolynomialFactory.h"
00068 //#include "SpecialQuotientRingMultiplicationTable.h"
00069 
00070 #include "RealAlgebraicNumber.h"
00071 #include "RealAlgebraicNumberNR.h"
00072 #include "RealAlgebraicNumberIR.h"
00073 #include "RealAlgebraicNumberFactory.h"
00074 #include "UnivariatePolynomialSet.h"
00075 #include "tree.h"
00076 #include "RealAlgebraicPoint.h"
00077 #include "CAD.h"
00078 #include "operators.h"
00079 
00080 #endif // GINACRA_H
00081 
00082 
00083 
00084 
00085