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
barvinok_enumerate: integrate verif_ehrhart
2007-01-05
Sven
V
e
r
do
o
laege
ba
r
v
inok_enumerat
e
: inte
g
rate verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoola
e
ge
ba
r
vi
n
o
k
_enum
e
rate: integrate barvinok_seri
e
s
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
rdoola
e
ge
barvinok_en
u
mera
t
e: use arg
p
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
d
oolaege
lexmin: make lex
m
in
o
pt
i
ons private
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Re
v
ert "bernst
e
in
/
config
u
re
.
in: remo
v
e redundant cha
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
barvinok
.
cc: m
a
ke use of sampling for
counting in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
barvinok_enumera
t
e_e
:
respe
c
t
--table
option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
le
x
min
.
cc: m
o
v
e
selection o
f
gbr
solver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: us
e
argp
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolaege
barvinok_e
n
umerate_e: e
x
tr
a
ct o
u
t
v
e
rification op
t
ions
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
er
d
o
o
l
aege
b
arvinok_enumerate_e: print warning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doolaege
b
ern
s
tein/con
f
igure
.
in: rem
o
v
e re
d
un
d
ant change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
barvinok/polyl
i
b
.
h
: define val
u
e_
s
u
btr
a
ct and value
_
addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolaege
decomposer
.
cc: decompose: micro-optim
i
zatio
n
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoolaege
signed_cone: st
o
r
e
rays
o
f
cone
commit
|
commitdiff
|
tree
2007-01-04
Haral
d
Dev
o
s
omega/pa
r
ser
.
y: remove brackets around ty
p
e
i
n ne
w
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
lexm
i
n: d
i
sab
l
e use of lookup-
t
a
bles
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
bar
v
inok_e
n
ume
r
ate_e
.
cc: fix
argp o
p
tion
s
p
arser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
options
.
c: move choice of use o
f
lookup-tabl
e
to barvinok
_
op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaeg
e
lat
t
ic
e
_po
i
nt
.
cc: fix
#
ifndef USE_MODULO cod
e
path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decompos
e
r
.
cc: short_vector: remove red
u
ndant code
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
decomposer
.
cc:
short_vector: negate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n V
e
rdoolaege
b
arvinok
.
cc: series: only require rays to be revl
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaeg
e
b
ar
v
i
nok
.
c
c
: s
e
ries: pass full opti
o
ns
t
o barvinok_
c
ount
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
np
_
b
ase
:
:handle
:
pass ar
o
und
rays
matrix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdool
a
ege
decomposer
.
cc: support
p
r
i
m
al decomp
o
sit
i
on
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
decomposer
.
cc: bar
v
inok_de
c
ompose: implement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
b
arvinok
_
e
n
umerate
:
respect in
c
remental_specializa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
introdu
c
e signe
d
_co
n
e struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
sepa
r
ate out decompositi
o
n
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verd
o
olaege
test: use ar
g
p
p
a
r
s
er
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdo
o
laege
up
d
ate
argp from gnulib and
a
d
d
progname mod
u
le
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
a
r
vinok_enumera
t
e_e
.
cc: don't
exit o
n
u
nrecogn
i
zed
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
Verdoolaege
lib
/
a
r
gp
.
h: remove __N
T
H for
__argp_
u
sage inl
i
ne function
commit
|
commitdiff
|
tree
2006-12-27
S
ven V
e
rdoolaege
barvinok_enumera
t
e_e
.
cc: remo
v
e anot
h
er dupl
i
cate
d
ef
i
nition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdo
o
lae
g
e
barvinok_enumera
t
e
_
e: u
s
e
argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaeg
e
b
a
rvin
o
k
_count: us
e
argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
opti
o
ns
.
c: add ar
g
p
parse
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
add argp f
r
om gnul
i
b
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Ver
d
oolaeg
e
scarf
.
cc
:
m
a
ke
c
o
mpatible wi
t
h old
e
r
version
s
of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
aege
add
m
issing assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Makefile
.
am: add remove_equalities
.
h to distr
i
bution
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoola
e
ge
configu
r
e
.
i
n
: only c
o
nfigure ber
n
st
e
in if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
S
ve
n
Ver
d
oolaege
b
e
r
n
stein: configure
.
in
:
che
c
k for
GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sve
n
Verdo
o
lae
g
e
bernstein: re
m
ove
e
xtra
qualifications from
p
olynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven V
e
rdoolaege
bernstein/src/
m
ain
.
cpp: remove
redundant include
commit
|
commitdiff
|
tree
2006-12-18
S
ven Verdoolaege
short_rat:
:
n
o
rmalize: make p
o
wers in th
e
deno
m
inat
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdool
a
ege
gen
_
fun::sub
s
t
it
u
te: n
o
rma
l
ize terms
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Verdoolaege
dpoly_r: store terms in a set rather than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoolae
g
e
gen_
f
un:
s
tor
e
terms in a set r
a
ther than
i
n a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
:
allow
e
mptine
s
s c
h
eck through
c
o
u
nti
n
g
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
xm
i
n
.
cc: move construction of subdom
a
in
s
to
edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edo
m
a
i
n
.
cc: move sam
p
le computation completely
to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoolaege
lexmin
.
c
c
: par
t
ial_o
r
der::c
o
mpare: use substit
u
tion
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
i
n
.
cc:
i
n
dicator::combine:
m
o
r
e effic
i
ent way o
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolae
g
e
l
e
xmin
.
c
c
: keep h
e
ad
s
i
n
partial order
se
p
arate
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
edomai
n
.
cc: EDomai
n
::add_ge_constraint: simpli
f
y new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
erdoola
e
ge
lexmin
.
c
c
:
p
a
rtial_order::compare: ad
d
ca
c
he
of com
p
arison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolae
g
e
l
e
x
m
in: make sure le set in pa
r
tial order only
c
on
t
ains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmin: more sanity checks
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
V
erdo
o
laege
lemxin: use
stable ordering of indicato
r
_terms i
n
partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
Verdoo
l
a
e
g
e
genfun
.
cc: move lex_cmp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
lexm
i
n: indic
a
t
o
r:
:
co
m
bine:
directl
y
a
d
d some k
n
own
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoo
l
aege
ba
r
vinok/pol
y
li
b
.
h: separate includ
e
of
polylib header
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Ver
d
oola
e
ge
lexmin: optionally
c
ompu
t
e
sign of
a
ffine func
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: optionally
s
k
ip reduction of evalues in doma
i
ns
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
evalue_frac2
f
loor: only make a
r
g
ument nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
g
e
lexmin: Pol
y
h
e
d
ron_not_e
m
pty:
b
e
care
f
ul about
empt
y
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
le
x
min: indicator_term::is_opp
o
site:
assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
remove_all_e
q
ualities: han
d
le compress_v
a
riable
s
r
etu
r
ning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
lexmin: optionally use cdd during
b
as
i
s re
d
uction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Polyhedron_Red
u
ced
_
B
a
sis
:
optionally us
e
c
d
d
to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
c
o
nfigure
.
in: check for cd
d
lib
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
lexmin: Polyh
e
dr
o
n_not
_
em
p
ty
:
continue
r
emoving
equalitie
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
l
a
ege
lexmin: handle equalities
amon
g
parameters
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
erdool
a
ege
r
emove_all_
e
q
ualitie
s
: ignore
i
den
t
ity parameter com
p
ressi
o
n
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n V
e
rdoolaege
remove_equalities
.
c: extrac
t
ed from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoola
e
ge
genfun: add short
_
rat::n
o
rmal
i
ze
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
gen
f
un:
a
dd sh
o
rt_r
a
t constru
c
to
r
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue
.
c: eval
u
e
_denom: improve
c
o
mment
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
lexmin: Polyhedron_not_empt
y
: check r
e
sult returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barvinok
.
cc: series: rem
o
ve equalities u
s
ing Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sve
n
Ve
r
doolaege
barvinok_count: col
l
ect
sta
t
s on
nu
m
ber of unimod
u
lar
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ve
r
doolaege
uti
l
.
c: trian
g
ulate_c
o
ne
:
u
se bi
g
ger r
a
n
d
om values
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rdoolaege
s
a
m
p
l
e
.
c: Polyhed
r
on_RemoveFixedCo
l
umns
:
copy constant
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
d
o
olaege
bern
s
t
e
in: piecewise_lst::e
v
alu
a
te: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolae
g
e
co
n
f
i
gure
.
in
:
o
n
ly add -lb
e
rnstein
to
barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sve
n
Verdoolae
g
e
configure
.
in: ren
a
me --with-ginac to
-
-without-berns
t
ein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdool
a
ege
c
onfigure
.
in: allow bu
i
ld without
G
iNaC (a
n
d t
h
erefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
configure
.
in:
add -lbe
r
n
ste
i
n t
o
barvinok
.
p
c if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
r
doolaege
util
.
c
: compr
e
ss_
v
ariabl
e
s: cor
r
e
c
t check for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
util
.
c: some documen
t
ation for compress_variables
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoolaege
verif_eh
r
hart
:
a
d
d -
-
pri
n
t
-
all o
p
tion t
o
replace PRI
N
T_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
rdoolaege
mat_util: make arguments of le
x
_cmp
c
on
s
t
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoolaege
add AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
bu
m
p vers
i
on
commit
|
commitdiff
|
tree
2006-10-31
S
v
e
n
V
erdool
a
ege
Ma
k
ef
i
le
.
am: make
sure
c
orrect
files are
i
n
c
luded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoo
l
aege
d
oc: m
e
ntion r
e
st
r
ict
i
on of b
a
rv
i
nok_enumerat
e
_
s
carf_series
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc
:
mi
n
imal documentation for the lexmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
bernst
e
in/configure
.
in:
s
et AC_CO
N
F
IG_AUX
_
DIR to
b
e
rnstein
.
.
.
commit
|
commitdiff
|
tree
next