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
bfcounter.h: undefine divide from polylib's arithmetique.h
2006-08-26
S
ven Verdoola
e
ge
bfcounte
r
.
h
:
undefine divide from polylib's
arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
olaege
c
onfigu
r
e
.
i
n
:
no long
e
r comp
i
le sha
r
ed librar
i
es by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdoolaege
README: reflect that
-
-enable-fractional is n
o
w the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Ver
d
oolaege
l
exmin: remo
v
e
duplicate unfri
n
ge
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
Ver
d
o
o
laege
pol
y
t
o
p
e
_scan: optionally skip ba
s
is
redu
c
tion
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
doolaege
polytope_sc
a
n: scan in
reduce
d
basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
poly
t
ope_scan: scan
s
t
h
e integer points in
a
polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdo
o
laege
i
n
s
t
all NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verd
o
o
l
a
ege
basi
s
_reduc
t
ion
.
c:
c
lean up GLPK mem
o
ry
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verd
o
olaege
lexmi
n
.
cc:
d
on't bot
h
er transforming if
c
ompress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdool
a
ege
lexmin
.
cc
:
fix use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sample
.
c:
f
ix rem
o
ve
_
ray
commit
|
commitdiff
|
tree
2006-08-13
Sven
Ve
r
doolaege
barvinok_count: cl
e
a
n
up
m
e
mory aft
e
r
s
implifying cons
t
raints
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoo
l
aege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
aege
only perform
lexmin
t
e
sts when lexmin has
bee
n
compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
some more tests
with
u
nbou
n
ded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add so
m
e small t
e
s
ts for lexm
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: barf wh
e
n polyhedron cont
a
i
ns line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
le
x
min: don't print solution when ve
r
ifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Ve
r
d
o
olaege
veri
f
y
_
main
.
cc: cle
a
n up
m
emory
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
barvinok_seri
e
s:
h
andle fixe
d
po
l
yt
o
pes
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verd
o
o
l
aege
gen_
f
un: add constructor
f
o
r
ge
n
e
r
ating functi
o
n
with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
b
a
rvinok
.
cc: re
m
ove_more_equalitie
s
: handle eq
u
al
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
gen_fun::coefficient: reset the num
b
er of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
l
exmin
.
c
c
: use remo
v
e_
e
q
ualities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
util
.
c: compress_variables: e
x
tracted from lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Verdoolae
g
e
lexmin
:
don't check anything if
g
iven ran
g
e lies ou
t
si
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ve
r
doolaege
l
e
x
m
in
.
cc: remove_eq
u
alities
;
take prei
m
age with r
e
tu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ve
n
Verdoolaege
lexmin
.
c
c: remove_e
q
ua
l
iti
e
s:
ext
e
n
d
retu
r
ned m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_
d
omain: fix
t
ypo
commit
|
commitdiff
|
tree
2006-08-09
Sven
Ver
d
oolae
g
e
lexmin
.
cc: remove some debugging residu
e
s
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
e
g
e
red
u
ce_domain:
c
ompute
c
onv
e
x union of d
o
m
a
i
n
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
V
e
rdoolaeg
e
lexmin
.
c
c
: in_domain: also check other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lexmin: in
_
do
m
ain: set values if constrain
t
s
don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaeg
e
l
exmin: plug some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
oo
l
aege
lexmin
:
an experimental tool for comp
u
ti
n
g
t
he par
a
metr
i
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
v
en
Verdoolaege
add
f
ds
t
r
e
am
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
ola
e
ge
e
value
.
c: fl
o
or2frac_r:
pl
u
g
m
e
m
o
ry l
e
ak
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoo
l
aege
barvinok
.
cc: unfringe: work incrementally
commit
|
commitdiff
|
tree
2006-08-06
S
v
en Ver
d
oolaege
evalue_fra
c
2
floor_i
n
_domain: plu
g
memory
leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
dool
a
ege
Polyhedron_Sample:
allow equalities in
i
nput polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
P
o
lyhedron_Sam
p
le:
m
a
ke sure vertices are a
v
ailable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
P
olyhedron_Sample:
s
i
mp
l
ify const
r
aints after choosi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoo
l
a
ege
Poly
h
ed
r
on_Sampl
e
: handle empty
a
nd 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
sample
.
c:
a
lternat
i
ve implementation of remove
_
ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
s
a
mple
.
c: Poly
h
edr
o
n_RemoveFixe
d
Colu
m
ns: han
d
le presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
o
o
laege
barvin
o
k_count_f: check whether poly
h
e
dron is
u
nboun
d
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
barvinok
_
count: sim
p
lify constraint
s
after r
e
m
o
ving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
redu
c
ed
_
ba
s
is: support
1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
redu
c
ed_b
a
s
is: ensure
a
ll LP solutions a
r
e
non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaeg
e
occ: prin
t
parametric ver
t
ices of set
u
sing PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Ver
d
oolaege
occ: ad
d
interface to barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
v
en
V
erd
o
ol
a
ege
ut
i
l
.
c: p
r
ovide dummy barvinok_lexs
m
aller_ev w
h
en LexSmalle
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoola
e
ge
4coins: computes ge
n
erat
i
ng function f
o
r
4 coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaeg
e
gen_fun::Hadamard_prod
u
ct: app
l
y par
a
met
e
r compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fu
n
::substitute:
o
nly pass in transf
o
rm
a
tion matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Ver
d
oolaege
sc
a
rf
.
cc: support more cases
of 3 (inde
p
endent) cons
t
raints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
s
car
f
.
cc:
support mo
r
e
cases o
f
4 c
o
nstraint
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
ge
n
fun
.
cc: add gen_fun::divide m
e
tho
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc:
another gen
_
fun
:
:summa
t
e method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
infinite_icounter:
an i
n
crem
e
ntal counter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
ico
u
nter: move from bar
v
inok
.
cc to reducer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
a
e
g
e
b
fenumerat
o
r::set_factor
:
plug small me
m
ory leak
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoola
e
ge
b
a
r
v
inok_enumerate_
u
n
i
on_s
e
ries: use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
ol
a
ege
genfun
.
cc:
a
dd gen_fun::summate
m
eth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
doolaege
gen_fun::Hada
m
a
r
d
_pro
d
uct: optim
i
ze computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
ae
g
e
gen_fun:
:
Hadamard_product: make firs
t
a
r
gument c
o
nst
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ve
r
doolaege
polar_decom
p
oser::
d
ec
o
mpose: make s
u
re
v
ertice
s
have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoo
l
aege
np
_
base: add do_ve
r
tex_co
n
e method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
e
g
e
gen_fun::p
r
i
nt: allow printing to streams ot
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ver
d
o
olaeg
e
bf
c
ounter
.
cc: move some more code
from bar
v
inok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolae
g
e
gen_fun
.
h:
short_rat: use QQ instead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
erdoolaege
NTL_QQ
.
cc: a
r
ational NTL typ
e
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
v
e
r
i
fy_main
.
cc:
s
m
all memory
c
l
e
an-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
barv
i
nok_se
r
ies: move choice of which gf_base s
u
bclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
barv
i
n
o
k
.
c
c:
move so
m
e
function
a
lity in
t
o se
p
arate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdo
o
la
e
g
e
barvinok
.
c
c
: move Pol
y
hedron argument to start
m
ethod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bar
v
in
o
k
.
cc:
m
o
v
e s
t
art and h
a
ndle_p
o
lar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
gen_fun: add shift metho
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: add copy const
r
uctor
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
doolaege
zz2values: make first argu
m
ent const
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoolaeg
e
z
z
2value: make first argument const
commit
|
commitdiff
|
tree
2006-07-20
Sven
V
erdoolaege
Polyh
e
dron_is_infinite:
u
se Polyhedro
n
_Sample
i
f
a
v
ailable
.
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
V
erdoolaege
polyhedron
_
samp
l
e:
computes an
i
nteger vec
t
or in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verd
o
o
l
aege
c
onfi
g
ure
.
in: ch
e
ck for gl
p
k
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n Ver
d
oo
l
a
e
ge
scarf
.
cc: si
m
ple
x
::
s
hrunk_polyhedron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
e
r
doo
l
aege
gen_fun::add: p
e
rform
tr
i
vial r
e
duction step
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
genf
u
n
.
c
c
: reor
d
er terms in num
e
rator
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdoolaege
scarf
.
cc: normali
z
e
_
matr
i
x: simplif
y
n=
=
3 case
some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laege
scarf
.
c
c: suppor
t
some
c
a
ses of 4 con
s
t
r
a
i
nts
commit
|
commitdiff
|
tree
2006-07-13
S
v
en
Verdoolaege
barvinok_enu
m
erate_e: --print-all fo
r
prin
t
i
ng all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
carf
.
c
c
:
nor
m
alize_matrix:
s
i
m
p
l
ify n==
3
c
ase
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolae
g
e
scar
f
.
c
c
:
proje
c
t out 2 variabl
e
s using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n Verdoolaege
util
.
c: export Extende
d
_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven
V
erdoolaege
con
f
igure
.
i
n
:
m
ake --e
n
a
b
le-fracti
o
n
al
the
d
e
fault
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
barvin
o
k_coun
t
: chec
k
whether unbo
u
nded polyhedra a
c
tually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaeg
e
p
o
lymake/
c
onfigure
.
i
n: al
l
ow specification o
f
location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven V
e
rdoo
l
aege
red
u
ce_domain: declare variabl
e
a
t s
t
art of c
o
de block
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoolaege
remo
v
e_equ
a
li
t
ies: stop
re
m
o
v
i
n
f equalities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verd
o
olaege
barvinok_count
:
stop
c
ou
n
ting
if first facto
r
is empty
commit
|
commitdiff
|
tree
next