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
lexmin: allow emptiness check through counting
2006-12-11
S
v
en Verdoolaeg
e
lexmin: allow
emp
t
i
ness check through countin
g
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
le
x
min
.
cc: move constructio
n
of
s
ubdomains to
edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
edo
m
ain
.
cc: m
o
ve sample co
m
putation comp
l
e
t
ely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ve
r
dool
a
e
g
e
lexmin
.
cc:
p
artial_order:
:
compare:
use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
exmin
.
cc: indicator::comb
i
ne: more
e
ffic
i
en
t
way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
lexmin
.
c
c
:
keep
h
eads in partial order separate
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoo
l
aege
edomain
.
cc: EDomain::
a
d
d
_ge_constraint: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
lexmin
.
cc
:
par
t
ial_order::com
p
are: a
d
d cache of
compar
i
s
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doo
l
ae
g
e
l
e
xmin: make sure
l
e set in partial o
r
d
e
r only contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
l
e
xmi
n
:
m
ore sanity chec
k
s
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
lemxin: use stable ord
e
r
i
n
g
of
in
d
ica
t
or_te
r
ms in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoola
e
ge
genfun
.
cc:
m
ove lex_cmp
t
o mat_ut
i
l
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexmin: indicator::combin
e
: directly ad
d
so
m
e k
n
o
w
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
barvinok/polylib
.
h: separate
in
c
l
ude of pol
y
lib header
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdool
a
ege
l
exmin: op
t
ionally compute sign of a
f
fin
e
function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolae
g
e
le
x
mi
n
:
optional
l
y skip reduction of evalue
s
in domain
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
lae
g
e
ev
a
l
ue_frac2
f
loo
r
: only make
a
rgume
n
t nonn
e
ga
t
ive i
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
lexmin: P
o
lyhedron_not_empty: b
e
careful a
b
o
u
t
emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
lexmin: indi
c
ator_term::
i
s_opposite: as
s
ume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
V
erdool
a
ege
remove_al
l
_e
q
ualiti
e
s:
h
andle c
o
mpress_variab
l
es ret
u
rning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoola
e
ge
l
exmin: optionally u
s
e cdd duri
n
g basis redu
c
tion
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdo
o
laege
Pol
y
hedron_
R
e
d
u
ced_Basis: op
t
ionally use c
d
d to
solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
r
d
oolaege
c
o
n
figu
r
e
.
in: c
h
eck for c
d
d
lib
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoola
e
ge
lexm
i
n
:
Polyhedr
o
n_not_
e
mpty: continue remo
v
ing equalit
i
e
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lex
m
i
n
: handle
e
q
u
alities amon
g
p
arameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_all
_
equal
i
ties: ignore
i
dentity p
a
rameter com
p
res
s
io
n
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Ve
r
doolaege
remove_equa
l
it
i
e
s
.
c: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
genfun: add short_rat::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
genfun: add
s
h
o
r
t_rat
constr
u
ctors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
o
l
aege
eval
u
e
.
c:
e
value_denom
:
i
m
pr
o
ve
co
m
ment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Poly
h
edron_not_empt
y
: che
c
k result returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rdoolaege
barvinok
.
cc: ser
i
es: remov
e
equalitie
s
u
s
in
g
P
r
eimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdool
a
ege
barvinok_count: c
o
l
l
e
ct
s
tats
o
n numb
e
r of unimodula
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Ver
d
oolaege
uti
l
.
c: triang
u
l
a
te_con
e
: use bi
g
ger
r
an
d
om val
u
es
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdoola
e
g
e
sample
.
c: P
o
lyhedron_Re
m
ov
e
F
i
x
edColumns: copy constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
b
e
rnste
i
n: piecewise_lst::e
v
alua
t
e: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
con
f
ig
u
re
.
i
n
:
only add -lbernstein to b
a
rvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
configure
.
in: r
e
name --with-gi
n
a
c
to --without-
b
ernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
c
onfigur
e
.
in:
a
l
l
ow build wit
h
out GiNaC (and t
h
erefor
e
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Ver
d
oolae
g
e
c
onf
i
gure
.
in: add -lbernstein to barvinok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
u
t
il
.
c: compr
e
ss_var
i
ables: cor
r
ect ch
e
ck for
scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoo
l
a
e
g
e
u
til
.
c:
s
o
me documentatio
n
for compre
s
s_va
r
iables
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
d
o
ol
a
ege
veri
f
_ehr
h
a
rt: add --print-
a
ll option to replace PR
I
NT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
v
en Verdoolaege
mat
_
util: make arguments
o
f lex_cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n Verdoolaeg
e
add AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdool
a
ege
M
a
k
efile
.
am: make sure correct files are incl
u
ded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verdoolaege
d
oc:
mention restrict
i
on of
barvin
o
k_enum
e
rate
_
sc
a
rf_series
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: minimal docu
m
e
ntation
f
or the
lexmin appli
c
a
t
ion
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolae
g
e
b
e
r
nstein/configure
.
in: set AC_CONFIG_AUX_DIR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
d
oc: document
p
olytope_s
a
mple
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolae
g
e
doc: document poly
h
edron_samp
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
: include barvinok library vers
i
on in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
S
ven
Verdoolaege
d
oc: bib:
n
ame Kevin M
.
Woods consistently
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Ver
d
oolaege
doc: document
e
xtra
occ
o
perations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
doc
:
up
d
ate
gen_fun documentation
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoo
l
aege
doc: reflect ch
a
nge of argumen
t
type
o
f
e
add
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc: docume
n
t barv
i
nok_enumerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Ve
r
doolaege
doc: add another paper
r
efering to b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
d
oc:
typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolae
g
e
doc: doc
u
m
ent berns
t
e
in da
t
a stru
c
tures a
n
d functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
do
o
laege
bernst
e
in
:
piecewise_ls
t
::simplify_domai
n
s: ad
d
M
axRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sve
n
Verdo
o
laege
bernstein:
make poly
a
rgument of
bernste
i
nE
x
pansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Ve
r
doolaege
reduc
e
r
.
h
:
o
nly use
infinite_
i
counter whe
n
dim
=
=1
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
r
emove a few
dup
l
i
cate def
i
nitions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
util
.
c: move duplicat
e
Polyhed
r
on_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
ba
r
vinok
.
cc: add _
w
ith_options
version of bar
v
inok_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
e
val
u
e
.
c
:
remove i
n
c
l
u
de of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c: s
h
ow use of
Om
e
g
a,
G
L
PK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
version
.
c: move
b
arvinok
_
vers
i
on
from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoolaege
doc: document Polyhedro
n
_
R
educed_Basi
s
and Polyhedron_Sample
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verd
o
o
laege
export P
o
lyhed
r
on_
S
ample
a
n
d
Polyhedron_Red
u
ced_Basis
commit
|
commitdiff
|
tree
2006-10-27
S
v
en
Verd
o
olaege
doc: re
n
ame "usage"
s
e
ction to "applic
a
tions" section
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
oola
e
ge
barvinok_optio
n
s: rename em
p
t
i
ness_ch
e
c
k to lexmin_e
m
ptines
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n
Verdoolaege
doc: document b
a
r
v
i
nok
_
o
ptions
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoolaege
s
ca
r
f
.
cc: export func
t
i
o
ns
to library
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoo
l
a
e
ge
sca
r
f
.
cc: use barv
i
n
o
k_o
p
tio
n
s instead of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoo
l
aege
b
arvinok
/
barvinok
.
h: export _w
i
th_o
p
tions versi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoo
l
aege
barvinok_enumerat
e
_e: remove direc
t
incl
u
de
o
f
p
ol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
V
e
rdoolae
g
e
b
e
rnstein: minimal documenta
t
io
n
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
REA
D
ME: bernstein require
s
GiNa
C
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
do
o
laege
doc: ad
d
r
e
f
e
r
e
n
ce to bernst
e
in techr
e
port
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdoolaege
Merge
b
ranch 'ber
n
stei
n
'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaeg
e
ber
n
s
t
ein/src/TODO: remove; ever
y
thing has been done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
d
oc: add an
o
t
h
er publ
i
cation that
r
efer
s
to ba
r
v
i
n
ok
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n
Verdoolaege
LLL: u
s
e red
u
ction pa
r
ameter 1 by defa
u
lt
commit
|
commitdiff
|
tree
2006-10-07
Sven V
e
rdool
a
ege
decomposer
.
cc: short_vector:
a
llow specifi
c
ation
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
doc: add som
e
more publicati
o
ns t
h
at refer to barvino
k
commit
|
commitdiff
|
tree
2006-10-02
Sven Ver
d
oola
e
ge
eval
u
e
.
c: e
v
al
u
e_de
n
om
:
de
c
lare variable at start
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
laege
ev
a
lue
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
l
aege
scar
f
.
cc
:
ha
n
dl
e
ca
s
e where fo
u
r co
n
s
t
rain
t
s le
a
d
t
o
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
uti
l
.
c: compress_vari
a
bles:
d
e
clare variable a
t
start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
ev
a
lue
.
c: c
o
py (and adapt) copyright sta
t
e
m
ent from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoo
l
aege
doc: add some
re
f
erences to publications
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
l
exmi
n
.
cc: r
e
enable optimiza
t
io
n
o
f
checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven V
e
rdoolaege
e
value
.
c
:
clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven
V
erdoolaege
e
domain
.
cc:
add ED
o
main:
:
contains
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
rdoola
e
ge
lexmin
.
cc: max_term::print: print floor
s
explicitly
.
.
.
commit
|
commitdiff
|
tree
next