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
decomposer.cc: barvinok_decompose: implement in terms of primal_decompose
2007-01-03
Sven Verdoolaeg
e
d
e
composer
.
cc: barvi
n
ok_d
e
c
o
mpose:
imp
l
ement in
t
erms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
barvinok_enume
r
ate:
r
espe
c
t
i
ncrementa
l
_sp
e
cialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
in
t
roduce si
g
ned_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
sepa
r
at
e
out
d
ecomp
o
s
ition
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolae
g
e
test: use
argp
p
a
r
s
e
r
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
update argp from gnulib and add progname mo
d
ule
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoolaege
b
ar
v
inok_enumerate_e
.
cc: don't
exit on
u
n
r
e
cognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
e
r
doo
l
aege
lib/argp
.
h:
r
em
o
ve
__NTH for __ar
g
p_usage inline fun
c
tion
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Ver
d
oolaeg
e
b
a
rvinok_enum
e
ra
t
e_e
.
c
c
: remove a
n
other duplica
t
e d
e
finition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barv
i
nok_
e
nume
r
ate_e:
use a
r
g
p parse
r
commit
|
commitdiff
|
tree
2006-12-27
Sven Ver
d
oolaege
bar
v
inok_count: use argp pars
e
r
commit
|
commitdiff
|
tree
2006-12-26
S
ve
n
Verdoolaege
op
t
ions
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n
Verdoolaege
ad
d
argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
aege
sca
r
f
.
cc:
m
ake
c
ompatible w
i
th old
e
r versions
o
f PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolae
g
e
add missing assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Ve
r
doo
l
aege
Make
f
ile
.
am: add remove_equa
l
ities
.
h
t
o distribu
t
ion
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n Ver
d
ool
a
ege
c
onfigure
.
in:
o
nly configure
ber
n
stein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdool
a
ege
bern
s
tein: confi
g
ure
.
i
n: check
for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sv
e
n
Verdool
a
ege
b
ernst
e
in
:
remove ex
t
ra qualificat
i
ons from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
ven Verd
o
o
l
aeg
e
bern
s
tei
n
/src/ma
i
n
.
cpp:
remove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verd
o
o
l
aege
short_rat::norma
l
i
z
e: make powe
r
s in the denom
i
nato
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven V
e
r
d
oo
l
aege
ge
n
_
f
un::substitute: nor
m
alize terms
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Ve
r
doolaege
dp
o
ly_r: st
o
re terms in a set rather
than i
n
a vector
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Ve
r
doo
l
aege
gen_fun
:
s
tore terms
i
n
a set r
a
t
her
t
h
an in a
v
ector
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erd
o
o
laege
lexmin: allow emptiness c
h
eck through counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmin
.
cc: move
c
onstruction of
subdomains to ed
o
main
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
Ve
r
d
o
o
laege
edomain
.
cc: move
sample compu
t
ation completely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
c
c
:
pa
r
tial_
o
r
d
er::comp
a
re
:
use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Ve
r
d
o
o
l
a
ege
le
x
min
.
cc: indicator::co
m
bine:
m
ore efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Ver
d
oola
e
ge
lexmin
.
cc: k
e
ep
heads in partial ord
e
r
s
eparate
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edomain
.
cc: EDomain::add_ge_co
n
str
a
int:
s
imp
l
ify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexmin
.
cc: partial
_
order::compare: add
c
ac
h
e of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aeg
e
le
x
m
i
n:
make s
u
re le set
in partial order only con
t
ains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
:
more sanit
y
c
h
ec
k
s
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
Verdoolaege
lem
x
in: use stable ordering of indicator_t
e
rms in part
i
al
_
or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
genfun
.
cc: move le
x
_cmp to mat
_
u
t
il
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
lex
m
i
n: indi
c
ator
:
:combine: dir
e
ct
l
y add som
e
kn
o
wn
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
barvinok/
p
olylib
.
h: separate include of polylib header
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: optionally comput
e
sign
o
f affine
f
u
n
ction
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n
Verd
o
olaege
lexmin:
o
ptionally skip re
d
ucti
o
n of evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
ev
a
l
u
e_f
r
ac2floor: only ma
k
e
arg
u
me
n
t non
n
egative
if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Ver
d
o
ol
a
e
ge
lexmin: Po
l
yhedron_not_empty: be careful a
b
out empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n
Verdoolaege
lexm
i
n
: in
d
icat
o
r_term
:
:is_opposite: ass
u
me numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven V
e
r
d
oo
l
aege
rem
o
v
e
_all_equ
a
lities:
h
an
d
le co
m
press_variab
l
es
returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin
:
optionally use cdd during basis
reduction
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n Verdool
a
ege
P
olyhedron_Reduce
d
_Basi
s
:
option
a
lly use
c
dd to s
o
lve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
configure
.
in: check for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
lexmin:
P
olyhedron_not_empty: continue r
e
movi
n
g equali
t
ies
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
r
doola
e
ge
lexmin: handle equ
a
l
ities among
p
arame
t
e
r
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
remove_all_equalitie
s
: ignore id
e
ntity
p
aram
e
ter compressio
n
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
ol
a
ege
re
m
ove_equ
a
lities
.
c: ext
r
a
c
ted from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
genfun: a
d
d short_rat
:
:norm
a
lize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
genfun: add shor
t
_
rat cons
t
ructor
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue
.
c: evalue_
d
e
n
om: impr
o
ve comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Po
l
y
h
edron_not_e
m
pty:
ch
e
ck result retu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdool
a
ege
b
arvinok
.
cc: series:
remove
eq
u
alities using Preima
g
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoo
l
ae
g
e
barv
i
nok_count: collect s
t
ats on numbe
r
of
unimod
u
lar
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Ver
d
o
o
laege
util
.
c: tr
i
a
n
gu
l
ate_cone: use bigger
r
ando
m
value
s
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
oola
e
ge
s
a
m
pl
e
.
c: Polyhe
d
ron_Remove
F
ixedColumns: copy
c
onstants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolae
g
e
be
r
nst
e
i
n: pie
c
e
w
ise_
l
st
:
:ev
a
luate: fix typ
o
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
doola
e
g
e
c
onfigure
.
in: onl
y
add
-lbernstein
to
b
arvinok
.
pc
i
f
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
S
ven Verdoolaeg
e
configure
.
i
n:
rename --
w
ith-ginac to --without-b
e
rnstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Ver
d
o
o
laege
c
o
nfigu
r
e
.
in: allow build
w
i
th
o
ut GiNaC (and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdo
o
l
aege
c
onfi
g
ure
.
in: a
d
d -lb
e
rnstein t
o
barvi
n
o
k
.
p
c if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
v
en Verd
o
o
l
aege
ut
i
l
.
c
: compress_variables: co
r
rect
c
heck for sc
a
l
i
n
g
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Verdoolaege
ut
i
l
.
c:
s
o
m
e
d
ocumentation for com
p
re
s
s_variable
s
commit
|
commitdiff
|
tree
2006-11-09
Sven Ver
d
oo
l
ae
g
e
verif_ehrhar
t
: add --print-all option to
r
epla
c
e PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n
V
e
r
doolaege
mat_uti
l
: make
a
rguments
o
f lex
_
cmp const
commit
|
commitdiff
|
tree
2006-11-09
S
ven
V
erdoolaeg
e
add AUTH
O
R
S
file
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolae
g
e
bump v
e
r
s
ion
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
do
o
laege
Makefile
.
am: make sure c
o
rrect files
a
re included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolae
g
e
doc: mention restr
i
ction
o
f barvinok_enumer
a
te_scarf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: minimal d
o
cu
m
entati
o
n for the le
x
min applic
a
t
i
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstein/conf
i
gur
e
.
in: set A
C
_CONFIG_AUX
_
D
IR
to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: docum
e
nt polytope_sam
p
le
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Ver
d
o
olaege
doc: document
p
olyhedron_
s
ampl
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: include barvi
n
o
k lib
r
ary ve
r
s
i
o
n
in title
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaeg
e
conf
i
gure
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verdo
o
laege
do
c
:
bib: nam
e
Ke
v
in
M
.
Woods co
n
sis
t
entl
y
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Ve
r
doolaege
do
c
:
docum
e
nt extra occ
operation
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
e
g
e
d
oc: upda
t
e
ge
n
_fun do
c
umentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: reflect change of argument typ
e
of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
: docu
m
ent bar
v
inok_en
u
merate_s
c
arf
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaeg
e
d
o
c: add
a
nother paper refering to barvinok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: docu
m
ent
bernstein
d
ata str
u
c
tur
e
s and
f
unctions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
berns
t
ein: piecewise_ls
t
::simplify_dom
a
ins: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Ver
d
o
o
lae
g
e
bernstein: make poly argumen
t
of bernstein
E
xpans
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
red
u
cer
.
h: only
use in
f
inite_
i
counter whe
n
dim==1
commit
|
commitdiff
|
tree
2006-10-28
S
ven V
e
rdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
remove a few
duplicate d
e
f
i
n
i
tion
s
of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
util
.
c: move
d
uplicate Polyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoolaege
bar
v
i
n
ok
.
cc: add _with_options
version
o
f
barvin
o
k_
e
num
e
rate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdool
a
ege
evalue
.
c
:
r
emove
inclu
d
e o
f
config
.
h
commit
|
commitdiff
|
tree
2006-10-28
S
ven Ve
r
d
o
ol
a
e
ge
v
e
rsion
.
c: s
h
o
w use of Om
e
ga, GLPK
a
nd G
i
Na
C
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
version
.
c: m
o
ve b
a
rvino
k
_versi
o
n f
r
om
u
ti
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdoolaege
doc: do
c
ument Polyhedron_Reduced_Basis
a
nd
P
olyhedron_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
export Polyhe
d
ron
_
Sam
p
le and
P
olyhed
r
on_Re
d
uce
d
_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: rename
"usage" sect
i
on
t
o
"application
s
"
sect
i
on
commit
|
commitdiff
|
tree
2006-10-27
S
v
en
V
erdool
a
ege
barvinok_options: rename emptiness_che
c
k to lexmin_emptines
s
.
.
.
commit
|
commitdiff
|
tree
next