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
util.c: remove_equalities: fix typo
2007-07-31
Sven Verdool
a
e
g
e
u
t
il
.
c: re
m
ove_
e
qualities: fix typo
commit
|
commitdiff
|
tree
2007-07-30
S
ven Verdoolaege
Param_Polyhedr
o
n
_
P
r
int: pri
n
t everyt
h
ing to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaege
ba
r
vinok_enumerate_with_options: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sve
n
Verd
o
olaege
b
a
rvinok
.
cc: don't free P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoo
l
a
ege
remove_all_equalities: also remove
e
qualities in conte
x
t
commit
|
commitdiff
|
tree
2007-07-29
Sven Ver
d
oola
e
g
e
volume
.
c: avoid warnings
commit
|
commitdiff
|
tree
2007-07-27
S
ven Verdoolaege
e
xport Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolae
g
e
barvinok_enumerate
.
cc: add mi
n
imal
c
heck
on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verd
o
ol
a
ege
more proto
t
yp
e
changes to const char
*
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolae
g
e
ev
a
lue: print_evalue: m
a
ke parameter names
c
o
n
s
t char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdo
o
l
aege
Always
c
ompile polyt
o
pe_
s
can
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
erdo
o
laege
p
o
lytope_
s
can: u
s
e a
r
gp
for arg
u
ment p
a
r
sing
commit
|
commitdiff
|
tree
2007-07-05
Sv
e
n Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoo
l
aege
configure
.
in: allow specificati
o
n
o
f defaul
t
pref
i
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
Verdo
o
laege
c
o
n
solida
t
e ca
l
ls
to
P
olyhedron2Param_
D
omain
commit
|
commitdiff
|
tree
2007-07-03
Sven V
e
rdo
o
laege
vo
l
ume
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
Sve
n
Verdoolaege
Makefile
.
am:
add $(
E
XEEXT
)
for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Make
f
ile
.
am: fo
r
ce rebu
i
ld
librar
i
es
in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
e
n
Ve
r
doola
e
ge
onl
y
t
e
st barvinok_maximize if it has been/can be c
r
eat
e
d
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
barv
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
testlib
.
cc: work around
i
ncompl
e
te name
s
pace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
o
olaege
scale
.
c
: enum
e
rate_narr
o
w_flated
:
don't sim
p
lify constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
decla
r
e
va
r
i
a
b
les at
s
tart o
f
c
ode blo
c
k
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoola
e
ge
d
o
c: update
d
o
cumentation of options and so
m
e
f
unctions
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
rdoolaege
Polyhedr
o
n_Sam
p
le: factor polyhedron if po
s
si
b
l
e
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
o
olaege
Polyhedron_Sam
p
le: c
o
mpu
t
e vertices
of 1D pol
y
hedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verdoolaeg
e
Poly
h
ed
r
on_Sample: remove
all equalities from po
l
y
h
e
d
ron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdool
a
ege
add possibi
l
ity to use GLP
K
as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron
_
S
ample: p
o
stpone
r
emoval of r
a
ys u
n
til we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
laege
Polyhedron_Samp
l
e: use
l
p solver fo
r
fin
d
in
g
range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en V
e
rdoolaege
lexmin: m
o
v
e cho
i
ce
o
f
l
p solver to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
r
do
o
l
aege
p
o
lysign
.
h: us
e
corr
e
ct name
o
f PL_polyhedron_affine_
s
ign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
e
g
e
barvinok_enu
m
erate:
p
lug
memo
r
y leak in Bernoulli approximatio
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
barvinok_enumerate
_
e_r: don'
t
assume
A
ddCon
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
evalue_frac2polynomial: r
e
ch
e
c
k
e
v
alue af
t
er e
v
alue_
s
plit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olae
g
e
util
.
c: Line_Le
n
gth: do
n
't get confused by
p
ositi
v
ity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdo
o
laege
M
a
k
e
file
.
am: stop a
f
ter first
failed te
s
t
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
berns
t
e
in: carry throug
h
v
ariab
l
e renaming
t
o debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstein: don't
assume inp
u
t polynomial has b
e
en expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
r
d
oolaege
evalue_read
.
c: correct co
n
stness of name i
n
paramet
e
r_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolae
g
e
evalue_read
:
a
c
c
ept co
n
stant multiple of
v
ar
i
able without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
e
value
.
c:
e
value_sum:
bett
e
r
ha
n
dling of
n
egative valu
e
s
commit
|
commitdiff
|
tree
2007-06-15
S
ven Verdoolaege
evalue
.
c: re
o
rder_terms: fi
x
typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
evalue: de
c
lare first
a
rgument of emu
l
const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdool
a
ege
evalue
.
c
: emul:
d
on'
t
use expl
i
cit_
c
o
m
p
l
em
e
nt
on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoolaege
add
a tes
t
fo
r
evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: evalue_sp
l
i
t
_pe
r
iods: make sure
se
l
ecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
erdoolaege
evalue
.
c
:
p
o
l
ynom
i
al_projecti
o
n: use
e
v
a
lue_ex
t
r
a
ct_affin
e
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdo
o
l
a
ege
add a
test for barvinok_
m
aximize and barvino
k
_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven
Verdoolaege
barvinok
_
summa
t
e: support verific
a
tion of results
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoolaege
eva
l
ue
.
c
:
evalue_sum: split into ort
h
an
t
s
+ some ref
a
c
toring
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoolaege
barvinok
_
uni
o
n: use argp for arg
u
m
e
nt parsi
n
g
commit
|
commitdiff
|
tree
2007-06-09
Sve
n
Verdoolaege
barvinok_enume
r
ate_union_series_wit
h
_opt
i
on
s
: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n Verdoo
l
aege
basis_reduc
t
i
o
n
_
c
d
d
.
cc: get correct dual sol
u
t
i
o
n
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdool
a
ege
basis_reduc
t
ion_glp
k
.
c: c
o
rrectly set
t
ype of
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduction_glpk
.
c:
c
heck for sanity of
solution
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n V
e
rdoolae
g
e
options: mention def
a
ult and available solv
e
rs for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoola
e
ge
polyhedron_
s
a
m
ple: take opt
i
ons
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
do
c
: more abo
u
t power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
erdo
o
laege
doc: ty
p
o
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolae
g
e
doc:
repeat M
a
t
t
h
ias' stop
p
ed Bar
v
inok experi
m
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
Verdoolaege
add
b
a
rvinok_summate to sum a quasi
-
polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoola
e
g
e
evalue_read: fix fo
r
top-
l
evel fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven
Verdoolaege
bernoulli
.
c:
B
er
n
oulli
_
sum_evalue: redu
c
e resultin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven
Verdool
a
eg
e
b
ernoulli
.
c:
p
erform nest
e
d
s
u
ms approximati
o
n depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ver
d
o
o
laege
add p
o
l
ynomial a
p
proximation based on
n
ested sums
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
V
e
r
do
o
la
e
g
e
ut
i
l
.
c: e
x
tract
for_each_l
o
wer_up
p
er_bo
u
nd
from P
a
ra
m
Line_Length
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
deco
m
poser: use NTL
to invert m
a
trix ra
t
her than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
lattice_point
.
cc:
allow rays and vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verd
o
olaege
c
o
unter: opt
i
mize su
m
m
i
ng ove
r
points in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_poi
n
t
.
cc:
a
voi
d
conversion bet
w
een
N
TL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conv
e
rsion
.
cc
:
remove r
a
ys
2
matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c: ev
a
lue_polynomial ex
t
ra
c
ted fro
m
barvino
k
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
evalue
.
c: ad
d
evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rd
o
o
l
aege
do
c
: a note on the connection between Todd po
l
yn
o
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc: points in fundapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolae
g
e
barvinok
.
cc: simpli
f
y
d
p
oly_n construct
o
r
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
R
e
move "no
r
m
a
lizat
i
on" or powers in denom
i
nator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
v
en
V
erd
o
o
la
e
ge
decompo
s
er
.
cc: pass options to tria
n
gulate
_
cone
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdool
a
ege
bar
v
inok_c
o
unt:
optionally
use exponential subst
i
tution
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rdoolaeg
e
count
e
r
.
c
c: ex
t
racted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly
:
:di
v
: avoi
d
computation with rati
o
nal
n
umbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
er
d
oolae
g
e
dpoly: use V
a
lue instead
o
f ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
ven
Verdoolae
g
e
doc: f
i
x typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
add
test for lat
t
ice point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
ege
evalue_read
.
c: add e
v
alue_r
e
a
d_f
r
om_s
t
r for read
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
o
laege
evalue_read_f
r
om_file: don't
modif
y
var_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
evalue_read: rea
d
m
o
r
e
gen
e
ral
e
v
a
l
u
e
s
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
ev
a
lue_convert
.
cc: ad
d
m
issing include
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verdoolaege
conv
e
rsion
.
h: generalize rays2m
a
trix2 to zz
2
matrix
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Verdoolaege
lattice_poi
n
t
.
h
:
m
ake sel
f
-con
t
ai
n
ed
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
ge
e
value_read: extract from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
do
o
l
aege
e
n
um
e
rator: support primal (half-op
e
n) decomposit
i
ons
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enumer
a
tor:
h
a
ndl
e
(
dual) stopp
e
d Barvin
o
k deco
m
pos
i
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
lattice_point
.
cc: remov
e
u
nu
s
ed
PD argume
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
d
oolaege
lattice_point
.
cc: extract coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
lattice_p
o
i
n
t
.
c
c: rename ceil_mod to fractional
_
part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_
p
oint
.
c
c
:
u
s
e some help
e
r functions to si
m
pl
i
fy
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
V
e
rdoolaege
la
t
tice_point
.
cc: implement
l
ookup-table
version i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
mo
v
e more lat
t
ice p
o
int co
m
p
u
t
atio
n
s to lattice_point
.
cc
commit
|
commitdiff
|
tree
next