PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
groebner
src
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
18
BEGIN_NAMESPACE_PBORIGB
19
20
21
class
LiteralFactorization
{
22
public
:
23
LiteralFactorization
(
const
Polynomial
&);
24
typedef
std::map<idx_type, int>
map_type
;
25
map_type
factors
;
26
Polynomial
rest
;
27
deg_type
lmDeg
;
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
;
37
var2var_map_type
var2var_map
;
38
39
protected
:
40
41
42
43
};
44
deg_type
common_literal_factors_deg
(
const
LiteralFactorization
& a,
const
LiteralFactorization
& b);
45
END_NAMESPACE_PBORIGB
46
#endif
Generated on Wed Mar 26 2014 17:27:06 for PolyBoRi by
1.8.1.2