repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
evalue_range_propagation: remove redundant polynomials from results
2008-03-31
Sven Verdoolaege
eva
l
ue_range_propa
g
ation: remove redu
n
dant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bou
n
d: re
c
o
r
d numb
e
r
of polynomials as
"size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bound: conv
e
r
t qu
a
sipolynomials to poly
n
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bound: co
m
pa
r
e polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: han
d
l
e input
evalu
a
ting to nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoo
l
aege
verify
.
c: ext
r
act eva
l
ue_optimum fr
o
m maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
veri
f
y
.
c:
extra
c
t
common code for verifyi
n
g
oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaeg
e
e
value_range
_
propagation
:
a
dd monotonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvinok_maximize: opt
i
onally use (basi
c
)
rang
e
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
A
d
d
some suppo
r
t for de
a
ling
w
ith evalues that
repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvinok_enum
e
rate: su
p
port
u
s
e of E
u
l
e
r-Maclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement
Bernoulli_sum
a
s c
o
nversion from unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum_e
v
alue: exploit integer b
o
u
nds to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoolaege
keep tr
a
ck of number of Bernou
l
li su
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
la
e
ge
bernoull
i
.
c: protect shar
e
d evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test Bernou
l
li sums bas
e
d ex
a
c
t
enume
r
ation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ba
r
v
i
nok_count_with
_
opt
i
ons:
c
ompute (exact) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
ernoulli_sum_evalue: optionally ha
n
d
l
e
frac
t
i
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
l
a
ttice_point
.
h: expor
t
fractional_part with C lin
k
a
g
e
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
b
arvi
n
ok_enumerate_wit
h
_options: compute (exac
t
)
Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Be
r
noulli_sum_evalue:
h
andle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doo
l
aege
B
ernoulli_sum_e
v
a
lue:
cu
t
off some
redund
a
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
Be
r
noulli_s
u
m_evalu
e
: make sure no e
m
p
t
y
p
a
r
ti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum_eva
l
ue: remove
r
e
dundant constrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
e
g
e
bernoulli
.
c: min
o
r refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum
:
h
a
ndle context co
n
st
r
a
i
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
for_ea
c
h_
l
ower_upper
_
bound: add
a
nother cal
l
back
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
verify
.
c: adjust default range to context
i
f nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
e
u
ler
.
c
c: s
u
mmate
_
over_domain:
o
nly consider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ver
d
oolaege
pa
r
a
m
_util
.
c:
e
x
p
ort Para
m
_Vertex_Set_
F
ac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Param_Poly
h
e
d
r
on_Fa
c
et
:
pass fa
c
et defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
genfun
.
cc: parallel_polytopes
:
d
o
n't
b
o
ther handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
e
v
alue_s
p
lit_domains_into_orthants:
don't r
e
duce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aege
evalue_read:
o
nly allow terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eva
l
u
e
_read: only
accept im
p
lici
t
multiplicati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_read: ac
c
ept constraints c
o
n
t
a
i
ning
"
'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalu
e
_bernstein
_
coeffi
c
ients: ens
u
r
e resu
l
t partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
oolae
g
e
bernste
i
n: piecewise_lst: c
o
rrectly print and e
v
a
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
remove_all_equalit
i
es: ke
e
p re
m
oving para
m
eter equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
er
d
o
olaege
upda
t
e polyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdool
a
ege
d
o
c: c
o
nsi
s
tent use of Kevin's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc
:
update no
w
publish
e
d p
a
p
er
s
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
for_each_lower_upper_
b
o
u
nd:
al
l
ow
absence of
l
ow
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdool
a
e
ge
Re
v
ert "eadd_p
a
r
tit
i
ons
:
try to co
m
b
in
e
m
u
ltiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ve
r
dool
a
ege
evalue
_
rea
d
_part
i
tio
n
: p
u
t part
i
tion
s
back i
n
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e
: reduce_evalue: add no
t
e o
n
s
o
m
e missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc: handle input with unions + relation viola
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoo
l
aege
m
a
x
imi
z
e
.
cc: dea
l
with u
n
io
n
s in input during verificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaeg
e
e
v
a
lue_substit
u
te: properl
y
handle relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
e
v
alu
e
.
c: clean up emul and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdool
a
ege
evalue_read: correc
t
ly rea
d
variable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
ola
e
ge
e
valu
e
_read: accept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdo
o
laege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue
_
backsubstitute: add requi
r
ed
m
odulo const
r
aints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
r
d
oola
e
ge
e
value
.
c: *_partitions: simplify constrain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
doolaege
doc:
m
ore
s
pe
c
ific infor
m
a
tion on buggy
c
ddlib versi
o
ns
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Verdo
o
laeg
e
con
f
i
gur
e
.
in: requir
e
cddlib 0
.
9
4e by test
i
ng for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
confi
g
u
r
e
.
in: only compile occ if c
o
de_g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
add some
t
ests for implementatio
n
of projection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc:
d
ocument new
o
ptions an
d
new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
dool
a
ege
AUT
H
OR
S
: upda
t
e support
i
nform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
genfun
.
c
c: short
_
rat:
:
pr
i
nt: correctly
p
rin
t
polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export series as
b
arvinok_enumer
a
te_series and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
remov
e
_parameter
_
equalities: stop "rem
o
vi
n
g" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolae
g
e
series: leav
e
freeing o
f
P argument to c
a
ll
i
ng f
u
nct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
doc
:
document
implementation o
f
the projection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
e
g
e
a
d
d barvinok_enu
m
erate
_
e_series im
p
l
e
men
t
ing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ge
n
f
u
n
.
cc: fix and document pa
r
a
llel polyt
o
pes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolae
g
e
Mo
v
e
G
iNaC-i
n
dependent pa
r
t of librar
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
e
r
doolaeg
e
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verd
o
olaege
do
c
: ho
w
t
o count the number of ele
m
ents
in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoolaege
doc/implement
a
tion
.
tex: avoid multi
p
l
y de
f
i
ned lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lat
t
ice
_
w
i
dth
.
c
: t
r
y vertices of previous integ
e
r hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
d
o
c: document integ
e
r hull computation
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
hu
l
l
.
c: add a
l
l points
f
ound
by samp
l
ing directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possibl
e
optimizations for generalized b
a
sis red
u
ct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoo
l
ae
g
e
Sup
p
ort u
s
e
o
f gen
e
ra
l
ized basis reduction
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erd
o
ol
a
eg
e
a
d
d Polyhedron_In
t
ege
r
_M
i
nimum for co
m
puting the i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdo
o
laege
doc:
d
ocu
m
en
t
g
eneralized b
a
sis red
u
c
t
i
on b
a
sed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ve
r
d
oolaege
doc/ba
r
vin
o
k
.
bib: add missing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
S
ven
V
erd
o
olaege
ad
d
more missi
n
g assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
configure
.
in: only compile libbarv
i
nok
as a st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedr
o
n_Re
d
uced_B
a
s
i
s: don't
s
top too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoola
e
ge
compute_width_dir
e
ct
i
ons: onl
y
k
e
ep list of distin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
zs
o
lve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
a
e
ge
versio
n
.
c: show use
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
c
o
nfigure
.
in:
don't s
e
t wi
t
h_{p
o
l
y,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
do
o
laege
P
olyhedron_Sample
:
b
e
s
atisfied with a reas
o
nable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
one_integer_hull: optiona
l
l
y
p
ri
n
t
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
basis_reduc
t
ion
:
keep track of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
options: move --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: r
e
work te
s
tin
g
framework to
n
o
t depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
e
rnstein:
a
d
d
piecewi
s
e_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoola
e
ge
support newer
versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
standard_constraints: move
f
rom topcom
.
c
to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verd
o
olae
g
e
pol
y
sign
.
h: remov
e
dependency on lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolv
e
:
a
dd ba
n
ner
.
h
t
o d
i
stribution
commit
|
commitdiff
|
tree
2007-11-06
S
v
en
V
e
rdoolaege
Polyhe
d
ron_L
a
tti
c
e_Wid
t
h_Dire
c
tions:
print pro
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basi
s
_reduction_pip:
a
bort on invalid (emp
t
y
)
input
.
.
.
commit
|
commitdiff
|
tree
next