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
Sven Verdoo
l
a
ege
o
p
tion
s
.
c
: use Polyhe
d
ron_Sample f
o
r counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
keep t
r
ack
of and use saturating constrain
t
s in
P
ar
a
m_Pol
y
hedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_gcd and v
a
l
u
e_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
Bernoulli_sum_eval
u
e
:
only compute
exact sum if approxi
m
atio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
Bernoulli_
s
u
m_
e
v
alue: sum over var
i
able
s
wi
t
h integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
ool
a
e
g
e
evalue
.
c: e
x
port evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
P
o
lyhe
d
ron_Ex
c
hange
C
olumns: no
r
maliz
e
constraint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export
Polyhedron_Ex
c
ha
n
geColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
ev
a
lue_polynomial: optimize evalua
t
ion in ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
evalue
.
c: emul: han
d
le anothe
r
s
pecial c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
eva
l
ue
.
c:
e
add: handle some spe
c
ia
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
e
ge
introduce
a
nd u
s
e e
v
alue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
e
va
l
ue
.
c:
ead
d
: mic
r
o-optimize addition of two
ra
t
ionals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolae
g
e
setting an
app
r
oximation
method now impli
e
s pol
y
nom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaeg
e
barvi
n
ok_summate: optionally use
Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Bernoulli_su
m
_evalue: us
e
eval
u
e_f
r
o
m
_
section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
barvinok/polylib
.
h: remove compatib
i
lity with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move
V
ector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
polytope_s
c
a
n
: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
remove_all_e
q
ualities
:
keep re
m
oving
e
qualities un
t
il
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
e
rdoolaege
remove_al
l
_equali
t
ies: hand
l
e
empty pol
y
hedron d
e
tecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oolaege
remo
v
e_al
l
_equali
t
ies: minor co
d
e cle
a
n-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoolaege
export Po
l
yhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
S
ven V
e
rdoolaeg
e
polar_signed
_
con
e
_consumer: clean up memory
on
i
nappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
P
aram_
I
nner_Product: fix use
of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ver
d
o
o
laege
doc: fix typo in Mi
c
h
ele Ver
g
n
e
's
name
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
Verdoolaege
A
d
d
mis
s
i
n
g fil
e
s fr
o
m pol
y
mak
e
client t
o
d
istrib
u
t
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
Use gmp's
gcd
r
ather tha
n
PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
p
oly
m
a
ke/README:
m
ention --with-barvinok c
o
nfigu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
pol
y
mak
e
/Makefile
.
in: a
d
d wor
k
-around for
p
o
l
y
m
ake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
V
e
rdoolaege
evalue
.
c: pr
i
nt_evalue: a
l
w
a
y
s print
newline
a
t the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
e
rdoolaeg
e
options
.
c: fix
t
y
po in --a
p
pro
x
imation-
m
ethod description
commit
|
commitdiff
|
tree
2007-09-15
Sven
V
e
rdoolae
g
e
top
c
om: fix he
u
risti
c
f
or sele
c
ting
r
ows
t
o
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aeg
e
b
a
r
vinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
Merge branc
h
'topcom
'
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdool
a
ege
D
o
c
u
m
e
nt TO
P
CO
M
based
chamber decompositio
n
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ve
r
doolaege
test T
O
PCOM
chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
Optionally use TOPCOM
to c
o
mpute
c
hamb
e
r decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven V
e
rdoolaege
lexmin
:
add (prote
c
ted) missing algorit
h
m in
c
lude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefil
e
.
am
:
a
dd
t
arget for creatin
g
dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update voting theor
y
r
eference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
d
o
cumen
t
barvinok_s
u
mmate and barvinok_maxim
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: c
o
nsi
s
tent use of
B
a
rvinok's i
n
itia
l
s
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdool
a
e
g
e
barvinok_summat
e
: correct
options
d
escr
i
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
D
ocumen
t
Euler
-
Maclaur
i
n
b
a
sed
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: chan
g
e example e
n
viro
n
ment
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoo
l
aege
d
o
c: add so
m
e hi
d
den
s
e
c
tions to
table
of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
d
o
c:
a
nother
d
ocument refe
r
ing to
t
he library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
add som
e
tes
t
s for E
u
ler-
M
acla
u
rin based summ
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
E
u
ler
-
M
acl
a
u
rin based
s
ummation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdo
o
l
aege
Euler-
M
acl
a
uri
n
based s
u
m
mation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaeg
e
d
e
c
o
mpose
r
.
c
c
: avoid use o
f
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
V
erdoolaege
ba
r
vinok_summate:
ve
r
ify solution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoo
l
aege
introduce barvino
k
_summate as a
w
rappe
r
fo
r
eva
l
ue
_
sum
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
evalue_{div,mul}: h
a
ndle some tri
v
ial cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
latt
i
c
e_po
i
nt: exp
o
rt fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
eva
l
ue
.
c
:
extr
a
ct common code for construction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c
: export Para
m
_P
o
lyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
add evalu
e
_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verd
o
olaege
fix type of evalue_pol
y
no
m
ial a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
support computati
o
n
of Be
r
noulli p
o
lynom
i
al
s
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
doolae
g
e
separat
e
computation
of Ber
n
o
u
lli
c
oefficient
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
lattice_p
o
int: use
P
aram_Vertex_C
o
mmon_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doolaege
m
ake de
c
omposer
.
h
self-conta
i
ne
d
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
er
d
oolaege
reduce_domain: avoid use of macro pa
r
amet
e
r with n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Ver
d
o
o
laege
expor
t
evalue
_
d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doolaege
Use pipli
b
d
u
r
ing basis reducti
o
n if no o
t
he
r
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
Use bundle
d
piplib by def
a
ult
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
ae
g
e
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
Use bun
d
led
P
o
l
yLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
laege
add
po
l
y
l
i
b
s
u
b
module
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
bern
s
tein: allow
l
i
nk
i
ng against un
i
nstalled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en Ver
d
oo
l
aege
ad
d
more missing assert
.
h #include
s
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Verdoolaege
add
dummy implementa
t
i
ons of fun
c
tions that depe
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update "Counting with rat
i
o
n
a
l generating f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Ve
r
doo
l
a
e
g
e
bar
v
inok
.
cc:
split off part constru
c
ting generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoolaege
ba
r
vinok
.
cc:
s
plit
off part
d
ealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
en Verdo
o
laege
*counter:
a
void
r
ecomputat
i
on of denomi
n
ators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
c
o
un
t
er: re
m
ove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
laege
change t
y
pe
of
some
"
sign"s to int
a
s they can on
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolae
g
e
doc:
u
pdate Algorithm
i
ca publicat
i
on
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
e
v
alue
.
c: make parameter names
of
t
ype const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c: Poly
h
edro
n
_RemoveFixedColumn
s
: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
u
til
.
c:
re
m
ove_
e
qualities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
V
erdo
o
laege
Param_Polyhed
r
on_P
r
i
nt: print e
v
e
rything t
o
given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdool
a
ege
barvinok_enumerat
e
_with_options
:
don't
a
d
d c
o
nte
x
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdo
o
l
aege
barvinok
.
cc: don't fre
e
P argument in e
n
umerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oolaege
remov
e
_all_equa
l
ities:
also rem
o
ve equalities in conte
x
t
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolae
g
e
v
o
lume
.
c
:
avoid war
n
in
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven
V
erdoo
l
aege
export Param_I
n
ner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sv
e
n
Verdoolaege
bar
v
inok_enum
e
rate
.
cc:
a
dd minimal check on input
commit
|
commitdiff
|
tree
2007-07-19
S
v
en
V
e
rd
o
olaege
mor
e
prototype chan
g
es to const char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdo
o
laege
evalue:
p
rint_
e
value: make
p
ara
m
eter names con
s
t ch
a
r*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdoolaege
Alway
s
compile pol
y
tope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
olae
g
e
po
l
yto
p
e_sc
a
n
:
u
se argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Ve
r
dool
a
ege
doc: f
i
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven
Verdo
o
laege
configure
.
in: a
l
lo
w
spec
i
fication of defa
u
lt prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdo
o
laege
consolidate calls
to Po
l
yhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdoolaeg
e
volum
e
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
next