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
gen_fun: store terms in a set rather than in a vector
2006-12-18
Sven
V
e
r
d
oolae
g
e
g
e
n
_
fun: store terms
i
n a set rath
e
r than in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
lexmi
n
:
allo
w
e
m
ptiness
c
heck through counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
l
exmin
.
cc: move constru
c
tion of subdomains to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
ed
o
main
.
cc:
m
ove sampl
e
computation
completely
t
o
EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
lexmin
.
cc: partial_order::
c
o
mpare: use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verd
o
olaege
l
e
xmin
.
cc: ind
i
c
ator::combine: more efficient way
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
c
c: kee
p
he
a
ds in
partia
l
order separate
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
edomai
n
.
cc: ED
o
main::add
_
ge_constraint: s
i
mplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ve
n
Verdoolaeg
e
lexmin
.
cc: partia
l
_o
r
der::compare: add c
a
che of compari
s
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexm
i
n: make
s
ure le s
e
t
i
n
p
artial
o
rder only contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
mi
n
: mor
e
san
i
ty c
h
ecks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemxin: u
s
e
s
t
able ordering of indicator
_
term
s
i
n
partial_o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolae
g
e
genfun
.
cc: move lex_cmp to mat_uti
l
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
le
x
m
in: indicator:
:
combine: directly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verd
o
o
laege
barvinok/
p
o
l
ylib
.
h: s
e
par
a
te include of polyli
b
h
eader
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ve
r
d
oolaege
le
x
min: optio
n
ally co
m
p
ute sign of
affine fu
n
ctio
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Verdoolaege
lexmin: opt
i
o
n
ally skip reduction of evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
e
v
alue
_
frac2
f
loor: only
m
ake argumen
t
nonneg
a
tive i
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
l
e
xmin: Polyhedr
o
n_not
_
e
mpt
y
: be
c
areful a
b
o
ut
e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdool
a
ege
lexmin: i
n
dicator_t
e
rm
:
:is_opposite: assume nu
m
erato
r
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verd
o
ol
a
e
ge
re
m
o
ve_al
l
_equali
t
ies:
handle compres
s
_variables r
e
turning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lexmin: opti
o
nally use cdd du
r
i
ng basis reductio
n
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
Polyhe
d
ron_Reduced_Basis: o
p
tio
n
ally use
c
dd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
co
n
figure
.
in: check
f
or cddlib
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
lexm
i
n: Pol
y
hedron_n
o
t_empty: contin
u
e removi
n
g
equalities
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
d
oolaege
lexmin
:
handle equalities among para
m
eters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
ol
a
ege
rem
o
ve_
a
ll_equ
a
l
ities: ig
n
ore identity par
a
m
e
ter
c
o
mpression
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
remo
v
e_equa
l
ities
.
c:
extracted fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ver
d
oolaege
ge
n
f
u
n: add short_rat
:
:normalize
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n Verdoolaege
g
e
nfun: add short_rat co
n
structors
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
Ve
r
doolaege
e
value
.
c:
evalue_denom: imp
r
o
ve comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Polyhedron_not_empty: ch
e
ck result returne
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
oolaege
b
a
r
vin
o
k
.
c
c: series: re
m
o
ve equ
a
lities us
i
ng Preima
g
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
b
ar
v
inok_count: collect stats on
n
umb
e
r o
f
unim
o
d
u
la
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdoolaeg
e
util
.
c
:
t
r
i
a
n
gulate_co
n
e: use bigger rando
m
values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
la
e
g
e
s
ample
.
c
:
P
olyhe
d
ron_Remove
F
i
xedCo
l
umns: copy constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verd
o
ol
a
ege
bernstein
:
piecewise_lst::
e
valuate:
fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sve
n
Ver
d
oolaege
c
o
nfig
u
r
e
.
i
n
:
o
nly add -
l
bernstein to barvinok
.
p
c
if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven V
e
rd
o
o
l
a
eg
e
c
onfigure
.
in: rename --with-
g
inac to --without-ber
n
stein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
c
onfigur
e
.
in
:
allow build
without GiNaC (a
n
d
t
h
e
refore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven V
e
rdoolaege
confi
g
ure
.
in
:
add -lberns
t
ein to
barvinok
.
pc
i
f it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
o
l
aege
ut
i
l
.
c
:
compress_variables: corr
e
ct ch
e
ck for scalin
g
commit
|
commitdiff
|
tree
2006-11-09
S
v
en
Verdoolaege
u
t
il
.
c: som
e
documentation f
o
r
compress_variables
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Verdo
o
laeg
e
v
e
rif_ehrhart: add --print-all option to replace PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
ma
t
_util: make arguments
o
f le
x
_
c
m
p con
s
t
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolae
g
e
add
AUTHOR
S
f
i
le
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
ool
a
ege
b
ump ve
r
sion
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Ve
r
doolae
g
e
Makefile
.
am: ma
k
e su
r
e correct
fi
l
e
s are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: menti
o
n restrict
i
on
of bar
v
inok_enumer
a
te_s
c
arf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
o
laege
doc:
m
inimal docu
m
entation for the l
e
xmin
a
pplication
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
bernstein/configure
.
i
n
: set AC_CONFIG_AUX_DIR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c: document polytop
e
_sample
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
V
erdoolaege
doc: document
p
olyhedron_sa
m
ple
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: incl
u
d
e barv
i
nok lib
r
ary version in t
i
t
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoo
l
aege
conf
i
gure
.
i
n
:
fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaeg
e
doc: b
i
b: name Kevin M
.
W
o
o
d
s consistently
commit
|
commitdiff
|
tree
2006-10-31
S
v
en V
e
rd
o
olaege
doc
:
document ext
r
a occ
o
p
e
r
a
tions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
o
l
a
ege
doc: update ge
n
_fun documen
t
a
tio
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
d
oola
e
ge
do
c
: re
f
lect
c
han
g
e of argume
n
t type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
o
l
aeg
e
doc: document barvino
k
_enumerate_sc
a
rf
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolae
g
e
doc:
a
dd another
pap
e
r
r
e
fering to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
rdoo
l
aege
d
o
c
:
typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc: document berns
t
ein data
struc
t
ures and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
berns
t
ein: piecewise
_
lst::simp
l
i
f
y_domains:
a
d
d M
a
xR
a
ys
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven
V
erdo
o
l
a
e
g
e
bernstei
n
: make
p
oly
argument of bernst
e
inExpan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Ve
r
doolaege
re
d
u
c
er
.
h
: only use inf
i
nite_
i
counter when dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
d
o
c:
fix typ
o
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoolaege
r
e
move a
few
duplicate definitions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verd
o
olaege
u
t
il
.
c
: move dupli
c
ate Polyhed
r
on
_
Read
commit
|
commitdiff
|
tree
2006-10-28
S
v
en
V
erdoolaege
b
a
r
vi
n
o
k
.
c
c
: add _w
i
th_options version of barv
i
nok_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdo
o
laege
evalue
.
c
: r
e
move i
n
clude of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
d
o
o
laeg
e
v
ersion
.
c: show use o
f
Omega, GLP
K
a
nd GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
version
.
c
: move barvinok_version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Ver
d
o
o
laege
d
oc: docu
m
ent
P
oly
h
edron_Red
u
c
ed_Basis and Pol
y
hedron_Sampl
e
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaeg
e
exp
o
rt Polyhe
d
r
on_Sample and Polyhedr
o
n_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoola
e
g
e
doc: rename "
u
sage" sect
i
on to "a
p
plications" sectio
n
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoolaege
barvinok_options: rename emptine
s
s
_check to
l
exmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc:
d
ocu
m
e
n
t
b
a
rvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
scarf
.
c
c
: e
x
po
r
t functio
n
s
to li
b
r
ary
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
e
rdoolaege
scarf
.
c
c: us
e
barvinok_options instead of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolaeg
e
barvinok
/
barvi
n
ok
.
h: expor
t
_w
i
th_opti
o
n
s
ver
s
ions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
barvino
k
_e
n
umerate_e:
r
emov
e
direct includ
e
o
f
po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoola
e
ge
be
r
nstein: mi
n
i
m
a
l
documentation
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdo
o
laege
README: bernstein requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdo
o
laeg
e
doc: add refer
e
nce t
o
b
e
rnstein techrepo
r
t
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
Mer
g
e br
a
n
c
h
'
bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
doolaege
be
r
nstein/src/TODO: remove;
e
ver
y
thing has been d
o
n
e
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdo
o
laege
doc
:
add another publica
t
ion that refers
to b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n Verdoolaege
LLL: us
e
reductio
n
p
arameter 1 by default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdool
a
ege
d
ecomposer
.
cc: sho
r
t_vect
o
r: allow spe
c
ific
a
t
i
on o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n
Verdoolaege
doc
:
add some more p
u
blications
t
hat refe
r
to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n
Verd
o
o
l
a
ege
ev
a
lue
.
c: evalu
e
_de
n
om: declar
e
variable
at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdool
a
e
g
e
evalue
.
c:
export evalue_deno
m
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
laege
sca
r
f
.
cc: han
d
le case where four constraint
s
lea
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven
Verdo
o
l
aege
util
.
c: compr
e
ss
_
v
a
riables: de
c
lar
e
variable
a
t
start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
S
ven Verdoolaege
evalue
.
c
: copy
(
and
a
dapt) cop
y
right statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verd
o
olae
g
e
doc: add
s
ome references
to
p
ublication
s
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoo
l
aege
lexmin
.
cc
:
reenable opti
m
ization of che
c
king d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
e
v
alue
.
c: c
l
ean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
edomain
.
cc: a
d
d EDomain::co
n
t
a
ins
commit
|
commitdiff
|
tree
next