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
Sv
e
n Verd
o
olaege
barvin
o
k
.
cc:
remove_more_equalities: handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolaege
gen
_
fu
n
::co
e
f
fici
e
nt:
reset th
e
numb
e
r of
rows in
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
lexmin
.
cc: use rem
o
ve_equalities
c
o
n
sistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
uti
l
.
c: compress_va
r
iables:
ex
t
racted f
r
om lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin: don'
t
check anything
i
f giv
e
n range lies
o
ut
s
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
d
o
o
laege
l
exm
i
n
.
cc
:
remove_equali
t
i
es; take
preimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
.
cc: re
m
ov
e
_
e
qualities: exten
d
returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexm
i
n
.
cc
:
in_
d
omain
:
fix
typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
l
e
x
min
.
cc: r
e
move some d
e
bugg
i
ng r
e
s
i
dues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
laege
red
u
ce_domai
n
: com
p
ute c
o
n
v
e
x union of dom
a
in
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
r
doolaege
lexm
i
n
.
c
c: in_do
m
ain: also check other pa
r
t
s
o
f
union
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdool
a
e
ge
lexmin: in_do
m
ai
n
: set
values if con
s
traints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolae
g
e
lexmin: plug
some
memory
l
eaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
lexmin: an experimental to
o
l
f
o
r
compu
t
ing
the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
olaege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
Verdoo
l
aege
ev
a
lue
.
c: fl
o
or2frac_
r
: plug m
e
mory leak
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verd
o
olae
g
e
b
a
rvinok
.
cc: unfringe
:
wo
r
k
incr
e
mentally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaeg
e
evalue_frac2floo
r
_in_
d
o
main: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2006-08-03
S
ve
n
Verdoolaege
Poly
h
edro
n
_Sample: allow equali
t
ies in in
p
ut polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aeg
e
Polyhed
r
o
n
_
Sampl
e
:
m
a
k
e
s
ure vertic
e
s are
ava
i
lable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
r
doola
e
ge
Polyhedron
_
Sampl
e
: simplify constraints a
f
ter choosin
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
Polyhed
r
on_Sa
m
ple: handle empty an
d
0D
p
o
lyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
sa
m
ple
.
c:
alt
e
rnati
v
e implementatio
n
of remov
e
_ray
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdo
o
la
e
ge
sample
.
c: Polyhedron_
R
emov
e
FixedColumns: han
d
l
e
prese
n
ce
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
barvinok_count_f
:
c
h
ec
k
wheth
e
r polyhedron is
u
nbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verd
o
o
l
aege
barvinok_count: simpl
i
fy constraints after rem
o
ving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
rdoola
e
ge
reduced_basis: support 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
red
u
ced
_
b
a
s
is: ensure
a
l
l
L
P solutions are
non
-
n
egative
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Verdo
o
laege
occ: print
p
ar
a
m
e
tric vertices
of set
using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolae
g
e
occ: add interface
to bar
v
i
n
ok_lexsmaller_e
v
commit
|
commitdiff
|
tree
2006-08-01
Sven V
e
r
d
o
ola
e
ge
util
.
c:
p
rovide
d
u
mmy barvino
k
_lexsmaller_ev
wh
e
n LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdoolae
g
e
4coins:
c
omp
u
t
e
s generating function
f
or 4 coin
Frobeniu
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdoolaege
gen
_
fun::
H
a
d
am
a
rd
_
product: app
l
y parameter compress
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoolaege
ge
n
_f
u
n::sub
s
titute: only pass in
transformation matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Ve
r
doolaege
sc
a
rf
.
cc: su
p
port m
o
re c
a
s
es o
f
3 (in
d
e
pendent) constrain
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
scarf
.
cc: s
u
pp
o
rt more cases of 4 constraint
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoola
e
g
e
gen
f
un
.
cc:
a
dd gen_fun::divi
d
e
method
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdool
a
ege
genfu
n
.
cc: anoth
e
r
ge
n
_
fun::
s
umma
t
e
meth
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
er
d
oolaege
infinite_icoun
t
er
:
an incremental counter for pos
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olaege
icou
n
ter: move from barvinok
.
cc
t
o
reducer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n V
e
rdoo
l
aege
bfenumera
t
o
r::set_factor:
p
l
u
g
s
ma
l
l memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
b
arvinok_enumer
a
te_un
i
on_series:
u
se g
e
n_fun::summ
a
te
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
g
e
nf
u
n
.
cc: add gen_fun::sum
m
at
e
m
e
thod
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erd
o
olae
g
e
gen_fu
n
::Ha
d
amard_product
:
optimize computa
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ve
r
doolaege
g
en_fun
:
:Ha
d
amard_product: make first argu
m
e
nt const
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
polar_
d
ecomp
o
ser::decompose: make sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ver
d
oolaege
np
_
base
:
add
do_ver
t
e
x_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
rdool
a
ege
g
en_fu
n
::p
r
int:
a
llow printing to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfcounter
.
cc: move some mor
e
code from
barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n_fun
.
h
: sh
o
rt_rat: use QQ
instead of p
a
ir of ZZ
s
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
NTL_Q
Q
.
c
c: a ration
a
l NTL type
commit
|
commitdiff
|
tree
2006-07-26
S
ven V
e
rdoolaege
ver
i
fy_main
.
cc: small
m
emory clean-u
p
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdool
a
eg
e
barvin
o
k_series: mo
v
e choice of
w
hich gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoola
e
ge
barvinok
.
cc: move
s
ome functionality in
t
o separat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
barvinok
.
cc:
m
ove Polyh
e
dron ar
g
ume
n
t
t
o star
t
method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
barv
i
nok
.
cc: mov
e
start a
n
d handle_po
l
ar in
t
o np_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
gen_fun
:
add shift
m
e
t
h
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
d
oolaege
gen_fun
:
add copy co
n
structor
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
zz2values: mak
e
first argume
n
t const
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
d
oolae
g
e
zz2value: m
a
ke first a
r
gument const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyhedron_is_inf
i
nite:
use Polyhedron_Sample
i
f a
v
ailable
.
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n Verdoolaege
polyhedron_s
a
mpl
e
: com
p
utes an integer ve
c
tor in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdool
a
ege
c
o
n
figure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolae
g
e
sc
a
rf
.
cc: simplex
:
:shrunk_polyhedron: o
n
ly process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
ge
n
_
f
un::add:
p
erform trivial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
cc:
reor
d
er terms in numer
a
tor
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
scarf
.
cc
:
n
o
rm
a
li
z
e_matrix: si
m
p
lify n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolaege
sca
r
f
.
cc: s
u
pp
o
rt
some case
s
o
f 4 co
n
st
r
a
i
nts
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
V
erdoolaege
barv
i
nok_enumerate_e: --print-all f
o
r print
i
ng all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Ve
r
doo
l
ae
g
e
sca
r
f
.
cc: normalize_matrix: si
m
plify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Ver
d
oolaege
sca
r
f
.
cc: project
o
ut 2 varia
b
les using Sca
r
f
c
o
mplex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoolaege
util
.
c
:
export Extended_Eucli
d
commit
|
commitdiff
|
tree
2006-07-05
Sven
V
erdoo
l
aege
c
o
n
fi
g
ure
.
in: mak
e
-
-en
a
ble-fractional the defaul
t
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
b
a
rvinok_cou
n
t: check w
h
ether u
n
bo
u
nded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verd
o
olaege
polymake
/
co
n
figu
r
e
.
in: allow specification of
location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
r
e
d
uce_domain: declar
e
v
a
riable at start of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaeg
e
remove_equalities
:
stop remov
i
nf equal
i
ties if
i
nput
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdo
o
l
a
e
ge
ba
r
vinok_c
o
unt: stop counting i
f
first factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n Verdoolaege
barvinok_cou
n
t_f:
check fo
r
empti
n
ess of P (ag
a
i
n
)
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdoolaege
barvinok_count: tell PolyLib we are only intere
s
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
ver
s
ion
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
laege
README: document opt
i
onal installation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
d
o
c: document Omega i
n
ter
f
ace
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: (minimally) docume
n
t polym
a
ke cl
i
e
nts
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
doc: f
u
rther document barvin
o
k
_
ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
do
c
ument barvin
o
k_un
i
on
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
doc: document barvinok_
e
hrhart
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
doc: docu
m
ent some options
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Ve
r
doolaege
doc: a
d
d
reference f
o
r NTL
commit
|
commitdiff
|
tree
2006-06-21
S
ve
n
Verdoola
e
ge
doc: descr
i
be vertices
b
ased input
s
pec
i
fica
t
ion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
o
l
aege
doc: typ
o
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc
:
ad
d
s
u
b
s
ections
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdo
o
laege
u
se "git de
s
cri
b
e
" to
d
escribe ve
r
sion
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolae
g
e
add do
c
to
d
istribution
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
ge
do
c
: w
a
rn that the output may loo
k
di
f
ferent
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verd
o
olaege
d
o
c:
bar
v
inok_
c
o
unt no longer performs manual cou
n
ti
n
g
.
commit
|
commitdiff
|
tree
2006-06-21
S
v
en V
e
r
doolaege
do
c
: r
e
place "Appendix" by "S
e
c
t
ion"
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoo
l
aege
do
c
: reflect rena
m
e o
f
cdd2polylib
.
p
l
to latte2po
l
ylib
.
p
l
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
l
a
ege
d
oc: resol
v
e undefined references thr
o
ugh my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rd
o
olaege
doc: a
d
d
title pa
g
e
commit
|
commitdiff
|
tree
next