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
evalue_{div,mul}: handle some trivial cases more efficiently
2007-09-08
S
ven
V
erdo
o
la
e
ge
evalue_{d
i
v,mul}: handle some trivial
c
as
e
s m
o
re
e
f
f
i
ciently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
lattice_po
i
nt: export
f
ractional_
p
art
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
evalue
.
c: extra
c
t
c
om
m
on code for cons
t
ruction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
volum
e
.
c: export Param_Polyhed
r
on
_
Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
add evalue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix type of eva
l
ue_polynomial argu
m
ent
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
support
computation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdoolaege
separate computation of Bern
o
ulli coeffici
e
nts and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolaege
lattice
_
p
oint
:
use Param_Ver
t
ex_Common_D
e
nominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
m
ake dec
o
mposer
.
h self-contained
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
aege
reduce_d
o
main: avoid use of macro par
a
m
e
te
r
wi
t
h na
m
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
ex
p
ort eval
u
e_d
u
p
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
Use piplib during
b
asis
r
eduction if no other LP s
o
lvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
laege
Use bundled p
i
plib b
y
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olae
g
e
add pi
p
lib m
o
du
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
r
doolaege
Use b
u
ndled
P
olyLib by
default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
add polylib sub
m
odu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoola
e
g
e
bernstein: allow link
i
ng aga
i
nst u
n
i
nst
a
lled, b
u
t
built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven
V
erdo
o
laege
ad
d
more mi
s
s
in
g
ass
e
rt
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdoolaege
add
d
ummy implementat
i
ons of functions
that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en
V
erdoolaege
upda
t
e "Countin
g
wi
t
h r
a
tion
a
l ge
n
erating functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolae
g
e
barv
i
no
k
.
cc
:
sp
l
it off part constructing
gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
ba
r
vinok
.
cc: split off part deal
i
ng with
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
r
d
oolaege
*count
e
r: a
v
oid recomput
a
ti
o
n
of den
o
minators
when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
erdool
a
ege
counter:
remove r
e
du
n
dant me
m
ber
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rdoolaege
chan
g
e type of s
o
me "sign"s to i
n
t as they c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
d
o
c: u
p
date Algorithmi
c
a
p
ubli
c
ation
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdo
o
laege
e
v
alue
.
c
:
ma
k
e parameter names of t
y
pe const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven
Ver
d
o
ol
a
e
g
e
sample
.
c:
Polyhedron_
R
emov
e
FixedColumns: correctly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdoo
l
aege
util
.
c: r
e
move_eq
u
alities: f
i
x t
y
po
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n Verdool
a
ege
Param_P
o
lyhedron_Print:
p
rint everything to g
i
v
e
n
f
ile
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
barvi
n
ok_enumerate_with_o
p
tions: do
n
'
t add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdool
a
ege
barvinok
.
cc:
don't free P argument
i
n
e
numerate
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
V
e
rdoolaege
remove_
a
ll
_
equ
a
lities:
a
lso remo
v
e e
q
ualities in contex
t
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doo
l
aege
vol
u
m
e
.
c: avoid war
n
ings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
e
xport Param_Inn
e
r
_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
rdoo
l
aeg
e
ba
r
vi
n
ok_enumerate
.
cc:
add
mi
n
imal
c
heck on
i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sv
e
n Verdool
a
ege
m
ore prototype c
h
anges to cons
t
char *
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verdoolaege
evalue
:
print
_
evalu
e
: make para
m
eter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoo
l
aege
Alwa
y
s compile polyto
p
e_s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n
V
erdoolaege
p
o
lytope_scan: use argp fo
r
argume
n
t p
a
r
s
ing
commit
|
commitdiff
|
tree
2007-07-05
Sven Ver
d
o
o
l
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Verdoolaege
conf
i
g
u
re
.
in:
a
llow specification
o
f defaul
t
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Ver
d
oolaege
consolidate calls to Polyhedr
o
n2P
a
ram_D
o
main
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdool
a
ege
v
o
l
ume
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Ver
d
oolaege
Makefile
.
am: add $(EX
E
EXT) for cy
g
wi
n
commit
|
commitdiff
|
tree
2007-07-01
Sven V
e
rdo
o
laege
M
a
kefile
.
am: forc
e
rebuild
libra
r
i
e
s in subdirs
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
olaege
only test
barv
i
nok_maximize if
it has
b
een/can be create
d
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erd
o
ola
e
ge
testlib
.
cc: work around inc
o
mplete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdool
a
ege
s
cale
.
c: enumerate
_
na
r
r
o
w
_
fl
a
ted: don't s
i
mplify constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdo
o
laege
de
c
l
a
re variables at st
a
rt o
f
code
b
lock
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
olaege
doc:
u
pdate documentatio
n
o
f
o
p
ti
o
ns
and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedr
o
n_Sample:
fa
c
tor polyh
e
dron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: compu
t
e
v
er
t
i
c
e
s o
f
1D pol
y
hedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaeg
e
Pol
y
hed
r
on_Sample: remo
v
e all e
q
ualities from
p
o
l
yhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add
p
ossibility to
u
s
e
GL
P
K a
s
L
P
solv
e
r
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Polyhedr
o
n_Sam
p
le: postpone removal of r
a
ys until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhedron_Samp
l
e: use
lp sol
v
er for
findi
n
g
range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
erdoolaege
lexmin: move choice of lp sol
v
er to
use
o
ut
s
ide basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
pol
y
sig
n
.
h: use correct name of PL_poly
h
edro
n
_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verdoolaege
ba
r
vinok
_
enu
m
e
r
a
te: plug
memory leak in Bernoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enumerat
e
_
e
_r: don
'
t assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
evalue_frac2polynomial: rech
e
ck evalue after eval
u
e_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
util
.
c:
L
ine_Length:
d
on't get confused
b
y p
o
siti
v
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Ma
k
efil
e
.
am: stop after first failed test
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n V
e
r
d
oolaege
berns
t
ein: ca
r
ry thr
o
ugh variable r
e
naming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
r
d
o
o
lae
g
e
bern
s
t
e
i
n
:
don't a
s
s
u
m
e
i
n
put polynomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalu
e
_read
.
c: co
r
r
e
ct constne
s
s of name in p
a
rameter_n
e
w
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolaeg
e
evalue
_
rea
d
: accept constant multiple of var
i
a
b
l
e
wit
h
o
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoo
l
aege
ev
a
lue
.
c: evalu
e
_sum: better han
d
ling of negative
v
alues
commit
|
commitdiff
|
tree
2007-06-15
Sve
n
Verdoolae
g
e
ev
a
lue
.
c: reor
d
er_t
e
rm
s
: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
e
n Verdoolaege
evalue:
decl
a
re
first argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Ver
d
oolaege
ev
a
lue
.
c: emul: don
'
t
u
se explicit_c
o
mplem
e
nt on
argum
e
nts
commit
|
commitdiff
|
tree
2007-06-14
S
ven V
e
rdoolaege
add a test for evalue_spli
t
_peri
o
ds
commit
|
commitdiff
|
tree
2007-06-13
H
a
ral
d
.
Dev
o
s@elis
.
.
.
find_fractional_with_max_peri
o
ds: initialize lo
c
al
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
doolaege
eva
l
ue
.
c:
e
value_sp
l
it_periods: mak
e
sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en Verdo
o
laege
e
value
.
c: poly
n
omial_projection
:
use e
v
alue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoolaege
ad
d
a test for
barvinok_maximiz
e
and ba
r
vinok_sum
m
ate
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoolae
g
e
barvinok_
s
ummate: suppo
r
t verificat
i
on of results
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verd
o
olaeg
e
e
v
alue
.
c: evalue_s
u
m: split into orthants + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
bar
v
inok_union: use argp
f
or
a
rgument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sv
e
n
Verdoolaege
bar
v
inok_enum
e
r
ate_union_ser
i
e
s_wit
h
_opt
i
ons: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
ba
s
is_r
e
d
uction_cdd
.
cc: get correct dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
b
asis_reductio
n
_glpk
.
c: correct
l
y set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
Verdoolaege
basis_reduc
t
ion_glpk
.
c
:
c
he
c
k for
sanity of solut
i
on
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
optio
n
s: mentio
n
default and available solver
s
for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Verdoolaege
p
o
lyhedron_sample:
take option
s
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rdoolaege
doc
:
mor
e
a
b
out power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
S
ve
n
Verdoolaege
doc:
r
e
p
eat
M
a
t
t
hi
a
s
' stopped Barvino
k
expe
r
ime
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
add
b
a
r
vinok_summate to sum a quasi-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n Verdoolaege
evalue_
r
ead: fix for top-level fract
i
onal par
t
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Ver
d
oolaege
berno
u
l
l
i
.
c: Bernoulli_su
m
_
evalue: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolae
g
e
bernoulli
.
c: perform
n
ested
s
ums approx
i
matio
n
depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
add po
l
yno
m
i
al approxima
t
ion
b
ased on nested sums
commit
|
commitdiff
|
tree
2007-05-13
S
ven Ver
d
oolaege
uti
l
.
c: extract for_eac
h
_
l
ow
e
r_up
p
er_bound
fr
o
m ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
d
ecompo
s
er: u
s
e NTL to inv
e
rt matrix rath
e
r than c
o
nv
e
ring
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Ver
d
ool
a
ege
lattice_point
.
cc:
a
llow rays and v
e
rtex to
have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
count
e
r: o
p
t
i
mize summing over p
o
int
s
i
n
fundapiped
commit
|
commitdiff
|
tree
next