carl  25.04
Computer ARithmetic Library
Namespaces | Enumerations | Functions
Definiteness.h File Reference
#include "Degree.h"
#include "SoSDecomposition.h"
#include "../MultivariatePolynomial.h"
#include "../UnivariatePolynomial.h"
#include <iostream>
Include dependency graph for Definiteness.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 carl
 carl is the main namespace for the library.
 

Enumerations

enum class  carl::Definiteness {
  carl::NEGATIVE = 0 , carl::NEGATIVE_SEMI = 1 , carl::NON = 2 , carl::POSITIVE_SEMI = 3 ,
  carl::POSITIVE = 4
}
 Regarding a polynomial $p$ as a function $p: X \rightarrow Y$, its definiteness gives information about the codomain $Y$. More...
 

Functions

std::ostream & carl::operator<< (std::ostream &os, Definiteness d)
 
template<typename Coeff >
Definiteness carl::definiteness (const Term< Coeff > &t)
 
template<typename C , typename O , typename P >
Definiteness carl::definiteness (const MultivariatePolynomial< C, O, P > &p, bool full_effort=true)