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
Sv
e
n Verdoolaege
dec
o
mposer
.
cc
:
barvi
n
ok_decompose
:
i
mplement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
ba
r
v
inok_en
u
mera
t
e
:
r
e
s
p
e
ct i
n
crementa
l
_specializatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rdoolaege
intro
d
u
c
e sig
n
e
d_c
o
ne s
t
ruc
t
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolae
g
e
separate
o
ut
d
ecompos
i
tion
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
test: use arg
p
parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaeg
e
u
pdate
arg
p
from gnulib and add progname module
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoo
l
aege
b
a
r
vinok_enu
m
era
t
e_e
.
cc: don't exit on
unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rd
o
ola
e
g
e
lib/ar
g
p
.
h: remove
__
N
TH fo
r
__argp_usage inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
arvinok_enum
e
rate_e
.
c
c
:
remove a
n
o
t
h
er duplicate d
e
f
i
nition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoo
l
aege
b
a
rvin
o
k_e
n
umerate_e: use argp par
s
er
commit
|
commitdiff
|
tree
2006-12-27
S
v
en
Verdoolaeg
e
b
ar
v
in
o
k_coun
t
: use
a
rgp
parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaeg
e
opt
i
ons
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdo
o
laege
add a
r
gp
f
rom
gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaeg
e
s
c
a
r
f
.
c
c: make c
o
mpatible with older versio
n
s of
Pol
y
Lib
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolae
g
e
add
m
issing assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
oo
l
a
e
ge
Makefi
l
e
.
am: add remove_equali
t
ies
.
h t
o
distr
i
but
i
on
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolaege
conf
i
gure
.
i
n
:
only conf
i
gu
r
e bernst
e
in i
f
Gi
N
a
C was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
Verdool
a
ege
bernste
i
n: c
o
n
f
igure
.
in: check f
o
r GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
be
r
nstein: remove e
x
tra qualificati
o
ns f
r
om poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
ve
n
Verdoola
e
ge
bernstein/src/main
.
c
p
p: remove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verd
o
o
l
aeg
e
sho
r
t_r
a
t:
:
normalize:
m
a
k
e po
w
ers in the denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
g
e
n
_fun:
:
su
b
sti
t
ute: n
o
r
m
alize
terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
la
e
ge
dpoly_r: store
t
er
m
s in a se
t
rather than i
n
a
vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun: store terms
i
n a set rather than in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
rdoolaege
lexmin: allow
e
mptiness check throug
h
counting
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdo
o
l
aege
lexmin
.
cc: move co
n
st
r
uction of subdoma
i
ns to edoma
i
n
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
ven
V
erdoolaege
edomain
.
c
c
: move sa
m
ple comp
u
t
a
t
io
n
comp
l
etely
t
o EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
c
c
: pa
r
tial_order::co
m
pare: use substitutio
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexm
i
n
.
cc: indicator::combin
e
: m
o
re ef
f
icient
w
ay of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
doolae
g
e
l
exmi
n
.
cc:
keep heads
i
n partial order separate
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oo
l
aege
e
domain
.
cc: EDomain
:
:add_ge_constraint: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven
V
erdoola
e
g
e
lexmin
.
cc: pa
r
tial_or
d
er::
c
ompare:
add cache of co
m
paris
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: make sure l
e
set in
pa
r
ti
a
l orde
r
only contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: m
o
re sa
n
ity ch
e
cks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
lemxin: u
s
e
sta
b
le ordering of indi
c
a
t
or_
t
erms in
partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
genfun
.
cc: move lex_cmp
t
o mat_u
t
il
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
Ve
r
doolaege
lexmin: i
n
d
i
cator::
c
o
mbine: direct
l
y add some kno
w
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoola
e
ge
b
arvinok/polylib
.
h:
s
epara
t
e include of
p
o
lyl
i
b header
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexm
i
n: optiona
l
ly
co
m
pute sign of aff
i
ne function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolae
g
e
lexmi
n
: optionally ski
p
reduction o
f
e
va
l
ues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
rdool
a
ege
e
v
alue_frac2floor: only make
argument nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verd
o
o
l
aege
lex
m
in: Polyhed
r
on_no
t
_empty: be
careful
a
bo
u
t empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoola
e
ge
l
ex
m
in: indicator
_
term:
:
is_o
p
p
o
site: assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
r
e
mo
v
e_
a
ll_e
q
u
a
lities: han
d
le compress_variables ret
u
rnin
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
l
exm
i
n:
o
p
t
iona
l
ly
use cd
d
during ba
s
i
s red
u
ction
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rd
o
o
l
aege
Polyh
e
dron_Re
d
uced_Basis: optionally use
cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaeg
e
co
n
figure
.
in: chec
k
for
c
dd
l
ib
commit
|
commitdiff
|
tree
2006-12-09
S
ven
V
erdoolaege
l
exmin: Polyhedron_not_
e
mpty: c
o
ntinue
r
emov
i
ng eq
u
a
l
i
tie
s
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ver
d
o
o
laege
lexmin:
h
a
n
dle
e
q
ualities among
p
arameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_all_equ
a
lities: i
g
nore i
d
en
t
ity pa
r
ameter compression
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doola
e
ge
remove_equ
a
lities
.
c
: extracte
d
from b
a
rv
i
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
S
ven
V
erdoolae
g
e
genfun:
a
dd s
h
ort_ra
t
::normaliz
e
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
genfun: add short_rat const
r
uc
t
o
rs
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
evalue
.
c: eva
l
ue_denom: improve
comme
n
t
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: P
o
lyhedron
_
n
ot_empty: check result r
e
turned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n
Verdoolaege
barvinok
.
cc: series: remove equal
i
tie
s
using Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verd
o
o
laege
b
arvin
o
k_count: collect s
t
at
s
on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
lae
g
e
u
til
.
c: triangulate_cone
:
us
e
bigger ra
n
d
o
m
valu
e
s
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
sa
m
ple
.
c: Polyhedron_RemoveFixedColum
n
s:
c
opy
c
o
n
s
tants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
doola
e
g
e
bern
s
tein: piecewise_l
s
t::e
v
a
l
uate
:
fix
t
ypo
commit
|
commitdiff
|
tree
2006-12-06
Sven Ver
d
oolaege
configu
r
e
.
i
n: only add -lber
n
stein to barv
i
nok
.
pc
if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven
V
erdoola
e
ge
c
onfigure
.
in
:
ren
a
me --with-gin
a
c to --without-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
c
on
f
ig
u
re
.
in: allo
w
build
w
i
thout GiNaC (and therefor
e
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
conf
i
g
u
re
.
in: add
-lbernste
i
n to ba
r
vinok
.
pc
i
f it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoo
l
aege
util
.
c: compress_vari
a
b
les:
c
or
r
ec
t
c
h
e
c
k fo
r
scaling
commit
|
commitdiff
|
tree
2006-11-09
S
v
e
n
Verdoolaege
util
.
c: some
d
o
c
umentation for
compress_variables
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoo
l
aege
verif_ehrh
a
rt: add -
-
print-all opt
i
on to
r
eplace PRI
N
T_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaeg
e
mat
_
util: make argu
m
ents of
l
ex_cmp
cons
t
commit
|
commitdiff
|
tree
2006-11-09
S
ven Ve
r
doo
l
aege
add AU
T
HORS fil
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
ege
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdool
a
ege
Makefile
.
am:
ma
k
e sure correct
f
iles
a
re included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
r
do
o
laege
do
c
: mention r
e
striction
of
b
a
rvinok_en
u
merate
_
scarf_s
e
ries
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
do
c
:
minimal document
a
t
ion
for the lex
m
in a
p
plication
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
be
r
nstein
/
c
o
nfigure
.
in: set
AC
_
CONF
I
G_AUX_
D
IR to ber
n
stein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laeg
e
doc: document poly
t
ope_
s
ample
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdo
o
laeg
e
doc: documen
t
pol
y
hedron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
o
l
aege
doc:
include barvino
k
libra
r
y
version
in title
commit
|
commitdiff
|
tree
2006-10-31
S
ven
Ve
r
doolae
g
e
configure
.
in: fi
x
t
ypo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
bib: na
m
e Ke
v
in M
.
Wood
s
consistently
commit
|
commitdiff
|
tree
2006-10-31
S
ven V
e
rdoolaege
doc
:
do
c
um
e
nt extra
occ operations
commit
|
commitdiff
|
tree
2006-10-31
S
ven
V
erdool
a
ege
d
oc: up
d
ate g
e
n_fun documentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc:
reflec
t
c
hange of
ar
g
u
ment ty
p
e of ead
d
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc: document barvin
o
k_en
u
m
e
rate_sc
a
r
f
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
d
o
c
: add another paper re
f
e
ring
t
o
b
arvin
o
k
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc: t
y
pos
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdool
a
ege
doc:
d
ocumen
t
bern
s
t
ein data struct
u
res and f
u
nctio
n
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstein: piecewise_lst::
s
implify_domains: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n Verdoolaege
bern
s
tein: make poly ar
g
ument of bernsteinE
x
pansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoo
l
aege
reducer
.
h
:
o
n
ly use infini
t
e
_
icounter when dim==1
commit
|
commitdiff
|
tree
2006-10-28
S
v
en
V
e
rdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdoolaege
remove a f
e
w
dupl
i
cate definitions
o
f
M
A
X
RAY
S
commit
|
commitdiff
|
tree
2006-10-28
S
ven Ve
r
doolaeg
e
util
.
c:
move duplicate
P
olyhedron_Read
commit
|
commitdiff
|
tree
2006-10-28
S
ven
V
erdoolae
g
e
barvin
o
k
.
cc: add _with_options version of barvinok_
e
numera
t
e
_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
evalue
.
c: remove include o
f
config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
v
e
rsi
o
n
.
c: show use of Omega, GLPK and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdo
o
laege
version
.
c:
m
ove
barvinok_version from u
t
il
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc: document Polyh
e
dron_Reduced_Basis and Pol
y
h
edron_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoolaege
e
xport Polyhedron_Sample and Polyhed
r
on_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoola
e
ge
doc: r
e
n
ame "u
s
age"
section to "appli
c
ation
s
"
s
ection
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
bar
v
inok_opti
o
ns: rename emptiness_c
h
eck to l
e
xmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
next