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: more specific information on buggy cddlib versions
2007-10-25
Sven
Verdoolae
g
e
pa
r
am_uti
l
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
u
til
.
c: sup
p
orting_co
n
st
r
aints: re
t
urn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olae
g
e
p
olylib: update for Matrix_Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
op
t
ions
.
c: us
e
Polyhedron_Sample for co
u
nting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
ke
e
p track of
and use saturating constraints in Param_Polyhe
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
ola
e
ge
move value_gcd and value_lc
m
t
o
polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
Berno
u
lli
_
sum_
e
val
u
e: only compute
exa
c
t sum
if appro
x
imati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Bernoulli_s
u
m_e
v
alue: sum over v
a
riables wi
t
h in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ver
d
oola
e
ge
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolae
g
e
Polyhedron_Ex
c
h
a
ngeColu
m
n
s: n
o
rmalize constrain
t
s a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
exp
o
r
t
Polyhedr
o
n_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
evalue_pol
y
nomi
a
l: optimize evaluat
i
o
n in
zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
evalue
.
c: emu
l
: handle
another speci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ev
a
lue
.
c: eadd:
handle some spec
i
al
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
i
n
troduce
and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
evalue
.
c: eadd: micro-opti
m
ize addition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
e
tt
i
ng an approximat
i
on method now implies
p
olynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoo
l
aege
barvinok_summa
t
e
:
option
a
ll
y
use
Bernoulli/Faulh
a
b
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
ern
o
ulli_sum_evalue: use
evalue_fr
o
m_sec
t
ion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
barvinok/polylib
.
h:
remov
e
compat
i
bil
i
ty wit
h
ol
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
mo
v
e Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
polytop
e
_s
c
an: reenab
l
e --di
r
ect option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remo
v
e_all_equalities:
ke
e
p removi
n
g equaliti
e
s until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdool
a
ege
r
e
move_
a
ll_equ
a
lities: handle
e
m
pty polyh
e
d
r
on detec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
a
ege
remove_all_equa
l
ities: minor code
c
lean-u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
e
x
po
r
t
Po
l
yhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven V
e
rdoo
l
a
ege
polar_signed_cone
_
c
o
nsumer
:
c
lean u
p
memory
on i
n
ap
p
ropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolae
g
e
Param_Inner_P
r
oduct: fi
x
use of va
l
ue_lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sven V
e
rdoolaege
doc
:
fix
t
y
po i
n
M
i
chele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
e
r
doolaege
Add m
i
s
s
ing files f
r
om polymak
e
client to dist
r
i
b
u
tion
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
la
e
ge
Use gmp's gcd
r
athe
r
than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdo
o
la
e
ge
polymake/
R
EADME: ment
i
on --with-barvin
o
k con
f
ig
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
p
o
l
y
make/Makefil
e
.
in:
add work-ar
o
und
for polymake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ve
r
d
o
olaege
e
v
alue
.
c
: print
_
evalue: al
w
ays print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
Ve
r
do
o
laeg
e
optio
n
s
.
c: f
i
x typo in --approxim
a
tion-met
h
od description
commit
|
commitdiff
|
tree
2007-09-15
S
ven Ver
d
ool
a
ege
topcom:
fix heuristic for s
e
lecting
rows to u
s
e a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolae
g
e
ba
r
vinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Ve
r
doola
e
ge
Merge
br
a
nch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
rdoolaege
Do
c
ume
n
t TOPCOM based chambe
r
de
c
o
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laege
test
T
O
PCOM chambe
r
de
c
omp
o
siti
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
laeg
e
Optionally use T
O
PCOM
t
o compute chamber
d
ecomposition
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
e
rdool
a
e
ge
lexm
i
n
:
add
(pr
o
tected) missing algorith
m
i
ncl
u
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
M
akefil
e
.
am
:
add target fo
r
creating dist wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doola
e
g
e
doc
:
up
d
ate voting theo
r
y
reference
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rd
o
o
laege
document
ba
r
vinok_
s
ummate and b
a
rvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
e
r
do
o
laege
doc: c
o
n
sistent use
o
f Barvinok'
s
initials
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaeg
e
barvi
n
o
k_summa
t
e: correct options descr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
D
ocument Euler
-
Ma
c
l
aurin based
su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdool
a
ege
doc: change ex
a
mple en
v
iron
m
ent
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
r
d
oolaege
doc: add some hidden sectio
n
s to
tabl
e
o
f
co
n
tents
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
do
o
laege
doc: another document
referin
g
t
o
the librar
y
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add
so
m
e tests
for Eul
e
r-Mac
l
au
r
in based s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Ma
c
laurin
based summation f
o
r 1D prob
l
ems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
Euler-Maclauri
n
based sum
m
ati
o
n for
2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
de
c
o
m
pose
r
.
cc:
avoid use of
half
-
o
pen c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
barv
i
nok_summate:
v
e
rify solution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
in
t
roduce barvinok_summat
e
as a wrapp
e
r
for evalue_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doo
l
aege
a
d
d
e
value_mu
l
_di
v
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoola
e
ge
evalue_{div,mul}: handl
e
some trivial cases
more
ef
f
iciently
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
l
at
t
i
ce_point: export
frac
t
iona
l
_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
value
.
c: extrac
t
com
m
on code for con
s
truction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volume
.
c:
e
xpor
t
P
aram_
P
olyhedron_F
a
c
e
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolae
g
e
add evalue
_
mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of evalue_polynomial argume
n
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
s
u
p
port computation of Bernoulli pol
y
nomials
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdo
o
la
e
ge
separate comp
u
tation
o
f
B
e
r
no
u
lli coef
f
i
cients and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
er
d
oolaege
lattice_poin
t
: use Param_Vert
e
x_Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
m
a
ke
d
e
c
omp
o
ser
.
h
self-contained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
reduce_domai
n
:
avoid use of macro parame
t
e
r with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oo
l
aege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Ve
r
doola
e
ge
Use pipl
i
b durin
g
basis r
e
ducti
o
n
if
no other LP sol
v
er
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
aege
Use bundled piplib by de
f
a
u
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdo
o
l
aege
add pipl
i
b module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bundled Pol
y
Lib b
y
d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
a
d
d polylib submodule
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rd
o
olaege
b
e
rnstein: al
l
o
w
lin
k
ing against u
n
in
s
talled, b
u
t buil
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
ven Verdool
a
e
ge
a
d
d more missing assert
.
h
#
i
nc
l
udes
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
Verdoo
l
ae
g
e
add dummy implement
a
tions of fu
n
ctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
update
"
Count
i
ng w
i
th rati
o
nal generating func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rd
o
olaege
bar
v
inok
.
cc:
split off pa
r
t constructing gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
e
rdoola
e
ge
barvino
k
.
cc: spli
t
off part dealin
g
with existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoolaege
*counter: avoid reco
m
p
utation o
f
denominators whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoolaeg
e
counter: remov
e
r
e
d
undant member
commit
|
commitdiff
|
tree
2007-08-16
S
ve
n
Verdoolaege
ch
a
n
ge typ
e
of
s
ome "sign"s t
o
int as they c
a
n
onl
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
d
oc: update
Algorithmica p
u
blication
commit
|
commitdiff
|
tree
2007-08-10
S
v
en Verdoo
l
a
e
ge
eval
u
e
.
c: make parameter names
of ty
p
e const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Ver
d
oolaege
sample
.
c:
Polyhedr
o
n_RemoveFixedColumns:
c
o
rrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdool
a
ege
ut
i
l
.
c: remove_equalities:
f
ix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdo
o
laege
Par
a
m_Poly
h
edron_Prin
t
: print everything to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
barvinok_enumerate_wi
t
h_options: don'
t
add cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolae
g
e
b
a
rvinok
.
cc:
d
on't free P argum
e
nt in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaeg
e
remove_all_
e
q
uali
t
i
e
s: als
o
r
emove equalities in co
n
text
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdo
o
laeg
e
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n Verdoolae
g
e
export Param_In
n
e
r
_Pro
d
uct
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barvino
k
_enumerate
.
c
c
: add
minimal
check on inp
u
t
commit
|
commitdiff
|
tree
2007-07-19
Sven V
e
rdoolaege
mor
e
pro
t
o
t
ype chan
g
e
s to con
s
t
c
har
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaeg
e
evalue
:
print_evalue: make parameter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
A
l
ways compile po
l
ytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n Verdoo
l
aege
polyt
o
pe
_
scan: u
s
e
argp
for argument
p
ar
s
ing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc: f
i
x
t
yp
o
commit
|
commitdiff
|
tree
next