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
move value_gcd and value_lcm to polylib
2007-10-25
Sven
V
erdool
a
ege
move value_gcd and
val
u
e_
l
cm to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Bernoulli_sum_evalue
:
only compute exact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
e
g
e
Be
r
n
o
ulli_s
u
m_evalue: su
m
over
variab
l
es
w
ith integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
evalue
.
c:
export
eva
l
ue
_
v
a
r
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdo
o
l
a
ege
Polyhedro
n
_E
x
changeColumns: norma
l
ize con
s
train
t
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doola
e
ge
export Polyhedron
_
ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
evalue_p
o
ly
n
o
mial:
o
pti
m
ize e
v
aluatio
n
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
a
ege
evalue
.
c:
e
mul: handle another
s
pecial cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e
.
c: eadd: handle some special cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
introduce
a
nd use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
e
v
al
u
e
.
c: eadd: mi
c
ro-optimize addition of two
r
ationa
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an approximation me
t
hod now implies p
o
lynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
summate
:
op
t
ional
l
y use Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Bernoulli_sum_evalue: use evalue
_
fr
o
m
_secti
o
n_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaeg
e
barvinok/polylib
.
h:
r
e
m
o
ve compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
m
o
ve Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
p
o
lytope_
s
can: reen
a
ble
-
-direc
t
option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
remove_all_equalities: keep removing
eq
u
ali
t
i
e
s
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities: handle empty polyhedron
dete
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoola
e
ge
remove_all
_
e
qualities: minor c
o
de
c
lean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdo
o
laege
export
P
olyhedron_Matri
x
_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verd
o
olaeg
e
pola
r
_sign
e
d_con
e
_consum
e
r
:
c
lean
up me
m
ory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verd
o
o
l
aege
Param_Inner_Pr
o
duct: fix use of value_lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolae
g
e
d
o
c: fix ty
p
o in
Michele Ver
g
ne's name
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdool
a
ege
Add mis
s
ing files fr
o
m polym
a
ke
c
l
ie
n
t to
d
ist
r
ibut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
e
rdo
o
l
a
eg
e
Use gmp's gcd rather than
P
olyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
polymake/README:
mention --
w
ith-barvinok confi
g
ure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaeg
e
polymake
/
Makefile
.
in:
a
dd w
o
rk-aro
u
nd fo
r
polymak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
evalue
.
c:
print_eva
l
ue: a
l
wa
y
s print n
e
wline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erdool
a
eg
e
options
.
c: fix
t
ypo in
-
-
appr
o
xi
m
ati
o
n-method de
s
cription
commit
|
commitdiff
|
tree
2007-09-15
Sven Ve
r
doolaeg
e
topcom: fix heuristic for selecti
n
g rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
barvi
n
ok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Mer
g
e branc
h
'
t
opcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
Document TOPCOM
based chamber decomposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
test TOPCOM
c
hamber d
e
composition
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoola
e
ge
Opti
o
nally use TOPCOM to
compute
chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
ge
lexmin:
add
(p
r
otected) missi
n
g
algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
M
akefi
l
e
.
am: add target for creating d
i
st wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en
V
erdoolae
g
e
doc: upd
a
t
e
voting theory refe
r
enc
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
d
ocument barvinok_summate an
d
barv
i
nok_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
doc: consiste
n
t use of Barvi
n
ok's i
n
itials
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
b
a
rvinok_summate:
correct op
t
ion
s
desc
r
i
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
Doc
u
ment Euler-Maclaurin based summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoo
l
aege
doc: change
e
x
ample environment
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: a
d
d
some
h
id
d
en sec
t
ions to table of conte
n
ts
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdool
a
ege
doc: anothe
r
docum
e
n
t refering to the libra
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
dool
a
ege
add some tes
t
s for Euler-Maclaurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
E
u
ler-Mac
l
aurin ba
s
ed summat
i
on
for
1
D
p
robl
e
ms
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
Eu
l
er-Maclaurin ba
s
ed
s
ummation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erd
o
olaege
decomposer
.
cc: avoi
d
use of half-open
cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvin
o
k_summ
a
te
:
v
e
rify
s
o
l
ution ove
r
w
hole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdoolaege
i
n
tr
o
duce b
a
rvi
n
o
k_summat
e
as a wrappe
r
for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoolae
g
e
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue_
{
div
,
mul}: handle s
o
me tri
v
ial case
s
mo
r
e efficien
t
ly
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
lattice_
p
oint: export fract
i
onal_
p
a
rt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
ev
a
lue
.
c: extra
c
t common code for const
r
uction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
volume
.
c:
e
xpor
t
P
aram_Polyhedron_Fa
c
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolae
g
e
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
fix type of ev
a
l
ue_
p
o
l
yno
m
i
a
l argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
su
p
p
o
rt computation
o
f Bernoull
i
polynomials
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
separate computation
o
f Bernoul
l
i coefficients
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoolaege
lat
t
ice_po
i
nt: use Para
m
_Vert
e
x_Common_Den
o
minator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
aege
make decompos
e
r
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
r
educe_
d
oma
i
n:
a
void use of ma
c
ro para
m
eter wit
h
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oo
l
a
e
ge
export
evalue_d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
U
s
e
pi
p
lib during ba
s
i
s
r
e
du
c
tion if no other LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
Use bun
d
le
d
p
ipl
i
b by default
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add piplib mod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
Use b
u
ndl
e
d P
o
ly
L
ib by default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
ad
d
polylib
s
ub
m
odule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
b
ern
s
tein:
a
llow link
i
ng
against u
n
instal
l
ed,
b
ut bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add
more mis
s
ing assert
.
h #includ
e
s
commit
|
commitdiff
|
tree
2007-08-29
S
ve
n
V
e
rdoolaeg
e
add
d
ummy im
p
lementations of functions that
dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
o
olaege
up
d
ate
"
Countin
g
w
ith r
a
tio
n
a
l gen
e
rating
f
unctio
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
a
e
ge
barvinok
.
c
c: s
p
lit o
f
f part constructing genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verd
o
olaeg
e
barvinok
.
cc: sp
l
i
t off part de
a
l
ing
with
e
xisten
t
ia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doola
e
ge
*
c
o
unt
e
r: avoid rec
o
mputa
t
ion
of
d
en
o
minator
s
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaege
c
o
unter: remove r
e
dundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
change
t
ype of some
"
s
ign"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
V
erdoolaege
doc: update
A
lgorithmica
p
ublication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verd
o
olaege
evalue
.
c
:
make param
e
ter n
a
m
es of
t
ype c
o
nst
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sa
m
ple
.
c: Po
l
yhedron_
R
emove
F
i
xedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ven Verdoolaege
util
.
c
: remove_equalities
:
f
ix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
V
erdoolae
g
e
Param_P
o
lyhedron_Pri
n
t: print e
v
e
r
y
thi
n
g to g
i
ven file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdoolaege
ba
r
vi
n
ok
_
enumerate_with_optio
n
s: d
o
n
'
t a
d
d con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
o
la
e
ge
b
a
rvinok
.
cc: don't free P
a
rgument in en
u
merate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laeg
e
remove_all
_
equaliti
e
s:
also remove
equaliti
e
s
i
n context
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaege
volume
.
c: avoi
d
war
n
ings
commit
|
commitdiff
|
tree
2007-07-27
Sve
n
V
e
r
d
oolaege
exp
o
rt Param_I
n
n
e
r_Prod
u
ct
commit
|
commitdiff
|
tree
2007-07-25
Sven Ve
r
d
oolaege
barvinok_enu
m
erate
.
cc: ad
d
min
i
mal check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven V
e
r
do
o
laege
m
o
re prototype change
s
to const ch
a
r *
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
e
rdoolae
g
e
e
value: print_e
v
alue:
ma
k
e
p
arameter nam
e
s
c
onst char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
e
rdoolaege
Always c
o
m
pile polytope
_
scan
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdoolaege
p
olyto
p
e_scan:
u
se a
r
gp for arg
u
ment parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven V
e
rd
o
olae
g
e
d
oc:
f
i
x typ
o
commit
|
commitdiff
|
tree
2007-07-04
S
v
e
n
Verdool
a
ege
con
f
ig
u
re
.
in: allow spec
i
f
icat
i
on
o
f defau
l
t pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
V
erdoo
l
aege
consol
i
date calls
to Po
l
yhe
d
ron2P
a
ram_Domai
n
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
e
rdool
a
ege
vol
u
me
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
lae
g
e
Ma
k
efile
.
am: add $(EXEE
X
T)
f
or cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Makefile
.
am: force r
e
b
uild libraries in
su
b
dirs i
f
.
.
.
commit
|
commitdiff
|
tree
next