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 Verdoo
l
aeg
e
lex
m
in: disable
use of l
o
okup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvi
n
ok_enumerat
e
_
e
.
cc:
f
ix
a
rgp opti
o
ns parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laeg
e
options
.
c: move choice of use of lookup-table to bar
v
i
n
o
k
_
o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
e
ge
lattice_p
o
int
.
cc: fix #ifndef USE_MO
D
ULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
V
er
d
o
o
laege
decompos
e
r
.
cc: short_vector: r
e
move
r
edundan
t
code
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdo
o
laege
decomposer
.
cc: shor
t
_vector: negate lam
b
d
a
if z
is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
b
a
rvinok
.
cc: series:
o
nly require rays
t
o
be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
cc: serie
s
:
pass full options to barvin
o
k_count
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoolaege
np
_
b
ase::handle: pass around
r
ays matrix in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
dec
o
mposer
.
c
c: support
p
r
imal decom
p
osition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
c
c
: barv
i
nok_decompose: implement in
ter
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
barvin
o
k_enumerate: re
s
pect inc
r
emental_specia
l
ization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
introd
u
ce
signed_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ver
d
oolaege
s
e
parate
out decompos
i
tio
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
t
est:
u
se
a
rgp parser
commit
|
commitdiff
|
tree
2006-12-28
Sve
n
Verdoolaege
update argp from g
n
ul
i
b an
d
add progna
m
e module
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoolaege
barvinok
_
enumerate_e
.
cc: do
n
't exit on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
l
ib/argp
.
h: remove
_
_
NTH f
o
r
_
_argp_usa
g
e inline func
t
ion
commit
|
commitdiff
|
tree
2006-12-27
Sven Ver
d
o
olaege
barvinok_enumerate_e
.
cc
:
remove an
o
the
r
du
p
licate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoolaege
barvinok_
e
numerate_e: use
a
r
g
p
parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdool
a
ege
b
arvinok_count: use
a
rgp par
s
er
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
op
t
ions
.
c: ad
d
ar
g
p parse
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdool
a
ege
add argp
f
rom
g
nul
i
b
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdo
o
laeg
e
s
carf
.
cc: mak
e
compati
b
le
wit
h
older ver
s
ions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
oolaege
add m
i
ss
i
n
g a
s
sert
.
h
#include
s
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
M
a
kefile
.
am: add rem
o
ve_equaliti
e
s
.
h
to di
s
tribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doolaege
configure
.
in: only
c
on
f
ig
u
re
be
r
nstein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sv
e
n
V
erdo
o
laege
b
ernste
i
n: configure
.
in: ch
e
ck for Gi
N
aC
commit
|
commitdiff
|
tree
2006-12-19
Sv
e
n Ver
d
o
olaeg
e
b
e
rnstein: remove
extra qualifications from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven
V
erdo
o
laege
bernstein/s
r
c/ma
i
n
.
cpp
:
r
emove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Verdoolaege
short_rat::
n
ormalize
:
make power
s
in the denominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Verdoolaege
gen_fun:
:
sub
s
t
i
tute: normalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
laege
dpol
y
_
r
: st
o
re terms in
a
set rather th
a
n
i
n
a
vec
t
or
commit
|
commitdiff
|
tree
2006-12-18
S
ven Verdoola
e
g
e
gen_f
u
n: store ter
m
s
in
a s
e
t rather t
h
an
in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven
Ver
d
ool
a
ege
lexmin: allow emptiness c
h
eck thro
u
gh
c
ounting
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verd
o
olae
g
e
lexmin
.
c
c
: move constr
u
ction of subdomains
t
o
e
domain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edo
m
ain
.
cc:
move s
a
mple
c
o
m
putation completely to
E
Domai
n
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
lexmin
.
cc: partial_order::compar
e
: use su
b
st
i
tution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: indicator::combine: more ef
f
i
ci
e
nt way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n
Verdoolaege
l
exmin
.
cc: k
e
ep heads in partial order separate
commit
|
commitdiff
|
tree
2006-12-11
S
v
en V
e
rdoolaege
edo
m
ain
.
cc: EDomain::add_ge
_
constraint
:
simplify ne
w
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Ver
d
oolaege
lexmin
.
cc: par
t
i
al_order::comp
a
re: add cache
o
f
comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en V
e
rdoo
l
a
ege
l
e
xmin: make sure le set in partial orde
r
o
n
ly cont
a
ins
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
:
more sani
t
y checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
mxin: use stable orderi
n
g
of indicator
_
t
erms in
p
artial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verd
o
olaege
genfun
.
cc: move lex_cmp t
o
mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
ae
g
e
lexmin: indi
c
ator::combine:
directly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ver
d
oolaege
barvinok/polyli
b
.
h
:
separ
a
t
e
include of polylib header
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ver
d
oolaege
lexmin: optionally comput
e
sign o
f
affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
lexmin: optionally skip reduction of e
v
alues in doma
i
n
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
evalue_frac2floor
:
only mak
e
a
r
g
um
e
n
t
nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdo
o
l
a
ege
lexmin:
Po
l
yhed
r
on_not_
e
m
pty: be care
f
ul about e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lex
m
in: indi
c
ator_ter
m
::is_
o
pposite: a
s
sume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
r
d
oolaege
remove_all_equ
a
l
i
tie
s
:
ha
n
dle
compre
s
s_variables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
le
x
min:
opt
i
onally u
s
e c
d
d during basis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
P
o
lyh
e
dron
_
R
e
duced_Basis: optiona
l
ly use cdd
t
o
solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
con
f
igure
.
i
n
: chec
k
for cdd
l
ib
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ve
r
doolaege
lexmin: Poly
h
e
dron_not_empty: c
o
ntinue rem
o
ving equalities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lexmin: handle equ
a
lities among parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
remove_all
_
equalities: ignore
i
den
t
ity param
e
t
e
r
c
ompr
e
ssion
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
a
e
g
e
rem
o
ve_eq
u
a
lit
i
es
.
c: e
x
trac
t
ed from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
genfun:
ad
d
short_rat::norma
l
ize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
ol
a
ege
genfun
:
add
short_rat
con
s
tructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
eval
u
e
.
c:
evalue_denom: improve
comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolae
g
e
lexmin: Polyhe
d
ron
_
not
_
empty: check resul
t
returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
o
o
l
aege
barvinok
.
cc
:
serie
s
: re
m
o
ve equa
l
ities using Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
oola
e
g
e
barvinok_co
u
nt: col
l
ect stat
s
on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
util
.
c:
tr
i
angu
l
ate_con
e
: use
b
igge
r
random values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
sa
m
pl
e
.
c: Polyh
e
dro
n
_Remo
v
e
F
ixedColumns: copy constan
t
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdo
o
laege
b
e
rnstein: pi
e
cewis
e
_lst::evaluate: fix t
y
po
commit
|
commitdiff
|
tree
2006-12-06
Sven V
e
rd
o
olaege
configure
.
in: only add -lbernst
e
i
n
to
b
arvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
c
o
n
f
igure
.
i
n: rename --with-gi
n
ac to
-
-wit
h
out-bern
s
t
e
in
commit
|
commitdiff
|
tree
2006-11-10
Sven Ve
r
doo
l
aege
configu
r
e
.
in: allow bui
l
d with
o
ut
G
i
NaC (and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Ve
r
doolaege
con
f
igure
.
in
:
a
d
d -
l
bernstein to barvin
o
k
.
pc if
it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Verdoolaege
u
t
i
l
.
c: compres
s
_v
a
riab
l
es:
correc
t
check
for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
olaege
util
.
c: some documentation for com
p
re
s
s_vari
a
bles
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
ver
i
f_ehr
h
a
rt: add
--print-all option t
o
replace PRINT_
A
LL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
erdool
a
e
ge
mat_util: mak
e
argumen
t
s of
lex
_
cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
rdoo
l
aege
add A
U
THORS
file
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdo
o
laege
bump versio
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
eg
e
Makef
i
le
.
am:
make sure correct files are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
o
laege
d
o
c: mention re
s
tr
i
ction of barvinok_enumerate
_
sca
r
f_s
e
ri
e
s
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoola
e
g
e
doc: mini
m
al doc
u
menta
t
io
n
for the l
e
xmin
a
p
p
lic
a
tion
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
be
r
nst
e
in/
c
onfig
u
re
.
in: set AC_CON
F
IG_AUX_DIR to bernst
e
in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
do
c
: document
p
o
l
ytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: do
c
ument polyhedron_s
a
mple
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
include barv
i
nok lib
r
a
r
y version in
title
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n
Verdoolaeg
e
confi
g
u
r
e
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
: bib: name Ke
v
i
n
M
.
W
oods
c
o
n
sistent
l
y
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc: document
e
x
t
r
a oc
c
operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: update gen_fun doc
u
mentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
doc: reflect chan
g
e of argu
m
ent type of eadd
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdool
a
ege
doc: d
o
cu
m
ent barvi
n
ok_enumerate
_
s
c
a
rf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
e
ge
doc: add an
o
t
her
p
aper refering to ba
r
vinok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc:
typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
doc: document bern
s
t
ein data structures
a
nd functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
bernste
i
n: piec
e
wise_lst::si
m
plify_domains: add MaxR
a
ys
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoola
e
g
e
b
e
r
nstein: mak
e
poly
a
rgu
m
ent of bernsteinExp
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven
Verdo
o
lae
g
e
redu
c
er
.
h: only use
i
nfinite
_
icounter when dim=
=
1
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Ver
d
oolaege
d
oc: fi
x
typo
commit
|
commitdiff
|
tree
next