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
edomain.cc: move sample computation completely to EDomain
2006-12-11
S
v
en Verdool
a
ege
edomain
.
cc: move sample co
m
putation com
p
letely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ver
d
oolaege
lexmin
.
c
c
:
pa
r
tial_ord
e
r:
:
compa
r
e: use sub
s
ti
t
ution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
le
x
m
in
.
cc: indicator::combine:
m
ore efficient way o
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
l
exmi
n
.
cc
:
k
e
e
p
heads in partial order s
e
parate
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
e
d
omain
.
cc: EDom
a
in::add
_
g
e_con
s
t
ra
i
nt: s
i
mplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
la
e
ge
lexmin
.
cc: partial_
o
rder:
:
compare: add cache of comparis
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
lexmin
:
make sure
l
e set in partial order only contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
lexmin: more sanity che
c
ks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemxin: use st
a
ble
o
rder
i
n
g of indicator_terms in
p
a
r
tial
_
or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
l
aege
genfun
.
cc: move
l
ex
_
cmp to m
a
t
_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoola
e
ge
lexmin
:
indicator
:
:combine: directl
y
add
s
ome known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdool
a
e
g
e
barvinok/polyl
i
b
.
h: sepa
r
ate include of polylib header
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verd
o
olaege
lexmin: optionally compute
si
g
n of affi
n
e func
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdool
a
ege
l
e
xmi
n
: optionally skip reductio
n
of
e
values in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue_
f
rac2flo
o
r:
only make argument no
n
negative
i
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoo
l
aege
lex
m
in: Po
l
yhedron_not_empty: be
c
a
r
e
ful abo
u
t empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
e
xmin: indicator_te
r
m::i
s
_op
p
osite: assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolae
g
e
remove_all_equalities: handle com
p
res
s
_variables return
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
d
oolaege
lexmin: optionally use c
d
d during bas
i
s reductio
n
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verd
o
ola
e
ge
Poly
h
e
d
ron_Redu
c
e
d_Basis: op
t
ion
a
lly use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoo
l
a
ege
configure
.
in: check
for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
lexm
i
n: Poly
h
ed
r
on_not_empt
y
: c
o
nt
i
nue removing eq
u
alities
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
lexmi
n
: handle
e
qual
i
ties among parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
remove_
a
l
l_eq
u
alities: ign
o
r
e
i
dentit
y
parameter compression
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
remove_equalities
.
c: extracted fr
o
m bar
v
i
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
er
d
oolaege
genfun
:
a
dd short_rat::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
l
a
e
ge
genfun:
a
dd
s
hort_rat
c
onstructors
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
r
d
oolaege
evalue
.
c: evalue_denom
:
i
mprove comm
e
nt
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
r
doolaege
l
e
xmin: P
o
lyhedron
_
not_empt
y
: check resul
t
returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
e
r
doolaege
barv
i
nok
.
cc: series: remove equa
l
i
t
ies using Pre
i
m
a
g
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barvinok_
c
ount: colle
c
t stats on n
u
m
ber
o
f
u
nimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n Verdoolaeg
e
ut
i
l
.
c: tri
a
ngula
t
e_cone: use bigger random values
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
oola
e
ge
s
a
mple
.
c: P
o
lyhedron_RemoveFi
x
edCo
l
u
mns:
copy constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven
V
e
rdoolaege
bernstein: piec
e
wise_lst::evaluate: fix ty
p
o
commit
|
commitdiff
|
tree
2006-12-06
Sven V
e
rdoo
l
aege
config
u
re
.
in: on
l
y add -
l
bernstein to barv
i
n
o
k
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven V
e
r
d
oolaege
configure
.
in: re
n
ame --with-gina
c
to --withou
t
-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Ve
r
doola
e
g
e
configure
.
in: al
l
ow buil
d
without GiNaC (and
t
h
e
r
e
for
e
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven V
e
rdoolaege
configure
.
in: add
-
lbernstein to
barvi
n
ok
.
pc i
f
i
t
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
d
o
olaeg
e
util
.
c: com
p
re
s
s_variabl
e
s: c
o
r
rect che
c
k for scal
i
n
g
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoo
l
aeg
e
util
.
c:
some documenta
t
i
on
for co
m
pre
s
s_variables
commit
|
commitdiff
|
tree
2006-11-09
S
ven V
e
rdool
a
eg
e
verif_ehrhart
:
add
-
-p
r
in
t
-all o
p
tio
n
to replace
PR
I
N
T
_
A
LL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
v
en Ver
d
oolae
g
e
m
a
t_uti
l
: make argument
s
of lex_cmp const
commit
|
commitdiff
|
tree
2006-11-09
S
ven Ve
r
dool
a
ege
a
d
d
A
UTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
bump vers
i
on
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rd
o
olaege
Makefile
.
am: make s
u
re correct files are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: mention re
s
t
rict
i
on
o
f bar
v
inok_enumerate_scarf_
s
eries
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc:
m
inimal
d
o
cumen
t
ation
for th
e
lexmin appl
i
cation
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
r
doolae
g
e
bernstein/
c
onfigure
.
in: set AC_CONFIG_AUX_DIR to ber
n
stein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: document polytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc: document p
o
lyh
e
dr
o
n
_
sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
doc:
include barvinok library versi
o
n in tit
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
confi
g
ure
.
in:
f
ix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
o
o
laege
doc: bib: name Kevin M
.
Woods consistently
commit
|
commitdiff
|
tree
2006-10-31
S
ven V
e
rdo
o
laege
doc
:
document extra occ operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: update gen_fun documentation
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdo
o
la
e
g
e
doc:
r
eflect change of argu
m
ent ty
p
e
o
f ead
d
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: documen
t
barvinok_enumerate_
s
car
f
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc: add another
p
aper re
f
ering to barv
i
no
k
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
l
aege
d
o
c:
t
y
p
os
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oola
e
ge
d
o
c: documen
t
b
e
rnstein data st
r
uctures and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstein
:
piec
e
wise
_
lst::simpl
i
fy_domains: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Ve
r
doolaege
bern
s
tein:
make poly argument of bernsteinExp
a
n
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven
V
erdoolaege
redu
c
e
r
.
h: only use
i
n
f
inite_icounter when dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolae
g
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
remo
v
e a few duplicate definitions of MA
X
RAYS
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verd
o
olaege
uti
l
.
c: move duplicate Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
b
a
rvin
o
k
.
cc: add _wit
h
_option
s
version of barvinok_en
u
merate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
evalue
.
c: re
m
ove inc
l
ude of
c
onfig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
version
.
c:
sho
w
use of Omega,
GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
r
d
ool
a
ege
v
e
r
sion
.
c:
mo
v
e barvinok_version f
r
om u
t
il
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
d
oolaege
d
o
c:
document
P
oly
h
e
d
r
o
n_
R
educed_B
a
sis and
Polyhedron_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
ol
a
e
g
e
export Polyhedron_Sample and Poly
h
edron
_
Reduced_Bas
i
s
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoolaege
d
oc: re
n
ame "usage" secti
o
n to
"applicatio
n
s
"
section
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdool
a
e
g
e
barvi
n
ok_options: ren
a
me empti
n
ess_check to lexmin_em
p
tiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
do
c
: docume
n
t barv
i
n
ok_
o
ptions
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
scarf
.
cc: ex
p
o
r
t functions
to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
scarf
.
cc: use
barvinok_options
in
s
tead of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoolaege
barvinok
/
barv
i
n
o
k
.
h
:
ex
p
ort _with_opt
i
ons versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdoolaege
barvi
n
ok_enumerate_e:
r
emov
e
direct include of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdool
a
e
ge
bernstein: minim
a
l do
c
umen
t
ation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
READ
M
E:
b
er
n
stein requ
i
res GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Ver
d
oolaege
doc: add reference to bern
s
tein t
e
chrepo
r
t
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdo
o
la
e
ge
Merge br
a
nch 'berns
t
e
in'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernstei
n
/sr
c
/TODO: remove;
e
verything has been done
commit
|
commitdiff
|
tree
2006-10-10
Sven
V
erdoolaeg
e
doc: add another
p
u
b
l
i
c
ation t
h
at refers to
b
arvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoola
e
ge
LLL
:
us
e
reduc
t
io
n
para
m
e
t
er
1
b
y
default
commit
|
commitdiff
|
tree
2006-10-07
Sven Ve
r
doola
e
ge
decomposer
.
cc: sh
o
rt_vector: allow specifica
t
ion o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Ve
r
doo
l
a
e
ge
doc: add some mo
r
e p
u
bli
c
ations that r
e
fer
to b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdool
a
e
g
e
e
value
.
c:
evalue_denom: decl
a
re vari
a
b
le at st
a
rt of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdool
a
ege
evalue
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
scarf
.
cc:
h
andle
c
ase
where f
o
ur
co
n
st
r
aints lea
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Ver
d
oolaege
u
til
.
c
:
c
o
m
press_var
i
abl
e
s: declare
variable a
t
start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
S
ve
n
V
e
r
d
ool
a
ege
evalue
.
c: copy (an
d
adapt) copyr
i
ght statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
S
ven Verdoolaege
doc: add some refe
r
en
c
es to publ
i
cations
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoola
e
ge
lexm
i
n
.
cc: reenable optimiz
a
tion of c
h
ec
k
i
ng doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven
Verdoolae
g
e
evalue
.
c: clean up in_
d
omain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edom
a
in
.
cc: add EDomain::conta
i
ns
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoola
e
ge
lexm
i
n
.
cc: max_t
e
r
m::prin
t
: pri
n
t
floo
r
s explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven
V
erdo
o
laege
lexmin
.
cc: disa
b
le possibly overzealous
o
pti
m
iz
a
ti
o
n
commit
|
commitdiff
|
tree
2006-09-23
Sven Ver
d
o
o
laeg
e
e
d
omain
.
c
c:
remember "const
r
a
int" rep
r
e
sentation
o
f
.
.
.
commit
|
commitdiff
|
tree
next