PolyBoRi
literal_factorization.h
Go to the documentation of this file.
1 /*
2  * literal_factorization.h
3  * PolyBoRi
4  *
5  * Created by Michael Brickenstein on 29.05.06.
6  * Copyright 2006 The PolyBoRi Team. See LICENSE file.
7  *
8  */
9 
10 #include <algorithm>
11 #include <vector>
12 #include <map>
13 #include <set>
14 #include <utility>
15 #include "groebner_defs.h"
16 #ifndef PBORI_GB_LF_H
17 #define PBORI_GB_LF_H
19 
20 
22 public:
24  typedef std::map<idx_type, int> map_type;
28  bool occursAsLeadOfFactor(idx_type v) const;
29  bool trivial() const;
30  bool is11Factorization();
31  bool is00Factorization();
32  //Theorem: f BoolePolynomial with factor (x+b), b in 0, 1 (considered in the usual Polynomial Ring)
33  //then f/(x+b) does not involve the variable x
34  //typedef std::pair<idx_type,idx_type> var_pair_type;
35  //typedef std::set<var_pair_type> two_var_factors;
36  typedef std::map<idx_type, idx_type> var2var_map_type;
38 
39  protected:
40 
41 
42 
43 };
46 #endif