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.cc: remove_more_equalities: handle equalities only involving params
2006-08-10
Sven Verdoola
e
ge
barvinok
.
cc
:
remove_m
o
re_equalities: handle equal
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
ge
n
_fun::c
o
effic
i
ent:
r
eset the number of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
l
a
ege
lexmin
.
cc: use remov
e
_
e
qua
l
i
ties consisten
t
ly
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaege
util
.
c:
compress
_
variab
l
e
s
: e
x
tracted from lex
m
in
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
lexmin:
d
on't check anythin
g
if given range lies outs
i
de
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
ege
l
exmin
.
cc: remove_equalities;
t
ake
p
r
eimage
with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove_equa
l
ities: extend returned matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
ol
a
e
g
e
lex
m
in
.
cc:
i
n_d
o
main: fix
t
y
po
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
.
cc: re
m
ove s
o
me debugg
i
ng residues
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaege
reduce_
d
om
a
i
n
: c
o
mpute
c
onv
e
x union of domain
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verdoo
l
aege
lexmin
.
cc: in_domain:
also check other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdo
o
l
aege
lexmin
:
in_domain: set v
a
lues
if constrai
n
ts d
o
n
'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
le
x
min: plu
g
some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoo
l
aeg
e
lexmin: an e
x
perimental tool
f
or computing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
o
o
laege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaege
e
v
alue
.
c: f
l
oor2frac_r: plug memory
l
eak
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoo
l
aege
b
a
r
vino
k
.
cc: unfringe: work
i
ncremen
t
ally
commit
|
commitdiff
|
tree
2006-08-06
Sven
V
er
d
oolaege
evalue_frac
2
floo
r
_in_do
m
ain: plu
g
m
e
mor
y
leak
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
er
d
oolaege
Polyhedron_
S
a
mple: allow eq
u
alities i
n
i
nput poly
h
edr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
Pol
y
hedr
o
n
_Sample: make sure
v
ertices are a
v
aila
b
le
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sample: sim
p
lify c
o
nstrai
n
t
s
af
t
er choosin
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Ver
d
o
olaege
Polyhed
r
on_Sampl
e
: handle empt
y
a
n
d
0D poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
sam
p
le
.
c: alternat
i
ve imp
l
ementa
t
ion o
f
remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
sample
.
c:
P
olyhedron_R
e
moveFixedColum
n
s:
h
andle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
barvinok_co
u
nt
_
f
:
chec
k
whether polyhedron is unbou
n
d
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
barvinok_co
u
nt:
simplify
c
on
s
traint
s
aft
e
r remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaeg
e
reduced
_
basis
:
support 1D
po
l
ytopes
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
reduced
_
basis: en
s
ure a
l
l LP
so
l
u
tions are non-negativ
e
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
e
rdool
a
ege
oc
c
: print parametric
v
ertices
o
f set using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
occ: add interface to b
a
rvinok_lexsmalle
r
_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
util
.
c: pro
v
ide d
u
mmy bar
v
inok_lexsmaller_ev when LexSmall
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Ver
d
o
olaeg
e
4coins: computes
generat
i
ng functi
o
n for 4 coin Frobeni
u
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
d
o
olaege
gen_fun
:
:H
a
d
ama
r
d
_product
:
app
l
y
parameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoolaege
gen_f
u
n::substitute: onl
y
pass in t
r
ansformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
sc
a
rf
.
cc: support
more cases of 3 (independent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
o
o
laege
s
c
arf
.
c
c: support more cases of 4 const
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
genfun
.
cc: add gen_fun::divide
m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
S
ven
Verd
o
o
l
aege
genf
u
n
.
c
c
: another gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
e
g
e
inf
i
n
i
te_ico
u
n
t
e
r
: an increm
e
ntal counter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdo
o
laege
icounter: move fr
o
m barvinok
.
cc to red
u
c
er
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfenumerator
:
:se
t
_factor: plug small memory l
e
ak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barv
i
no
k
_
enumerate_uni
o
n
_
se
r
ies
:
use gen_fu
n
::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genf
u
n
.
cc: add g
e
n_fun::sum
m
ate method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoola
e
ge
gen_fun::Had
a
mard
_
prod
u
ct: op
t
imize co
m
p
utatio
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
gen_fun::Hadamard_product: mak
e
f
irst argument
c
onst
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
polar_decomposer::decompo
s
e: make sure vertices
ha
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_base: add
d
o_
v
ertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
g
e
n_fun::print: allow
p
r
i
nting
to
s
treams o
t
her t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfco
u
nter
.
c
c: m
o
ve s
o
me
more
c
ode
from barvino
k
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ver
d
oolaege
gen_fun
.
h: s
h
ort_rat
:
use QQ instead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ver
d
oolaege
NTL_QQ
.
cc: a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
verify_
m
ain
.
cc: smal
l
memor
y
c
lean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaeg
e
barvinok_serie
s
: mo
v
e c
h
oice of which gf_b
a
se subcl
a
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verd
o
olaege
barv
i
nok
.
cc: move some functionali
t
y
i
nto se
p
arate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolae
g
e
barvi
n
ok
.
cc: move Polyhedron argu
m
en
t
t
o start me
t
hod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdool
a
ege
bar
v
inok
.
cc: mo
v
e start and h
a
n
dle_polar into np_bas
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
do
o
laege
gen_fun: add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
gen_fun:
a
dd copy
c
o
n
structor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2values:
make
first argum
e
nt const
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
zz2value: mak
e
f
i
rst argument c
o
nst
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
P
o
lyhedron_is_infinite
:
use Polyhedron_Sample if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
V
erdoo
l
aege
pol
y
hedr
o
n_sample:
c
omputes an integer vector
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
ven Verdoolaege
confi
g
ure
.
in:
check
for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n
V
erdoolaeg
e
scarf
.
cc
:
sim
p
lex::shrunk_polyhedron: only pr
o
cess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolae
g
e
g
en_
f
un::add: perform trivia
l
re
d
ucti
o
n s
t
ep
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
cc:
r
eorder te
r
ms in
n
umerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
c
c: normalize_matrix: simplify
n=
=
3 cas
e
some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Ve
r
doolaege
scarf
.
cc: suppo
r
t s
o
me cases of 4 c
o
nstraints
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n Verdoolae
g
e
barvinok_enumerate_e: --print-all for printing
a
ll
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolae
g
e
scarf
.
cc: normalize_matrix: sim
p
lify n=
=
3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
cc: project
o
ut 2 variables using S
c
arf compl
e
x
commit
|
commitdiff
|
tree
2006-07-08
Sven
Ver
d
oolaege
util
.
c: e
x
port E
x
ten
d
ed_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven
Verdoolaege
c
onfigure
.
in:
m
ake --enable-fractional th
e
default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
o
laege
ba
r
vinok_count: c
h
eck
w
hether unbounded p
o
lyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
en V
e
r
doolaege
polyma
k
e
/configu
r
e
.
in
:
allow spe
c
i
ficat
i
on
o
f l
o
cati
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
Verdoolaeg
e
reduce_domai
n
:
d
eclare variable at start
of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
Ve
r
doolaege
re
m
o
v
e
_
equalities: stop removinf e
q
ualities if in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
b
a
rvinok_cou
n
t: stop
c
o
unting if fi
r
st factor is
empty
commit
|
commitdiff
|
tree
2006-06-28
S
ve
n
Verdoolae
g
e
b
a
rvinok_count_f: check
f
or
e
mpti
n
es
s
of P (a
g
a
i
n
)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
o
laege
barvino
k
_count: tell PolyLi
b
we are only interes
t
ed
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Ve
r
do
o
laege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oo
l
ae
g
e
REA
D
ME: do
c
ume
n
t option
a
l installat
i
on of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
doc: do
c
ument
Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoo
l
a
e
ge
doc: (mi
n
imally) document po
l
ymake
clients
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolae
g
e
doc: further doc
u
ment barvinok_eh
r
h
a
rt
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaeg
e
documen
t
barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rd
o
olaege
doc: document barvi
n
ok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolae
g
e
doc:
docume
n
t
some
opt
i
on
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
doc: add reference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoo
l
ae
g
e
doc:
descri
b
e v
e
r
t
ices b
a
sed input spec
i
fication
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
typo
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolae
g
e
d
o
c: ad
d
s
ubsections
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
use "gi
t
describ
e
" to de
s
cribe version
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Verdoolaege
add doc to d
i
s
t
r
ibution
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Verdoolae
g
e
doc: warn
t
hat t
h
e outpu
t
may look di
f
fe
r
e
nt
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
doc: barvinok_cou
n
t no longer perf
o
rms
m
anual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verd
o
olae
g
e
d
oc: repl
a
ce "A
p
pendix" b
y
"Section"
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n V
e
rdoolaege
doc:
r
e
f
lect ren
a
me of cdd2polylib
.
pl to latte2polyli
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
do
o
laege
d
oc: resolve und
e
fined refere
n
c
e
s thr
o
ugh my
t
h
es
i
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add
title page
commit
|
commitdiff
|
tree
next