/usr/include/polybori/groebner/LexBucket.h is in libbrial-groebner-dev 1.2.0-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 | /*
* pairs.h
* PolyBoRi
*
* Created by Michael Brickenstein on 19.04.06.
* Copyright 2006 The PolyBoRi Team. See LICENSE file.
*
*/
#include <functional>
#include "groebner_defs.h"
#include "LiteralFactorization.h"
#include <memory>
#include <queue>
#include <algorithm>
#include <utility>
#include <set>
#include <vector>
#ifndef PB_LEXBUCKETS_H
#define PB_LEXBUCKETS_H
BEGIN_NAMESPACE_PBORIGB
Polynomial without_prior_part(Polynomial p, idx_type tail_start);
class LexBucket{
//typedef CTypes::idx_type idx_type;
public:
static const int var_group_size=1;
BoolePolyRing ring;
LexBucket(const BoolePolyRing& input_ring): ring(input_ring), front(input_ring) {
ones=false;
updateTailStart();
}
LexBucket& operator+=(const Polynomial& p);
LexBucket(const Polynomial& p): ring(p.ring()), front(p) {
ones=false;
if (!(p.isConstant())){
updateTailStart();
Polynomial back=without_prior_part(p, tail_start);
if (!(back.isZero())){
if (back.isOne()){
ones=(!(ones));
} else{
buckets.push_back(back);
}
}
front-=back;
} else {
updateTailStart();
front=0;
if (p.isOne()) ones=true;
}
}
void clearFront(){
front=0;
while((front.isZero())&& (buckets.size()>0)){
increaseTailStart(tail_start+var_group_size);
}
}
Exponent leadExp();
bool isZero();
//we assume that p has smaller/equal terms than the bucket, or the bucket is zero
void updateTailStart();
idx_type getTailStart();
void increaseTailStart(idx_type new_start);
Polynomial value();
Polynomial getFront(){
return front;
}
bool isOne(){
usualAssertions();
if ((front.isZero()) && (ones) && (buckets.size()==0)) return true;
else return false;
}
private:
void usualAssertions(){
PBORI_ASSERT((buckets.size()==0)||(!(front.isZero())));
}
std::vector<Polynomial> buckets;
Polynomial front;
idx_type tail_start;
bool ones;
};
END_NAMESPACE_PBORIGB
#endif
|