carl  24.04
Computer ARithmetic Library
DiophantineEquation.h
Go to the documentation of this file.
1 /**
2  * @file DiophantineEquation.h
3  * @author Tobias Winkler <tobias.winkler1@rwth-aachen.de>
4  */
5 
6 #pragma once
7 
8 #include <carl-arith/numbers/numbers.h>
9 #include "../MultivariatePolynomial.h"
10 
11 namespace carl {
12 
13 
14 /**
15  * Diophantine Equations solver
16  */
17 template<typename T>
18 std::vector<T> solveDiophantine(MultivariatePolynomial<T> & p);
19 
20 template<typename T>
21 T extended_gcd_integer(T a, T b, T& s, T& t);
22 
23 
24 
25 } // namespace carl
26 
27 #include "DiophantineEquation.tpp"
carl
carl is the main namespace for the library.
carl::solveDiophantine
std::vector< T > solveDiophantine(MultivariatePolynomial< T > &p)
Diophantine Equations solver.
carl::extended_gcd_integer
T extended_gcd_integer(T a, T b, T &s, T &t)
carl::MultivariatePolynomial
The general-purpose multivariate polynomial class.
Definition: MultivariatePolynomial.h:43