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
zsolve: don't install headers and executables
2007-09-08
Sven
V
erdo
o
laege
a
dd eval
u
e_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
f
i
x type of evalue_polynomial argume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
support
computa
t
ion of Bernoull
i
polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aeg
e
separate c
o
m
putation of
Bern
o
u
l
l
i coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
lattice_point:
use Param_
V
ertex_Commo
n
_Denom
i
nator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
make decomposer
.
h self-co
n
tained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
reduce_
d
o
main: avoi
d
us
e
of macro
p
a
rameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use p
i
p
l
ib during
b
as
i
s
reduction if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolaege
Use bundled piplib by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaege
add
p
iplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
se bundled PolyL
i
b by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
add polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoo
l
aege
bernstei
n
:
a
llow
linki
n
g a
g
ainst unins
t
a
lled, but bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ve
r
do
o
laege
add mor
e
missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
V
erdoolaeg
e
a
dd dummy implem
e
nt
a
tions
o
f functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
u
p
d
ate "Counting wi
t
h
rationa
l
generati
n
g functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc
:
split off part constr
u
c
ting generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
o
laege
barvino
k
.
cc:
sp
l
it of
f
part dealing
w
ith
e
x
i
stent
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoola
e
ge
*counter: avoid recomputation
o
f deno
m
inators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
o
unter: remove
r
e
dundant me
m
ber
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
ae
g
e
c
h
a
nge ty
p
e of s
o
me "sign"s to
i
n
t as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erd
o
olae
g
e
doc: upda
t
e Algorithm
i
ca publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalu
e
.
c: mak
e
p
a
ramet
e
r names of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n Verdoo
l
aege
sampl
e
.
c: Polyhedron
_
R
e
moveFix
e
d
C
olumns: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
en Ver
d
oolaege
util
.
c: remove_equa
l
ities: fix ty
p
o
commit
|
commitdiff
|
tree
2007-07-30
S
v
en Verdoolaege
Param_Po
l
yhe
d
ron_
P
r
i
nt: prin
t
everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolaege
barvinok
_
e
n
u
merate_with
_
opti
o
n
s: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
e
n
Ve
r
d
o
olaege
barvin
o
k
.
cc: don't f
r
ee P a
r
gument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdool
a
ege
r
emove_all
_
equa
l
ities: also remove equalities in c
o
nt
e
x
t
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdool
a
e
g
e
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
expo
r
t Param_Inner_Pr
o
duc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
rdoolaege
barvinok_e
n
um
e
r
ate
.
cc: ad
d
minimal
check on
i
nput
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoola
e
ge
more p
r
o
t
o
type changes to const ch
a
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
laege
evalue: print_evalue: make parameter
nam
e
s
c
o
n
s
t c
h
a
r*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
V
e
rdoolaege
A
l
ways compile polytope_s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaeg
e
p
o
l
ytope_sc
a
n: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sv
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
erdoolaege
c
onfigure
.
in: allow specification of default pre
f
ix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdoo
l
aege
consolidate
calls t
o
Polyhedron2Param_Doma
i
n
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdo
o
laege
volume
.
c:
f
i
x
typo in com
m
ent
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
ol
a
ege
M
a
kefile
.
a
m
:
a
dd
$(EX
E
EXT) f
o
r cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
V
erd
o
ola
e
ge
Makefile
.
am: force r
e
build libra
r
ies in subdirs
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoola
e
g
e
only test bar
v
inok
_
max
i
mize if
it has been/can be
c
r
ea
t
ed
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
b
a
r
v
inok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
tes
t
lib
.
cc: work a
r
ound incompl
e
te n
a
mespace su
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolaege
scale
.
c: en
u
mera
t
e_na
r
r
ow_flat
e
d:
d
o
n't simp
l
ify constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
declare variables at start of code blo
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Ve
r
do
o
laege
doc: up
d
a
t
e docu
m
e
n
tation of o
p
tions and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
a
e
g
e
Polyhedron_Sa
m
pl
e
: factor polyhed
r
o
n
if pos
s
ib
l
e
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyh
e
dron_Sample:
c
ompute v
e
rt
i
ces of 1
D
polyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
Polyhedron_Sample
:
remov
e
all eq
u
ali
t
ies from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
ad
d
possibi
l
it
y
to use GLP
K
as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
eg
e
P
oly
h
edron_Sample: postpone removal of rays
u
ntil
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ver
d
oolaege
Polyhedron_
S
ampl
e
: use lp
solver for finding
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: move c
h
oice of lp solver to
use outside bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
p
o
ly
s
ign
.
h: use correct name of PL_polyhe
d
r
o
n
_
affine_s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barv
i
nok_e
n
umerate: pl
u
g memory
l
ea
k
in Bernoulli appro
x
imation
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
eg
e
ba
r
vinok_e
n
u
m
erate_e_r:
do
n
't assume AddConstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoo
l
ae
g
e
evalue_frac2
p
ol
y
nomial: recheck evalue aft
e
r evalue
_
split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
u
til
.
c: L
i
ne_Leng
t
h
:
don't
g
e
t confuse
d
by pos
i
tivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaeg
e
Makefile
.
am: sto
p
aft
e
r first failed test
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verd
o
o
l
aege
ber
n
stein: c
a
rry through variabl
e
renaming to
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
ber
n
stein: don't ass
u
me
i
npu
t
polyn
o
mia
l
h
a
s
b
een expande
d
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
rdool
a
ege
e
v
alu
e
_read
.
c: cor
r
ect co
n
s
tness
of
n
ame in
p
arameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolae
g
e
e
v
a
l
u
e
_r
e
ad: accept const
a
nt m
u
ltiple
o
f
v
ari
a
ble with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c: evalue_
s
u
m: be
t
ter h
a
ndling of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sve
n
Verdoolaege
evalue
.
c:
reorder_ter
m
s
:
fix
typo
commit
|
commitdiff
|
tree
2007-06-14
S
ven
V
erdoolae
g
e
evalue: decl
a
r
e
first ar
g
ument
of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolae
g
e
eval
u
e
.
c: emul: don't use explic
i
t_complement on
argument
s
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Verdoo
l
ae
g
e
add a test for
evalue_sp
l
it_periods
commit
|
commitdiff
|
tree
2007-06-13
H
ar
a
l
d
.
Devos@elis
.
.
.
fin
d
_fractional_with_max_periods: initial
i
ze l
o
cal
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdoolae
g
e
e
value
.
c
:
evalue_split_periods:
make sure selec
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verd
o
ola
e
ge
e
v
alue
.
c: polynomial_proje
c
tio
n
: use evalu
e
_extract
_
affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
ad
d
a test for
barvinok_
m
a
x
imize
a
nd barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
bar
v
inok
_
summate: sup
p
ort verific
a
tio
n
of res
u
lts
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
V
e
r
d
o
olaege
ev
a
lue
.
c: evalue
_
s
u
m: split into orthan
t
s
+
some r
e
factori
n
g
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barv
i
n
o
k_union:
u
se argp for a
r
gument p
a
rsing
commit
|
commitdiff
|
tree
2007-06-09
Sven
V
erdoolaege
barvinok_enumera
t
e_union_series_with_o
p
tions:
f
ix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdo
o
laege
basis_red
u
ction_
c
dd
.
cc: get
c
o
r
r
ect dual solu
t
ion in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduc
t
i
o
n_glpk
.
c: co
r
re
c
tly set type
o
f r
o
ws
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaeg
e
basis_reduction_glpk
.
c: check for sa
n
ity of solu
t
ion
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n
V
erdoolaege
o
p
tions: m
e
ntio
n
d
efa
u
lt an
d
ava
i
lable solvers
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
S
ven Verdoolaege
polyhedr
o
n
_
sample:
t
ake options
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Ver
d
oolaege
doc: more about powe
r
sums
commit
|
commitdiff
|
tree
2007-06-04
S
ve
n
V
erdool
a
e
g
e
d
o
c: typo
commit
|
commitdiff
|
tree
2007-05-30
S
v
e
n
Verdo
o
laege
d
oc: repeat Ma
t
thias'
stop
p
e
d Barvinok experi
m
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdoolaege
a
d
d barvinok_summ
a
te to sum a qu
a
s
i-
p
olynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
Ve
r
doo
l
aege
eva
l
ue
_
r
e
ad: fix for
top-level fr
a
ctional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdo
o
l
aege
bernoulli
.
c
:
Berno
u
lli_sum_eva
l
ue: reduce
re
s
ult
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven
Verd
o
o
l
aege
bern
o
ulli
.
c: perform nes
t
ed sums approxi
m
ation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
ad
d
po
l
ynomial app
r
oxi
m
ati
o
n based on
ne
s
ted su
m
s
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
util
.
c: e
x
tract
f
o
r
_
e
a
ch_lower
_
u
p
per_
b
ound
f
rom Pa
r
amLine_Length
commit
|
commitdiff
|
tree
2007-05-13
S
ven
Verdoola
e
g
e
decomposer: use NTL to
invert m
a
t
r
i
x
rather than conv
e
rin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
latt
i
ce_point
.
cc: a
l
l
ow
r
ays and vertex to have b
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
cou
n
ter:
optimize summing over po
i
n
t
s in
fun
d
a
p
i
p
ed
commit
|
commitdiff
|
tree
2007-05-13
S
ven
V
erdo
o
laege
lattice_
p
oint
.
cc: avoid conversion betwee
n
NTL
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erd
o
ol
a
e
ge
c
on
v
e
r
s
ion
.
cc
:
remove
rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
ool
a
ege
evalue
.
c
: eval
u
e_po
l
ynomial extracted fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaeg
e
evalue
.
c: add evalue_
n
egate
commit
|
commitdiff
|
tree
next