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
lib/argp.h: remove __NTH for __argp_usage inline function
2006-12-27
Sven Verdoolaeg
e
lib/ar
g
p
.
h: remove __NTH for __argp_us
a
ge inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barv
i
nok_enumerate_e
.
cc: remove anothe
r
du
p
lic
a
te defin
i
tion
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
V
e
r
do
o
la
e
ge
b
a
rvinok_enum
e
rate_e: use argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoo
l
aege
barvinok_count: use argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdoolae
g
e
options
.
c: add argp
p
arse
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verd
o
ol
a
e
ge
add
a
rgp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rd
o
olaege
scarf
.
cc: make co
m
p
a
ti
b
le
w
ith older versions
o
f
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoolae
g
e
add missing
as
s
ert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdoolaege
Make
f
ile
.
am: add
r
emove_equali
t
ies
.
h
to distrib
u
tion
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
Verdoola
e
g
e
c
onfigure
.
in: only
conf
i
gu
r
e bernstein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoo
l
aege
b
e
rnste
i
n: configure
.
in:
chec
k
for
G
iNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolae
g
e
bernstein: remove extra qualifica
t
ions
f
r
o
m polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Ver
d
oolaege
bernstein/src/main
.
c
p
p
:
r
e
move redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n
V
e
r
do
o
lae
g
e
s
h
ort_rat::normalize:
m
a
k
e
powers
i
n the
d
e
n
o
minator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verd
o
olaege
gen_fun
:
:
sub
s
titute:
n
ormalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
do
o
l
aege
dp
o
ly_r: store
te
r
ms in a set
rather than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven
Ve
r
doolaege
g
e
n_fu
n
: store t
e
rms in a set r
a
ther
t
han in a vect
o
r
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
in:
a
llow e
m
p
t
iness
c
heck through
counting
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n
Verdoo
l
aege
l
exmin
.
c
c
: move co
n
st
r
uction of subdomains to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
r
doolae
g
e
edom
a
in
.
c
c: move s
a
mple
c
omputation comp
l
e
t
ely
t
o EDomai
n
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
lexmin
.
cc: partia
l
_order::
c
omp
a
re: use
subs
t
itution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoola
e
ge
lexmin
.
cc: in
d
icato
r
::comb
i
ne:
m
ore e
f
ficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmin
.
cc: kee
p
heads in partial order sep
a
rate
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoo
l
a
eg
e
ed
o
main
.
cc
:
ED
o
main::
a
dd_g
e
_
constraint:
s
i
m
plify n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoo
l
aege
le
x
m
in
.
cc: part
i
al_order::co
m
par
e
: add cache of
c
omparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
l
exmi
n
: make
s
ure
l
e
s
e
t
in pa
r
ti
a
l order only contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmi
n
: mo
r
e sanity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemxin:
u
s
e stab
l
e o
r
d
ering of
i
n
dicato
r
_terms in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
genfun
.
c
c: m
o
ve lex
_
cmp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmin: indi
c
a
tor::combine: d
i
rect
l
y
add s
o
me
k
n
own
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
b
a
r
vinok/polylib
.
h
:
separate include
o
f polyl
i
b header
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
lexmin: op
t
ionally c
o
mpute sign of affin
e
function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doo
l
aege
lexmin:
optionally skip
r
educt
i
on o
f
e
val
u
e
s
in dom
a
ins
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olae
g
e
e
v
alue_frac2floor: onl
y
mak
e
argument nonnegati
v
e if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoo
l
aege
lexmin:
P
o
l
y
h
ed
r
on_no
t
_em
p
ty: be ca
r
e
f
ul about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
V
e
rdoolaege
le
x
min:
i
n
dicator_term::is_opp
o
site: assume
numer
a
tors
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
l
a
eg
e
remove_all_equaliti
e
s: handle compress_var
i
ab
l
es returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doo
l
aege
l
e
x
m
in: option
a
lly use cdd
d
u
ring basis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
Polyhedron_Reduced_
B
as
i
s: optionally use cd
d
to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
aeg
e
c
o
n
figure
.
in: c
h
eck for cddlib
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n
Ver
d
oolaege
lex
m
in: Poly
h
edro
n
_not_empty: continue rem
o
ving equalities
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ve
r
doo
l
aege
lex
m
in: handle eq
u
ali
t
ies among parame
t
ers
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ver
d
oolaege
remove_
a
ll
_
equ
a
lities: ign
o
re
i
dentity parame
t
e
r
c
om
p
ression
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
aege
rem
o
ve_equalities
.
c
: extracted from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoola
e
ge
genfun: add short_r
a
t::normal
i
ze
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
gen
f
un:
a
dd
s
hort_rat cons
t
ructors
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
ev
a
lue
.
c: eval
u
e_denom:
i
m
prove comme
n
t
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmi
n
: Polyhedron_not_empty: check res
u
lt returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sve
n
V
e
rdoolaege
b
a
rvi
n
ok
.
cc: series: remove equ
a
lities using Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
bar
v
inok_
c
ount
:
collect
s
t
ats on numb
e
r of unim
o
dula
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
Verdoolaege
util
.
c:
triangulate_cone:
u
s
e
bigger random va
l
ues
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdoola
e
ge
sample
.
c: Polyhedron_
R
e
m
ov
e
FixedColumns: co
p
y cons
t
ants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdool
a
ege
b
er
n
s
t
ein: piece
w
ise
_
ls
t
::evaluate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven
Verdoolaege
co
n
f
i
gure
.
i
n
: onl
y
a
dd -lbernstein to
b
arvinok
.
p
c if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
S
v
en Verdo
o
laege
co
n
figur
e
.
in:
r
ename --with-g
i
n
a
c to --without-
b
ernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verd
o
olaege
con
f
igure
.
i
n: allow bu
i
ld
w
itho
u
t
G
iN
a
C (and ther
e
f
o
re
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sv
e
n V
e
rdoolaege
configure
.
i
n:
a
dd -lbernstein t
o
barvinok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoo
l
aege
u
t
il
.
c: compress_
v
ar
i
a
bles: correct check for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven
Ve
r
d
o
o
laege
util
.
c: s
o
me
d
o
cumen
t
ation for c
o
mpress_v
a
riables
commit
|
commitdiff
|
tree
2006-11-09
Sven Ver
d
oolaege
verif_e
h
rhart: add --print-all option
t
o replace PR
I
NT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verd
o
o
l
aege
mat_ut
i
l: ma
k
e ar
g
ument
s
o
f
l
ex_cm
p
const
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolae
g
e
add AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
eg
e
bump
v
e
rsi
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
Makefil
e
.
am: make su
r
e correct f
i
les are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc:
men
t
ion restric
t
io
n
of b
a
rvinok_enumer
a
te_sc
a
rf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
do
c
: minimal d
o
cumentati
o
n for
the lexmin applica
t
i
o
n
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdo
o
laege
b
e
rnst
e
in/configu
r
e
.
in: set AC_
C
ONFIG_A
U
X_D
I
R to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
document polytope_sam
p
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaeg
e
doc:
docume
n
t pol
y
hed
r
on
_
sample
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoola
e
ge
doc:
include
barvi
n
ok
libr
a
ry
v
ersi
o
n in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: bib: name
Ke
v
i
n M
.
Wood
s
consiste
n
t
ly
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
: document extra o
c
c operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
u
pd
a
t
e
g
e
n_fun documentation
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdool
a
ege
doc: reflect c
h
ange of argumen
t
type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoola
e
g
e
doc: docu
m
ent barvinok_enumerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaeg
e
do
c
: add another
paper refering to barvinok
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: docu
m
ent bernstein
data s
t
ructures
a
n
d functions
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ve
r
doola
e
ge
bernst
e
i
n
: piecewis
e
_lst::simplify
_
domains:
add Max
R
a
ys
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
bernstei
n
:
make p
o
ly a
r
gument
o
f bernsteinExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven
Verdoolaeg
e
reduce
r
.
h:
o
nly
u
se in
f
i
nite
_
icounter
when
dim=
=
1
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verd
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
r
e
move a few duplicat
e
def
i
n
i
t
i
o
ns of MAX
R
AYS
commit
|
commitdiff
|
tree
2006-10-28
Sven
Ve
r
doola
e
ge
util
.
c
:
move
d
uplic
a
t
e
Poly
h
e
d
ron
_
Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
barvinok
.
cc: add
_wit
h
_opt
i
ons
v
ersion of barv
i
no
k
_enumerate
_
e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olaege
e
v
a
lue
.
c: r
e
move in
c
lude o
f
c
o
nfig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
dool
a
ege
version
.
c: show us
e
of Omeg
a
, GL
P
K and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c:
m
o
v
e barvino
k
_v
e
r
s
ion from uti
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
ola
e
ge
doc: document Polyhedron
_
Reduced_Basis and Polyhedron_S
a
mple
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaeg
e
export Polyhedron_Sample and Polyhedron_Reduced_Ba
s
is
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: rename "usage"
s
e
c
tion
t
o
"
applications" sect
i
o
n
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoola
e
ge
barvinok
_
options: renam
e
emptiness_c
h
eck to lex
m
in_e
m
ptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
l
a
ege
d
o
c: document
b
arvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdool
a
eg
e
s
carf
.
cc: export fu
n
ctions to library
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoo
l
a
e
ge
s
c
a
rf
.
cc: use barvinok_opt
i
ons instead of M
a
xRays
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Ve
r
doolaege
bar
v
i
nok/barvinok
.
h
:
expo
r
t _wit
h
_options versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
barvin
o
k_enume
r
a
t
e_e: remove direct in
c
lude of p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
berns
t
ein
:
minimal
d
o
cumentation
commit
|
commitdiff
|
tree
2006-10-25
Sven Verd
o
olaege
README:
b
e
rnstein re
q
ui
r
es GiNaC
commit
|
commitdiff
|
tree
next