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
verify.h: move barvinok_options into verify_options
2006-12-26
Sven Verdoolaege
add missing assert
.
h
#includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolae
g
e
Ma
k
efile
.
am: add remove_equali
t
ies
.
h to dis
t
ribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
conf
i
gure
.
in: only configure
bernst
e
in if GiN
a
C
was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolaege
b
erns
t
ein: conf
i
g
u
r
e
.
in: check fo
r
GiNa
C
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdo
o
laege
be
r
nstein: remo
v
e extra qualif
i
cations
f
r
om p
o
lyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Ver
d
o
o
laege
bernstei
n
/src/main
.
cpp: remove redun
d
ant include
commit
|
commitdiff
|
tree
2006-12-18
Sven
V
er
d
oolaege
short_
r
at:
:
nor
m
alize:
m
ake powers in the de
n
ominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoolaege
g
e
n_fun
:
:substitu
t
e: no
r
malize t
e
rms
commit
|
commitdiff
|
tree
2006-12-18
S
v
e
n Verdoolaege
d
p
oly_r
:
store terms in a set r
a
ther than in a v
e
ctor
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
d
oolaege
gen_fun: st
o
re
te
r
ms in a set r
a
t
he
r
t
h
an in a
v
e
ctor
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verd
o
olaege
lex
m
i
n
:
allow emptiness
c
heck
through
c
ou
n
ting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmi
n
.
c
c
: move construction
of
s
u
bdomains to edo
m
ai
n
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
edomain
.
cc: mo
v
e sample computat
i
o
n
c
omp
l
etel
y
t
o
EDomai
n
commit
|
commitdiff
|
tree
2006-12-11
S
ve
n
Ve
r
doola
e
ge
lexmin
.
cc: pa
r
tia
l
_
o
rder::co
m
pare: use subst
i
tution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
dool
a
ege
le
x
m
i
n
.
cc: i
n
dica
t
or
:
:combin
e
: more e
f
ficie
n
t
w
a
y of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: keep heads in par
t
ial orde
r
sep
a
rate
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edom
a
in
.
cc: EDomain
:
:add_ge_const
r
aint: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: p
a
rti
a
l_or
d
er::compare: add ca
c
he
o
f compari
s
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
lex
m
in: make sure le s
e
t in partia
l
or
d
er only conta
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
do
o
laege
l
e
xmin: mo
r
e sanity chec
k
s
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Ver
d
oolaege
lem
x
in: use stable o
r
de
r
in
g
of ind
i
cator_terms in par
t
ial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdo
o
l
a
ege
genfun
.
c
c
: move lex_cm
p
t
o
mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
lexm
i
n: indicator::c
o
mbine
:
directly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
barvinok/polylib
.
h
: separate in
c
lude of
p
olylib he
a
der
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
le
x
min: optio
n
ally
c
ompute sign of affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
a
ege
lexmin
:
opti
o
nally
skip reducti
o
n of evalues
in dom
a
ins
commit
|
commitdiff
|
tree
2006-12-09
S
ven V
e
rdoola
e
g
e
eval
u
e
_
frac
2
flo
o
r: only ma
k
e
argument n
o
nnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
d
o
olaeg
e
lexmin:
P
olyhedron_n
o
t_empty: be careful a
b
out e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
l
exm
i
n: i
n
dicator_term::is_oppos
i
te: assume numera
t
ors
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
r
emove_all
_
e
q
ual
i
ties: hand
l
e compress_
v
a
r
iables
re
t
urning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
lexmin: optionally u
s
e
cdd during basis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
Polyhedron_Reduced_Basis: opt
i
o
nally use c
d
d
t
o so
l
ve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
configure
.
in
:
check for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
l
a
ege
lexmin
:
Pol
y
hedron_not_
e
m
pty: continue removing eq
u
alities
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verd
o
o
laege
lexmin: handl
e
equalities among parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
remove_
a
ll
_
equ
a
lit
i
es: ignore identity p
a
rameter
compressio
n
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Ver
d
oola
e
ge
remove_equalit
i
es
.
c:
e
xtracted
f
ro
m
b
a
rvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoo
l
aege
g
e
nfun
:
a
d
d
s
hort_
r
at::norm
a
l
i
ze
commit
|
commitdiff
|
tree
2006-12-09
S
ven
V
erdoolaege
genfun: add short_rat
constr
u
ctors
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
r
doola
e
ge
eval
u
e
.
c: ev
a
lue_denom: improve comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
lexmin:
P
olyhedron_
n
ot_emp
t
y: ch
e
ck
r
esult retur
n
ed
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verd
o
o
laege
b
arv
i
nok
.
cc:
s
eri
e
s: re
m
o
ve e
q
ualities
u
sing Prei
m
age
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sve
n
Verdoo
l
aege
b
a
rvinok_count: collect s
t
ats
on numb
e
r of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
u
til
.
c: trian
g
u
late
_
c
one: use bigge
r
random values
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdoolaege
sa
m
ple
.
c: P
o
lyhed
r
on
_
Re
m
oveFixe
d
Columns: copy
c
on
s
tant
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoola
e
ge
bernstein: piecewise_l
s
t
::evalua
t
e: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdool
a
ege
configur
e
.
in:
o
nly add
-lbernstei
n
to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolae
g
e
configure
.
in: rename --with-
g
in
a
c to
-
-witho
u
t-
b
ern
s
tein
commit
|
commitdiff
|
tree
2006-11-10
Sven V
e
rdoo
l
aege
configur
e
.
in: allow b
u
ild without Gi
N
aC (and theref
o
re
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven
Verdoolaege
configu
r
e
.
in: add
-
lbe
r
n
s
tein to barvinok
.
pc i
f
it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n Verdoolaege
util
.
c
:
comp
r
ess_variables: correc
t
check for sc
a
ling
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoolaege
uti
l
.
c: some documentat
i
on f
o
r
c
omp
r
ess_variable
s
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
doolaege
verif_ehrhart:
add --print-al
l
op
t
ion to replace P
R
I
N
T
_ALL
_
R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
v
e
n
Ver
d
oolaege
ma
t
_
util: make argume
n
t
s
of le
x
_cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
erdoola
e
ge
add
AUTHORS fil
e
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
rdoolaege
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
r
doolaege
Makefile
.
a
m:
m
a
k
e s
u
r
e correct
fi
l
es
are included i
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
doc: mention re
s
tr
i
ction of barvinok_enumerate_scarf_serie
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c:
m
i
n
i
m
al documentati
o
n
f
or
t
he le
x
min ap
p
l
ication
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bern
s
tein/conf
i
gure
.
in:
set AC_CONF
I
G_AUX_DIR
t
o b
e
rnste
i
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc: document polytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
do
c
: do
c
u
ment polyhedr
o
n_samp
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
d
oolaege
d
o
c: include ba
r
vinok library v
e
rsion i
n
ti
t
le
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoola
e
ge
con
f
igure
.
in
:
f
i
x typo
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdool
a
e
ge
doc: bib
:
nam
e
Kevin M
.
W
o
ods consis
t
ently
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc: document extra
o
cc
o
perations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: update
g
en_fun
documentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
:
reflect cha
n
g
e of argument type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
doc: docum
e
nt barvinok_
e
numerate
_
s
carf
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
V
e
rdoola
e
ge
d
o
c:
add a
n
o
th
e
r pap
e
r
refering to b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolae
g
e
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
do
c
: document berns
t
ei
n
data
s
t
r
uctures and fu
n
ct
i
ons
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstei
n
:
p
i
ecewise_ls
t
::simplify_domains:
ad
d
MaxR
a
y
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
bernstein:
make
p
o
ly argument
o
f bernst
e
inExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
ven Verdoolaege
reduce
r
.
h: only use infin
i
te_icounter whe
n
di
m
==1
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
d
o
c: fi
x
typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
aeg
e
r
em
o
ve a few duplicate d
e
finitions
o
f MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
e
rdoola
e
ge
u
t
il
.
c: move duplica
t
e
Polyhedro
n
_
R
e
ad
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoola
e
ge
barv
i
nok
.
cc: add _with
_
options versi
o
n of barvi
n
ok_
e
numer
a
t
e
_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
ev
a
lue
.
c:
r
e
move include of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c
:
show use of Om
e
ga,
GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
v
e
rsion
.
c: move barvinok_version from
u
til
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
d
o
c
:
document
P
o
lyhedron_Reduced_Basis and
Polyhedron_Sam
p
le
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verd
o
ola
e
ge
ex
p
ort Polyhedr
o
n_Sample a
n
d Polyhe
d
r
on_Reduced_B
a
sis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc:
rena
m
e "usa
g
e
"
section to "application
s
"
s
ection
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdool
a
ege
barvinok_optio
n
s: rename emptiness_check to lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc:
document
barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
scarf
.
cc:
e
xport
f
u
nctions to
l
ibr
a
ry
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoolae
g
e
sc
a
rf
.
cc: use
b
arvin
o
k_opt
i
ons
instea
d
of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n
V
erdoolaege
barvinok
/
barvi
n
ok
.
h: exp
o
r
t
_with
_
options ver
s
ion
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdoolaege
barv
i
nok_enumerat
e
_e: remove direct
i
nc
l
ude of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
b
e
r
ns
t
e
in:
m
inimal
d
o
c
ume
n
t
a
ti
o
n
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
README: bernstein requir
e
s
GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verdoola
e
ge
d
oc
:
add
r
ef
e
r
ence
to be
r
nstein te
c
hreport
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
doolaege
Merge b
r
a
n
c
h
'ber
n
s
tei
n
'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernstein
/
s
rc/TODO: rem
o
ve; everythi
n
g
has been done
commit
|
commitdiff
|
tree
2006-10-10
S
ven Ver
d
oolaeg
e
doc: add ano
t
her public
a
tion that
refers
to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
L
LL: use red
u
ction parameter 1 by
defaul
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Ver
d
oolaege
decompos
e
r
.
cc: short
_
vector: allow specification of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoola
e
ge
doc:
a
dd some more
publ
i
cat
i
o
n
s t
h
at refer to barvinok
commit
|
commitdiff
|
tree
next