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
doc: change example environment
2007-09-10
Sven Verdoolaege
doc: change example envir
o
nment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
a
e
ge
do
c
: add som
e
hidden s
e
c
t
i
ons to
ta
b
l
e
o
f
con
t
ents
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
doc: an
o
ther docume
n
t referi
n
g to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
e
g
e
add some tests
f
or Euler-Mac
l
aurin ba
s
ed
summatio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
Euler-Maclaurin
b
ased summation for 1D problem
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
Verdoolaege
Eule
r
-
M
acl
a
urin based summa
t
i
o
n for
2D probl
e
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
decomposer
.
cc
:
avoid use of half-
o
pen cones
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
eg
e
b
arvinok_sum
m
ate: verify solution over whole
p
a
r
ameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce barvinok_sum
m
a
t
e as a
w
r
apper fo
r
evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
ad
d
evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
e
v
alue_{div,mul}: hand
l
e some tri
v
ial cases more
e
f
f
icie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
latt
i
ce_poin
t
: export
f
racti
o
nal_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolae
g
e
evalue
.
c: extract c
o
mm
o
n code
f
or
construct
i
on based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
volume
.
c: export
P
aram_
P
o
lyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erd
o
ola
e
ge
add ev
a
lue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaeg
e
fi
x
type of
e
value_polynomial arg
u
men
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
sup
p
o
r
t
c
om
p
utation of B
e
r
n
oulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
ool
a
ege
separate com
p
utation of
Bernoull
i
c
oefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
olaege
latt
i
ce_point: use Param_Vert
e
x_Common_
D
en
o
min
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olaege
m
a
ke de
c
omposer
.
h self-
c
ontained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
reduce_do
m
ain: avoid use of mac
r
o parameter with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdool
a
ege
Use p
i
plib during ba
s
is
reduc
t
ion if no other LP solve
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolaege
U
se bundled pipli
b
by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
add p
i
plib module
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
ege
U
se
b
un
d
l
e
d
PolyLib by
d
e
fau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add po
l
ylib sub
m
odu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
b
ernstein:
a
llow linking aga
i
nst uninstall
e
d, but buil
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven V
e
rdoolaeg
e
a
d
d
m
o
re missing as
s
ert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
S
ven
V
e
rdool
a
ege
add du
m
my implementati
o
ns of
f
unctio
n
s that d
e
pend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoolaege
update "
C
ounting with rational
g
enerating f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
l
a
ege
barvino
k
.
c
c
: s
p
l
i
t off part constructing
g
enerati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
d
o
ol
a
e
ge
b
a
r
vi
n
ok
.
cc:
split o
f
f part deali
n
g wit
h
existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven
Verdoola
e
g
e
*counter
:
avoid re
c
omputation of
d
enomina
t
o
r
s
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolaege
co
u
nt
e
r: remove redu
n
dant memb
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rdoolaege
change type
o
f some "sign
"
s to
i
nt
a
s
they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolae
g
e
doc: update
Algo
r
ithmica pu
b
lication
commit
|
commitdiff
|
tree
2007-08-10
Sv
e
n
V
erdoolaege
evalue
.
c: make paramet
e
r names o
f
ty
p
e
co
n
st char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ve
r
doolaeg
e
s
am
p
le
.
c
:
Polyhedron_RemoveFixedColumn
s
: c
o
rrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sve
n
Verdoo
l
aege
util
.
c: remove_equalities: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
V
e
rdoolaeg
e
Param_Polyhedron_P
r
int: print
everything
t
o given fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erd
o
o
l
aege
barvin
o
k_enumer
a
te
_
with_opt
i
ons:
d
on't
add con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok
.
cc: do
n
't
fr
e
e P
argum
e
nt in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Ve
r
dool
a
ege
remove_all_equalities: also remov
e
e
q
ua
l
ities in cont
e
xt
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoola
e
g
e
volum
e
.
c
:
avoi
d
w
a
rni
n
gs
commit
|
commitdiff
|
tree
2007-07-27
S
ve
n
Verdoolaege
export Param_Inner_Pr
o
duct
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoola
e
ge
barvinok_enumerate
.
cc: add minimal check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
erdoo
l
aeg
e
m
o
re
prototype c
h
a
n
ges t
o
c
onst char *
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdoolaeg
e
evalue: print_evalue: make para
m
eter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n Verdoolaege
Always compile p
o
lyto
p
e_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
polytop
e
_scan:
use a
r
gp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdoo
l
aege
configure
.
in: allow specification of defaul
t
pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdoolaege
c
o
nsolid
a
te calls
to
P
oly
h
edron2
P
aram_Doma
i
n
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n Verdoolaege
volume
.
c: fix
typo in
comment
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdoolaege
Makefile
.
a
m: ad
d
$
(
E
X
EEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
o
l
a
ege
M
a
ke
f
i
l
e
.
am: force rebuild l
i
braries in su
b
dirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
e
r
doolaege
only test barvinok
_
ma
x
imize if
i
t has been/can
be created
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdo
o
laege
b
ar
v
i
nok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rdoolaege
te
s
tli
b
.
cc:
w
ork a
r
ound incomplete namespace
support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
scale
.
c
:
enumerate_narr
o
w_fla
t
e
d: d
o
n'
t
simp
l
i
fy
c
onstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
ege
d
eclar
e
variables at start of code block
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoola
e
g
e
doc: update documentation o
f
opt
i
on
s
an
d
some fu
n
c
t
io
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aeg
e
Polyhe
d
ron_S
a
mpl
e
:
f
actor
polyhedr
o
n if pos
s
i
b
le
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoola
e
ge
Polyhedron_Sample: compute vertices of 1D polyhe
d
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
P
o
l
y
hedron_
S
ampl
e
:
remove al
l
equali
t
ies f
r
om polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
add
possibility to use
G
LP
K
as LP solve
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Polyhedron_Sam
p
le: postpone
r
em
o
val of rays unt
i
l we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_
S
a
mple: use lp
solver fo
r
findi
n
g rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
g
e
lex
m
in: move choice of lp so
l
ver t
o
u
s
e outside basi
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Verdoo
l
aege
poly
s
ign
.
h: us
e
corre
c
t name of PL_polyhedron
_
affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
do
o
laeg
e
barvinok_enumer
a
te
:
plug memory leak in Ber
n
oulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Ver
d
oo
l
a
e
ge
barvinok_enumerate_e_r: don't ass
u
me AddCon
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
e
v
a
l
ue_
f
rac2pol
y
nomi
a
l: recheck
eva
l
ue aft
e
r evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
u
til
.
c: Line_Length: don't g
e
t c
o
n
fused by p
o
s
itivit
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Makef
i
le
.
a
m
: stop
af
t
er
fir
s
t failed te
s
t
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
laege
b
e
rnstein: carry t
h
rough v
a
riable renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doolaeg
e
bernstein:
d
on
'
t
assume input
polyn
o
mial h
a
s be
e
n expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
o
ola
e
ge
evalue_read
.
c
:
correc
t
co
n
stn
e
ss of nam
e
in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erd
o
ol
a
ege
evalue
_
read: accept con
s
tant multiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoo
l
aege
eva
l
ue
.
c: e
v
alue_sum: better handling of nega
t
i
v
e val
u
es
commit
|
commitdiff
|
tree
2007-06-15
Sven
Ver
d
oolaege
evalue
.
c
:
re
o
rde
r
_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoola
e
ge
ev
a
lue: declare fir
s
t argument o
f
emu
l
c
o
nst
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue
.
c: emul: don't use exp
l
icit_
c
omplement on
argument
s
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoo
l
ae
g
e
add a test
f
o
r
evalue_split_peri
o
ds
commit
|
commitdiff
|
tree
2007-06-12
S
v
en Verdoolaege
evalue
.
c: eval
u
e_spl
i
t
_pe
r
iods: mak
e
sure sel
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven V
e
rdoolaege
evalu
e
.
c: polyn
o
mial_pr
o
jection: use eval
u
e
_extract_
a
f
fi
n
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
a
dd a
tes
t
f
o
r bar
v
inok_maxim
i
ze a
n
d b
a
rvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doolae
g
e
barvi
n
ok_su
m
m
a
te:
support ver
i
fication of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoo
l
aege
evalu
e
.
c:
e
value_sum
:
split into orth
a
nt
s
+ some
r
efactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven
Verdoolaege
barvi
n
ok
_
u
nion: use
a
r
g
p f
o
r arg
u
ment
p
a
rsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verd
o
olaege
bar
v
ino
k
_enu
m
erate_unio
n
_serie
s
_with_
o
ptions: f
i
x t
y
po
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
basis_reduction_cdd
.
cc:
get
correct dua
l
sol
u
tion in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
b
a
sis_reduc
t
ion_glpk
.
c: correctly set ty
p
e
of r
o
w
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Verdo
o
laege
basi
s
_reduction_glpk
.
c: check for
s
anity of soluti
o
n
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoola
e
ge
o
p
t
ions: menti
o
n
d
efa
u
lt
an
d
avail
a
b
l
e so
l
vers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
p
o
lyhedron
_
samp
l
e
:
take op
t
ion
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Ver
d
oolaege
doc: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc
:
typo
commit
|
commitdiff
|
tree
2007-05-30
S
ven
Verdoo
l
a
e
g
e
doc:
repeat Matthias' st
o
pped Ba
r
vinok experi
m
ents
.
.
.
commit
|
commitdiff
|
tree
next