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
lattice_point: use Param_Vertex_Common_Denominator instead of open coded version
2007-09-08
S
v
en V
e
rdoolae
g
e
lattice_point: u
s
e Param_Vertex_Comm
o
n
_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
mak
e
d
e
composer
.
h
self
-
c
o
ntained
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
re
d
u
c
e
_d
o
m
a
in: avoid
u
s
e
of macr
o
para
m
e
t
er with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
g
e
e
xpor
t
evalue_du
p
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolae
g
e
Use piplib
during basis red
u
ction if no
o
ther LP solver
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoola
e
ge
Use bundled
p
iplib by d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
add pi
p
lib module
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
Use bundled
P
olyLib by
d
ef
a
u
l
t
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add polylib subm
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
bernstei
n
:
a
l
low l
i
n
k
ing ag
a
inst uninstalled, b
u
t b
u
ilt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdool
a
ege
add
m
o
re missing asse
r
t
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
S
v
en Verdoo
l
aege
add dummy i
m
plementati
o
ns o
f
f
unctio
n
s th
a
t depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doolaege
update "Co
u
nt
i
ng wi
t
h rational
g
enerating fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verd
o
olaege
ba
r
vinok
.
cc: split off part c
o
n
s
t
ructing gen
e
rati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
V
erdoola
e
ge
barvinok
.
cc: s
p
lit off par
t
deal
i
ng with
exi
s
t
e
nti
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven V
e
rdool
a
e
g
e
*counter: avoid r
e
computation of deno
m
inators when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdo
o
laege
coun
t
er: remove re
d
u
n
d
a
nt memb
e
r
commit
|
commitdiff
|
tree
2007-08-16
Sven Ve
r
doolaege
ch
a
nge type of s
o
m
e
"
sign"s to
int as
they can onl
y
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
olaege
doc: update Alg
o
rith
m
ica publ
i
cati
o
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
evalue
.
c
:
m
ake parameter names
of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c: P
o
lyhed
r
on_R
e
moveFixedCol
u
mns: correc
t
ly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven
V
er
d
oolaege
uti
l
.
c:
r
emove_equalit
i
es:
f
i
x typo
commit
|
commitdiff
|
tree
2007-07-30
Sv
e
n Ve
r
doolaege
Param_P
o
lyhedron_Print: prin
t
e
v
e
r
y
t
h
ing to given fi
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoola
e
g
e
ba
r
vinok_enumerate_with_option
s
:
d
o
n
'
t
a
d
d context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
barvinok
.
cc: don't free P argument i
n
enum
e
r
a
te
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoolaege
r
e
move_all_equalities: al
s
o
remove
e
quali
t
i
es in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
v
o
lume
.
c: a
v
oid warni
n
g
s
commit
|
commitdiff
|
tree
2007-07-27
Sven Ver
d
o
olaege
export Param_I
n
ner_P
r
o
d
uct
commit
|
commitdiff
|
tree
2007-07-25
Sve
n
Ver
d
oo
l
aege
b
a
rvino
k
_
enu
m
erat
e
.
cc: add
mi
n
imal
c
heck o
n
inpu
t
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdo
o
laege
mo
r
e
p
rototype changes
t
o const
cha
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sve
n
Verdoolaege
evalue: print_evalue: make para
m
eter n
a
mes cons
t
char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
Al
w
ays c
o
mpil
e
polyt
o
pe_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoolaege
p
olytope_scan: us
e
argp
f
or
arg
u
ment p
a
rsing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdo
o
laege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2007-07-04
Sven V
e
rdool
a
ege
configur
e
.
in: a
l
lo
w
sp
e
cification
of defa
u
lt prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
conso
l
idate call
s
to Polyhedron2Param_Domai
n
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdoolaege
volume
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2007-07-01
S
v
en
Verdoolae
g
e
Makefile
.
am: add $(EXEEXT)
f
or cygwin
commit
|
commitdiff
|
tree
2007-07-01
S
v
en Ver
d
oolae
g
e
Makefile
.
am: force rebuild
li
b
ra
r
ies in subd
i
r
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdool
a
e
g
e
only tes
t
ba
r
vinok_maximize if it
has
been/can be
c
r
eated
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoolaeg
e
bar
v
i
n
o
k 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
rd
o
ola
e
ge
testlib
.
cc:
w
ork
a
r
o
und in
c
om
p
l
ete namesp
a
ce su
p
port
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
scale
.
c
: en
u
merate_nar
r
ow
_
flated
:
don
'
t simpli
f
y constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
de
c
lare variables
a
t
start of c
o
de b
l
ock
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ve
r
doolaege
doc: update d
o
cumen
t
a
t
i
on of opti
o
ns and some f
u
nctions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
Polyh
e
dron_Samp
l
e: factor
p
olyhedron if p
o
ssible
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
ege
Pol
y
he
d
ron_
S
ample: com
p
ute
v
ert
i
c
es of 1D polyhedr
a
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhedron_Sample: remove all equaliti
e
s
f
rom poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
erdoolaege
add
p
ossibility
t
o
use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doolae
g
e
Polyhedro
n
_Sampl
e
: postp
o
ne rem
o
val of
r
ays
u
ntil we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
Polyhedron_Sample: use
l
p solver fo
r
finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
le
x
mi
n
: mov
e
ch
o
ic
e
of
l
p solver to use outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
po
l
ysign
.
h: use correct name of PL_polyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoola
e
g
e
barv
i
nok_enumera
t
e: plug me
m
or
y
leak i
n
Bernoulli approximat
i
on
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoola
e
ge
b
arvinok
_
enumerate_e_r:
do
n
't assume AddCon
s
traint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verd
o
olaege
evalu
e
_frac2polynomial: r
e
c
heck ev
a
lue after e
v
a
l
ue_spli
t
_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
util
.
c: Line
_
L
engt
h
: don't ge
t
confused by p
o
sitivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oola
e
ge
M
a
kefil
e
.
am: st
o
p
afte
r
first faile
d
test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoo
l
a
ege
bernst
e
in: car
r
y
through vari
a
ble renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
Verdo
o
l
aege
bernstein
:
don't assume input p
o
lynomial has bee
n
expande
d
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
dool
a
ege
evalue_read
.
c
: correct constnes
s
of name in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
en
V
erdoolaege
e
v
a
l
ue_rea
d
: accept consta
n
t
m
ultiple o
f
variable with
o
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaeg
e
eval
u
e
.
c: evalue_sum: bet
t
er handling of negative
values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
ev
a
lue
.
c: reord
e
r
_ter
m
s:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdoola
e
ge
e
valu
e
: de
c
lare first argum
e
nt of emul co
n
st
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoo
l
a
e
ge
evalue
.
c
:
emul: don't use explicit
_
complement on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a test for evalue_
s
plit_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaeg
e
evalue
.
c: evalue_spl
i
t_perio
d
s: ma
k
e sure
s
elected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
V
e
rd
o
olaege
e
valu
e
.
c: polyn
o
mial_pr
o
jecti
o
n: use
evalue
_
extract_a
f
fi
n
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
ool
a
ege
add
a test f
o
r
barvin
o
k_maxi
m
ize and b
a
rvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvin
o
k_s
u
mmate:
s
u
pport ve
r
ification of results
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Verdoola
e
g
e
evalue
.
c: evalue_sum: sp
l
it into ort
h
ants +
some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
rdool
a
ege
barvi
n
ok_union:
u
se
a
rgp for argument pars
i
ng
commit
|
commitdiff
|
tree
2007-06-09
S
ven Verdoola
e
ge
barvi
n
o
k
_
enume
r
ate_union_serie
s
_wi
t
h_options: fix ty
p
o
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaeg
e
ba
s
is_reduct
i
on_cdd
.
cc: get corre
c
t dual
solutio
n
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_red
u
cti
o
n_glpk
.
c
:
cor
r
ectly set
ty
p
e of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven V
e
rdoolae
g
e
b
a
sis_redu
c
t
ion_glpk
.
c: c
h
eck for sanity of s
o
luti
o
n
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
options
:
men
t
ion de
f
aul
t
and available solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Verd
o
olaege
polyhedron_s
a
mple: take options
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n V
e
rdoolaege
doc:
mo
r
e abo
u
t p
o
wer sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaege
d
oc:
t
ypo
commit
|
commitdiff
|
tree
2007-05-30
Sve
n
Verdoolaege
doc: repe
a
t Matthias'
stopped Barvinok
e
x
p
e
r
i
ment
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
Verdool
a
ege
add barvi
n
ok_summ
a
t
e
to su
m
a quas
i
-pol
y
n
om
i
al over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
Verdo
o
laege
evalue
_
read: fix for to
p
-level
f
ra
c
t
iona
l
part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaeg
e
bernoulli
.
c: Ber
n
oulli_sum_e
v
alue: red
u
ce
resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaeg
e
bernoulli
.
c
:
perform nested
s
ums a
p
proximat
i
on depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polynom
i
al approximation based on nes
t
ed s
u
ms
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
oolae
g
e
util
.
c: extrac
t
f
o
r_ea
c
h_lower_upp
e
r_bound fr
o
m ParamL
i
n
e
_Len
g
th
commit
|
commitdiff
|
tree
2007-05-13
S
ven Ver
d
ool
a
eg
e
deco
m
poser: use NTL
t
o inve
r
t matrix rather t
h
an conv
e
ring
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
lattice_poi
n
t
.
cc:
a
llow rays a
n
d
vertex to have bee
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolae
g
e
counter:
optimize summing ove
r
p
oints in f
u
ndapipe
d
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
l
a
ttice_point
.
cc: avoid
c
onversion between
NTL
and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
co
n
ve
r
s
i
on
.
cc: re
m
ove r
a
y
s
2matrix
commit
|
commitdiff
|
tree
2007-05-13
S
v
en V
e
rdool
a
ege
eval
u
e
.
c:
e
va
l
ue_polynomial extracted fro
m
b
a
rvin
o
k
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
evalue
.
c: add evalue_
n
egate
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
doc: a note on
the connection bet
w
een Tod
d
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
d
o
c: points in
f
undapiped: fix
typ
o
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
Verdoolaeg
e
bar
v
inok
.
cc: simplify dp
o
ly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
S
v
en
V
erdo
o
la
e
ge
Remo
v
e "no
r
malizatio
n
" or powe
r
s in denominato
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
ven Verdoolaege
deco
m
po
s
er
.
cc: p
a
ss options to trian
g
ul
a
te_cone
commit
|
commitdiff
|
tree
next