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
barvinok_summate: verify solution over whole parameter domain
2007-09-08
Sven Verdoolaege
barvino
k
_summate:
ver
i
fy
s
olution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce barvi
n
ok_summate as a wr
a
pper fo
r
evalue_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
a
d
d eva
l
ue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{
d
iv,mul}
:
h
andle some tr
i
v
i
al
cases more efficie
n
t
l
y
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
lattice_point: exp
o
rt frac
t
ion
a
l_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
o
l
aege
evalue
.
c: extract c
o
mmon
c
ode for c
o
nstr
u
ct
i
on based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
volume
.
c
: export Param_Polyhe
d
ron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of evalue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
s
u
pp
o
rt comput
a
t
i
o
n
of
B
e
r
n
oulli p
o
ly
n
omia
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
s
eparate computation of Bernoulli c
o
e
ff
i
cients
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olae
g
e
lattice_point: u
s
e Param_Vertex_Comm
o
n
_
Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
make decomposer
.
h self-contai
n
ed
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdool
a
eg
e
r
e
duce_do
m
ain: avoi
d
u
se
of macro p
a
rameter w
i
th name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaeg
e
e
xport evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
do
o
laege
U
se piplib dur
i
ng basis
r
eduction if n
o
oth
e
r
L
P
solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
Use b
u
n
dled
piplib by default
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdool
a
ege
add
piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verd
o
ol
a
ege
Use bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add polylib su
b
m
o
d
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
b
ernstein: allow linking
agains
t
uninstalled,
b
ut built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
e
n Ve
r
doolaege
add more missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdo
o
la
e
g
e
add dummy impleme
n
tations of functions
t
ha
t
d
e
pend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
u
p
date "Counting
w
i
t
h rat
i
onal generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Ver
d
oola
e
ge
barvinok
.
c
c: split
off part
constructing generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvin
o
k
.
cc: sp
l
it off part deali
n
g with exis
t
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
*counter
:
avoid r
e
comput
a
t
i
on of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdo
o
lae
g
e
cou
n
ter: remove redun
d
ant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
ege
chan
g
e ty
p
e of som
e
"
sign"s to i
n
t as t
h
ey can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc: upd
a
te Algorithmica
p
ublication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: make parameter na
m
es of ty
p
e
c
onst
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
Verdoolae
g
e
sam
p
l
e
.
c:
P
oly
h
e
d
r
on_RemoveFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sv
e
n
Ver
d
oolae
g
e
util
.
c:
remove
_
equali
t
ies: fi
x
t
ypo
commit
|
commitdiff
|
tree
2007-07-30
S
v
en Ve
r
doolaege
Param_Polyh
e
dron_Print: print everything to gi
v
en file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
r
d
oolaege
b
arvin
o
k_enumerat
e
_w
i
th_options: do
n
't add conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolaege
barvinok
.
cc: don't fre
e
P
argument in en
u
me
r
ate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
ege
r
e
m
o
v
e_all_equalities
:
al
s
o remo
v
e equal
i
ties in
context
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verd
o
olaege
volume
.
c
: avoid
w
a
r
nings
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n Verdoola
e
ge
export Par
a
m_Inner_P
r
oduct
commit
|
commitdiff
|
tree
2007-07-25
Sven
Verdoola
e
ge
barvinok_
e
nu
m
e
r
a
t
e
.
cc: add minimal ch
e
c
k o
n
i
np
u
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
e
g
e
more prototy
p
e
c
ha
n
ges to
c
onst char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
evalue: print_evalue: make pa
r
ame
t
er
n
ames
c
onst char*s
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n Verdool
a
eg
e
Alw
a
ys compil
e
polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
p
o
lytope_scan: us
e
argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sve
n
Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
configu
r
e
.
in: allow specificati
o
n of default
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdoolaege
c
o
nsolidate ca
l
l
s
to
P
o
l
y
hed
r
on2
P
a
ram_
D
o
m
ain
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Verd
o
olaege
volume
.
c: fix typo
i
n
c
o
mment
commit
|
commitdiff
|
tree
2007-07-01
S
ven Verdoolaege
Make
f
ile
.
am:
a
dd $(EXEEXT)
f
o
r cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdool
a
e
g
e
Make
f
ile
.
am: for
c
e r
e
build libraries
i
n subdir
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
V
e
r
d
oolaege
only tes
t
b
a
rvinok_
m
axi
m
ize if it
h
as b
e
e
n
/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvin
o
k 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rd
o
o
l
a
ege
testlib
.
cc: work around inc
o
mplet
e
namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
s
c
ale
.
c
: enumer
a
te
_
narrow_flated: do
n
't simplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
declare
variables at star
t
of cod
e
block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
ae
g
e
doc
:
update
d
ocume
n
tation of option
s
a
n
d some funct
i
ons
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
g
e
Polyhed
r
on_Sample: factor polyhedron i
f
po
s
sible
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolaege
P
o
l
yhedron_
S
a
m
p
le: compute
v
e
rtices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoo
l
aege
Polyhedro
n
_Samp
l
e: rem
o
ve all equ
a
l
itie
s
f
r
o
m polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoola
e
ge
add possibility to use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhedron_Sampl
e
: p
o
stpone removal of rays unti
l
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
V
erdoo
l
aege
Poly
h
edron_Sample:
use lp
s
olver
for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oolaege
lexmin: mo
v
e
c
hoice o
f
lp
s
o
lver to use outsi
d
e bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
d
oolaege
p
olysign
.
h: use correct n
a
me of PL_po
l
y
h
edron_affi
n
e_sig
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdool
a
ege
b
arvinok_enumerat
e
: plug memor
y
le
a
k
i
n
Berno
u
lli appro
x
imatio
n
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
ol
a
ege
bar
v
i
nok_enumerat
e
_e_r: don't
assum
e
AddConstr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
e
value_frac2polynomial: recheck
e
value after eval
u
e_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
util
.
c: Line_Leng
t
h: don't get con
f
used by positi
v
ity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdo
o
lae
g
e
Makefile
.
am: s
t
op afte
r
f
irst failed
test
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
ber
n
ste
i
n: carry
t
hrough
v
ariab
l
e renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laeg
e
bernste
i
n: don't as
s
ume i
n
pu
t
polynomial has been exp
a
nde
d
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
Verd
o
o
l
aeg
e
e
v
a
l
ue_rea
d
.
c: correct constnes
s
of name
in parameter_ne
w
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
dool
a
ege
evalue
_
r
e
ad: accept c
o
nstant
m
ultiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sve
n
Verdoola
e
ge
evalue
.
c:
e
value_s
u
m: better
h
andlin
g
of ne
g
ati
v
e
v
al
u
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
e
value
.
c: re
o
rder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolaege
e
value: declare
f
irs
t
a
rgument of
e
mul co
n
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoo
l
a
e
ge
evalue
.
c: emu
l
:
don'
t
use explicit
_
complement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a test
f
or evalue_split_
p
eriod
s
commit
|
commitdiff
|
tree
2007-06-12
S
ven Verdoolaege
e
value
.
c: evalue_
s
pl
i
t_period
s
:
make s
u
re selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
e
value
.
c: pol
y
nomial_pro
j
ect
i
on: use e
v
a
l
ue_extrac
t
_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
r
d
oolae
g
e
add a te
s
t for barvino
k
_maximize and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoola
e
g
e
barvinok_s
u
m
mat
e
: support
verifica
t
ion
of result
s
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Ver
d
ool
a
ege
e
v
alu
e
.
c:
e
va
l
ue_sum:
split into orthants + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oo
l
aege
barvi
n
ok_union: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Ver
d
oola
e
ge
barvinok_enumerate
_
unio
n
_series_w
i
th_op
t
ions: fix typo
commit
|
commitdiff
|
tree
2007-06-07
S
v
e
n V
e
rdoolaege
basis
_
reduction_cdd
.
c
c
:
get corre
c
t
d
ual
s
olution i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaeg
e
basis_re
d
uction_g
l
pk
.
c: correctly
set ty
p
e o
f
r
ows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ven Verdo
o
laege
basi
s
_reducti
o
n_glpk
.
c:
c
h
e
ck for san
i
ty
of
solution
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoolaeg
e
options: mention default an
d
a
vailable
solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoo
l
aege
p
o
l
y
h
edro
n
_sample: tak
e
option
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoola
e
ge
doc: more about
p
o
wer
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaeg
e
d
o
c: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolae
g
e
doc: repe
a
t Ma
t
thias' stopped Barvinok exper
i
ments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
ad
d
barvinok_s
u
mmate to sum a q
u
asi-p
o
l
ynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
e
n
Verdo
o
laege
evalue_read
:
fix
f
or to
p
-lev
e
l fractional
part
commit
|
commitdiff
|
tree
2007-05-14
Sven
V
erdoolaege
bernoul
l
i
.
c: Be
r
noulli_sum_eval
u
e: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
e
n
Verdoolaege
b
ernoulli
.
c: perform nested
s
ums
a
ppro
x
i
m
a
tion depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
add p
o
lyn
o
m
i
al a
p
proximation ba
s
ed on nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
util
.
c
: extract for_
e
ach_low
e
r
_
upp
e
r_boun
d
from ParamL
i
n
e_L
e
ngth
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
g
e
decompos
e
r: use NTL to invert matrix rather
t
han co
n
v
ering
.
.
.
commit
|
commitdiff
|
tree
next