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
add Param_Polyhedron_Scale_Integer prototype
2006-12-18
Sven Ve
r
d
o
olaege
s
h
ort_rat::norma
l
i
ze: mak
e
powers in
t
he d
e
nominat
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven
Ve
r
doolaege
gen_fun::substitute:
n
orm
a
lize terms
commit
|
commitdiff
|
tree
2006-12-18
S
ven
Verdoolaege
dpoly_
r
:
stor
e
terms in a set rather t
h
an in
a
v
e
c
t
or
commit
|
commitdiff
|
tree
2006-12-18
Sven
V
erdoolaege
ge
n
_fun: store te
r
ms in a set
r
ather
than in a
vector
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
rdoolaege
lexmin: allo
w
emptiness check thr
o
ugh c
o
unting
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdool
a
ege
lexmin
.
cc:
m
ove construction of su
b
domains to
e
domain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oo
l
a
e
ge
ed
o
m
a
in
.
c
c: move sa
m
ple co
m
putati
o
n completely to
EDo
m
ain
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
Verd
o
olaege
lexmin
.
cc: partial_order::compare: use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
l
exmin
.
c
c: indicator::combine: m
o
re
efficient
way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ver
d
ool
a
ege
lexmin
.
c
c
:
k
eep heads in partial o
r
der separate
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
la
e
ge
e
d
omain
.
cc: EDoma
i
n::add_
g
e_constraint: sim
p
lify
n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
r
d
ool
a
e
ge
lexmin
.
c
c: partial_orde
r
::
c
ompare:
ad
d
cache
o
f
compa
r
ison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rd
o
ola
e
ge
lexmin: make
sure l
e
s
et in partial
order onl
y
con
t
ains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: mo
r
e
sa
n
ity
c
hecks
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ve
r
doolaege
lemx
i
n
: use stable ordering of
i
ndicator_te
r
ms in parti
a
l_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
genfu
n
.
cc: m
o
ve le
x
_cmp to mat_
u
til
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
l
ae
g
e
lexmin: indicator::c
o
mbine:
d
irec
t
ly add some
k
n
own
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolae
g
e
ba
r
v
i
n
o
k/polyli
b
.
h: se
p
arate includ
e
of po
l
yli
b
head
e
r
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin:
op
t
i
onall
y
compute sign of a
f
fi
n
e
fu
n
ction
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
le
x
min: optional
l
y ski
p
r
e
ductio
n
of eval
u
e
s in dom
a
ins
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
eva
l
ue_
f
ra
c
2floor
:
o
n
ly mak
e
a
r
gumen
t
n
onnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
lexmin:
P
olyhedr
o
n
_
not_empty: be car
e
ful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doola
e
ge
lexmin: indicator_term::is_opposite: as
s
u
m
e numerat
o
rs
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_all
_
equalities:
h
andle compress_v
a
riables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oo
l
aege
lexmin: optionally use cdd during
basis redu
c
tion
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Po
l
yhedron_Reduced_
B
asi
s
: optionally
u
s
e cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
con
f
ig
u
r
e
.
in
:
check fo
r
cd
d
lib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Poly
h
edron_not_em
p
ty: continue r
e
mov
i
ng equaliti
e
s
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoo
l
aege
le
x
min: handl
e
e
qu
a
lities among pa
r
ameters
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdool
a
ege
remove_a
l
l
_
equ
a
l
i
ties
:
ignore
i
dentity parame
t
er co
m
pression
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
rdoolae
g
e
remove_equa
l
ities
.
c:
e
xtracted
from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
genfun: add
s
hort_rat::normali
z
e
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdoola
e
ge
genfun:
add short_rat constructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
evalue
.
c
:
evalue_de
n
om: im
p
rove
c
omment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Polyhe
d
ron_not_em
p
ty: check result returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barvinok
.
cc: seri
e
s: remove equ
a
lities using Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdoolaege
barvinok_count: collect stats on number of un
i
modular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
util
.
c: triangula
t
e_cone:
use
bigger random
v
alues
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdo
o
laege
sample
.
c: Pol
y
h
edron_Rem
o
veF
i
xedColumns: c
o
py con
s
tants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven V
e
r
doolaege
b
e
rnstein
:
p
iecewise_lst::evaluate: fix ty
p
o
commit
|
commitdiff
|
tree
2006-12-06
Sven V
e
rdoolaege
configure
.
in: on
l
y add -lbernstein to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdool
a
ege
configure
.
in: rename --with-ginac
t
o --
w
ithout-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven
V
erd
o
ol
a
ege
configure
.
in:
a
l
low b
u
i
ld w
i
thou
t
GiNaC (and t
h
erefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sv
e
n Verdoo
l
aege
config
u
re
.
i
n
:
a
dd -lbernstein to barvinok
.
pc if i
t
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
erdoolaege
util
.
c
: compress_variables: corre
c
t
check fo
r
sc
a
ling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdo
o
laege
util
.
c
:
some documentation for compress
_
varia
b
les
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
olaege
veri
f
_ehrhar
t
: ad
d
--print-all option to replace PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
m
a
t_util: make ar
g
uments of le
x
_cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdool
a
ege
add AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
bump versio
n
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
Makefil
e
.
am:
m
a
k
e sure c
o
rrect files are
i
n
cluded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Ve
r
doolaege
doc: mention restricti
o
n of barvinok_enumera
t
e_scarf_ser
i
es
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Ver
d
oola
e
ge
doc: minimal documentation fo
r
the lexmin
applica
t
ion
commit
|
commitdiff
|
tree
2006-10-31
S
ve
n
Ver
d
oo
l
aege
berns
t
ein/co
n
figure
.
in: s
e
t AC_CONFIG
_
AUX_DIR to
bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
do
c
:
document poly
t
ope_
s
amp
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
doc: d
o
cument
p
oly
h
edron_
s
ample
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erd
o
o
laege
doc:
incl
u
de barvinok library
v
ersion
i
n
title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
configure
.
in
:
fix
t
ypo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: bib: name
K
evin
M
.
W
o
ods consistently
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc: do
c
ument extra oc
c
ope
r
a
t
i
o
ns
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
update g
e
n_
f
u
n
d
ocumentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
reflect
change of
argum
e
nt type of
e
a
dd
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
V
e
r
doolaege
doc
:
documen
t
barvi
n
ok_enum
e
ra
t
e_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
r
doolaege
doc: add another
paper refering to bar
v
i
n
ok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc
:
ty
p
os
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
doc: doc
u
ment bernstein data str
u
ctures and
functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laeg
e
bernstein: piec
e
w
ise_ls
t
::simplify_dom
a
i
n
s
: ad
d
MaxRay
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sve
n
Verdoolae
g
e
ber
n
stein: m
a
k
e poly argumen
t
o
f bernstei
n
Expansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
v
en Verdoolaege
reducer
.
h: only use inf
i
nite_i
c
ounter when dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
r
emo
v
e a fe
w
du
p
lica
t
e
definit
i
o
n
s
of MAXRA
Y
S
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
util
.
c: m
o
ve
dup
l
ic
a
te Polyhed
r
on_Re
a
d
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoolaege
ba
r
vinok
.
cc: add _wit
h
_options version of barvinok_enum
e
rate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
evalue
.
c: remove include of config
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
versi
o
n
.
c: sh
o
w use of Om
e
ga, GLPK
and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdo
o
l
aege
v
ers
i
o
n
.
c:
m
ove b
a
rvinok_version from
uti
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdoolaege
doc
:
document Polyhedron_Redu
c
ed_Basis and Polyhedron_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoola
e
ge
e
xport Polyhed
r
o
n_Sample and P
o
l
yhedron_
R
educed_B
a
sis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laege
d
o
c: rename "usage" section to "app
l
icati
o
n
s
" section
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erd
o
olaege
ba
r
vinok_options: rename emptiness
_
chec
k
to lexmin_emptin
e
ss
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoo
l
aege
do
c
: document barv
i
nok_optio
n
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
scarf
.
cc:
expo
r
t
functions to lib
r
a
ry
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
scarf
.
cc:
use barvinok
_
o
ption
s
instead
o
f Max
R
ays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
laege
b
a
rvinok/barvi
n
ok
.
h: export _with
_
options versi
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
e
rdool
a
ege
b
a
r
v
inok_enu
m
e
r
ate_e
:
r
emov
e
d
i
rect in
c
lude
of po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
bern
s
te
i
n: minimal d
o
cumentat
i
on
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verdoolaege
README:
ber
n
stei
n
requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
S
v
en
Verdoola
e
ge
do
c
: ad
d
reference
to
bernstein te
c
hreport
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaeg
e
Merge
b
ranch 'bernstein
'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoola
e
ge
bernstein/
s
rc
/
TODO: remove; e
v
erything has bee
n
done
commit
|
commitdiff
|
tree
2006-10-10
S
v
en Verdoolaege
doc:
a
dd anoth
e
r publication that refers
to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-10
S
v
en V
e
rdoolaeg
e
LLL: use
reduc
t
ion p
a
ra
m
eter
1 by defa
u
lt
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoo
l
aege
decomposer
.
cc: sh
o
rt_
v
ector: allo
w
spe
c
ificat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n Verdoo
l
aeg
e
doc:
a
d
d so
m
e more publica
t
ions that
refer to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
e
v
alue
.
c
:
e
valu
e
_d
e
n
o
m:
decla
r
e v
a
riabl
e
a
t
start o
f
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolae
g
e
e
v
a
l
ue
.
c
:
export
e
v
alue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
sc
a
rf
.
cc
:
ha
n
dle case where four constrai
n
ts lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoo
l
aege
uti
l
.
c: compress_v
a
r
i
ables: declare variable at sta
r
t
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Ve
r
doolaege
e
v
alue
.
c
:
copy (and adapt) copyrig
h
t
statement from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdo
o
la
e
ge
doc: a
d
d
s
o
me references to publications
commit
|
commitdiff
|
tree
next