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
lexmin: disable use of lookup-tables
2007-01-03
Sven V
e
rdoo
l
ae
g
e
lexmin:
dis
a
bl
e
use of lo
o
k
u
p-tables
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ve
r
doolae
g
e
ba
r
vinok_enumerate_e
.
cc
:
fix ar
g
p option
s
pars
e
r
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aeg
e
options
.
c:
move choice of use of l
o
okup-table t
o
barvi
n
ok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven
V
erdoolaeg
e
latti
c
e_point
.
cc:
fix #i
f
ndef USE_MODULO co
d
e
p
ath
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
cc: sh
o
rt_vect
o
r
:
re
m
ove redundant
c
ode
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ve
r
doolaege
d
ecomposer
.
c
c:
s
h
o
rt_vec
t
or: ne
g
ate la
m
bda if
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
b
a
rvi
n
ok
.
cc: series:
o
nly require
ra
y
s
to
be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ve
r
doola
e
ge
barvin
o
k
.
cc: series: pass fu
l
l option
s
t
o
ba
r
v
inok_
c
ou
n
t
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoola
e
ge
np_base::handle: pas
s
a
r
ound rays matrix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoo
l
aege
decomp
o
ser
.
cc: s
u
pport primal
d
e
composition
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rdoolaege
decomp
o
ser
.
cc: barvinok_decom
p
ose: implement in t
e
rms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
erdoolaeg
e
barvinok_enumera
t
e: respect incremental_specializa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
introduce signed_cone struct
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
separate out
decompos
i
ti
o
n
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
t
e
s
t: use argp par
s
er
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
u
p
date
a
rgp
f
ro
m
g
n
ulib and add progname m
o
dule
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n Verdoolaege
b
arvino
k
_enumer
a
te_e
.
cc: don't exit on un
r
e
co
g
n
iz
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoolae
g
e
lib/argp
.
h: remove __NTH for
__argp_usage inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven
Verdoo
l
aege
b
arv
i
nok_enumerate_e
.
cc:
r
e
m
ov
e
a
n
o
th
e
r
d
up
l
i
c
ate defini
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
en V
e
rdo
o
laege
b
ar
v
inok_enumerate_
e
:
u
s
e argp pars
e
r
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n
Verdoolaege
barvinok_
c
oun
t
: us
e
argp par
s
er
commit
|
commitdiff
|
tree
2006-12-26
S
v
en
V
e
r
doolaege
options
.
c: add argp pa
r
se
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doolaege
add arg
p
from g
n
ulib
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Ve
r
doolaege
s
carf
.
c
c
: make co
m
patible wit
h
older ve
r
sio
n
s
of
Pol
y
Lib
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
e
rdoolaege
a
d
d missing a
s
s
ert
.
h
#
i
ncludes
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoo
l
aege
Makefi
l
e
.
a
m
: add remove_equal
i
ties
.
h to
d
istribution
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoolaege
c
onfigure
.
in: only configure bernstein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
Ver
d
oolaege
ber
n
stein: configure
.
i
n
: che
c
k for Gi
N
aC
commit
|
commitdiff
|
tree
2006-12-19
Sven Ver
d
oolaege
ber
n
ste
i
n: remove extra qualificat
i
ons from polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdo
o
laeg
e
bernstein/src/main
.
cpp: re
m
o
v
e red
u
nda
n
t
i
nclude
commit
|
commitdiff
|
tree
2006-12-18
S
ven Verdool
a
ege
short_
r
at::normalize:
make
powe
r
s in
t
h
e
denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_f
u
n::sub
s
titute:
n
ormalize terms
commit
|
commitdiff
|
tree
2006-12-18
S
ven
Verdoolaege
dpoly_r: store terms in a set rather
than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoo
l
aege
g
e
n
_
fun: store terms in a set rather than in a
v
e
c
tor
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoolaege
l
e
xm
i
n: al
l
o
w
empti
n
es
s
check
through c
o
u
nting
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
lexmin
.
c
c
: move
constru
c
tion of s
u
b
d
omain
s
to edom
a
in
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edomain
.
cc: move sample com
p
utation c
o
mpletely
t
o
E
Domain
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolae
g
e
lexmin
.
cc:
part
i
al_order::comp
a
re: use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven
Ve
r
doolaege
lexmin
.
cc: indicator::comb
i
ne: m
o
re e
f
ficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
in
.
cc
:
kee
p
hea
d
s in pa
r
tia
l
o
rder separate
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
e
r
doo
l
aeg
e
edomain
.
cc: EDomain::add_ge_constraint:
s
implify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
c
c
: partial_
o
rder::com
p
are: add
c
ache of compari
s
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin:
m
ak
e
s
u
re
le set in partial order
o
n
ly contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
min:
m
ore sanity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
lemxin: use stable or
d
ering of indicator_terms in p
a
rt
i
al_o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdool
a
ege
g
e
nfun
.
c
c
: move lex_
c
mp to mat_util
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
min: indicator::combine: direc
t
ly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
Verdool
a
ege
barvinok/polyl
i
b
.
h
: sep
a
ra
t
e in
c
lude of polylib header
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: opt
i
onally compu
t
e
s
ign
o
f af
f
ine
f
unction
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
l
e
x
m
i
n: option
a
l
l
y
s
k
ip re
d
uction
o
f evalues in
domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
e
value_frac2floor:
only make argum
e
nt nonn
e
gati
v
e if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Polyhe
d
ron_not_empty: be careful about e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin:
i
ndicato
r
_term::is_opposi
t
e: as
s
ume n
u
mer
a
tors
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
r
e
move
_
a
ll
_
equali
t
ies: h
a
nd
l
e
c
ompre
s
s
_
variab
l
e
s
returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolae
g
e
lexmin: o
p
ti
o
nally use cdd du
r
ing basis redu
c
t
ion
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Polyhed
r
on_Reduce
d
_Basis: optionally use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
configure
.
in: check for
cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
lexmin: Polyhedron_
n
ot_empt
y
: continue removing
e
q
ualities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
lex
m
in: ha
n
dle equalities among parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
rem
o
v
e
_
all_equa
l
ities: ignore identity pa
r
ameter compressi
o
n
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remov
e
_equalities
.
c: ext
r
acted f
r
om
b
arvi
n
ok
.
c
c
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
g
enfun:
a
dd s
h
ort_
r
a
t
::n
o
rmalize
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verd
o
olae
g
e
genf
u
n:
add short_rat constr
u
cto
r
s
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
evalue
.
c:
evalue_denom: improve
comment
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
l
e
xmin: Polyhedron_not_
e
mpty: ch
e
ck
r
e
sult
r
e
t
ur
n
ed
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verd
o
olaege
b
a
rvinok
.
cc
:
ser
i
es: remove equaliti
e
s
usi
n
g Preima
g
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdoolae
g
e
barvinok_c
o
unt:
collect stats on number o
f
unimodu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ve
r
doola
e
g
e
util
.
c: trian
g
ulate
_
cone: use
bigger random values
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdoolaege
sample
.
c:
P
olyhedro
n
_Remov
e
FixedColu
m
ns: c
o
py constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
S
v
e
n Ve
r
doola
e
ge
be
r
nstein: piecewise_lst::evalu
a
te
:
fix
t
ypo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
c
o
nfigure
.
in: o
n
ly add -lbernstein to
b
arvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
c
o
nfigure
.
i
n: rename -
-
w
i
th-ginac to --without
-
b
er
n
stein
commit
|
commitdiff
|
tree
2006-11-10
S
v
en Ver
d
oo
l
aege
c
o
nf
i
g
ur
e
.
in: allow build without Gi
N
aC (a
n
d t
h
eref
o
re
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoola
e
ge
c
o
n
figure
.
i
n
: add -
l
bernstein to barvino
k
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
S
v
e
n V
e
rdoolaege
u
t
i
l
.
c
:
c
o
mpress_v
a
ri
a
bl
e
s: c
o
rrec
t
check
f
or scal
i
n
g
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdo
o
lae
g
e
util
.
c
: some documentation for compress_
v
ariabl
e
s
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
ve
r
if_ehrhart: add
-
-print
-
all
opt
i
on
to replace
P
RINT
_
ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
olaege
mat_ut
i
l: make argume
n
ts
of lex_
c
m
p
const
commit
|
commitdiff
|
tree
2006-11-09
S
ven Verdoolaege
ad
d
A
U
THORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bum
p
version
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n Verdool
a
ege
Make
f
i
l
e
.
am: make sure
c
or
r
ect files are incl
u
d
ed i
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoola
e
ge
doc: menti
o
n
r
e
strict
i
on o
f
barvinok
_
enu
m
erate_s
c
arf_series
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
Ve
r
do
o
laege
doc: minimal do
c
umentation for the lexmin appli
c
ati
o
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
bernstein/configure
.
in: set AC_CONFIG_AUX_DIR t
o
be
r
nstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: documen
t
polytope_
s
amp
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
l
a
ege
doc: document polyhedron
_
sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc: include barvinok
l
i
brary v
e
rsion in
t
itle
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
:
bib: n
a
m
e Kevin M
.
W
oods consistently
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdool
a
e
ge
doc: document extra occ oper
a
tions
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
doc: update gen_fun d
o
cumentation
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verd
o
olaege
do
c
:
reflect ch
a
nge
of
arg
u
m
e
n
t type of ea
d
d
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc: document barvinok_
e
numerate_s
c
arf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: a
d
d a
n
other pap
e
r re
f
ering to ba
r
vin
o
k
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
doc: typ
o
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: document bernstein dat
a
struct
u
res and fun
c
tion
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
bernst
e
in:
p
iecewise_lst::simplify
_
domains: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolae
g
e
bernste
i
n
:
make
p
oly
a
rgument of bernsteinExpansio
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoola
e
ge
reducer
.
h: only use infini
t
e_icount
e
r w
h
en dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdoolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
next