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 Verdool
a
ege
remove_all_equa
l
ities: ha
n
dle compress_vari
a
bles r
e
turni
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdool
a
ege
lexmin: optionally u
s
e cd
d
du
r
in
g
basis reductio
n
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
P
o
l
y
hedr
o
n
_
Reduce
d
_B
a
sis
:
o
p
tionally use cdd
t
o
s
o
lv
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
e
ge
configure
.
in: chec
k
for
c
d
d
l
ib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
l
aege
lexmin: P
o
lyhedron_not_
e
mpty: continue re
m
oving equalities
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
lexmin: hand
l
e equ
a
li
t
ies
am
o
n
g
parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
rem
o
ve_a
l
l_equalit
i
es: ignor
e
ident
i
ty par
a
meter c
o
mpression
commit
|
commitdiff
|
tree
2006-12-09
S
ven Ver
d
oolae
g
e
remove_equal
i
ties
.
c
:
extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
e
ge
genfun: add short_rat:
:
normalize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
g
e
n
fun: a
d
d
short_rat constructors
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoo
l
aege
evalue
.
c:
e
valu
e
_denom: i
m
prove comment
commit
|
commitdiff
|
tree
2006-12-09
S
ven V
e
r
d
ool
a
ege
lexmin: Polyhedr
o
n_not_empty: check resu
l
t
r
et
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barvinok
.
c
c
:
series: remove
e
qualities using Pre
i
mage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
e
n
Verdoo
l
aege
barvi
n
ok
_
cou
n
t: c
o
llect st
a
ts on
n
u
mber
of un
i
mo
d
ul
a
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sve
n
V
erdoolaege
util
.
c: triangul
a
t
e_cone: use bigger ra
n
d
o
m va
l
ues
commit
|
commitdiff
|
tree
2006-12-07
S
v
en
Verd
o
ol
a
ege
sa
m
ple
.
c: P
o
ly
h
edron_RemoveFi
x
edColumns: copy constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
S
ve
n
Verdoolaege
bernstein: piecewise_ls
t
::eval
u
ate:
fix t
y
po
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
configure
.
i
n:
o
n
l
y add -lbernstein to barvi
n
o
k
.
p
c
if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
co
n
figure
.
i
n
: rename --w
i
th-gin
a
c to --with
o
ut-berns
t
e
in
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
c
o
nfigure
.
in
:
allow bui
l
d without GiN
a
C (and there
f
ore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven V
e
r
doolaege
conf
i
gure
.
in: add -lbe
r
nstein to barv
i
nok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
v
en Verdoolaege
util
.
c: compress_variables: correct check f
o
r scal
i
ng
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
util
.
c: some
documen
t
ati
o
n
for
co
m
p
r
es
s
_variables
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
olaege
verif_ehrhar
t
: add --print-all option to replace PRINT_ALL
_
R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
doolaege
m
at_uti
l
: make argu
m
e
n
ts of
l
e
x
_cm
p
const
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
doolaege
add
A
UTHORS f
i
le
commit
|
commitdiff
|
tree
2006-10-31
S
ven
Verdoolaeg
e
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolae
g
e
Makefile
.
am: make su
r
e
correct files are
includ
e
d in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
ege
doc: menti
o
n restri
c
tio
n
of
b
arvinok_enumerate
_
scar
f
_
s
er
i
es
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
r
d
oolaege
doc: min
i
m
a
l documentation for the lexmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
l
aege
bernste
i
n/configure
.
in: se
t
AC_CONFIG_AUX_DIR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: documen
t
p
o
ly
t
ope_s
a
mple
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdool
a
ege
d
o
c: document p
o
l
y
h
e
dron_
s
a
mp
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: include barvinok library ve
r
s
i
on in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc: bib: na
m
e Kevin M
.
Woods
c
onsistently
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdool
a
e
ge
d
oc: document e
x
t
ra occ operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: u
p
d
a
te ge
n
_fun
d
ocumen
t
ati
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Ve
r
doolaege
doc: r
e
flect
c
hange of argument t
y
p
e
of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: do
c
ume
n
t
barvinok_enumerate
_
sca
r
f
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Ver
d
o
olaege
d
o
c: add another paper ref
e
r
ing to barv
i
n
ok
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
V
erdool
a
ege
d
o
c: typos
commit
|
commitdiff
|
tree
2006-10-31
S
ven V
e
rdoolaege
doc: document bernstein data
st
r
uctures and func
t
i
ons
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
bernstein: p
i
ecewise_lst::simplify_do
m
ains:
a
dd MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
bernstein
:
make
p
oly argumen
t
of bernsteinExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
v
en V
e
rdoolaege
r
educer
.
h: only use i
n
finit
e
_icounter when
dim==
1
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
oolaege
remove a few
du
p
lica
t
e de
f
initions of MAXRAY
S
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
d
o
olaege
util
.
c: move duplicate Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaege
b
a
rvinok
.
cc: add
_
wi
t
h_op
t
ions version of b
a
rvi
n
o
k_
e
numera
t
e_e
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdoolaege
eva
l
ue
.
c: remov
e
includ
e
of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n
V
erdoolaege
versio
n
.
c: s
h
o
w
u
se
o
f Omega, GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
versio
n
.
c:
mov
e
barvi
n
ok_version fr
o
m util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n
Verdoolaege
doc: document Po
l
yhedron_
R
e
d
uced_Basis an
d
P
o
lyh
e
dron_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
expor
t
Polyhedro
n
_
S
ample and Polyhedron_Re
d
u
c
ed_Basis
commit
|
commitdiff
|
tree
2006-10-27
S
ven Ver
d
oolaeg
e
do
c
:
r
en
a
me
"usage"
s
e
cti
o
n to "
a
ppl
i
ca
t
io
n
s" se
c
tion
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
olaege
b
a
rvi
n
ok_options
:
re
n
ame empti
n
ess_
c
he
c
k to le
x
m
in_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
olaege
doc: d
o
cument
b
a
r
vin
o
k_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoola
e
ge
scarf
.
cc: export f
u
n
c
t
ions to lib
r
a
r
y
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaeg
e
scarf
.
cc: use barvinok_opt
i
ons instead of
M
a
x
Rays
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoolaege
barvinok/barvinok
.
h: e
x
port _with_op
t
io
n
s versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdo
o
laege
barvinok_enu
m
erate_e: rem
o
ve di
r
ect i
n
clude of
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Ve
r
doolaege
bernstein: minimal documentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaeg
e
R
EADME: be
r
nst
e
in requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verd
o
ola
e
g
e
doc
:
a
dd ref
e
r
e
nce t
o
bernstei
n
techreport
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verdool
a
e
g
e
M
erge bran
c
h 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
S
ven Ver
d
ool
a
ege
bernstein/s
r
c/TODO: remove;
e
v
e
rything
has been d
o
ne
commit
|
commitdiff
|
tree
2006-10-10
Sven
Ve
r
doolaege
doc: add
a
nother publication
t
hat
r
efe
r
s to barvino
k
commit
|
commitdiff
|
tree
2006-10-10
Sv
e
n Verdoolaege
LLL: use redu
c
tion parame
t
er 1 by
d
efault
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n Verdoolaege
decompos
e
r
.
cc: short_vector: a
l
low specifi
c
ation of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven V
e
rdool
a
ege
doc: add some
mor
e
pub
l
icati
o
ns
that refer t
o
bar
v
i
n
o
k
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdoolaeg
e
evalue
.
c: evalue_
d
e
n
om: declare varia
b
le at s
t
art of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
Ver
d
oolaege
evalue
.
c: exp
o
rt eva
l
ue
_
denom
commit
|
commitdiff
|
tree
2006-10-02
Sven V
e
rdool
a
ege
scarf
.
cc:
h
a
n
d
l
e case where
f
our const
r
aints lead
t
o
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoo
l
aege
u
t
il
.
c: compres
s
_variables: d
e
clare var
i
able at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven
V
e
rdool
a
ege
evalue
.
c
:
cop
y
(and
a
dapt) copyr
i
ght statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
S
ven
Ver
d
oolaege
doc: a
d
d some re
f
erences to public
a
t
i
ons
commit
|
commitdiff
|
tree
2006-09-26
S
ven Verdoolaege
lex
m
in
.
cc:
re
e
nabl
e
optimization of checkin
g
dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven
Ve
r
d
o
olaege
evalue
.
c: clean up in
_
do
m
ain
commit
|
commitdiff
|
tree
2006-09-25
Sv
e
n Verdoolaege
e
domain
.
cc: add ED
o
main::
c
ontains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoo
l
a
ege
l
e
x
m
i
n
.
cc: max_term::print: pr
i
nt flo
o
rs
e
x
p
licitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc: disab
l
e poss
i
bly overzealo
u
s o
p
t
i
mization
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
doolaege
edom
a
i
n
.
cc: remember "co
n
straint" representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven
Ver
d
o
o
laege
redu
c
ed_
b
asis: r
e
set "
n
egative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolae
g
e
lexmin
.
c
c: move mo
r
e code to edoma
i
n
.
cc
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Verdoolaege
edoma
i
n
.
h: add EDomain_flo
o
r a
b
strac
t
ion
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdo
o
laege
lexmin
.
cc: define max_t
e
rm over an EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
olaege
reducer
.
h: add
virtual destr
u
ctor to np_base to av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
r
do
o
lae
g
e
lexm
i
n
.
cc:
extract
out some code to
e
v
a
l
ue_u
t
il and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoolaege
options
.
c
:
pick up definition of
POL_INT
E
GER from bar
v
in
o
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Verdoolaege
o
ptionc
.
c: move choic
e
of which specializati
o
n to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
mega/
p
ar
s
er
.
l:
let flex
d
e
fine yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
lexmin
.
c
c
: opt
i
onally skip chec
k
fo
r
e
m
pt
y
domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
o
lae
g
e
e
va
l
ue
.
c
: r
e
duce_eval
u
e_in_doma
i
n
:
r
e
duce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdo
o
l
aege
l
exmin
.
cc: use barvinok_o
p
tions
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
introduce ba
r
vinok_
o
ptions
s
tructure
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
e
r
d
ool
a
ege
le
x
min
.
c
c: compu
t
e generatin
g
f
unctions of v
e
rt
e
x cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doolaege
lexmin
.
c
c: move
some cod
e
aro
u
nd to prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven
Verdoolae
g
e
evalue:
declare argument of eadd
and evalue_cop
y
const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoo
l
aege
lexmin
.
cc: perf
o
rm substitu
t
ion immedia
t
ely on each
.
.
.
commit
|
commitdiff
|
tree
next