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
make counter::add_falling_powers static
2007-09-08
Sve
n
Verdoolaege
add polylib subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
erdoolaege
bernst
e
in: allow linking against uninstall
e
d,
b
ut built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add more m
i
s
s
ing asser
t
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-08-29
Sven Verdo
o
l
a
ege
add dumm
y
imple
m
ent
a
t
ions
of fu
n
ctions that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Ve
r
doolaege
update "Counting with ra
t
ional gen
e
rating
function
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n
V
erdoolaege
barv
i
n
o
k
.
cc: spl
i
t off part c
o
ns
t
ructing ge
n
erati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Verdoolaege
barvinok
.
c
c: spl
i
t off part de
a
ling with existenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
*counter: avoid recomputation of d
e
nom
i
nators
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdoolaege
c
o
u
n
ter: remove redundan
t
member
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rdo
o
laege
change
t
ype of s
o
me "sign"s t
o
int as
they ca
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
v
e
n
Ve
r
doolaege
doc
:
update Algorithmica p
u
blication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoo
l
a
ege
e
value
.
c: make parameter names o
f
type
c
o
nst c
h
ar
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
S
v
e
n
Ve
r
do
o
la
e
ge
s
a
mple
.
c: Polyhed
r
on_Rem
o
veFixedColumns: cor
r
ectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdool
a
ege
util
.
c
:
remove_equalities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
ven
Ver
d
oolaege
Param_Polyhedron_Pr
i
nt: print e
v
erythi
n
g to given fil
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
b
a
rvinok_enumerate_with_options:
d
on
'
t add
c
ontext
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
bar
v
i
n
ok
.
cc: don't f
r
ee P argument
in
enume
r
ate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
re
m
ov
e
_all_equa
l
ities: also remo
v
e equalities i
n
context
commit
|
commitdiff
|
tree
2007-07-29
S
v
en Verdoolaege
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sve
n
V
erdoolae
g
e
exp
o
rt Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sv
e
n
V
erdool
a
ege
barvinok_e
n
umerate
.
cc: a
d
d min
i
ma
l
check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven
V
erdoolaege
more prototy
p
e chan
g
es
to const char *
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
evalue: prin
t
_evalue: make
paramet
e
r names c
o
nst
c
har*s
commit
|
commitdiff
|
tree
2007-07-11
S
v
en Ve
r
doolaege
Alwa
y
s compile polytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
p
o
l
ytope_scan: use
a
r
g
p for argu
m
e
nt p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc
:
fix
t
ypo
commit
|
commitdiff
|
tree
2007-07-04
Sven
V
e
r
doo
l
aeg
e
confi
g
ure
.
in: allow specification of default p
r
ef
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verd
o
olaege
consolidate c
a
lls to
P
olyhedron2Param_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolae
g
e
volume
.
c: f
i
x ty
p
o
in
c
omment
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoo
l
ae
g
e
Makefile
.
a
m:
a
dd $(EXEEXT)
f
or cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Ver
d
oolaege
Makefile
.
am:
force rebuild libraries in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoola
e
ge
only test ba
r
vinok_maxim
i
ze
i
f
it has b
e
e
n/can
b
e create
d
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rd
o
olaege
barvi
n
ok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
te
s
tlib
.
cc: work ar
o
und incomple
t
e namespace
s
uppo
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoo
l
aege
s
c
al
e
.
c: enume
r
ate_narrow_
f
lated: don't simp
l
ify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
d
e
cl
a
re va
r
i
ables at start of c
o
de bl
o
ck
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
doc: update documen
t
at
i
on o
f
o
p
t
ion
s
a
n
d so
m
e functions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
d
oo
l
aeg
e
Polyhedron_Sample: factor
p
olyhed
r
on if possi
b
le
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olae
g
e
Polyhedr
o
n
_
Sample: compute verti
c
es of 1D polyhedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sam
p
le: remove all equaliti
e
s from polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verd
o
olaege
add poss
i
bility to use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaeg
e
Polyhed
r
on_Sample: pos
t
p
o
ne
r
em
o
val of rays un
t
il
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yhedron_Sample: use lp solver for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
le
x
min: move
choice of lp sol
v
er to use outs
i
de basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoo
l
aege
pol
y
s
i
g
n
.
h: use
c
o
r
r
ect name of PL
_
po
l
yhedr
o
n
_a
f
fine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
barvin
o
k_e
n
umerate:
p
lug m
e
mory leak
i
n
Bern
o
u
l
l
i approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
l
aege
barvinok_enum
e
rate_e_r: don't assume A
d
dConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoola
e
ge
ev
a
lue
_
frac2polynomia
l
:
recheck
e
value after evalue_s
p
lit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
util
.
c:
L
ine_Length: don't
ge
t
confused by
positivit
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
Makefile
.
a
m
:
s
top after fi
r
st
f
ai
l
ed test
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoo
l
aege
bernst
e
in: car
r
y
th
r
o
u
g
h
variable
r
enaming to deb
u
g
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
bernstein: don't ass
u
me input polynomial
h
as been expan
d
e
d
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoolaege
e
value_rea
d
.
c: correct
con
s
tness
o
f n
a
me in
p
arameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdoolaege
evalue_read:
a
c
c
ept c
o
nstant multip
l
e of v
a
riable
w
ithout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
V
erdoolaege
eval
u
e
.
c: evalue_sum: better handli
n
g of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaeg
e
evalue
.
c
:
reorde
r
_terms:
fix typ
o
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Ve
r
doolae
g
e
evalue: declare fi
r
st argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
S
v
en V
e
rdo
o
laege
evalue
.
c: emul: don't use
ex
p
licit_complement
o
n a
r
gum
e
nts
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolaege
add a test f
o
r evalue_
s
plit_peri
o
ds
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdoolaege
evalue
.
c:
e
v
a
l
u
e_
s
p
lit
_
period
s
: make
s
ure
select
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verd
o
olaege
evalue
.
c:
polynomia
l
_projection: use ev
a
lue_
e
xtra
c
t
_
a
f
fine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
a
dd a test for barvinok_maximize and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdo
o
l
a
ege
ba
r
vinok_summate: suppor
t
verificat
i
on o
f
r
esults
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoolaege
e
va
l
ue
.
c: evalue_sum: split in
t
o orthants +
some r
e
factoring
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolaege
barvinok_
u
nion: use argp for arg
u
me
n
t
p
arsing
commit
|
commitdiff
|
tree
2007-06-09
Sven
V
erdoolaege
barv
i
n
o
k_e
n
umerate_un
i
on_s
e
ries_with_
o
ption
s
:
fix typo
commit
|
commitdiff
|
tree
2007-06-07
S
ven Verdoola
e
ge
basis_re
d
uction_cdd
.
cc
:
get co
r
rect dual solu
t
ion
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reducti
o
n_glpk
.
c: cor
r
e
c
tly s
e
t
t
y
p
e of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolaege
bas
i
s_reduc
t
ion_glpk
.
c
: check for sa
n
ity of s
o
lution
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Ve
r
doolaege
o
ptions: mention
d
efault
and available so
l
vers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Ve
r
doolaege
po
l
y
hed
r
on_sample: tak
e
op
t
ions
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
doc: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
S
ven Verdoolaege
d
oc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sve
n
Verd
o
olaege
doc: repeat
M
atthias' stop
p
ed Barv
i
nok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ver
d
oolaege
add barvinok_summate to s
u
m a q
u
asi-polynomial
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
evalue_read
:
fix
f
or top-l
e
vel
f
ractional
par
t
commit
|
commitdiff
|
tree
2007-05-14
Sven Verd
o
olaege
bernoulli
.
c: Bernoulli_
s
um_evalue: reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoo
l
aege
bernoulli
.
c
:
p
erfo
r
m nested sums approximation
d
e
pth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
a
d
d
polynomial a
p
prox
i
ma
t
i
on
base
d
on
nested
s
ums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaeg
e
util
.
c:
extract for
_
e
ach_lower_upper_bound from Para
m
Line_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
oolae
g
e
decomposer: use NTL to in
v
ert matrix
r
ather than
c
o
n
vering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdo
o
laege
lattice
_
poin
t
.
c
c:
a
llow rays
a
nd vertex
t
o
h
a
ve been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ve
r
do
o
lae
g
e
counter: optimiz
e
summing over p
o
ints
in fu
n
dapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
lattic
e
_point
.
c
c
: avoid conversi
o
n between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdool
a
ege
co
n
versi
o
n
.
c
c
:
remove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verd
o
o
l
aege
evalue
.
c: evalue
_
polyno
m
ial e
x
tracted from
b
arvin
o
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
e
value
.
c
:
add evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
doc: a
not
e
on the connection between Tod
d
poly
n
omial
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
d
o
c
: points
i
n
fund
a
piped
:
fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdoolaege
barvinok
.
cc
:
si
m
plify dpoly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven V
e
rdoolaege
Remove "n
o
rmalization" o
r
powers in denom
i
n
a
tor on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
d
ecom
p
oser
.
cc
:
pa
s
s options
t
o tria
n
gul
a
te_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
barvinok_c
o
unt: optionally u
s
e exponenti
a
l sub
s
titution
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
oolaege
count
e
r
.
c
c
: extract
e
d from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly::div: avoid computation with rational n
u
mber
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpo
l
y: use
V
alue in
s
t
ead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaeg
e
doc: f
i
x typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
ad
d
test for lattice p
o
int
computa
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoola
e
ge
evalue_re
a
d
.
c:
add evalue_r
e
ad
_
f
r
o
m
_
s
tr
for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdo
o
laege
e
valu
e
_
read_fro
m
_
fil
e
: do
n
't modify
var_list argument
commit
|
commitdiff
|
tree
next