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
param_util.c: add Param_Vertex_Domain
2007-10-25
S
v
e
n Verdoolaege
param_util
.
c
:
add
Param_Vertex_
D
o
mai
n
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
r
d
oolaeg
e
u
til
.
c:
s
upportin
g
_const
r
aints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
polylib:
u
pdate for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
options
.
c: use Polyhedron_Sample for c
o
unt
i
ng infi
n
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
keep track of and use
s
a
turating cons
t
raints i
n
Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
mov
e
v
alue_gcd a
n
d value_lcm
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Be
r
noulli_s
u
m_e
v
alu
e
: on
l
y c
o
mpute exact sum if
approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Be
r
noulli_sum_e
v
alue
:
sum over va
r
iables
w
ith int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ev
a
lue
.
c:
e
x
p
o
rt evalue_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
P
olyhedron_Exchange
C
olumns: normalize const
r
a
i
n
ts
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
export Polyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
e
v
alue_polynomial: o
p
ti
m
ize eva
l
u
ation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c:
e
mul: handle an
o
ther special ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c:
e
add:
h
andle
some
s
pec
i
al ca
s
es
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
i
n
troduce and
use e
v
alue_free
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdoolaege
evalue
.
c:
e
a
dd: mi
c
ro-opti
m
i
z
e addition of two
r
ationals
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
s
etting
a
n approxim
a
tio
n
met
h
od now
i
m
plies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
bar
v
ino
k
_sum
m
ate: optionally us
e
Bernoull
i
/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Bernoulli_sum_evalue: use eval
u
e
_
from_sectio
n
_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvinok/polylib
.
h: rem
o
ve compatibility
with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
move V
e
c
t
or_Opp
o
se
to PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polytope_scan: reenable --dire
c
t option
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n
Verdoolaeg
e
remove_al
l
_equalities: keep removing equ
a
lit
i
es unti
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
ol
a
ege
remove_all_e
q
ualities
:
handle empty poly
h
e
dr
o
n
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
aege
remov
e
_all_e
q
ual
i
ties
:
minor code clean-
u
p
commit
|
commitdiff
|
tree
2007-10-20
S
v
en
V
erdo
o
laege
ex
p
ort Poly
h
e
dron
_
Mat
r
ix_Vi
e
w
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolae
g
e
po
l
a
r
_
signed_c
o
n
e
_
consumer: cl
e
an up memo
r
y on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven V
e
rdoolaege
Param_In
n
er_Produ
c
t
:
fix u
s
e of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
doo
l
a
ege
doc: fix typo
i
n Mic
h
el
e
V
ergne'
s
name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
e
ge
Add missing file
s
from polymake clie
n
t to dist
r
ibutio
n
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's
gcd rath
e
r tha
n
PolyLib
'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
polyma
k
e/REA
D
ME:
mention --wi
t
h
-
barv
i
nok co
n
fi
g
ure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolae
g
e
polym
a
ke/Makef
i
l
e
.
in: add work-around for
p
o
l
ymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n Verdoolaege
evalu
e
.
c: pr
i
nt_
e
va
l
u
e
: alw
a
ys print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erdoolaege
options
.
c: fix
typo
in -
-
appro
x
ima
t
i
o
n-method
d
escription
commit
|
commitdiff
|
tree
2007-09-15
Sven Verd
o
olaege
topcom:
fix h
e
uristic
for
s
electing r
o
w
s
t
o
use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoola
e
ge
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoola
e
ge
M
e
rge
b
ranch 'top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
D
o
cument
T
OPCOM based
c
h
a
mber d
e
compo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
test TOPCOM chambe
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optiona
l
ly
u
se TOPCOM to
c
ompute chamber decompo
s
itions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
l
exmin:
a
d
d (pr
o
tected) missing algor
i
t
hm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
S
ven V
e
r
d
o
o
la
e
ge
Makefile
.
am: a
d
d t
a
rget for
c
reating dist wi
t
h
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaeg
e
do
c
: updat
e
voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc
u
ment barvinok_summate and ba
r
vinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verd
o
olae
g
e
doc: c
o
n
s
istent us
e
o
f Bar
v
in
o
k's
initial
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
a
ege
barv
i
nok_summate: corr
e
ct opti
o
ns d
e
sc
r
iption
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
D
o
cument Euler-Maclaurin
base
d
sum
m
ation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc:
c
h
ang
e
exampl
e
envi
r
o
nment
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
do
c
: add some h
i
d
d
e
n secti
o
ns to t
a
bl
e
o
f contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
doc: another document refer
i
ng to the lib
r
a
r
y
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
d
o
o
lae
g
e
add some te
s
ts for Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Euler-Maclaurin based summation for
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
r
d
oolaeg
e
E
uler-Ma
c
lau
r
i
n based summation for 2D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdo
o
laege
deco
m
poser
.
c
c
: avoid
u
se of
half-
o
pen cones
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
e
rdoolaege
barvinok_
s
ummate
:
verify solution over w
h
ole
p
aramete
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aege
introd
u
ce barvinok_summate as a wrap
p
e
r
for evalue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
eg
e
a
dd eva
l
ue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdo
o
laege
eva
l
u
e
_{div,mul
}
:
handle
s
o
m
e trivia
l
cases more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
latti
c
e_point: export
fractional_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdo
o
laege
evalue
.
c
: extrac
t
com
m
on code f
o
r
construction ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaeg
e
volume
.
c: exp
o
rt Par
a
m_Polyh
e
dron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add evalue_mu
l
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
V
erd
o
o
l
aeg
e
fix type
o
f
evalue_
p
olynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
su
p
port c
o
mputatio
n
of Bernoul
l
i
p
olyn
o
m
i
als
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate computat
i
o
n
of Bernoull
i
c
o
efficients a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
attice_point
:
use Para
m
_
V
ertex_Common_Denomina
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
make
de
c
omposer
.
h self
-
cont
a
ined
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
r
e
du
c
e_doma
i
n
:
a
void use of macro parameter with
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
U
s
e piplib d
u
ring
basis reduction i
f
n
o
ot
h
er LP solv
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use
b
undled piplib by defau
l
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaeg
e
ad
d
piplib mo
d
ule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e
bundled PolyLib by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
add p
o
lylib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoo
l
aeg
e
be
r
nste
i
n:
allow linki
n
g agains
t
u
n
i
n
stalle
d
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Ve
r
doolaege
add more
missing asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sve
n
Verdoolaege
ad
d
d
u
mmy implementa
t
i
o
n
s of f
u
nc
t
io
n
s that
dep
e
nd
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
ven Verdoolae
g
e
update "Countin
g
wi
t
h rational gene
r
at
i
ng functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaege
barvi
n
o
k
.
cc: split
o
f
f part constructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ver
d
o
olaege
barvinok
.
cc:
s
pl
i
t off part dealing with existe
n
t
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*counter: avoid reco
m
p
u
ta
t
i
o
n of denominators whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n
V
erdoola
e
ge
c
ounter:
r
e
m
ove redunda
n
t member
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n V
e
rdoolaege
ch
a
nge ty
p
e
o
f some "sign"
s
to int as th
e
y c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
doc
:
update Algorithmica pu
b
lica
t
ion
commit
|
commitdiff
|
tree
2007-08-10
Sv
e
n Verd
o
olaege
evalue
.
c:
make p
a
ramet
e
r names of type const c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
Verdoolaege
sample
.
c
:
Polyhedron_Remove
F
i
xedColumns
:
co
r
rectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
Verdool
a
ege
ut
i
l
.
c: remove
_
e
qualiti
e
s: fix typ
o
commit
|
commitdiff
|
tree
2007-07-30
Sven V
e
rdoola
e
ge
P
a
ram_Poly
h
edron_
P
r
i
nt:
print ev
e
rything
t
o given fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Ve
r
doola
e
ge
b
arv
i
nok_e
n
um
e
rate_wi
t
h_opt
i
ons: don't add
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaege
barvinok
.
cc: don't free P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n
Verdo
o
l
a
ege
remo
v
e_all
_
eq
u
alities: also remo
v
e equal
i
ties in
c
o
ntext
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volume
.
c: avoid
wa
r
nings
commit
|
commitdiff
|
tree
2007-07-27
S
v
en Ver
d
oolae
g
e
e
xport
Param_Inner_Produ
c
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Ve
r
doolaege
b
arvinok_enu
m
erate
.
cc: add
m
i
nimal check on input
commit
|
commitdiff
|
tree
2007-07-19
S
ven Ver
d
oolaege
more pro
t
otyp
e
chan
g
es t
o
const c
h
ar
*
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
V
erdool
a
e
ge
e
value: print_ev
a
l
u
e: make par
a
m
e
ter
names
const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolae
g
e
Alwa
y
s compil
e
polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoo
l
aege
polytope_scan
:
use
a
rg
p
for a
r
gume
n
t
par
s
ing
commit
|
commitdiff
|
tree
2007-07-05
Sv
e
n Verdoolaege
d
o
c
: fix typo
commit
|
commitdiff
|
tree
next