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
separate computation of Bernoulli coefficients and Faulhaber polynomials
2007-09-08
Sven Verdo
o
l
a
ege
s
eparate computati
o
n
o
f
Bernoulli coefficients a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
lattice_point:
u
se
P
aram_Vertex_Common_Denomin
a
to
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
e
r
d
o
o
l
a
ege
m
ake decompo
s
er
.
h s
e
lf-
c
o
ntained
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
r
e
duce_domain:
avoid
use of
macro parame
t
er wit
h
name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
xport e
v
alu
e
_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
U
s
e piplib during basis reduction if no other
L
P solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doola
e
ge
Use bundled piplib
b
y
d
e
fau
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdool
a
e
ge
add piplib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
o
l
aege
Use b
u
n
d
led Po
l
yLib by
default
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
d
oolaege
add poly
l
ib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
berns
t
ein: all
o
w linkin
g
a
g
ainst
uninstalled,
but
b
uilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
S
v
en Verdool
a
ege
add more mi
s
sing asser
t
.
h
#
i
nclu
d
es
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add d
u
mmy impl
e
menta
t
ion
s
of f
u
nctions that depen
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoolaege
updat
e
"
C
ounting with ra
t
ional generating functions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
V
e
rdoolaege
ba
r
vinok
.
cc: split off part c
o
nstructing gener
a
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doolae
g
e
barvinok
.
cc: spl
i
t of
f
part dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdo
o
laege
*counter: avoid re
c
o
m
putation of denominator
s
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n V
e
rdoo
l
aege
count
e
r: remove re
d
undant me
m
ber
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdoolaege
change typ
e
of some "sig
n
"s to int as they can only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoo
l
aege
do
c
:
u
pda
t
e Algorithmic
a
publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c: make parameter
names of type
c
onst ch
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoo
l
aege
sampl
e
.
c: Po
l
yhedro
n
_RemoveFi
x
edCo
l
umns
:
cor
r
ectl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
ven Ve
r
doolae
g
e
uti
l
.
c:
r
emove_equalities
:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven V
e
rdoolaege
Param_Poly
h
edron_Pr
i
nt: p
r
int
everything to giv
e
n
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaeg
e
barvinok_
e
num
e
r
a
te_with_options: do
n
'
t
add
context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolae
g
e
barvinok
.
c
c
:
don't free P
argument in enu
m
erate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verdo
o
l
aege
remov
e
_
a
l
l_equa
l
ities:
al
s
o remove equa
l
i
ties in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
volu
m
e
.
c
:
avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Ver
d
oola
e
ge
expo
r
t Param_In
n
er_Pro
d
uc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
ba
r
v
i
nok_enumerate
.
c
c
: add m
i
nimal
c
hec
k
o
n
input
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdo
o
laege
more prototype changes to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoola
e
ge
evalue: print_evalue: make param
e
ter
n
ames co
n
st char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Always compi
l
e polyto
p
e
_
scan
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rd
o
o
laege
polyto
p
e_s
c
an: use argp for a
r
gument parsing
commit
|
commitdiff
|
tree
2007-07-05
S
v
en Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
config
u
re
.
i
n: allow specific
a
t
i
on of default
p
re
f
ix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
c
o
nsoli
d
ate
calls to Polyhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdoolaege
vol
u
me
.
c: fi
x
typo in com
m
e
n
t
commit
|
commitdiff
|
tree
2007-07-01
S
v
e
n Verdool
a
ege
Makefile
.
am:
a
dd $(EXE
E
XT) for cygwi
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laege
Make
f
ile
.
am: forc
e
re
b
uild libraries
in subdir
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only test
b
arvi
n
ok_ma
x
imize if it has been/can be crea
t
ed
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvino
k
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
te
s
tlib
.
c
c
:
w
ork
a
round incom
p
lete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erd
o
olaege
scale
.
c: enume
r
a
te_narrow_flat
e
d: don
'
t simplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
ool
a
ege
declare va
r
ia
b
l
es at
start of
code block
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
doc: upda
t
e documentation o
f
o
p
t
i
ons an
d
s
o
me f
u
nctio
n
s
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaege
Polyhedro
n
_S
a
m
ple: f
a
cto
r
po
l
yhedron i
f
poss
i
b
l
e
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdool
a
ege
Polyhe
d
ron_Sample: compute vertices
o
f 1D p
o
lyhedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoo
l
aege
Pol
y
he
d
ron
_
Sample:
r
emove
all equa
l
it
i
es from poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Verdoolaege
add possibili
t
y
t
o u
s
e GL
P
K a
s
L
P
s
o
lve
r
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhedron_Sam
p
le: postpone removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
Polyhedron_S
a
mple: use
l
p
solver
f
or
fin
d
ing ra
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
l
e
xm
i
n:
move choice of lp s
o
lver to
u
se
o
utside b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
r
d
oolaege
polysign
.
h:
u
se
cor
r
e
c
t name of P
L
_polyh
e
dron_af
f
ine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
bar
v
i
n
ok_enu
m
erate:
p
lu
g
m
e
mor
y
leak
i
n Bernoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
bar
v
inok
_
enumerate
_
e_r: don
'
t a
s
sume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
ev
a
lue_frac2polynomial: recheck evalue aft
e
r
evalue_s
p
lit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
uti
l
.
c:
L
ine_Len
g
th
:
don't get confused by
p
ositiv
i
ty
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verd
o
olaege
Makef
i
le
.
a
m
: stop after f
i
r
s
t failed
test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
ber
n
stein: carry through va
r
i
able ren
a
ming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
olaege
bernstein:
don't assum
e
in
p
ut polynomial has
been expanded
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
ev
a
lue_read
.
c: c
o
rr
e
ct const
n
ess of name
i
n parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
oolaege
evalu
e
_
read:
accept constant
m
u
ltiple
of va
r
i
a
b
le without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
en Verdoolaege
e
val
u
e
.
c:
ev
a
lue_sum: b
e
tter
handling
of
n
egativ
e
values
commit
|
commitdiff
|
tree
2007-06-15
Sven Ver
d
oo
l
a
e
g
e
e
v
alue
.
c:
reord
e
r_terms: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdool
a
ege
evalue: dec
l
are first argument
of emul const
commit
|
commitdiff
|
tree
2007-06-14
S
ve
n
Verdoolaege
eva
l
ue
.
c: em
u
l: d
o
n't
use expli
c
it_comp
l
e
m
ent o
n
arg
u
ments
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doolaege
add
a
test f
o
r
eva
l
ue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
H
arald
.
Devos@elis
.
.
.
find
_
fractional_wit
h
_max
_
p
e
r
i
ods:
i
nitialize local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n V
e
rdoola
e
ge
evalue
.
c: e
v
al
u
e_s
p
lit_p
e
riods: make sure selec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
doolaege
evalue
.
c: polynomial_proje
c
tion: us
e
evalue_ext
r
a
ct_
a
ffine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add a t
e
st for barvinok_ma
x
imiz
e
a
n
d
ba
r
v
i
nok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erdoolaege
barvinok
_
summ
a
t
e
: support
v
erifi
c
ation of results
commit
|
commitdiff
|
tree
2007-06-10
S
ven
V
erdoo
l
aege
ev
a
lue
.
c: ev
a
lue_sum: s
p
lit in
t
o orth
a
nts + some r
e
fa
c
toring
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdool
a
ege
bar
v
inok_union: use arg
p
for arg
u
m
e
nt parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Ve
r
doolaege
ba
r
v
ino
k
_enumer
a
te_union_series_w
i
th_
o
ptions:
f
i
x typo
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Verdoolaege
basi
s
_r
e
duction_cd
d
.
cc:
get correct d
u
al solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
basis_re
d
uction_glpk
.
c
:
correctly set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoola
e
ge
basis_reduct
i
o
n
_
glpk
.
c: check fo
r
sanity
o
f
sol
u
tion
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoolaege
op
t
ions: mention
d
efau
l
t and ava
i
lable sol
v
e
rs fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
e
rdoolaeg
e
polyhe
d
ron_sample: take optio
n
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoola
e
g
e
doc: mor
e
about po
w
er sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
erd
o
o
lae
g
e
doc: ty
p
o
commit
|
commitdiff
|
tree
2007-05-30
Sven Ver
d
o
o
laege
d
o
c
: repeat
M
atthias' stop
p
ed
Barv
i
nok expe
r
iments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven V
e
rdoolaege
add barvin
o
k_summa
t
e to sum a quasi-pol
y
n
omi
a
l over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
V
e
rd
o
olaege
ev
a
lue_re
a
d: fix for to
p
-
l
e
vel fractional par
t
commit
|
commitdiff
|
tree
2007-05-14
Sven
V
erdo
o
laege
be
r
noulli
.
c:
Bernoulli_s
u
m_evalue: reduce
r
e
sulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Verdoola
e
ge
bernoull
i
.
c:
perform nested s
u
m
s
a
pp
r
oximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
add
p
olynomial approximation based on nested
s
ums
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdool
a
eg
e
util
.
c:
e
xtract
for_
e
ach_lower_
u
p
p
er_boun
d
f
r
om ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
S
v
en V
e
r
doolaege
de
c
o
mpo
s
er:
use NTL t
o
invert matrix rather tha
n
c
o
nvering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolae
g
e
lattice
_
point
.
c
c: allow rays and ve
r
tex to h
a
ve b
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
la
e
ge
counter: o
p
timize summing over points in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaeg
e
latt
i
ce_point
.
cc: avoid
c
onvers
i
on b
e
tween NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
e
rdoolaege
conversion
.
cc: remo
v
e rays2ma
t
r
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
V
e
r
doolaege
evalue
.
c: evalue_po
l
ynomial
e
xtracted fr
o
m barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
a
ege
evalue
.
c: add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
doc:
a
not
e
on the
c
onn
e
c
tion betwee
n
Todd p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
V
e
r
doolaege
doc: points in f
u
ndapip
e
d: f
i
x typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
ba
r
vinok
.
cc:
s
i
m
plif
y
d
poly_n constr
u
ctor
commit
|
commitdiff
|
tree
next