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
lattice_point.cc: fix #ifndef USE_MODULO code path
2007-01-03
Sven Verdoolaeg
e
latti
c
e_point
.
c
c: fix
#ifndef U
S
E_MODULO code
path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decom
p
oser
.
cc: short_vector: r
e
move redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
decomposer
.
c
c
: short_vector:
neg
a
te l
a
m
bda if z i
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
barvinok
.
cc: ser
i
e
s
: o
n
ly
requ
i
re
ray
s
to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
bar
v
ino
k
.
cc: series: pass
f
ull op
t
ions to
barvinok_coun
t
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoola
e
ge
n
p_ba
s
e::handle: pass around
ra
y
s matrix in
s
tead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
cc: support primal
d
ecomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolae
g
e
d
ecomposer
.
cc:
b
a
r
vinok_dec
o
mp
o
s
e
:
i
mplement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_e
n
umerate: respect increment
a
l_sp
e
cialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
intr
o
duce signed_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
o
o
laege
separate
out decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
e
rdoolaege
t
est:
u
se argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven
V
e
rdoolaege
update
argp from
g
nul
i
b
a
nd add pro
g
name module
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoola
e
g
e
b
arvin
o
k_enumerate_e
.
cc: don't exit
on un
r
ecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
l
ib/a
r
gp
.
h: remove __NTH fo
r
__argp_usa
g
e
i
nlin
e
function
commit
|
commitdiff
|
tree
2006-12-27
Sven Ver
d
ool
a
ege
barvinok_enume
r
a
te_e
.
cc: remove another dup
l
ica
t
e
definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en V
e
rdoolaege
barvinok_enu
m
erate_e: use argp
p
ar
s
er
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
arvinok_cou
n
t: use
argp parser
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
Ve
r
doolaege
options
.
c
:
add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
ad
d
argp from
gnulib
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n Ve
r
do
o
l
aege
scarf
.
cc:
m
ake compatible with o
l
d
er
v
ers
i
ons of
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
a
d
d missing
a
ssert
.
h #inc
l
u
d
e
s
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
ae
g
e
M
a
kefil
e
.
am: ad
d
remove_equal
i
ties
.
h
to distributi
o
n
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
a
ege
configure
.
in: only configure
b
erns
t
ein if GiNaC w
a
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sv
e
n Verdoolaege
b
e
rnst
e
in: conf
i
gure
.
i
n: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoola
e
g
e
b
e
rnstein:
remove
extra qualific
a
tions from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
bernste
i
n/
s
r
c
/main
.
c
pp
:
remove
r
edundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verd
o
o
l
aeg
e
s
h
o
r
t_rat::normalize: make po
w
ers in th
e
denomin
a
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Verdoolaege
gen_fu
n
::subs
t
itute: norm
a
lize t
e
rms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
dpoly_r: store
t
erms in a set
rath
e
r t
h
a
n
in
a
vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_f
u
n
:
s
t
ore terms
i
n
a set rather tha
n
in a
v
ec
t
or
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n
Verdoolaege
lexmin: allow emptiness che
c
k
thr
o
u
g
h
counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaeg
e
lexmin
.
cc: mov
e
constr
u
c
t
ion
of subdomains to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
ven
V
erdoo
l
aege
ed
o
m
a
in
.
cc: move sample computation
c
o
m
pl
e
tel
y
t
o
E
Domai
n
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
min
.
c
c
:
p
artial_order::compare: use subs
t
itution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verd
o
ol
a
e
g
e
l
e
xmin
.
cc: in
d
i
c
a
tor::combine: more efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
lex
m
i
n
.
cc: keep heads in p
a
r
t
ial orde
r
sep
a
r
a
te
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
ed
o
main
.
cc
:
E
Domain::add_ge_constra
i
nt
:
simp
l
ify
n
ew
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
V
erdoolaege
lexmin
.
c
c
:
partia
l
_order::compare
:
add cache of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: make sur
e
le set in partial order only co
n
tains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdool
a
ege
lex
m
i
n
:
m
o
re
s
anity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
o
laeg
e
lemxin
:
use
s
table ordering of
indicator_term
s
in part
i
al_
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven
V
erdoolaege
genfun
.
cc: mov
e
l
ex_cmp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaeg
e
lexmin: indicator::comb
i
ne: directly add some
known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
barvino
k
/po
l
ylib
.
h: separate include of po
l
ylib
h
eader
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erd
o
olaege
lexmin: optionally compute sign
o
f affine fu
n
ction
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
le
x
min: optional
l
y skip red
u
ct
i
on
o
f eva
l
u
e
s
in d
o
mains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue_frac2fl
o
or: only
m
a
k
e
a
rgument nonnega
t
ive if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
le
x
m
i
n
: Poly
h
ed
r
o
n
_
n
ot_empt
y
:
be careful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin:
i
ndicator_term::is_opposit
e
: assume n
u
merators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoola
e
ge
rem
o
ve_a
l
l_equalities: h
a
ndle compress_variables retur
n
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
Verdoolaege
lexmin
:
opt
i
o
nally use cdd during basis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdool
a
ege
Po
l
y
h
edro
n
_Reduc
e
d_Basis: optionally use cdd
t
o
solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaeg
e
conf
i
g
ur
e
.
in: check for c
d
dlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
lexmin: Poly
h
ed
r
o
n_n
o
t_
e
m
p
ty: conti
n
ue r
e
m
o
v
ing equalities
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
erdoolae
g
e
lexmin: handle equal
i
ti
e
s among parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
remove_all_
e
q
u
ali
t
ies: ig
n
o
r
e identity
p
ar
a
meter
co
m
pression
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
r
e
move_equalities
.
c: extracted from b
a
rvinok
.
c
c
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
ge
n
fu
n
: add
s
hor
t
_ra
t
::normali
z
e
commit
|
commitdiff
|
tree
2006-12-09
S
ven V
e
rdoolaege
genfun: add short_rat
constructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
e
value
.
c: evalue_denom: impro
v
e
comment
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ver
d
o
o
laege
lexmin:
P
oly
h
e
d
r
on_not_e
m
pty
:
check
r
esult return
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barvinok
.
cc: series:
remove equalities using P
r
eimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barvinok_c
o
unt: collect stats
o
n number of unimodu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaeg
e
util
.
c: triangulate_con
e
:
us
e
b
i
g
g
e
r
random values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verd
o
ol
a
ege
sample
.
c:
Polyhedron_
R
emoveFixedColum
n
s: copy constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verd
o
olaege
bernstein: piecewi
s
e_lst
:
:evaluate: fix t
y
po
commit
|
commitdiff
|
tree
2006-12-06
Sven Ver
d
ool
a
e
ge
con
f
igure
.
in:
o
nly add -lbernstein to barvi
n
ok
.
pc
i
f
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Ver
d
oolaege
c
o
nfigure
.
in: re
n
ame --with-
g
i
n
a
c
t
o
--withou
t
-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
configure
.
in
:
all
o
w bui
l
d
w
i
t
hout GiNaC (and therefo
r
e
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sv
e
n Ver
d
oolaege
configure
.
in: add -lbernstein to barvinok
.
pc
i
f i
t
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoolaege
util
.
c
: comp
r
ess_varia
b
l
e
s:
co
r
rect check for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
util
.
c:
some documentatio
n
f
or compress_var
i
ables
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
verif_ehrhart: add --p
r
int-all op
t
ion to r
e
place
P
RINT
_
ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
doo
l
ae
g
e
mat_u
t
il:
make argume
n
ts of
l
ex
_
c
mp c
o
ns
t
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
add AUTHORS f
i
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdo
o
laege
bu
m
p version
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoo
l
aeg
e
M
a
kefile
.
am: mak
e
s
u
r
e correct files are incl
u
ded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
do
c
: mention
r
e
s
tric
t
ion o
f
barvinok_enumerate_scarf_
s
e
r
ies
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: minimal do
c
u
ment
a
tion for the lexmin ap
p
lication
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
bernstein/confi
g
ur
e
.
in: set AC_CONF
I
G_AU
X
_DIR to ber
n
stein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
doc:
d
ocument polytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
doc:
d
oc
u
m
e
nt polyhedr
o
n_sam
p
le
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verd
o
olaege
do
c
: i
n
clu
d
e
barvinok l
i
brary vers
i
on in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
configure
.
in: fix
t
y
p
o
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verd
o
olae
g
e
doc: bib: name
K
e
vin M
.
W
o
ods
consistently
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: docu
m
e
nt
e
x
t
ra
o
cc
opera
t
ions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
doc: update
g
en_fun
d
ocume
n
tation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc: re
f
l
ect
c
hange of a
r
gum
e
nt type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdool
a
ege
doc: document ba
r
vi
n
ok
_
e
numerate
_
scarf
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
V
erdoolaege
doc: add another paper refering
t
o ba
r
vinok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: typ
o
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
doc
u
ment bernstein data structure
s
and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
b
ernstein: piecewise
_
lst:
:
simplify_do
m
ains: ad
d
M
a
xRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sv
e
n
Verdoolaege
ber
n
ste
i
n:
m
a
ke poly a
r
gum
e
nt of be
r
n
st
e
inExpan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven V
e
rdoolaege
reduc
e
r
.
h: only
u
s
e in
f
inite_icounte
r
whe
n
dim==
1
commit
|
commitdiff
|
tree
2006-10-28
Sven Verd
o
olaege
doc:
fix ty
p
o
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n V
e
rdoolaege
r
e
m
ove
a
few du
p
l
i
cate definiti
o
n
s
of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
u
t
il
.
c:
move duplicate
P
olyhedron_Re
a
d
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
ba
r
vino
k
.
cc: add _with_options version of barvinok_enumerate_e
commit
|
commitdiff
|
tree
next