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
remove_all_equalities: handle compress_variables returning empty polytope
2006-12-09
Sven Ver
d
oolaege
rem
o
ve_all_equalities: ha
n
dle comp
r
ess_variab
l
es
ret
u
rning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
l
e
xmin: op
t
ion
a
lly u
s
e cdd d
u
ring basis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
Polyhe
d
ron_Reduced_Ba
s
is: optio
n
a
l
l
y us
e
cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
conf
i
gure
.
in: check for
cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ve
r
d
o
o
laege
l
e
x
min: Polyhedron_not_
e
mpty: continue removing equ
a
l
iti
e
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
eg
e
lexmin: ha
n
dl
e
equalities among parameters
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
remove_all_
e
qualities: ignore id
e
ntity pa
r
ameter compression
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
a
e
g
e
remov
e
_equalities
.
c: e
x
tracted
from
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdo
o
laege
genf
u
n: add sh
o
rt_rat::no
r
malize
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
V
erdo
o
laege
genfun: a
d
d short_rat co
n
s
t
ructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
evalue
.
c: evalu
e
_denom:
i
m
pro
v
e comm
e
nt
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Pol
y
hedron_n
o
t
_empty: check resu
l
t ret
u
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barvin
o
k
.
cc:
serie
s
: rem
o
ve e
q
ualities usin
g
Pr
e
i
mag
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Ve
r
doolaege
barvinok_count: colle
c
t sta
t
s on numbe
r
of un
i
m
odular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
util
.
c: triangulate_cone: use
b
igger
ra
n
dom values
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdo
o
laeg
e
sample
.
c: Polyhedron_RemoveFixe
d
Co
l
um
n
s
: copy constant
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
S
ven Verd
o
olae
g
e
b
e
r
n
s
tein:
pi
e
cewise_lst::evaluate:
f
i
x typo
commit
|
commitdiff
|
tree
2006-12-06
Sven
Ve
r
doolaege
c
onfigure
.
in: only add -lber
n
s
t
ein to ba
r
v
ino
k
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolae
g
e
configu
r
e
.
in: rename --with-gi
n
ac to --withou
t
-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven
Verdoola
e
ge
configure
.
in: allow
b
uild witho
u
t
GiNaC (a
n
d
t
her
e
fore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
S
ven Ve
r
d
oola
e
g
e
configu
r
e
.
in: a
d
d -lbernstein to barvinok
.
p
c if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Ver
d
o
o
laege
util
.
c
:
compress
_
varia
b
les: corre
c
t ch
e
ck for
s
cali
n
g
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolae
g
e
util
.
c: some documentati
o
n
for comp
r
ess_
v
ari
a
bles
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoola
e
ge
verif_
e
h
rha
r
t: add --print-all option to
rep
l
ac
e
P
R
INT_ALL
_
R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
ven Verdoolaege
mat_util: make a
r
g
u
ments of
l
ex_cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
add AUTHORS f
i
le
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ver
d
o
o
laeg
e
bump ver
s
ion
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olae
g
e
M
a
k
e
file
.
am: make
s
ure cor
r
ect fil
e
s are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
d
o
c:
m
e
nti
o
n re
s
tric
t
io
n
of barvinok_e
n
umerate_scarf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc
:
minimal d
o
cum
e
ntation fo
r
the lexmin ap
p
lic
a
tion
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
b
e
r
n
s
t
ein
/
configure
.
in:
set AC_CONFI
G
_
AU
X
_DIR
t
o bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c
:
d
o
cu
m
en
t
polytope_s
a
mple
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
V
erdoolaege
doc: document p
o
lyhedron_
s
ample
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoola
e
ge
doc: includ
e
barvinok lib
r
ary ve
r
sion in
t
itl
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
con
f
igure
.
in: fix t
y
po
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
doc: bib: name
Kevin M
.
W
o
od
s
consis
t
ently
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
do
c
: docu
m
ent extra occ operat
i
ons
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
do
c
:
update
g
en_fun documenta
t
ion
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
Verd
o
olaege
d
o
c: r
e
flect ch
a
nge of argument ty
p
e of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc: doc
u
m
ent
b
a
r
vinok
_
enum
e
rate_scarf
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verd
o
ola
e
g
e
doc:
add another paper refe
r
in
g
t
o bar
v
inok
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdool
a
ege
doc
:
typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: d
o
cument bernstein
d
ata s
t
ructures
and functions
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolae
g
e
berns
t
ein: p
i
ecewise_lst::
s
implify_dom
a
ins: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdool
a
e
g
e
bernstein: m
a
ke poly argument of
bernstei
n
Expansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
ven Verdoolaege
reduce
r
.
h:
only use infi
n
ite_icounter when dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdool
a
e
g
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdool
a
e
g
e
remove a few
duplicate
definit
i
ons of M
A
XR
A
YS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoola
e
ge
util
.
c: move d
u
plic
a
t
e
P
oly
h
edron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven
Verdoolaege
barv
i
n
o
k
.
cc:
a
d
d _
w
i
t
h_options version of barvinok_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoola
e
ge
evalue
.
c:
r
emove i
n
c
l
ude o
f
config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
vers
i
on
.
c:
sh
o
w use of Omega, GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
ola
e
ge
v
e
rsion
.
c: move barvinok_
v
ersion from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verd
o
o
l
aeg
e
doc: do
c
u
ment Polyhe
d
ron_
R
educ
e
d_Basis
and Polyhedr
o
n
_
Sample
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoolaeg
e
ex
p
ort Polyhedron
_
Samp
l
e and Polyhedron
_
R
e
duced_Basi
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaege
d
o
c: rename "usa
g
e"
section to "applications"
s
ection
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
b
arvin
o
k_op
t
ions:
r
e
n
ame e
m
p
t
i
ness_check to
l
exmin_em
p
tiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
do
c
:
d
ocument barvinok_o
p
t
i
o
ns
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoola
e
ge
scarf
.
cc:
e
xport
f
unc
t
i
ons
t
o
library
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoo
l
aeg
e
s
carf
.
cc: use barvinok_options ins
t
e
a
d
of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoolaege
barvinok/ba
r
vi
n
o
k
.
h: exp
o
rt _with_options versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
Verdool
a
ege
barvino
k
_enumerate_e: remove direct include o
f
pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolae
g
e
bernstein
:
minimal
d
ocumentation
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdool
a
e
ge
RE
A
D
M
E
:
b
ernstein requir
e
s GiNaC
commit
|
commitdiff
|
tree
2006-10-25
S
ven Verdoola
e
ge
doc
:
a
d
d reference to bernste
i
n te
c
hreport
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdoolaeg
e
Merge branch 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaege
bernste
i
n/sr
c
/TODO: remove; everyt
h
ing has been don
e
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
doc: add anothe
r
publication that ref
e
rs to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Ver
d
oolaege
LLL: use
r
e
d
u
c
tio
n
parameter 1 b
y
default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
d
ecomposer
.
cc:
short_vec
t
or: allow s
p
eci
f
ication of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
doc: add some more publica
t
ions that refer
to barvinok
commit
|
commitdiff
|
tree
2006-10-02
S
v
en Verdoo
l
a
ege
ev
a
lue
.
c: ev
a
lue_d
e
nom:
declare variable a
t
st
a
rt
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoola
e
ge
eva
l
ue
.
c: expor
t
evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Ver
d
oolaege
s
carf
.
cc: handle c
a
s
e
wher
e
four co
n
straints l
e
ad to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
ven Verdoolaege
util
.
c: compress_vari
a
bles: d
e
clare variable at
start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verd
o
olaege
e
v
alue
.
c: copy (and a
d
apt) c
o
py
r
ig
h
t
s
t
atement fro
m
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sve
n
V
erdoolaege
doc: ad
d
some
r
e
f
erences to public
a
t
i
ons
commit
|
commitdiff
|
tree
2006-09-26
S
ven Ver
d
oolaege
l
e
x
m
in
.
cc:
r
e
enable o
p
ti
m
ization
of c
h
ecking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven
V
erdoolaege
evalue
.
c: clea
n
up in_dom
a
in
commit
|
commitdiff
|
tree
2006-09-25
Sven Ve
r
doolaege
edomain
.
cc:
a
dd E
D
omain::con
t
ains
commit
|
commitdiff
|
tree
2006-09-24
Sven
V
erdoolaege
lexmin
.
cc:
m
ax_term::print
:
print
floor
s
explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc:
d
isabl
e
po
s
s
ibly
o
verzealous o
p
timization
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
doolaege
edomain
.
cc: remembe
r
"constraint" representati
o
n o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
ve
n
Verd
o
ol
a
ege
reduced_ba
s
is: res
e
t "negative widths" to z
e
r
o
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdool
a
ege
lexmi
n
.
cc
:
move more co
d
e to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
ven
Verdoolaege
e
doma
i
n
.
h
: a
d
d EDomain_flo
o
r a
b
straction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoo
l
a
e
ge
lexmin
.
cc: define
max
_
term over an
EDo
m
ai
n
ra
t
her tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
reducer
.
h: add virt
u
al destructor to np_base
to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
l
e
xm
i
n
.
cc: extract out
s
ome
code
t
o
ev
a
lue_u
t
il
and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Verdoo
l
a
eg
e
o
ptions
.
c: pick up de
f
inition
of POL_INTEGE
R
from barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Verdoolae
g
e
opti
o
nc
.
c:
m
o
v
e choice of
w
hich specia
l
izati
o
n to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Verdo
o
laege
omega/parse
r
.
l: l
e
t fl
e
x define yy
l
ineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lex
m
in
.
cc: opt
i
onally ski
p
ch
e
ck fo
r
emp
t
y domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
ev
a
lue
.
c
:
r
educe_evalue_in_doma
i
n: reduce to z
e
ro ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
lexmin
.
cc: use b
a
rv
i
nok_
o
ptions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
olaeg
e
introduce barvi
n
ok_options
s
tructu
r
e
commit
|
commitdiff
|
tree
2006-09-20
S
v
en
Verdo
o
laege
lexm
i
n
.
c
c: compute generating fu
n
ctions of v
e
r
t
ex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
lexmin
.
c
c
: mo
v
e some
code ar
o
un
d
to prepare for n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdo
o
laege
evalue: dec
l
a
re
argum
e
nt of eadd and evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaeg
e
lexmin
.
cc: perform su
b
s
ti
t
ution
immediat
e
ly o
n
each
.
.
.
commit
|
commitdiff
|
tree
next