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
polytope_scan: scans the integer points in a polytope
2006-08-16
Sven Verdoolaege
polytope_scan: scans the in
t
eger points i
n
a pol
y
tope
commit
|
commitdiff
|
tree
2006-08-14
Sven Ver
d
oolaege
ins
t
all NTL_QQ
.
h he
a
d
er
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_red
u
ction
.
c: cl
e
a
n up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
d
oolaege
l
e
xmin
.
cc: don
'
t
bother transforming i
f
co
m
p
r
e
ss_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: fix u
s
e
o
f
c
ompre
s
s_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdo
o
lae
g
e
sa
m
p
l
e
.
c: fi
x
remov
e
_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
rdoolaege
barvin
o
k
_
count: clean
up memory after s
i
mplifying
c
ons
t
raints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
REA
D
ME:
u
pdate
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
on
l
y pe
r
fo
r
m lexmi
n
t
e
st
s
when lexmin has be
e
n
compile
d
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
s
ome more tests with unb
o
u
n
ded p
o
lyhedra
commit
|
commitdiff
|
tree
2006-08-12
S
ven
V
e
r
doola
e
ge
add
s
o
me
s
mall tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
do
o
laege
lexmin: ba
r
f when po
l
yhedro
n
contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lex
m
in: don't p
r
i
n
t s
o
lution when verifying
commit
|
commitdiff
|
tree
2006-08-11
S
v
en Ver
d
o
olae
g
e
verify
_
ma
i
n
.
cc
:
c
lean
u
p m
e
mory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
aege
bar
v
i
n
ok_series
:
handle fixe
d
p
olytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_f
u
n: add
constructor for gen
e
rating functi
o
n with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven V
e
r
d
ool
a
ege
bar
v
inok
.
cc: remove_more_equalities: hand
l
e equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun::
c
oe
f
fi
c
ient: r
e
set t
h
e
n
um
b
er of ro
w
s
in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
lexmin
.
cc: use rem
o
v
e_equ
a
lities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
d
oola
e
ge
util
.
c: compress_varia
b
l
es: ex
t
r
act
e
d from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
lexmin: don't
c
heck anythi
n
g i
f
given ran
g
e lie
s
outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin
.
cc: r
e
move_equalities; tak
e
preimage with re
t
u
r
n
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
lexmin
.
c
c
: remove_e
q
ualities: extend returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lexmin
.
cc: in_domain
:
fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
l
exmin
.
cc: remove some debugging
r
esidues
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoola
e
ge
reduce_domain: compute conve
x
un
i
on of domai
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in
_
d
omai
n
: also check other
parts
o
f un
i
on
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin:
in_doma
i
n: set values if constr
a
ints
d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
l
e
xmi
n
: plug some memory l
e
a
ks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoola
e
ge
lexmin
:
an exp
e
rimental tool for
c
omputing the parame
t
ric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaege
a
d
d fdstrea
m
commit
|
commitdiff
|
tree
2006-08-08
S
ven
V
e
rdoolaege
evalue
.
c: floor2frac_r: plug m
e
mory lea
k
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvi
n
ok
.
c
c
:
unfringe: work incremen
t
all
y
commit
|
commitdiff
|
tree
2006-08-06
Sve
n
Verdool
a
ege
evalu
e
_frac2flo
o
r
_in_do
m
ai
n
: plug memor
y
le
a
k
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
Polyhedron_Samp
l
e:
allow e
q
ualities in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoola
e
g
e
Polyhedron_Sample: mak
e
sure
v
ertices are
a
vailab
l
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
V
e
rd
o
olaege
Po
l
yhedron_Sample: simplify co
n
straints afte
r
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
Polyhedron_Samp
l
e
: han
d
le emp
t
y and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
sample
.
c: alternative implement
a
t
ion of rem
o
v
e_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
dool
a
ege
s
a
mple
.
c
:
Polyhedron_RemoveF
i
xedCo
l
u
m
n
s: handle pr
e
sence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
barv
i
n
o
k_count_f: check whether polyhedron is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
barvinok_count: simplify
c
onstraints af
t
er removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
reduced_basis: support 1D poly
t
o
p
es
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laeg
e
reduced_basis: ensure
a
l
l
LP solution
s
a
re no
n
-n
e
g
a
t
i
ve
commit
|
commitdiff
|
tree
2006-08-02
Sv
e
n Verdoolaege
occ: print parame
t
ric
v
ertices of
set
u
si
n
g PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven V
e
rdoolaege
occ: add inter
f
ace to ba
r
vinok_lexsmalle
r
_ev
commit
|
commitdiff
|
tree
2006-08-01
S
ve
n
Verdoo
l
aege
util
.
c: p
r
ovide dummy b
a
rvinok_lex
s
mal
l
er_ev
when Le
x
Smaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Verdoola
e
g
e
4
c
oi
n
s: computes generating func
t
ion
fo
r
4
coin Fro
b
enius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n
V
erdoolaege
ge
n
_fun::
H
adamard_
p
roduct: a
p
p
ly parameter
compressio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
gen_fun::subst
i
tute: only pass i
n
transformati
o
n
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaeg
e
scarf
.
cc: suppor
t
mo
r
e cases of 3 (ind
e
pende
n
t) constr
a
i
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
dool
a
ege
s
ca
r
f
.
c
c: supp
o
rt more cas
e
s
of
4
constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doola
e
ge
genfu
n
.
c
c
: add g
e
n_fun::div
i
de method
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdoolaege
genfun
.
cc: anot
h
er gen_fun::summate me
t
h
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
r
doolaege
in
f
inite_icounter: an
incremental co
u
nter for
p
ossib
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Verdoola
e
ge
icounter: move from barvinok
.
c
c
to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
bfenumerator::s
e
t
_fac
t
or:
p
l
ug sma
l
l memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
a
ege
barvinok_en
u
merate_union_series: use gen_
f
un::
s
ummat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
gen
f
un
.
c
c
: add
gen_fun::su
m
mate method
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolae
g
e
gen_
f
un::H
a
da
m
ard_pro
d
uct: opt
i
mize comp
u
tatio
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ver
d
oolaege
gen_
f
un::Hadamard_product
:
m
ake first argume
n
t const
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Ver
d
oo
l
aege
polar
_
deco
m
poser::d
e
compose: make sur
e
vertice
s
h
ave
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doo
l
ae
g
e
n
p
_ba
s
e: add do_ve
r
tex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
gen_fun::
p
r
i
n
t: allow p
r
inting
t
o streams
o
t
h
er t
h
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
bfco
u
n
t
e
r
.
cc: mov
e
some more code from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
oola
e
ge
ge
n
_fun
.
h: short_rat: use QQ in
s
t
e
a
d
of pair of ZZ
s
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoola
e
ge
NTL_QQ
.
cc: a ration
a
l NTL t
y
pe
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
ver
i
f
y_main
.
cc
:
small
memory
c
l
e
an
-
up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_series: move choice of which gf_base
s
ubclas
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven
Verdoo
l
aege
barvinok
.
c
c:
m
ove some func
t
ionali
t
y into s
e
parate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
barvinok
.
cc: m
o
ve Pol
y
hedron argument to
s
tart method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
olaege
bar
v
ino
k
.
c
c
: mov
e
start a
n
d handle_pol
a
r into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
V
e
rdoolaege
gen_fun: add s
h
ift m
e
thod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ge
n
_
fu
n
: add copy constructo
r
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
olaege
z
z2
v
al
u
es: make firs
t
a
r
gument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value:
m
ake first argument co
n
s
t
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolae
g
e
Polyhe
d
r
on_
i
s_infinite
:
use Polyhedron
_
Sampl
e
if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven
V
erdoolaege
polyhedron_
s
am
p
le: computes an in
t
eg
e
r v
e
ctor
i
n a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
V
e
rdoo
l
a
ege
c
onfi
g
ure
.
in:
check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: simplex::shrunk_polyhedron:
on
l
y process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun::add: perform trivia
l
red
u
ction ste
p
commit
|
commitdiff
|
tree
2006-07-13
S
ven V
e
r
doola
e
ge
genfun
.
cc: reo
r
de
r
terms
i
n
numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdoola
e
g
e
scarf
.
cc
:
norma
l
ize_m
a
t
ri
x
: simplify n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc:
support some
cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven
Ve
r
doolae
g
e
bar
v
inok
_
enu
m
erate_e: --print-all
for print
i
ng all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n Verdoolaege
sc
a
rf
.
cc: norm
a
lize_ma
t
rix: simplify n==3 c
a
se
commit
|
commitdiff
|
tree
2006-07-10
Sven
Verdoolaege
scarf
.
cc: proj
e
ct out 2 variables using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n Verdool
a
ege
util
.
c:
e
xport Extende
d
_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven V
e
rdo
o
laege
conf
i
gure
.
in: make --ena
b
le-fractional
t
he default
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n
Verd
o
olaege
barvi
n
o
k_co
u
nt: check whether unbounded polyhedra
actuall
y
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ve
r
d
o
o
laege
polymak
e
/co
n
f
igure
.
in: allow
s
pecification of locatio
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ver
d
oolaeg
e
r
e
duce_domain:
dec
l
are variable
a
t start of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolae
g
e
remov
e
_equalities: stop
re
m
ovinf equali
t
i
e
s if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
e
r
d
o
ol
a
ege
b
arvinok_count: stop counti
n
g
if first fac
t
or is empty
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n Ve
r
d
oolaeg
e
barv
i
nok_count_f:
chec
k
fo
r
emptines
s
o
f
P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doolaege
b
a
rvinok_count: tell P
o
l
y
Lib we are o
n
ly interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
V
erd
o
olaege
version 0
.
2
1
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
doolaege
R
E
ADME: document
option
a
l installat
i
on of Omeg
a
and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolae
g
e
doc:
d
ocument O
m
eg
a
interfac
e
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoolaege
doc: (minimal
l
y) documen
t
polymake cl
i
ents
commit
|
commitdiff
|
tree
next