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
options.c: use Polyhedron_Sample for counting infinite sets by default
2007-10-25
Sv
e
n Verdoolaege
options
.
c
: use Polyhe
d
ron_Sample
f
or counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ke
e
p track of and u
s
e
s
atur
a
t
ing co
n
straints in Param_P
o
l
y
h
edron
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
move
value_gcd and value_lcm
t
o polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Be
r
noulli
_
sum_evalu
e
: only compute exact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
B
e
rnoulli_s
u
m
_
e
valu
e
: s
u
m ov
e
r
v
a
riables wi
t
h integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
e
v
alue
.
c: e
x
port e
v
alue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
lyh
e
dro
n
_
E
xchangeColumns: nor
m
alize con
s
traints a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
export Polyhed
r
on_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
evalue_p
o
lynomia
l
: optim
i
ze evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue
.
c: emul: handle another special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: eadd: han
d
le some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
int
r
oduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
evalue
.
c
:
eadd:
mic
r
o-o
p
t
i
mize addition o
f
two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
s
e
tting an
a
pproximati
o
n
method now
i
mplies polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rd
o
olaege
barvinok_s
u
mmate: optio
n
ally us
e
Ber
n
o
u
lli/Fa
u
lhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
l
aege
Bernoulli_su
m
_e
v
al
u
e: use eva
l
ue
_
from_section
_
array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aeg
e
barvinok/polyli
b
.
h:
rem
o
ve compa
t
i
b
ility with
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
move Ve
c
tor_Oppose to PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
poly
t
ope_sc
a
n:
r
eenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
e
m
ove_all_equalities
:
keep remo
v
ing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdo
o
laege
remove_all
_
equali
t
ies: ha
n
dle empty polyhedron dete
c
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities: minor co
d
e clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Ve
r
d
oola
e
ge
export Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdo
o
laege
po
l
ar_
s
igned_cone_consume
r
:
cle
a
n up memory on inapp
r
opri
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
en Verdoolaege
Pa
r
am_In
n
er_Pro
d
uct:
fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolae
g
e
doc: f
i
x
t
ypo
i
n Michele Vergne's na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n V
e
rdoolae
g
e
Add mi
s
sing
files from poly
m
ake clien
t
to distribution
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
U
se gmp's gcd rather
than P
o
lyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdo
o
lae
g
e
polym
a
ke/README: m
e
ntion --
w
ith
-
barvinok
c
o
n
figure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
p
olymak
e
/Makefile
.
in: add
w
ork-aroun
d
f
o
r
poly
m
ake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoo
l
aege
e
v
alue
.
c:
p
rint_evalue
:
always print
n
ew
l
i
n
e at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven Verdoolaege
opti
o
ns
.
c: fix typo
in --a
p
proximation-m
e
t
hod description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom: fix
h
euristic for
se
l
ecting row
s
to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
barvino
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
Merge branch 't
o
pcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Docu
m
ent TOPCOM
b
a
se
d
ch
a
mber
dec
o
m
posit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
t
e
st TOPC
O
M
chamber
decom
p
o
si
t
ion
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoola
e
ge
Optionally u
s
e
TOPCOM t
o
compute chamber decompos
i
tions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaeg
e
lexmin: add (
p
ro
t
e
ct
e
d
)
mis
s
ing al
g
orithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Makefile
.
am
:
add
targe
t
for
c
reat
i
ng dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdo
o
laege
doc: update voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
docume
n
t
ba
r
vi
n
ok_summate and barvi
n
ok_m
a
x
imize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
d
oc: consiste
n
t
u
se of
B
a
r
vinok's in
i
tia
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
bar
v
inok_summate
:
correct options d
e
scription
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolae
g
e
Doc
u
ment E
u
le
r
-Macla
u
rin based
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
d
o
o
laege
d
o
c: change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
d
oc: add some
h
idden
s
ections to tab
l
e of cont
e
nts
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
do
c
:
a
nothe
r
document
r
efering to the libr
a
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoola
e
ge
add some te
s
ts for
E
uler-Maclaurin ba
s
ed summation
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erd
o
olaege
Euler-Macl
a
urin ba
s
ed
summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
Euler-Maclaurin based summ
a
tion for
2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doolaege
deco
m
pose
r
.
cc
:
a
v
oid use of
h
alf-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolae
g
e
barvinok_summate: v
e
r
i
fy solution
o
ver whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
introduce barvin
o
k_summate as a wrapper
fo
r
evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
a
d
d evalue_mul_di
v
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
evalue_{di
v
,mul}: handle s
o
me trivial ca
s
es more efficiently
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdoolaege
latt
i
ce_poi
n
t: export fr
a
ctional_part
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
eva
l
ue
.
c: extr
a
c
t
common code for construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
vo
l
ume
.
c: export Param_Pol
y
hedro
n
_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
l
a
ege
add e
v
alue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
f
i
x type of evalue_pol
y
nomi
a
l argume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
suppor
t
com
p
utati
o
n of Bernoulli poly
n
omials
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
rdoo
l
a
ege
separate co
m
p
u
tation
o
f
Berno
u
ll
i
c
o
e
fficients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
o
l
ae
g
e
lattice_point: use
P
a
ram_Vertex_Com
m
on_D
e
nominato
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoolaege
mak
e
decompo
s
er
.
h
s
el
f
-c
o
n
t
a
ine
d
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
reduce_domain
:
avoid us
e
of ma
c
ro param
e
te
r
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoo
l
a
ege
export evalue_du
p
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
laege
Use
piplib during basis
re
d
uction if no oth
e
r LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
Use bundled p
i
plib by d
e
fau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
Use
b
und
l
ed PolyLib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
a
d
d polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ola
e
ge
b
ernstein
:
a
l
l
o
w linking aga
i
n
s
t uninstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en Verdoolaege
add more
m
issing assert
.
h #inclu
d
e
s
commit
|
commitdiff
|
tree
2007-08-29
Sven
V
e
r
doolaege
a
dd dummy implem
e
nta
t
io
n
s
of functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update "Counti
n
g
w
ith r
a
tional generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoolaege
barvinok
.
cc: split off part constructing gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ve
n
Ver
d
oolaege
barvinok
.
cc: split
o
ff part dealing with existe
n
tia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Ve
r
doolae
g
e
*counter: avoid reco
m
pu
t
at
i
on
of deno
m
inators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
counter: remove r
e
dunda
n
t
m
ember
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rd
o
olaege
change ty
p
e of som
e
"sig
n
"s t
o
i
nt as
they
c
an only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
aege
doc: update Algorithmica
p
u
blication
commit
|
commitdiff
|
tree
2007-08-10
S
v
en V
e
rdoola
e
ge
evalue
.
c
:
make p
a
rameter na
m
es
of typ
e
const
c
har
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sve
n
Verdoolaege
sample
.
c: Pol
y
h
edron_
R
emo
v
eFixedCo
l
umns:
correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ven V
e
rdoolaege
u
t
il
.
c: remove_equaliti
e
s:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Ver
d
o
olaege
Param_Poly
h
edro
n
_
Prin
t
: pri
n
t everything to
giv
e
n file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
barvi
n
o
k
_enumerate_w
i
t
h_options: don't add conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvino
k
.
cc:
don
'
t
fr
e
e P
a
r
g
u
m
e
n
t in e
n
umerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
l
aege
remo
v
e_all_e
q
ualities: also
remove equalit
i
es in cont
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolaege
volume
.
c: avoid warnin
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Ver
d
oo
l
aege
ex
p
ort Param_Inner
_
Product
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
V
e
rdo
o
laeg
e
barvinok_enumer
a
te
.
cc: add minimal check on
i
n
p
u
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
laege
more prototype changes
t
o
const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
ev
a
lu
e
: print_ev
a
lue: make paramete
r
names const cha
r
*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
A
lways compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Verdoolaege
polytop
e
_scan:
u
s
e
arg
p
fo
r
argu
m
e
n
t
parsi
n
g
commit
|
commitdiff
|
tree
2007-07-05
Sven V
e
rdoolae
g
e
d
o
c: fix typ
o
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n
Verdoolaeg
e
configu
r
e
.
in: al
l
ow specification of default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
e
rdoolaege
c
onsolidate
calls to Polyhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaeg
e
volume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
next