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
barvinok 0.25
2007-09-11
Sve
n
Ve
r
doolaege
barvin
o
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
d
ool
a
e
ge
Merge br
a
nch 'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoola
e
ge
D
o
cument TOPCOM
b
a
s
ed chambe
r
d
e
co
m
posi
t
io
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdool
a
e
ge
test TO
P
COM
c
hamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verd
o
olaege
Optionally use TOP
C
OM to
compute
c
hamber decompos
i
t
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Verdoolaege
lexmin: a
d
d
(pro
t
ec
t
ed)
m
issing
al
g
o
r
i
thm i
n
clud
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Mak
e
file
.
am
:
add target
fo
r
creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoo
l
a
ege
d
o
c
: update v
o
ting th
e
ory r
e
ference
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdool
a
ege
document ba
r
vino
k
_summ
a
te and barvi
n
ok
_
maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c
:
co
n
sist
e
nt us
e
of Barvino
k
's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdo
o
l
a
ege
b
arv
i
nok_summate: cor
r
ect opti
o
ns descript
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdool
a
e
g
e
D
ocume
n
t
E
u
ler-Maclaurin based su
m
mation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
do
c
: change e
x
a
m
ple en
v
ironment
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
doc: add
s
ome
hidden sections to table of contents
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc: another document ref
e
ring
t
o t
h
e lib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oolaege
add some tests for Euler-Maclaurin
b
a
sed summ
a
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Ver
d
o
o
laege
Euler-
M
a
cl
a
urin based summa
t
i
o
n
f
or 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
uler-
M
ac
l
a
urin bas
e
d
summa
t
ion for 2
D
pr
o
blems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
d
ecomp
o
ser
.
c
c: avoid use of half
-
open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
ege
bar
v
inok_summate: v
e
rify s
o
lution over whole par
a
m
e
ter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce barvinok
_
summa
t
e as
a
w
r
a
p
p
er
f
or
e
value
_
sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
a
dd evalue_mul
_
div
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
do
o
laege
eva
l
ue_{div
,
m
u
l
}: handle some trivial cases mor
e
effici
e
ntly
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
lattice
_
point: export fractiona
l
_pa
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c: extract common code f
o
r const
r
uction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
volume
.
c: exp
o
r
t
P
aram_Polyhedron_Face
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
add evalue_
m
ul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
f
i
x type of eva
l
ue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
support
com
p
u
tation of Berno
u
ll
i
polyn
o
mials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
e
g
e
separ
a
te co
m
putation
o
f Bernoull
i
co
e
fficients
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
lattice_point:
u
se Param_Vertex_Comm
o
n_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
m
ake
d
ecomposer
.
h se
l
f-
c
onta
i
ned
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaeg
e
reduce_doma
i
n:
av
o
id
u
se of macr
o
p
arameter with n
a
me
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
a
ege
ex
p
ort e
v
alue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
Use
pipl
i
b during
b
a
s
is reductio
n
i
f
no other L
P
s
o
lver
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
d
o
olaege
Use
b
undled piplib by
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
l
aege
a
d
d piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
doolaeg
e
Use
b
undled
P
olyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add
p
o
ly
l
i
b submo
d
ul
e
commit
|
commitdiff
|
tree
2007-09-08
S
ve
n
Verdoola
e
g
e
bernstein: all
o
w lin
k
i
n
g agai
n
st unin
s
t
a
lled
,
but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add more mis
s
ing assert
.
h
#
i
ncludes
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Verdool
a
ege
add du
m
my implementations of f
u
nct
i
ons t
h
at d
e
pend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdool
a
ege
u
pdate "Counting with rati
o
n
al gener
a
ting fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
bar
v
inok
.
cc: sp
l
it off part constructing
g
eneratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdo
o
laege
b
arvinok
.
cc: split off part dealing
wi
t
h
e
x
i
s
te
n
tial
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolae
g
e
*
c
ounter:
a
v
oid recomputat
i
on of denominato
r
s when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
counter: remove red
u
n
d
a
n
t
m
e
mber
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolaege
change
type o
f
some "s
i
gn"s to int as they ca
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaeg
e
do
c
:
upd
a
te Algo
r
it
h
mica publicat
i
o
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verd
o
ol
a
e
g
e
evalue
.
c: mak
e
pa
r
ameter names o
f
type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
V
er
d
oolaege
sampl
e
.
c: Polyhedron_Rem
o
veFixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoolaege
util
.
c: remove_e
q
ualities: fix
typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdool
a
ege
Param_P
o
lyhed
r
on_Print
:
print e
v
erythi
n
g to
g
iven fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
ba
r
v
inok_enumerate_with
_
options: don'
t
add
c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoo
l
aege
barvinok
.
cc: don'
t
free P
a
rgume
n
t in
e
n
umerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
remove_all_equalities: also remove equalities in context
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Ve
r
doolaege
volume
.
c
:
avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
export P
a
ra
m
_In
n
er_
P
roduct
commit
|
commitdiff
|
tree
2007-07-25
S
ven V
e
rdo
o
laege
barvin
o
k
_
enu
m
erate
.
cc:
add
m
i
ni
m
al check
o
n
inp
u
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
ege
m
o
re prototype changes t
o
c
o
nst
char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
erdoolaege
e
val
u
e: print_eval
u
e: make parameter names co
n
s
t c
h
ar*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always
c
o
mpile
p
olytop
e
_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
erdoolaeg
e
polytope_sca
n
: use ar
g
p
for ar
g
ument pars
i
ng
commit
|
commitdiff
|
tree
2007-07-05
S
v
en Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Verdoolaege
configure
.
in: allow spec
i
fication of default pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
S
ven
V
erdoo
l
aege
consolidate c
a
lls to Poly
h
edro
n
2
Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
doolaeg
e
v
olume
.
c: f
i
x t
y
po in c
o
mm
e
nt
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am: add $
(
EX
E
EXT
)
fo
r
cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
olaege
Makefile
.
am:
force rebuil
d
libr
a
ries in
s
ubdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdoolae
g
e
only t
e
st
b
arvinok_maximi
z
e if i
t
has been/can be cr
e
ated
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
c
c: work ar
o
und inc
o
mplete namespace supp
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rd
o
olaege
scale
.
c: enumerate_narrow_flat
e
d: do
n
't simplify const
r
a
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
declare variables a
t
s
t
art
o
f cod
e
block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc: update docume
n
t
ation of
o
p
t
i
ons
and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
doolaege
Poly
h
e
dron_Sample: factor polyhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Ver
d
o
olaege
Polyhedron_
S
ampl
e
:
compute vertices of 1D po
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
eg
e
Po
l
y
hedron_Sample: rem
o
ve all equalities fr
o
m polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verd
o
o
laege
a
d
d po
s
sibility to u
s
e GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Po
l
yhedron_Sa
m
ple: postp
o
ne removal
o
f
r
ays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
l
yhedron_Sa
m
ple
:
use lp solve
r
f
or findi
n
g range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
ge
lexmin: mo
v
e choice of
l
p
so
l
ve
r
to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
polysign
.
h: us
e
correct name of P
L
_pol
y
hedro
n
_aff
i
n
e
_sig
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
b
a
rv
i
nok_enumerate: pl
u
g memory leak in
Bernoulli approx
i
matio
n
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdo
o
laege
barvinok_enumerate_e
_
r: don't assume
A
ddConstr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
e
v
alue_f
r
ac2polynomial: recheck evalu
e
after
evalue
_
split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolae
g
e
util
.
c:
L
ine_Length: do
n
't g
e
t confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Makefile
.
am: stop af
t
er first failed test
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Ve
r
doolaege
bernstei
n
: carry
thr
o
u
g
h vari
a
ble ren
a
ming to
debug
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoola
e
ge
b
e
rnstein: do
n
'
t
assum
e
inp
u
t pol
y
nomial has been ex
p
anded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
do
o
laege
ev
a
l
u
e_r
e
ad
.
c
: cor
r
e
c
t constness
of name in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
Verdoo
l
ae
g
e
ev
a
lue_read: acc
e
pt consta
n
t
m
ultiple of
variable wi
t
hout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
ven Verdoolaege
eval
u
e
.
c
: evalue_sum: better ha
n
dling of
n
egative values
commit
|
commitdiff
|
tree
2007-06-15
S
ven Verdoo
l
aege
e
va
l
ue
.
c: reorder_term
s
: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdool
a
eg
e
evalue: declare first
a
rgume
n
t
o
f
emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdool
a
ege
evalue
.
c: emul:
don
'
t use explicit
_
c
omplement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doolaege
a
d
d a test for evalue_split_p
e
r
iods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
e
v
alue
.
c: evalue_
s
plit_period
s
: make sure se
l
ected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
erdo
o
laege
eval
u
e
.
c:
p
o
lyn
o
mial_projec
t
ion: use eva
l
ue_extr
a
ct_affi
n
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolaege
add a te
s
t
for barvinok_
m
a
xi
m
ize and barvinok_s
u
mmate
commit
|
commitdiff
|
tree
next