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
bernoulli.c: minor refactoring
2008-03-31
Sven Verdoolaege
bernoull
i
.
c: minor ref
a
ctor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
Bernou
l
li_sum: handle context con
s
traints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_su
m
_evalue: make
s
u
re enoug
h
m
emory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
for_e
a
ch_lower_upper_b
o
und: add another
c
allback f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: a
d
just default ran
g
e to
c
o
n
text if
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
e
u
ler
.
cc: summ
a
te
_
over
_
d
o
main: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
param_util
.
c:
e
xport Param_Ver
t
ex
_
Set_F
a
c
e
ts
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdo
o
laege
P
a
ram_Po
l
yhedro
n
_F
a
c
et: pass facet d
e
fining c
o
nstrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
genfun
.
c
c: parallel_polyto
p
es: don't bot
h
er ha
n
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
evalue_split_domains_into_orthants:
d
on't
re
d
uce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
e
v
a
lue_
r
ead: only allow
terms t
o
cr
o
ss newlin
e
s in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
evalue_read: only a
c
cept implicit mul
t
ip
l
ica
t
ion o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_read
:
accept constraints containing "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
va
l
ue_bernstein_coefficients:
e
n
sure resu
l
t pa
r
titi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: piecewise_lst: correctly pr
i
nt and ev
a
lu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
re
m
ove_all_e
q
uali
t
i
es: keep removing para
m
eter equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
doc: consistent use of
K
e
vin's initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
doc: update now published pa
p
e
rs
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
e
rdoolaege
for_eac
h
_l
o
wer
_
upp
e
r
_
bo
u
nd: allow
absence of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdool
a
e
ge
Revert "eadd_
p
artitions: try to comb
i
ne multiple domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
ev
a
lue
_
read_partition:
put parti
t
i
o
n
s back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
d
o
olaege
evalue: reduce_evalue:
add note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoola
e
g
e
berns
t
ein
.
cc: handle input w
i
th unions + relation viol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
maximize
.
cc: deal with uni
o
ns in input
during verificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oo
l
a
e
ge
evalue_substitute: properly handle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
a
e
ge
evalue
.
c: cle
a
n
up em
u
l
a
nd
e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
r
d
oolaege
eval
u
e
_
read: corre
c
tly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdo
o
laege
e
value_read:
a
c
cept
top l
e
vel "re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
e
n
Verd
o
o
laege
evalue_backsubst
i
tute: add requir
e
d modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolaege
evalue
.
c: *_partition
s
:
simp
l
ify constraints be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdoolaege
doc: more specific
i
n
formation on buggy cddli
b
versions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Verdoolaeg
e
con
f
i
g
ure
.
i
n: requ
i
re cddl
i
b 0
.
94e by testing fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
V
erdoolaege
co
n
fi
g
ure
.
in: only
c
ompile
occ if code_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
bar
v
i
n
o
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdool
a
ege
add some t
e
sts
f
or implementation o
f
p
r
ojection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
doc:
d
ocument n
e
w
options
a
n
d ne
w
ap
p
li
c
ations
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
AUTHORS: update support
inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
g
e
n
fun
.
cc: short
_
rat
:
:
p
r
int
:
correctly print po
l
ynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
e
r
d
oolaege
Export ser
i
es as
b
arvinok_enu
m
erate_serie
s
a
n
d
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ola
e
ge
remove_par
a
meter_
e
qua
l
i
t
ies:
s
top "removing" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
series: leav
e
freei
n
g
of
P
arg
u
m
e
n
t to calling fun
c
tion
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
doc: d
o
c
u
m
ent
i
mplement
a
tion of the
projection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enumerate_e_se
r
ies implem
e
n
t
ing
t
h
e
pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
genfun
.
cc: fix and
d
o
cume
n
t
p
a
rallel p
o
l
y
t
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
O
nly compil
e
zsolve
i
f gc
c
3
.
4 or later is a
v
ai
l
able
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
laege
M
o
ve GiNaC-i
n
dep
e
ndent part of
l
ibrary to barvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
p
o
lylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
doc: how
t
o
co
u
nt th
e
number of elem
e
nts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoolaege
doc/implementation
.
tex: avoid
mult
i
p
l
y
de
f
i
n
ed label
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
lattice_wid
t
h
.
c: try
v
erti
c
es of prev
i
ous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
doc: document intege
r
h
u
ll computation
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
olaege
hull
.
c: a
d
d
all po
i
nts found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
laege
Poss
i
ble
optim
i
zations for
general
i
zed
b
asis reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Suppo
r
t
u
s
e of generalized bas
i
s r
e
duct
i
on to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
add Polyhedron_Integer_M
i
n
imum for computing the inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
ola
e
ge
doc: document gene
r
alized
b
a
sis reduction
b
ased int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ver
d
oolaeg
e
doc/barvinok
.
bib: ad
d
missing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oolaege
ad
d
mo
r
e m
i
ssing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: only compil
e
libbarvinok
a
s a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
Pol
y
hedron_Reduced_Basis: don
'
t stop
t
oo early
w
he
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
comp
u
te
_
width_dire
c
tions: only keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
zso
l
ve: don't install libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
version
.
c:
show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaeg
e
confi
g
ure
.
in: don't set with_{
p
oly,pip}lib
_
prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
P
o
lyhed
r
o
n
_
S
ample: be satisfied wit
h
a
reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolae
g
e
cone
_
integer_hull: opti
o
nally p
r
int stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
basis_reduct
i
on
:
kee
p
t
r
a
ck of number of
L
P
s
so
l
ve
d
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
option
s
:
move --prin
t
-sta
t
s to
l
ibrary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
bern
s
tein:
r
ewor
k
te
s
ting fra
m
ework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
bernstein: add
p
ie
c
ewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoola
e
ge
support newer
v
e
rsions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olae
g
e
s
t
andard_co
n
straints: move from
t
opcom
.
c to
polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
pol
y
sign
.
h: remo
v
e depen
d
ency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
zsolve
:
add banner
.
h to dist
r
ibution
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verd
o
olaeg
e
Polyhe
d
ron_Lattic
e
_Wi
d
th_Direc
t
ions: pri
n
t progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n
Verdo
o
la
e
ge
b
a
s
i
s_reduction_pip: abo
r
t on invali
d
(empty) inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
READM
E
: ex
p
lain
h
ow to get submod
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
doc
:
do
c
u
ment l
a
ttic
e
width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
some lattice wi
d
th
t
ests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
Pol
y
hedro
n
_Lattice
_
W
i
d
t
h
:
decide on facet
s
to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
er
d
oolaege
a
dd Polyhedron_Lattice_Wi
d
t
h
for c
o
mp
u
t
i
n
g
lat
t
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdoolaege
hil
b
ert
.
c: add Cone_I
n
teg
e
r_Hull for computi
n
g
v
erti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ola
e
g
e
polysign:
a
dd pip
-
backed ve
r
sio
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
polysign
:
ad
d
constraint
s
_opt to compute op
t
i
mum o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
doolaege
p
o
lysign_cdd: switch to u
s
e
of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
p
o
l
ysign_glpk: switch
t
o
use
of Matrix repre
s
entat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
ege
doc: docum
e
n
t compu
t
ation of Hilb
e
rt
basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
eg
e
Cone_H
i
lbert_
B
asis: use sta
n
dard_constr
a
ints
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdoolaeg
e
U
se zsolve to com
p
u
t
e Hilbert
b
asis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdo
o
laege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaeg
e
zsolve: don't insta
l
l
h
e
ader
s
and execut
a
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaeg
e
z
s
olve: initialize B
a
ckup
T
ime in ZSolveC
o
ntext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve: zsolveSystem: add missing ve
r
bosi
t
y chec
k
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoo
l
ae
g
e
zsolve: override LI
B
S
fr
o
m
top level
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
o
o
l
a
ege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
ad
d
zsolve from 4t
i
2-
1
.
3
.
1+autoconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
aege
p
a
ram_util
.
c: expor
t
bit_vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
eg
e
topcom
.
c
: extrac
t
p
a
rt
of co
d
e for settin
g
up
s
ta
n
dard
.
.
.
commit
|
commitdiff
|
tree
next