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 Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Merg
e
branch 'top
c
om'
commit
|
commitdiff
|
tree
2007-09-11
S
ve
n
V
e
r
doolaege
Document
T
OPCOM based cham
b
er
d
ecompo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
t
e
st TO
P
COM
chamber decomp
o
si
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
rdoolaeg
e
Optio
n
ally u
s
e
TOPCOM
to co
m
pute chamber
d
ecompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Ver
d
oolaege
lexmin: add (protected) m
i
s
s
ing algorithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Makefil
e
.
am: add target for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc
:
u
p
d
a
te voting t
h
eor
y
ref
e
rence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document
b
arvin
o
k_summate
a
n
d barvinok_ma
x
im
i
ze
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
d
oc: consistent use of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
dool
a
ege
barvinok_summate: corre
c
t options descr
i
p
t
io
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Document
E
uler-Macla
u
rin based summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Ver
d
oolaege
doc
:
cha
n
ge e
x
ample environmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add
s
ome hidden sec
t
ions
t
o table of conten
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
a
nother doc
u
m
e
nt refering
t
o
the
lib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verd
o
o
laege
add some tests for Eule
r
-Macla
u
rin base
d
summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
E
uler-Maclau
r
in ba
s
ed
s
u
m
mation f
o
r 1
D
pro
b
lem
s
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
Euler-Maclaurin based summation for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolae
g
e
dec
o
mposer
.
c
c: avoid use of
h
a
l
f-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
barvinok_
s
u
m
mat
e
: verify sol
u
tion over whole
para
m
et
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolae
g
e
i
ntroduce barv
i
nok_sum
m
ate as
a
wrap
p
er for evalue_
s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
laege
a
d
d evalue_mu
l
_
div
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
Verdoolaege
evalue_{div,mul}: han
d
le some trivial cases more
e
ffi
c
iently
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rd
o
olaege
latt
i
ce_point: export fracti
o
nal_
p
ar
t
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c
:
e
xt
r
act common code for constructio
n
b
as
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
volume
.
c: e
x
p
ort Param_
P
olyhedr
o
n_F
a
cet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
f
i
x typ
e
of evalu
e
_poly
n
omial argument
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoola
e
ge
support computation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate compu
t
at
i
on of Berno
u
lli co
e
ffici
e
nts a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verd
o
olaege
lattice_point: use Par
a
m_V
e
rtex_Co
m
mon_De
n
om
i
nat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ve
r
doo
l
aege
make decompo
s
er
.
h
self
-
c
ontained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
reduce_dom
a
in: avoid
u
s
e
of
m
acro parameter
with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
export evalue_du
p
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use pipl
i
b du
r
ing basis reduction if no other
L
P
s
olv
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use bund
l
ed piplib by def
a
u
lt
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdool
a
ege
a
d
d piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
U
se
b
u
ndl
e
d PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oolaege
add polyl
i
b
submodul
e
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolae
g
e
bernstein: allo
w
linking ag
a
inst
u
ninsta
l
led, but
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
Verdoo
l
aege
add mo
r
e missing ass
e
rt
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add dummy implement
a
tions of functions
th
a
t depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
u
p
date "
C
o
u
n
tin
g
with rat
i
onal g
e
nerating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
e
r
doolaege
ba
r
vino
k
.
c
c: split off p
a
rt constru
c
ting
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdoolaege
barvinok
.
cc: split o
f
f part deal
i
ng with
e
xistentia
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaege
*counter: avoid
r
ecomputation of denominators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oola
e
ge
counter:
r
emove redu
n
dant member
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
change type of som
e
"sign"s
to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
a
ege
doc:
u
pd
a
te Algorithmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
eva
l
ue
.
c
:
m
a
ke par
a
meter name
s
of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdool
a
e
ge
sample
.
c: Polyhedron_RemoveFix
e
d
Column
s
: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdo
o
lae
g
e
util
.
c
:
rem
o
ve_equa
l
ities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
ven Verd
o
ola
e
g
e
Param_Polyh
e
dron_Print:
print everyth
i
n
g
t
o given
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
b
a
rvinok_
e
numerate_with_o
p
tio
n
s
:
don'
t
add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdoolae
g
e
barvin
o
k
.
cc: don't fr
e
e P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
S
ven V
e
rdoolaege
remove_all_equalitie
s
: al
s
o remov
e
e
q
u
alit
i
es in cont
e
xt
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaeg
e
volume
.
c: avoid war
n
ings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdo
o
laege
export Param_
I
nner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Ver
d
oo
l
aege
barvinok_
e
numerate
.
cc: add
m
inima
l
che
c
k on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
m
ore proto
t
ype changes to
c
onst char
*
commit
|
commitdiff
|
tree
2007-07-19
S
v
en Verdoolaeg
e
evalu
e
: pri
n
t_evalue: mak
e
parameter
names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sve
n
Ve
r
doo
l
aege
A
l
ways
c
ompi
l
e polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Verdoolaege
p
o
l
yto
p
e_scan: us
e
argp for arg
u
ment
parsing
commit
|
commitdiff
|
tree
2007-07-05
Sven
Ve
r
d
oolaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sv
e
n Ve
r
doo
l
aeg
e
config
u
re
.
in: allow specification of defau
l
t
p
ref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
oolaege
consolidate calls t
o
Polyh
e
d
r
on2Param_
D
omain
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verd
o
ol
a
ege
volume
.
c
:
fix typo
i
n comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoo
l
aege
Make
f
il
e
.
am:
a
dd $(EXEEXT) f
o
r cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoolaege
Makefile
.
a
m: for
c
e rebu
i
ld libraries
i
n su
b
di
r
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
doolaege
onl
y
te
s
t ba
r
v
i
nok_maxi
m
iz
e
if it has been/can be created
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
barvi
n
ok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
tes
t
lib
.
cc: work around incomplete namesp
a
c
e sup
p
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
ool
a
ege
sc
a
le
.
c: enumerate_narr
o
w_flate
d
:
don't simpl
i
fy const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
d
e
c
l
a
re variables at start
o
f
co
d
e block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc: update document
a
tion of
options a
n
d
some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
P
olyhedron
_
Sam
p
le: fac
t
or polyhedron if
p
ossible
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
erdool
a
ege
Polyhedron_
S
a
m
p
l
e: compute vertices
of 1D po
l
yhe
d
ra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
laege
Polyh
e
dron_Sample: remove all
equa
l
it
i
e
s
from poly
h
e
d
ron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
add p
o
ssibil
i
ty to
u
se GLPK as LP solve
r
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
erdoolaege
Poly
h
edron_S
a
m
p
l
e: postpone removal
o
f
rays until w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample:
use lp
s
olver for f
i
nding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
lexmin: move
ch
o
ice of lp solve
r
to use
o
u
ts
i
d
e
ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
p
o
lys
i
gn
.
h: use correct name of PL_po
l
yhedron_affine_
s
ign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvino
k
_e
n
umerate
:
plug memory l
e
ak
in Bernoulli appr
o
ximation
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Ve
r
doolaege
barvin
o
k_
e
numerate_
e
_r
:
d
on't assume
A
ddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ve
r
doolaege
eva
l
ue_fr
a
c2polynomial: recheck evalue after evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
u
t
il
.
c: Line_Le
n
gth: don't
g
e
t confused
by posit
i
vity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
M
akefile
.
am:
stop after first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdool
a
ege
bernstein: carry thro
u
g
h
variable
renami
n
g t
o
debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstein: don't assume input polynomi
a
l has
been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
ool
a
ege
evalue_read
.
c:
cor
r
ect
constness of name in para
m
eter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verd
o
olaege
eva
l
ue_read: accept constant mu
l
tiple of
v
ari
a
b
l
e
w
ith
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verd
o
olaege
evalue
.
c: evalue_sum: better hand
l
ing of ne
g
a
t
ive values
commit
|
commitdiff
|
tree
2007-06-15
Sve
n
Verdoolaege
e
v
alue
.
c:
reorder_terms: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n
Verdoolaege
evalue: declare first a
r
gume
n
t of emu
l
c
onst
commit
|
commitdiff
|
tree
2007-06-14
S
ven V
e
r
d
o
o
l
aege
evalue
.
c: em
u
l: don't use expl
i
cit_complement on
arguments
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n V
e
rdoolae
g
e
add a te
s
t for evalu
e
_sp
l
i
t
_
p
er
i
ods
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
doolaege
evalue
.
c: evalue_split_
p
eri
o
ds: make
su
r
e selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c:
p
o
ly
n
om
i
al_projection: us
e
e
v
alu
e
_extrac
t
_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
rdoolaege
ad
d
a te
s
t for barvi
n
ok_m
a
xi
m
ize and ba
r
vinok_
s
u
m
m
a
te
commit
|
commitdiff
|
tree
next