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
topcom: fix heuristic for selecting rows to use as non-negativity constraints
2007-09-15
Sven Ver
d
o
o
lae
g
e
to
p
com:
f
ix h
e
ur
i
s
t
ic fo
r
selecting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
barvin
o
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
d
oola
e
g
e
Merge
b
ranch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Documen
t
TO
P
COM based chamb
e
r
d
e
c
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
ool
a
ege
test TOPC
O
M c
h
amber deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
Optiona
l
ly use TOPCOM to compute chamber decomp
o
sitions
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven
Verdoo
l
aege
lexmin:
add (protec
t
ed)
m
issing algorithm in
c
lu
d
e
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Verdo
o
l
aege
Makefile
.
am:
a
d
d targe
t
for creating d
i
s
t
wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: upd
a
te vot
i
ng
t
heory referenc
e
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdo
o
laege
document barvi
n
ok_summate an
d
b
arv
i
nok_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
ae
g
e
d
o
c: consist
e
nt use
o
f Barvinok's
initials
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
barvinok_sum
m
ate: corre
c
t opti
o
ns d
e
s
c
rip
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
oolaege
Document
E
u
l
er
-
Mac
l
a
u
rin based
s
ummati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: c
h
ange example
environm
e
n
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
doc: add s
o
me hidden sections to table
o
f
c
ontents
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: another docum
e
nt r
e
fering
to t
h
e library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
ad
d
some
t
ests for Euler-
M
acl
a
urin
bas
e
d s
u
mm
a
t
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
u
ler
-
Maclaurin based sum
m
a
ti
o
n fo
r
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Euler-Maclaurin ba
s
ed summation
f
or 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
decomposer
.
cc: avoid use of ha
l
f-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
b
a
rv
i
nok_
s
ummate: verify soluti
o
n ov
e
r whole par
a
m
e
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
introduce barvinok_summate as
a
wrapper f
o
r evalue_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_m
u
l_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_{d
i
v,mul}: handle some triv
i
a
l c
a
ses m
o
re efficie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaeg
e
lattice_point: export f
r
ac
t
ional_par
t
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaeg
e
eva
l
ue
.
c: extract
common co
d
e for const
r
uction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
vo
l
u
me
.
c
:
export Para
m
_Polyhedron_Fac
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
o
l
aege
add evalue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
fix type of eval
u
e_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
s
u
pport
c
omputation of Bernoulli polynom
i
a
ls
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
s
ep
a
rate computation of Bernoulli coefficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolaeg
e
l
a
t
tice_point: use Pa
r
a
m
_
Verte
x
_Com
m
on_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
m
a
ke decomp
o
ser
.
h self
-
contained
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
ege
r
e
duc
e
_
d
o
main: avoid use of macro p
a
ram
e
ter with n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
export e
v
alue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
U
s
e p
i
plib
during b
a
sis r
e
duction if
no
o
ther LP
s
o
l
ve
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use bund
l
e
d pipl
i
b by default
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verd
o
olaege
a
d
d piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
Us
e
b
u
nd
l
e
d P
o
lyLib by
d
efault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
aege
add polylib s
u
bmodule
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
doolae
g
e
b
ernstein:
all
o
w linking agai
n
st uninsta
l
led, but
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ve
r
doolaege
add more
m
issin
g
assert
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
S
ven Verdoolaege
add dummy implement
a
t
ions of
f
unctions th
a
t
d
ep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoolaege
u
p
date "Counti
n
g with ra
t
i
onal gen
e
ratin
g
functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolae
g
e
barv
i
nok
.
cc
:
split
o
ff pa
r
t construct
i
ng generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
barvinok
.
cc: split o
f
f
p
art d
e
aling
w
i
t
h
exist
e
nti
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdool
a
ege
*
counter: av
o
id recomp
u
tation of
denominators wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
co
u
nter: remove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
cha
n
ge type o
f
some "si
g
n"s to int as
t
hey c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n
V
e
rdo
o
laege
doc:
u
pdate Algorithmica public
a
tion
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdo
o
laege
eval
u
e
.
c
:
make par
a
meter names of ty
p
e const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdo
o
lae
g
e
sample
.
c: P
o
l
yhedron_RemoveFixedColumns: corr
e
ctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Ve
r
do
o
laege
u
t
il
.
c:
r
em
o
ve_eq
u
alities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
v
en Verdoola
e
g
e
P
a
ra
m
_Polyhedron_Print: print eve
r
y
thing to given fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
barvinok_e
n
umerate_with_
o
p
t
ions: don't
a
dd c
o
nte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolaege
bar
v
inok
.
c
c: don't
fre
e
P argument i
n
enum
e
rat
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oo
l
aege
rem
o
ve_all_equ
a
lities: also rem
o
v
e equ
a
liti
e
s i
n
co
n
text
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolaege
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sve
n
Ve
r
doolaege
e
xport Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
S
ven
V
e
rdoo
l
aege
b
a
rvinok_e
n
um
e
rate
.
cc:
a
d
d
m
i
n
imal check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaeg
e
more
prototy
p
e
changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Verdo
o
laege
e
value: prin
t
_evalue: make parameter names const
c
ha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
o
l
aege
Always co
m
pile poly
t
ope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rdoolaege
polytope_scan: use
a
rgp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
Verdool
a
ege
d
o
c: fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdoolaege
configure
.
in: allow specification of d
e
fault p
r
efix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Ve
r
d
oolaege
consolida
t
e
calls
t
o Polyhedron
2
P
a
ra
m
_Do
m
ain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
volume
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoo
l
aege
Make
f
ile
.
a
m
: add
$
(EX
E
E
XT) for cygw
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Ve
r
doolaege
M
akefile
.
am:
f
orce rebuild
librari
e
s in subdirs
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Ve
r
doolaege
o
n
l
y
test b
a
rv
i
n
o
k
_ma
x
im
i
ze
if i
t
ha
s
been/can be
created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
bar
v
inok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testl
i
b
.
cc: work a
r
ou
n
d
i
ncomplete name
s
pace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
g
e
scale
.
c: enumera
t
e
_
narrow_f
l
ated: don
'
t simplify cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
ool
a
ege
decla
r
e variables at start of code blo
c
k
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verd
o
o
l
a
e
ge
doc: upd
a
te documentation of opti
o
n
s
and some
f
u
nct
i
ons
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
la
e
ge
Polyhe
d
ron_
S
ample: fact
o
r polyhedron if poss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Ver
d
oolaege
Polyhedron_
S
ample:
c
ompute vertices o
f
1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdo
o
laege
Polyhedron_Sample:
r
emove all eq
u
alities from polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verdoolaege
add possib
i
l
i
ty to u
s
e GLPK as
L
P sol
v
er
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
P
o
lyhedron
_
S
ample: postpone remov
a
l of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaeg
e
Polyhedron_Sample:
u
s
e lp s
o
lver for fi
n
ding
range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmin: move choice
of lp
solver to use o
u
tsi
d
e
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
p
o
lysign
.
h
:
u
s
e correct na
m
e o
f
PL_polyhedron_af
f
ine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
olaege
barvinok_enumerate: plug memory leak i
n
B
e
rnoulli approxim
a
tion
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
barv
i
nok_enumer
a
te_e_r
:
don'
t
as
s
ume Ad
d
Co
n
str
a
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
ev
a
lue_frac2p
o
lynom
i
a
l: recheck evalue af
t
er evalue_
s
plit
_
d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
util
.
c: Line_
L
eng
t
h: d
o
n't get
c
o
n
fu
s
ed b
y
positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
do
o
l
aege
Mak
e
file
.
am:
s
top a
f
ter firs
t
fai
l
e
d test
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
r
doolaege
be
r
nstein: c
a
rry through
v
ariab
l
e r
e
naming
t
o debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolae
g
e
bernstein: don't as
s
ume i
n
put polynomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
evalue_read
.
c: correct con
s
t
ness of name in para
m
eter_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
en
Verdo
o
laege
evalue_
r
ead: accept cons
t
ant multiple of va
r
iabl
e
without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
e
n
Verdoolaege
e
v
alue
.
c: evalue_sum
:
better
ha
n
dlin
g
of negative valu
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
erdoolaege
evalue
.
c: reo
r
de
r
_terms
:
fix ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verd
o
olaege
evalue: declare first argument of emu
l
const
commit
|
commitdiff
|
tree
2007-06-14
S
ven Ver
d
o
ol
a
e
g
e
eva
l
ue
.
c: emul: do
n
't use
e
xplic
i
t_co
m
plement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Ve
r
doolaege
add a t
e
st for evalue_spli
t
_periods
commit
|
commitdiff
|
tree
2007-06-13
Haral
d
.
Devos@eli
s
.
.
.
find_fract
i
onal_wit
h
_max_periods: initialize loc
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaeg
e
evalue
.
c:
ev
a
lue_s
p
lit_
p
e
r
i
ods: make sure s
e
lected
.
.
.
commit
|
commitdiff
|
tree
next