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.cc: keep heads in partial order separate
2006-12-11
Sve
n
Verdoolaege
lexmin
.
cc: keep heads i
n
partial o
r
der s
e
pa
r
ate
commit
|
commitdiff
|
tree
2006-12-11
S
v
en V
e
rdool
a
ege
edoma
i
n
.
cc: ED
o
main::a
d
d_
g
e_con
s
traint:
s
im
p
lify n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
ool
a
ege
lexmin
.
cc: parti
a
l_order:
:
compare: add cac
h
e
of com
p
a
r
ison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verd
o
olaeg
e
lexmin: make sure le set in partia
l
order only
contai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
lex
m
in: more
s
a
n
ity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
lemxin: use stab
l
e
o
rdering of indicat
o
r_t
e
rms in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
genfun
.
cc: move lex_cmp to
m
a
t_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: indicator::
c
ombine: d
i
rectly
a
dd s
o
me known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
r
doolaege
barvinok/polylib
.
h: se
p
arate include of p
o
lylib header
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoola
e
ge
le
x
min: op
t
i
o
nall
y
compute s
i
gn o
f
affi
n
e function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
l
e
xmin: optio
n
ally skip reducti
o
n o
f
evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
eval
u
e_f
r
ac2
f
l
o
o
r:
o
n
ly ma
k
e argument non
n
egative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ve
r
doolaege
lexmin:
Polyhedron_not_empty: be careful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaeg
e
lexmin: ind
i
cator_term::is_opposite: assume numerator
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaeg
e
r
emove_all_equalities: handle com
p
ress_
v
a
riable
s
returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolae
g
e
lexmin: op
t
ional
l
y
use cdd during
b
asis reduction
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoola
e
ge
Polyhedr
o
n_
R
educed_Basis: optionally use cdd to
s
olve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
V
erdoolaege
con
f
igure
.
in: check for cddlib
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdool
a
e
ge
le
x
min: Polyhedron_not_em
p
ty: c
o
n
tinue removing
e
qualities
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
lex
m
in:
h
and
l
e equalities among parame
t
ers
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
remov
e
_al
l
_equalit
i
e
s
: igno
r
e identity
p
a
r
am
e
ter comp
r
ess
i
on
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
e
r
d
oo
l
aege
remove_equ
a
lities
.
c: extrac
t
ed from
ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
genfu
n
:
add sho
r
t_rat::normal
i
ze
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
g
e
nf
u
n:
add s
h
ort_rat
c
onstructo
r
s
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
ev
a
l
u
e
.
c:
evalue_denom: improve c
o
mmen
t
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Polyhe
d
ron_not_empty: check result retu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
o
o
laege
barvinok
.
cc: seri
e
s
:
remove equali
t
ies using Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdoolaege
barvinok_count: collect
stats
on n
u
mber of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rdool
a
ege
u
t
il
.
c: tria
n
gulate
_
cone: use bigger random value
s
commit
|
commitdiff
|
tree
2006-12-07
Sven
Verdoolaege
s
ample
.
c: P
o
lyhedron_Remo
v
eFixedColumns
:
copy const
a
nt
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven
Verd
o
olae
g
e
bernstein: piecewise_lst:
:
evaluate:
f
ix typ
o
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolae
g
e
configure
.
in: only add -lbernstein to barv
i
nok
.
pc
i
f
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
S
v
e
n V
e
rd
o
ol
a
e
g
e
con
f
igu
r
e
.
in: rename
--with-g
i
n
ac to --without-
b
ernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaeg
e
configur
e
.
in
:
allow build without
G
iNaC (and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven
Verdoolaeg
e
co
n
fig
u
r
e
.
in: add -
l
bernstein to barvinok
.
p
c i
f
it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
u
t
il
.
c: compre
s
s_variables: correct
che
c
k
f
or
s
c
aling
commit
|
commitdiff
|
tree
2006-11-09
S
ven Ve
r
d
o
olaege
util
.
c
: some documentat
i
on for c
o
mpress_vari
a
b
l
es
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n
V
e
rd
o
o
l
aege
ver
i
f_ehrhart: add --p
r
int-all
o
ption
to re
p
lace PRINT
_
ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
ve
n
Verdo
o
la
e
ge
m
a
t_u
t
il:
m
ake arguments
of lex_cmp
const
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolae
g
e
add AU
T
HORS
f
i
le
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
Ve
r
doolaege
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
Makefile
.
am: ma
k
e sure correct fi
l
e
s
are i
n
cl
u
ded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
doc:
mention restriction of barv
i
n
ok_enume
r
ate_scarf_series
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaeg
e
doc: m
i
nimal doc
u
mentation for t
h
e le
x
mi
n
ap
p
l
i
cation
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoo
l
aege
be
r
nstein/conf
i
gure
.
i
n
: set AC_CONFIG_AUX_DIR to berns
t
ein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ver
d
oolaege
d
o
c:
d
ocum
e
nt polytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
d
oc: document polyhedron_
s
ample
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdool
a
e
ge
d
o
c: include barvinok lib
r
ary vers
i
on in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoola
e
ge
d
o
c:
bi
b
: name
K
e
v
in M
.
Woods
c
onsistently
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
V
er
d
oolaege
doc: document extra occ operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
ege
doc: update gen_fun
d
ocu
m
ent
a
tion
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: r
e
f
lect change of a
r
gument type
of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Ver
d
oolaeg
e
d
oc: docum
e
nt ba
r
vinok_enumerat
e
_
sc
a
rf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
add anothe
r
paper refering to bar
v
inok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
e
g
e
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
: do
c
ument
b
ernstein data structures
and f
u
n
c
tions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstein: pi
e
cewise_lst::simplify_domains: add
M
a
x
Rays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
ven V
e
rdoolaege
b
e
r
nstein: ma
k
e pol
y
argument of be
r
nsteinExp
a
ns
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
ven Ver
d
o
olae
g
e
reduce
r
.
h: only use i
n
f
i
nite_icounter when
d
im==1
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
rem
o
ve a few duplicate de
f
initions of MAXR
A
YS
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Ver
d
o
olaeg
e
u
t
i
l
.
c: move dupli
c
ate Poly
h
e
dron_Read
commit
|
commitdiff
|
tree
2006-10-28
S
ven
V
er
d
o
olaege
b
a
rvino
k
.
c
c
: add
_with_options version
of b
a
rvi
n
ok_enumer
a
te_e
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
evalu
e
.
c
: remo
v
e include o
f
config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n
V
erdo
o
laege
v
e
rsion
.
c:
s
how use
of
O
m
ega
,
GLP
K
and
G
i
NaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
version
.
c: move
barvinok_version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc:
d
ocume
n
t
P
olyhedron_Reduced_Ba
s
is
and Polyhe
d
ron_Sa
m
pl
e
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
expo
r
t Polyhedron_Samp
l
e
and Polyhedron_Reduced
_
B
a
sis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdool
a
ege
doc
:
rename "usa
g
e" sectio
n
to "applications"
section
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
V
erdoolaege
barvinok_options: renam
e
emp
t
i
n
es
s
_chec
k
to
lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
do
c
: docume
n
t barvi
n
ok_
o
ption
s
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolaege
scarf
.
cc: ex
p
ort
functi
o
ns to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdool
a
ege
scarf
.
cc:
use bar
v
in
o
k
_o
p
t
i
o
n
s
i
n
st
e
ad
o
f Ma
x
R
a
y
s
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoola
e
ge
barvinok/barv
i
nok
.
h
: expo
r
t _with_options ve
r
sions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoola
e
ge
b
arvinok_enumerate_e: remove direct i
n
clude of po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernstein: minim
a
l documentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaeg
e
README: bernstein requires
GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdoo
l
aege
doc: add reference to bernst
e
in
techr
e
port
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
V
e
rdool
a
ege
M
e
rge bran
c
h 'berns
t
e
i
n'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
bern
s
tein/src/TODO: remove;
e
verything
h
a
s
been don
e
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
doc:
add a
n
o
t
her publication that refers to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-10
Sve
n
Verdoolae
g
e
LLL:
u
se reduction paramet
e
r 1 by defaul
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
decomposer
.
cc: s
h
o
r
t_vector:
a
llow spe
c
i
f
i
c
a
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven V
e
rdool
a
ege
doc: add
s
ome
mor
e
p
ublicat
i
on
s
that refer to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-02
Sven
Verdo
o
laege
e
v
alue
.
c: evalue_denom: d
e
clare varia
b
le at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
evalue
.
c: export ev
a
lue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
laege
scarf
.
cc: handle
cas
e
where four constraints
le
a
d to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven Verd
o
olaege
util
.
c:
compress_variables: declare va
r
iable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
eva
l
ue
.
c: copy (and ada
p
t
) copyright statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
S
ven Verdoolaege
doc:
a
dd some r
e
ferences to
publica
t
ions
commit
|
commitdiff
|
tree
2006-09-26
S
ven Verdoolaege
lexmin
.
c
c
: r
e
e
n
able
o
ptimization
of checking
d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
ve
n
Verdoolaege
evalue
.
c: clea
n
up in_domain
commit
|
commitdiff
|
tree
2006-09-25
S
v
en Verdool
a
eg
e
e
d
omain
.
cc
:
add EDo
m
ain
:
:contain
s
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoo
l
a
e
ge
lexmin
.
c
c:
m
ax_term::print: p
r
int floors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven V
e
rd
o
olaege
le
x
min
.
c
c: disable poss
i
bly overzealous
o
pt
i
mization
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Ve
r
doolaeg
e
edomain
.
cc: remember "constraint" represen
t
ati
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoo
l
aege
reduced_basi
s
: r
e
s
e
t
"negative widths" to
ze
r
o
commit
|
commitdiff
|
tree
2006-09-23
Sven Ver
d
oola
e
ge
l
e
xmin
.
cc: m
o
ve more code to
edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rdoolae
g
e
ed
o
main
.
h: add
EDomain_flo
o
r abstractio
n
commit
|
commitdiff
|
tree
next