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: decompose: micro-optimization
2007-01-04
Sv
e
n
Ve
r
d
ool
a
e
g
e
decom
p
os
e
r
.
cc
:
de
c
o
mpose: micr
o
-opt
i
mization
commit
|
commitdiff
|
tree
2007-01-04
S
ven
Verdoolaege
signed_cone: st
o
re ra
y
s of con
e
commit
|
commitdiff
|
tree
2007-01-04
Harald Devos
omega/parser
.
y:
remove
bra
c
ke
t
s
around
type
in new
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
V
e
rdoolae
g
e
lexmin: d
i
sa
b
le
use of lo
o
k
u
p-
t
ables
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdool
a
e
g
e
barvino
k
_enume
r
ate_e
.
cc: fix argp opti
o
ns pa
r
ser
commit
|
commitdiff
|
tree
2007-01-03
S
ve
n
Verdoolae
g
e
options
.
c: move
c
hoice
of use of
looku
p
-table to bar
v
inok_o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
o
o
laeg
e
l
a
ttice_point
.
cc:
f
ix #if
n
d
e
f USE
_
MODULO cod
e
path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decom
p
os
e
r
.
cc: short_v
e
ctor: remove redund
a
n
t
code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
decompose
r
.
c
c
: short_
v
ector: negate lambda if
z
is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
V
e
rdoolaege
barvinok
.
cc:
s
eries:
o
nly require rays
t
o
b
e
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
barv
i
nok
.
cc: series: p
a
ss full
options to barv
i
nok_
c
ount
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
np_ba
s
e::handl
e
: pass aro
u
n
d
r
a
ys matrix inste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
decomposer
.
c
c:
s
upport
p
rimal decom
p
osition
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdool
a
ege
decompo
s
e
r
.
cc: barvinok_decom
p
ose
:
implement in t
e
rms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdo
o
laege
ba
r
vino
k
_enume
r
ate: r
e
spec
t
incremen
t
al_s
p
e
c
ialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
in
t
ro
d
uce s
i
gned_cone struc
t
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ver
d
oola
e
ge
s
eparate out decompos
i
t
i
on
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ve
r
doolaeg
e
test: use
argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdo
o
laege
u
pd
a
te argp from gnulib and
a
dd progname module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolae
g
e
b
a
rvinok_en
u
merate_e
.
c
c
:
do
n
't exit on
u
n
recognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolaege
lib/
a
rgp
.
h: r
e
move __NT
H
for __
a
r
g
p_u
s
age inline f
u
nction
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok
_
enu
m
erate_e
.
cc: rem
o
ve anot
h
er dup
l
icate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoo
l
aege
b
a
rv
i
nok_enumerate_e: u
s
e ar
g
p parser
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
r
doolaege
barvi
n
ok_count
:
use argp pars
e
r
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
l
aege
opti
o
n
s
.
c
: ad
d
argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdool
a
ege
add argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdoolaeg
e
scarf
.
cc:
make compati
b
le with older v
e
rsions
o
f PolyLi
b
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaege
a
dd m
i
ssing assert
.
h
#
includes
commit
|
commitdiff
|
tree
2006-12-26
S
ve
n
V
erdoolaege
M
akefile
.
am: add remove_equalities
.
h
t
o distribution
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
e
rd
o
o
l
aege
con
f
igure
.
in:
only con
f
igure
b
ernstein if GiNaC w
a
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolaege
b
e
rnstein: configure
.
i
n:
c
heck for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven
Verdoo
l
aege
bernstein: remove extra qu
a
lif
i
c
at
i
o
n
s
fr
o
m
p
olynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaeg
e
b
e
rnste
i
n
/s
r
c/main
.
cp
p
: remo
v
e r
e
dunda
n
t inc
l
ude
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoo
l
aege
short_rat::normalize
:
make powers in th
e
denomin
a
to
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
ve
n
V
e
r
d
o
olaege
gen_fun:
:
subs
t
itute:
n
ormalize
t
erm
s
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
d
oolae
g
e
dp
o
ly_r: store terms in a set rather than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Ver
d
oolaege
g
e
n_fun: store terms in a
s
et rather th
a
n in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
o
laege
lexmin: allow emptiness check
t
h
r
oug
h
co
u
nt
i
ng
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
do
o
l
a
e
ge
lexmin
.
cc: move constr
u
ction
of subdoma
i
ns to edomain
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Ve
r
doolaege
e
domain
.
cc: move sa
m
ple comput
a
tion complet
e
ly to E
D
omai
n
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoo
l
ae
g
e
l
e
xmin
.
cc: par
t
ia
l
_order::co
m
pa
r
e: use subs
t
itution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
lexmin
.
c
c:
indicator::co
m
bine: more effi
c
i
en
t
way
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: keep h
e
a
d
s in partial order separate
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
ed
o
main
.
c
c
: ED
o
main::add_ge_const
r
aint:
simpli
f
y
new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Ve
r
doolaege
lexmin
.
cc: parti
a
l
_
order::compare:
a
d
d cache
of compari
s
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
lexmin
:
make sure le set in part
i
al order on
l
y contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
le
x
min:
mo
r
e sani
t
y checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
lem
x
in: use stable or
d
e
ring
o
f ind
i
c
a
t
o
r
_terms
in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
genfun
.
c
c:
m
ove lex_cmp t
o
mat_
u
t
i
l
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
lex
m
i
n: i
n
dicator::
c
ombine:
d
irectly add
s
ome kno
w
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
barvinok/p
o
lylib
.
h: separate include of p
o
lylib
h
eader
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
aege
lexmin: option
a
lly comput
e
s
ig
n
of affine f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
exmin: optiona
l
ly skip
r
eductio
n
of eval
u
es in do
m
ains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
evalue_frac2floor: only make ar
g
ument nonnegat
i
ve if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
e
xm
i
n
:
P
o
l
yh
e
dro
n
_
n
ot_
e
mpt
y
: be
c
a
r
eful
about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
exmin: indicator_term::is_
o
pp
o
site: ass
u
m
e
numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
remove
_
al
l
_eq
u
alities: h
a
nd
l
e compre
s
s_variables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
lexmin: optionally
use cdd du
r
i
n
g basis
r
eduction
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoola
e
ge
Polyhedron_Reduced_Ba
s
is
:
o
p
t
i
onall
y
use cdd
to so
l
ve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en V
e
rdool
a
ege
config
u
r
e
.
in:
c
h
e
ck for cddlib
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
lexmin: Polyhe
d
ron_
n
o
t_e
m
pty: contin
u
e
re
m
oving
equalities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
o
laege
lexmin: han
d
le equalities a
m
ong p
a
r
a
meters
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verd
o
o
laege
remov
e
_a
l
l_eq
u
al
i
ties: ign
o
re identity parameter compression
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
erdoolaeg
e
remove_equalities
.
c: extracted
f
r
om barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolae
g
e
genfun: add s
h
ort_rat::normalize
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
genfun: add
s
hort_rat con
s
t
ructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue
.
c
: e
v
alue_denom: i
m
prove comme
n
t
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin
:
Polyh
e
dron_n
o
t_empty: che
c
k r
e
s
ult return
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
laege
barvinok
.
c
c
: serie
s
: r
e
move equali
t
i
e
s usi
n
g Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verdoolaege
barvinok_
c
o
unt:
c
o
l
lect stats on number
o
f unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoola
e
ge
util
.
c: triangulate_cone: use b
i
gger r
a
ndom val
u
es
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoo
l
aege
sample
.
c
: Poly
h
edron_Rem
o
ve
F
ixedColu
m
n
s: copy
c
onstan
t
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
doolaege
b
e
r
nstein: pie
c
e
wise_lst::eval
u
ate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sve
n
Verdoolaege
con
f
igure
.
in: only add -lbernstein
t
o ba
r
v
i
nok
.
pc
if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
configure
.
in: rename --w
i
th-ginac
t
o --without-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolae
g
e
configure
.
in: allow build w
i
thout GiNaC
(a
n
d th
e
re
f
ore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven
Verdoolaeg
e
confi
g
ure
.
in: a
d
d -
l
bernstein to barvinok
.
pc if i
t
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Ver
d
oolaege
util
.
c: compress_variables:
correct check for sc
a
li
n
g
commit
|
commitdiff
|
tree
2006-11-09
Sven Ver
d
o
o
l
aege
util
.
c:
som
e
documenta
t
ion for com
p
ress_va
r
iables
commit
|
commitdiff
|
tree
2006-11-09
S
ven Verdoo
l
aege
ve
r
if_ehrhart
:
add --pri
n
t-a
l
l op
t
ion to replace
PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
v
en
V
erd
o
olaege
mat
_
util
:
make
a
rguments of
l
ex_cmp
c
onst
commit
|
commitdiff
|
tree
2006-11-09
S
v
en Verdoo
l
aege
add
A
UTHORS fil
e
commit
|
commitdiff
|
tree
2006-10-31
S
v
en V
e
r
d
oolaeg
e
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
Makefile
.
am:
m
a
ke s
u
re corre
c
t
fi
l
es a
r
e
inc
l
u
d
ed in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: men
t
ion res
t
riction
o
f barvinok_e
n
u
merate_scarf_ser
i
es
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaeg
e
d
oc
:
minimal documentation for t
h
e
lexmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstein/configure
.
in: set
AC_CONF
I
G
_
A
UX_DIR to bern
s
tein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc: document poly
t
o
pe_
s
a
m
ple
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
rdoolaege
doc: docum
e
nt polyhedron_samp
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
doc: include barvinok li
b
rar
y
v
e
rsion in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
configure
.
in
:
fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaeg
e
doc: bib: name Kevin
M
.
W
o
ods consistently
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
doc: document ext
r
a occ operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
ege
doc: up
d
ate
g
e
n_fun doc
u
mentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
doc: re
f
l
e
ct change of argu
m
ent type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
r
d
oolaege
doc: document barvinok_enumera
t
e_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
doc: add a
n
ot
h
er pap
e
r r
e
fe
r
ing
t
o b
a
rvino
k
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc: typos
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
V
e
rdoolaege
d
o
c: docu
m
en
t
bernstein da
t
a
s
tru
c
tures and function
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
bern
s
tein: piecewise_lst::simp
l
ify_domains: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
next