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 with a specified maximal index.
2006-12-09
Sven Verdoolaege
lexmi
n
:
opt
i
onally skip reduction of eval
u
e
s in doma
i
n
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
evalue
_
frac2floor: only ma
k
e
argument no
n
negative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaeg
e
lexmin: Pol
y
h
e
dron_
n
ot_em
p
ty: be careful about em
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
lexmin: indicator_term::is_o
p
posi
t
e:
assume n
u
merators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
r
emo
v
e_
a
ll_eq
u
alities: handle compress_variabl
e
s
returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
lexmin: optiona
l
l
y
use cdd during basis
r
educ
t
io
n
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Po
l
yhe
d
ron_Reduce
d
_Basis
:
op
t
i
o
nall
y
u
s
e cdd t
o
so
l
ve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
configure
.
in: check
for
cd
d
li
b
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin
:
P
olyhedron_not_empty: co
n
tinue
removing equa
l
ities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
exmi
n
: handle equalities
a
mong parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
remove_all_eq
u
alities: ign
o
r
e identi
t
y
parameter compression
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
rem
o
ve_equalities
.
c: e
x
t
rac
t
e
d
from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaeg
e
genfun: add short_rat:
:
n
ormalize
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
erdoolae
g
e
genfu
n
:
add sh
o
rt_rat constructors
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
r
d
oolaeg
e
ev
a
lu
e
.
c:
ev
a
lue_denom: improve comm
e
nt
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmi
n
: Polyhedron_not_empty: ch
e
ck result returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
ba
r
vinok
.
cc
:
se
r
i
e
s: remove eq
u
a
l
ities us
i
ng Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
laege
barvinok_cou
n
t
:
collect stats
o
n nu
m
ber of
u
nimodul
a
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
laege
u
t
i
l
.
c: triangulate_cone: use bigger random values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolae
g
e
sample
.
c: Polyhedron_RemoveFixedColumns: copy constant
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
S
ven Ve
r
doolae
g
e
bernstein: piecewi
s
e_lst
:
:eva
l
u
a
te: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaeg
e
configur
e
.
in: only a
d
d -lbernstein to barvinok
.
pc i
f
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
confi
g
ur
e
.
in
:
rename --with-ginac
to --without-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
configure
.
in:
a
l
low build wit
h
out GiNaC (and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
conf
i
gure
.
in:
a
dd -lbernstein to
b
arvinok
.
p
c
i
f
it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
v
e
n Ver
d
o
o
l
a
e
ge
util
.
c: compress_variables: correct check for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
uti
l
.
c: some documenta
t
i
on for comp
r
ess_va
r
iables
commit
|
commitdiff
|
tree
2006-11-09
S
ven Ver
d
o
olaege
v
e
rif_ehr
h
art: add --print-all option to re
p
lace PRI
N
T
_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdo
o
laege
mat_util: ma
k
e argument
s
of lex_cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoolaege
add AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolae
g
e
bu
m
p versi
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
M
a
kefile
.
a
m: ma
k
e
s
ure correct files are
included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc: m
e
nti
o
n restriction of barvinok_
e
n
umerate_scar
f
_
s
eries
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
doc:
m
inimal
documenta
t
i
o
n f
o
r
the lexmin a
p
plicat
i
on
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ver
d
oola
e
ge
bernstein/con
f
igur
e
.
i
n: set AC_CONFIG_AUX_DIR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
do
c
: docume
n
t pol
y
tope_
s
a
mple
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaeg
e
doc: do
c
u
m
ent
polyhedr
o
n
_sample
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
do
c
:
incl
u
de barvinok library
ver
s
ion in
t
itle
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
config
u
re
.
in: fix typ
o
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n
Verdo
o
laege
do
c
:
bib: name Kevin M
.
Woods consi
s
te
n
tly
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc:
d
o
c
um
e
n
t
extra oc
c
operat
i
ons
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doo
l
aege
d
oc: up
d
ate gen_fu
n
d
o
cumentation
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: refl
e
ct change o
f
argument t
y
pe of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc: d
o
cu
m
ent
b
arvinok
_
enumerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
d
o
c: add anothe
r
p
a
per refer
i
ng
t
o
barvinok
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verdoolaege
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolae
g
e
d
o
c
:
d
ocumen
t
b
e
rn
s
tei
n
data
s
tructures and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
bernstein: piecew
i
se_lst::s
i
mplify_domains
:
add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven
V
er
d
oolaeg
e
bernstei
n
: m
a
k
e
pol
y
argument
of
bernsteinExpa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verd
o
olaege
r
e
d
ucer
.
h: only
use
i
nfinite_icounter
w
he
n
dim==1
commit
|
commitdiff
|
tree
2006-10-28
S
v
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
ola
e
ge
r
emove a few du
p
licate de
f
initions of M
A
XRAYS
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaege
u
t
il
.
c: move duplica
t
e Polyhedro
n
_
Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
barvinok
.
cc
:
a
d
d
_w
i
th_op
t
ions version of
b
arvinok_enume
r
a
te_
e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
eval
u
e
.
c: remove include of con
f
ig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
d
o
olaege
version
.
c: show use of Omega,
G
L
P
K and
GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
ver
s
ion
.
c: move
barvinok_versio
n
from util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc: document Pol
y
hedron_Red
u
c
e
d
_Basis and Polyhedro
n
_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolaege
export Polyhedron_Sample and Polyhedr
o
n_R
e
du
c
ed_Basi
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
oo
l
aege
doc: r
e
name "usage" section to
"app
l
i
c
a
tions" sect
i
on
commit
|
commitdiff
|
tree
2006-10-27
S
v
e
n
Verdo
o
laeg
e
b
arvinok_options:
r
ename
emptiness
_
check
t
o
lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoola
e
ge
doc: document
b
arvinok_o
p
tions
commit
|
commitdiff
|
tree
2006-10-27
S
v
e
n Verdoolae
g
e
scarf
.
cc: export
f
u
n
ction
s
to li
b
rary
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
e
rdoola
e
ge
scarf
.
cc: use barvinok_o
p
tions instead of MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n
Ve
r
d
oo
l
aege
barvinok/barvinok
.
h: e
x
port _wi
t
h
_options
versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdo
o
laege
barvinok_enumerate_
e
: re
m
ove dire
c
t
inclu
d
e of
polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdool
a
eg
e
bernstein: minimal documentation
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verd
o
olaege
R
E
ADME: b
e
rnstein
r
equi
r
e
s
G
i
NaC
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
Ve
r
doolaege
doc
:
a
d
d refer
e
n
ce t
o
be
r
nstein tech
r
eport
commit
|
commitdiff
|
tree
2006-10-25
Sven V
e
rdoolaege
Merge
b
ranch
'b
e
rnstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
ber
n
stein/
s
rc/TODO: rem
o
ve; eve
r
ything has been done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verd
o
o
l
aege
doc: add
a
nothe
r
public
a
t
ion that
r
efers to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Ve
r
dool
a
ege
LLL:
use reducti
o
n para
m
eter 1 by def
a
u
lt
commit
|
commitdiff
|
tree
2006-10-07
Sven Ve
r
doolaege
decomposer
.
cc: short_vector: allow sp
e
c
ificat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Ver
d
o
olae
g
e
doc: add some
m
o
re pu
b
lications that refer to
b
arvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erd
o
ola
e
ge
evalue
.
c: eva
l
u
e
_denom: decla
r
e
variab
l
e
at st
a
rt of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoo
l
aege
evalue
.
c
: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
V
e
rdoolaeg
e
scarf
.
cc: hand
l
e case where four constrain
t
s lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n Verdoolaege
util
.
c: comp
r
ess_varia
b
les: declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verd
o
olae
g
e
e
v
a
lue
.
c: copy (and ad
a
pt) c
o
pyright statement f
r
om
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven V
e
rdo
o
laege
doc: add s
o
me refe
r
ences to pu
b
licati
o
n
s
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
le
x
m
in
.
cc: ree
n
able optimi
z
ation of
c
hecking d
o
mai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
v
en Verdoolaege
evalue
.
c: clea
n
up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven V
e
rd
o
olaeg
e
edomain
.
cc
:
add EDomain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoo
l
aege
lexmin
.
cc: max_t
e
rm:
:
print: print f
l
oors
e
x
plicitl
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexm
i
n
.
cc: disable
possibly overzealous
optimiza
t
i
o
n
commit
|
commitdiff
|
tree
2006-09-23
Sven
Verdoolaege
edo
m
ain
.
cc: rememb
e
r "constraint" re
p
resentation
of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoolaege
reduced_ba
s
is: reset "negative widths"
to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verd
o
olaege
lexmin
.
cc: move mor
e
code
to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n Verdool
a
ege
edomain
.
h
:
add EDomain_floor abstracti
o
n
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
er
d
ool
a
ege
lexmin
.
cc:
d
e
f
ine max_term
o
v
er an ED
o
m
ain rather th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdool
a
e
g
e
reducer
.
h
:
add vi
r
tual destru
c
tor to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Ve
r
do
o
laege
le
x
min
.
cc: ext
r
act out s
o
m
e
c
ode to evalue_u
t
il and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n
V
e
rd
o
ola
e
ge
options
.
c: pick up definition of POL_INTEG
E
R
f
ro
m
barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
e
r
doolaege
o
p
t
i
onc
.
c: move
c
hoice
of
w
hich specialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Verdo
o
laege
omega/parser
.
l: let fle
x
def
i
n
e yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
lexmin
.
cc: o
p
tionally ski
p
check for empty doma
i
ns
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
evalue
.
c: reduce
_
evalue_in
_
domain: red
u
ce to
z
ero eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
r
d
o
o
laege
lexmin
.
c
c: u
s
e barvin
o
k
_o
p
tions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
in
t
roduce barvin
o
k_opti
o
n
s structure
commit
|
commitdiff
|
tree
next