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
Sven Ve
r
doolaeg
e
ba
r
vin
o
k 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdo
o
laege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
D
ocument TOPCOM based
c
hamber decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
Verdo
o
laege
tes
t
TO
P
COM cham
b
er deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optional
l
y use TOPCOM to comp
u
t
e chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolae
g
e
lexmin:
add (
p
ro
t
ected) missing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makef
i
le
.
am: add target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: u
p
date
v
oting
t
heory refer
e
nc
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document barvinok_summate
a
n
d
b
arvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
do
c
: consis
t
ent
u
se of Barvinok's in
i
tials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
b
a
rvinok_summa
t
e
:
c
o
rrect opt
i
o
n
s
descr
i
p
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
a
ege
Docum
e
nt Euler-Ma
c
laurin ba
s
ed summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
d
oc: ch
a
nge
example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
oolaege
doc: ad
d
some hidden
s
e
cti
o
n
s
t
o
tab
l
e of c
o
ntents
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: another document refer
i
n
g to
th
e
library
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoola
e
ge
add
some
tests for Euler-
M
a
c
laurin based
summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Euler-Maclaurin bas
e
d summation for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Euler
-
M
a
claurin
based
s
um
m
ation
f
or 2D proble
m
s
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
Ver
d
o
o
laege
decomp
o
ser
.
cc:
a
v
oid u
s
e of half-open
c
o
n
e
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
barvinok_su
m
m
a
t
e
: ver
i
f
y
sol
u
t
ion over
w
hole
p
arameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
introduce barvinok_s
u
mmat
e
as a wrappe
r
for evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
v
a
lue_{di
v
,mul}:
h
an
d
le some trivial cas
e
s more e
f
ficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
latt
i
ce_p
o
i
n
t: exp
o
r
t
fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
e
v
alue
.
c:
extract common code
for
construction b
a
se
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
volume
.
c
:
export Param_Po
l
yhedron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolaege
a
d
d evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
fix ty
p
e of evalue_po
l
y
n
om
i
al argum
e
nt
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
s
upport comp
u
tation
o
f Bernoulli po
l
yn
o
mials
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
e
r
do
o
laeg
e
separate co
m
putation of Bernoulli coefficien
t
s and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en V
e
rdoolaege
lat
t
i
c
e_point: use P
a
ra
m
_Vertex_C
o
mmon_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdo
o
l
a
ege
m
a
ke dec
o
mp
o
s
er
.
h
self-contained
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdo
o
laege
reduce_domain: a
v
oid u
s
e of mac
r
o
parameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
expo
r
t
evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
en
V
erdoolaege
Use piplib du
r
in
g
b
a
s
i
s
redu
c
tion if no other
LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
Use bu
n
dled piplib by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
ege
add p
i
plib module
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
U
se bundled Poly
L
i
b
by d
e
faul
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ver
d
oolaege
ad
d
polylib
s
ubmo
d
u
le
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
e
ge
bern
s
tein: allow linking against uninstalled, b
u
t built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdool
a
ege
add m
o
re missing a
s
sert
.
h
#i
n
cludes
commit
|
commitdiff
|
tree
2007-08-29
Sv
e
n
V
erdoo
l
aege
add d
u
mm
y
implementa
t
ions of functions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
r
d
oolaege
upd
a
te "Counting with rational generating funct
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoola
e
ge
b
arv
i
nok
.
cc: split off
part constructi
n
g
g
enera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Ve
r
doolaege
b
a
rvinok
.
cc: s
p
l
i
t off part de
a
ling with exist
e
n
tia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
olaege
*counte
r
: avoid recomputation
o
f denominator
s
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdoolaeg
e
coun
t
er:
r
em
o
ve redu
n
dant m
e
m
ber
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
r
doolaege
ch
a
ng
e
type of so
m
e "
s
ign
"
s
to int
as
they can
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
laege
d
o
c: u
p
d
ate Algorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolae
g
e
e
v
a
lue
.
c: make p
a
ram
e
ter names of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n Ver
d
oolaeg
e
sam
p
l
e
.
c: Polyhedron_RemoveFixedCo
l
umns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoo
l
aege
util
.
c
:
r
emove
_
equal
i
t
ies: fix t
y
po
commit
|
commitdiff
|
tree
2007-07-30
Sven Ver
d
oolaege
P
aram_Polyhedron_Print
:
print ev
e
rything t
o
give
n
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoola
e
ge
barvinok_enumerate_with
_
options: don
'
t add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolaege
barv
i
nok
.
cc
:
don't free
P
argum
e
n
t in enumer
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Ve
r
doolaeg
e
r
e
move_all_equa
l
it
i
es: also
remov
e
equ
a
liti
e
s in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
volume
.
c: avoid war
n
ings
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n
V
erdoolaege
export Param_
I
nner_Pro
d
uct
commit
|
commitdiff
|
tree
2007-07-25
S
ven Verdoola
e
ge
ba
r
vi
n
ok_enumerate
.
cc: a
d
d
m
ini
m
a
l
ch
e
ck on in
p
ut
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
ege
more prototype ch
a
nges to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven V
e
rdoolaeg
e
evalue: p
r
int_evalue: make parameter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verd
o
olaege
Alw
a
y
s
compi
l
e
polyto
p
e_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdoolaege
polytope_s
c
a
n
: use argp for argument parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
V
er
d
oolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-04
S
v
e
n Verdoola
e
ge
configure
.
in: allow
specification o
f
default
p
r
ef
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ve
r
doolaege
consolidate calls to Pol
y
hedron
2
P
a
ram_Doma
i
n
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n Verdoolaege
v
o
lume
.
c:
fix typo
i
n
c
ommen
t
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
M
akefile
.
a
m: add $(EXEEX
T
) for cy
g
w
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doolaege
Ma
k
e
f
ile
.
am: force rebui
l
d libraries in subd
i
rs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
e
r
d
o
olaege
only test
b
arvinok_maximize if it has been/can be
c
reated
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvi
n
ok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
test
l
ib
.
cc: work a
r
ound
inc
o
mpl
e
te
n
amespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
scale
.
c: enume
r
ate_na
r
row_flated: don't simpli
f
y constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
laege
declare v
a
r
iables
a
t start of code
b
l
ock
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoo
l
aege
doc: update documentation of
o
pt
i
ons
a
nd som
e
functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
P
o
l
y
hedron_Sa
m
ple
:
factor polyhedron if po
s
s
ible
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaege
Polyhedron
_
Sample:
c
ompute vert
i
ces of
1D polyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
erdoo
l
aege
Polyhedron_Sample
:
remove all
e
qua
l
itie
s
f
rom polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
a
d
d possibility
to use GL
P
K as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yhedron_Sample: p
o
stpone removal
o
f
r
ay
s
u
ntil
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
oly
h
edron_
S
ampl
e
: use lp solver fo
r
finding
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
l
e
xmin: move choice of lp sol
v
e
r to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoo
l
aege
polys
i
gn
.
h: us
e
correct nam
e
o
f
PL_polyhedron_affine_sig
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
barvinok_enum
e
r
a
t
e
: p
l
ug
m
e
mory leak in Bernoulli approximati
o
n
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verd
o
olaege
barvinok
_
enumerate
_
e_r:
d
on't assume
A
d
d
Con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdo
o
la
e
g
e
e
v
alue_frac2po
l
ynom
i
al: rech
e
ck eva
l
ue afte
r
evalue_split_
d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoola
e
ge
util
.
c: Line_Length: don't get confu
s
ed by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoo
l
aege
Makef
i
le
.
am: stop after first failed
t
es
t
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
Verdoolaege
be
r
nstein:
carry through variable renami
n
g to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
bern
s
tei
n
:
don't assume i
n
put polynomial has been expan
d
ed
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n Verdool
a
ege
eva
l
ue
_
read
.
c: corre
c
t
constness
o
f
name in par
a
meter_new
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
V
e
r
d
o
olaege
evalue_read: accept constant multiple
of varia
b
le without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
V
e
r
d
oo
l
aege
evalue
.
c: evalue_sum: better
handling of negat
i
v
e
va
l
ues
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolae
g
e
e
value
.
c: reorder_te
r
ms:
fix ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdool
a
ege
evalue: declare first argument of emul
cons
t
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdoolaeg
e
evalue
.
c
: emu
l
:
don't
u
s
e explicit_compl
e
m
e
n
t on arg
u
ments
commit
|
commitdiff
|
tree
2007-06-14
S
v
en
Verdoolaege
ad
d
a test for evalu
e
_
spli
t
_p
e
riods
commit
|
commitdiff
|
tree
2007-06-13
Haral
d
.
D
e
vos@e
l
is
.
.
.
fin
d
_
f
r
a
ctional_wit
h
_ma
x
_periods: in
i
tialize
lo
c
al
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
erd
o
olae
g
e
evalue
.
c:
e
value_split_periods:
make sure select
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdoolaeg
e
evalue
.
c: polynomial_projection: use evalue_e
x
tract_affine
commit
|
commitdiff
|
tree
next