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
Handle non-unimodular cones in dual decomposition
2006-12-11
Sve
n
Verdoo
l
aege
l
e
x
m
i
n
: indicator::combin
e
: dir
e
ctly add som
e
known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven
V
erdoolaeg
e
barvinok/
p
olylib
.
h
: s
e
parate include of polyli
b
h
ea
d
er
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
l
e
xmin: optionally compute
si
g
n
o
f affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
V
erdoolaege
lexm
i
n: o
p
tional
l
y skip red
u
ction of
e
values
i
n domains
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Verdo
o
laege
evalue_frac2floor: only make a
r
gument no
n
negative
if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdoo
l
aege
lexmin: Polyhed
r
on_not_e
m
pt
y
: be c
a
reful ab
o
ut empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaeg
e
lex
m
in: indicat
o
r_term
:
:is_opposit
e
: assume n
u
mera
t
ors
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_
a
l
l_equa
l
iti
e
s: handle co
m
press_variables
r
et
u
rning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
l
exmin:
o
pt
i
onally use
c
dd during
b
as
i
s
reductio
n
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
Po
l
yh
e
dron_Red
u
ced_Basis: opti
o
nally use
c
dd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoola
e
ge
con
f
igur
e
.
in: check for cddl
i
b
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doo
l
aege
lexmin: Polyhe
d
r
on_not_empty: continue rem
o
vin
g
equal
i
ties
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolae
g
e
lexmin: ha
n
dle equaliti
e
s amon
g
parameters
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
erdoolaege
remove_all_equalities:
i
gn
o
r
e ident
i
t
y parameter co
m
pres
s
ion
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoo
l
aege
remov
e
_equaliti
e
s
.
c: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
genf
u
n
:
ad
d
short_rat
:
:nor
m
ali
z
e
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
g
e
n
f
un: add sho
r
t_ra
t
co
n
s
t
ruc
t
ors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue
.
c: evalue_denom: improve comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doola
e
g
e
lexmin: Poly
h
e
dron_not_e
m
pty: check
result retur
n
ed
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
b
a
rvinok
.
cc: series: remove equalities
u
sing Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verd
o
olaege
barvinok_count: colle
c
t stats on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
u
t
il
.
c:
t
riangula
t
e_
c
on
e
: use b
i
gge
r
random
valu
e
s
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdoolaege
sample
.
c: Pol
y
hedron_RemoveFixedColumns: copy co
n
stant
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sv
e
n Ve
r
d
oola
e
ge
b
ernstein:
piecewise_lst::evaluate:
f
ix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven V
e
rd
o
ol
a
ege
configure
.
in:
o
n
ly add -lbe
r
ns
t
ein to barvin
o
k
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sve
n
V
erdoolaege
configure
.
i
n:
renam
e
--with-ginac t
o
--without-ber
n
stein
commit
|
commitdiff
|
tree
2006-11-10
Sve
n
Verdoolaege
configure
.
in: allow
b
uild w
i
thout GiNaC (and t
h
erefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
S
v
e
n
Verdoolaege
c
onfigure
.
in: add -lbernstein
to barvinok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdool
a
e
g
e
uti
l
.
c: compr
e
ss_var
i
ables: correct check for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
util
.
c
: some
documen
t
atio
n
for
c
ompre
s
s
_
variables
commit
|
commitdiff
|
tree
2006-11-09
S
v
en Verdoolaege
v
eri
f
_ehrhart: add --print
-
all option to repl
a
ce PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
d
o
ol
a
ege
m
at_u
t
il: make arg
u
m
e
nts of
lex_
c
mp c
o
nst
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
doolaege
add AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
b
u
mp version
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
M
ake
f
ile
.
am
:
make
sur
e
correct files are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
d
o
c: mention re
s
tric
t
ion of barvi
n
ok_enumerate_scarf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
doc
:
minimal
docu
m
entation for the lexmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
bernstei
n
/c
o
nfigure
.
in: set AC_CONFIG_AUX_DIR to
b
e
r
n
st
e
in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: do
c
ument
polytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
d
oc: document
polyhedron_sample
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Ve
r
dool
a
ege
doc: inc
l
u
de barvinok librar
y
ve
r
sion in title
commit
|
commitdiff
|
tree
2006-10-31
S
ven V
e
rdoolaege
configu
r
e
.
in:
fix
t
ypo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc: bib: nam
e
Kevi
n
M
.
Woods cons
i
st
e
nt
l
y
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: document extra occ operations
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verd
o
o
l
a
ege
do
c
: upd
a
te gen_fun documentati
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
rdoolaege
doc: r
e
fle
c
t
change
of
a
rgument type
o
f eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: do
c
umen
t
barvinok_enum
e
rat
e
_scarf
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verd
o
olaege
doc: add a
n
other pape
r
refering to barvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc:
document b
e
rn
s
tein
data stru
c
tur
e
s an
d
func
t
ions
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
bernstein: piecew
i
se_lst::simplif
y
_domains: a
d
d
M
axRa
y
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
bern
s
t
e
in:
m
a
ke p
o
ly
argument of be
r
nsteinExp
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
v
e
n Verdoolaege
reducer
.
h: onl
y
use infinite_ic
o
u
nter when
dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Ver
d
oolaeg
e
d
oc: fi
x
typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdool
a
eg
e
r
e
move a
f
ew dupli
c
ate definitions of MAXR
A
Y
S
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
d
oolaege
util
.
c
: move du
p
lic
a
t
e
P
o
lyh
e
d
r
on_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
oola
e
ge
b
arvinok
.
cc: add _with_optio
n
s version of barvinok_enumer
a
te_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
o
o
l
a
e
g
e
evalue
.
c
:
remove include of c
o
nfig
.
h
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdo
o
laege
v
ersion
.
c: show us
e
of Omega
,
GLPK
a
nd G
i
NaC
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdoolaege
version
.
c
: mo
v
e barvinok_version from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
S
ven Ver
d
oolaege
doc: document Polyhedron_
R
educed
_
Basis and Polyhe
d
ro
n
_
S
a
m
ple
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoo
l
a
e
ge
e
xport P
o
lyhedron_Samp
l
e and P
o
lyhedron_Reduced_
B
as
i
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
oolaege
doc: rena
m
e "usa
g
e"
section to "appl
i
cations" section
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
barvin
o
k
_options: rename emp
t
i
ness_check to lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoolaege
doc: document barvinok_
o
ptions
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
s
c
a
rf
.
c
c:
e
x
p
ort functions t
o
library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoo
l
ae
g
e
scarf
.
cc:
use barvinok_options instead of Max
R
ays
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
V
e
r
doola
e
ge
barvinok/barvin
o
k
.
h: e
x
po
r
t _w
i
th_optio
n
s
v
ersions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
ba
r
v
i
nok_enume
r
ate_
e
:
r
emove direct include of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rdoolaege
bernste
i
n:
m
i
n
im
a
l docu
m
en
t
ation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoo
l
aeg
e
RE
A
DME: bernstei
n
r
equires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Verd
o
olaege
doc: add refe
r
ence to b
e
rnstein techre
p
ort
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
Merge branch 'b
e
rns
t
ein'
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
e
rdoolaege
berns
t
ein
/
s
rc
/
T
O
D
O
:
remove;
ev
e
rythi
n
g
has been done
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n
Verdoola
e
ge
d
oc:
a
d
d another
p
ublication t
h
at
refers to barvinok
commit
|
commitdiff
|
tree
2006-10-10
S
v
e
n Ve
r
doola
e
ge
LLL: use reduction parameter 1
by de
f
aul
t
commit
|
commitdiff
|
tree
2006-10-07
Sve
n
Verdoo
l
aege
decomposer
.
cc: short_vector: all
o
w specification o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n Ver
d
o
o
laege
doc:
a
d
d som
e
more publica
t
ions that
r
e
f
er to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-02
Sven Ve
r
doolaege
e
valu
e
.
c: evalue_denom: declare
va
r
iable at
start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
evalue
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
V
erdoolaege
scarf
.
cc: handle case
where
f
o
ur
co
n
straints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdool
a
ege
uti
l
.
c: com
p
ress_variables: declare vari
a
b
le
a
t
start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
eval
u
e
.
c:
c
opy (and adapt)
c
o
pyright sta
t
ement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolaege
doc: add some
r
eferences to
p
ubl
i
cations
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
l
exmin
.
cc: reenable optimizat
i
on of chec
k
ing
dom
a
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven
Ver
d
oolaege
e
v
alue
.
c: cle
a
n up
in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoo
l
aege
edomain
.
cc: add EDom
a
in::co
n
tain
s
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaeg
e
lexmin
.
cc: max_te
r
m
:
:print: print
f
loo
r
s e
x
pli
c
itl
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
v
en Verdoolaege
l
e
xmin
.
cc:
d
isable possibly overzea
l
ous optim
i
zation
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoolaege
e
d
o
m
ain
.
cc:
rem
e
mber "const
r
a
i
nt"
repr
e
senta
t
i
on o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven V
e
rdool
a
ege
red
u
ced_basis: reset "negative widths" to z
e
r
o
commit
|
commitdiff
|
tree
2006-09-23
S
v
en V
e
rdoo
l
aege
lex
m
in
.
cc: mo
v
e m
o
re code to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
ege
edomain
.
h
: add EDomain_f
l
oor abst
r
a
c
t
i
on
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
cc: define max_ter
m
ove
r
a
n EDomain r
a
th
e
r than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoola
e
ge
red
u
cer
.
h:
add
virtual dest
r
uctor to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
c
c: extrac
t
out some code to eval
u
e_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdo
o
l
a
ege
opti
o
n
s
.
c: pick up de
f
inition of POL_INTEGER fr
o
m barvino
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
optionc
.
c
:
m
ove
c
hoice
of which s
p
ecial
i
zati
o
n t
o
use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sve
n
Verd
o
olaege
o
mega
/
parser
.
l
:
le
t
flex
d
efin
e
yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
l
a
e
ge
l
e
xmin
.
cc:
o
pt
i
onally skip check for empty
domains
commit
|
commitdiff
|
tree
next