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 some small tests for lexmin
2006-08-12
S
v
e
n V
e
rdoola
e
ge
add some s
m
al
l
t
e
sts f
o
r
lexmi
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: bar
f
when
p
olyhedron c
o
ntains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmi
n
: don't print s
o
lution when verify
i
ng
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
veri
f
y_main
.
cc
:
cle
a
n
up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
b
a
rvi
n
ok_series: handle fixed polytop
e
s
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
rdoolaege
gen_fun: add constru
c
t
o
r for generating fu
n
ction wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
er
d
oolaeg
e
ba
r
vinok
.
cc: remove_mo
r
e
_equalitie
s
: h
a
nd
l
e equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
rdoolaege
gen_fun::co
e
f
f
icient: reset the number of rows i
n
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
a
e
ge
le
x
min
.
c
c
: u
s
e remove_equal
i
ties consistently
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
V
erdoolaege
util
.
c: compress_
v
ariables:
extra
c
ted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
ege
lexmin: don't chec
k
anything if
g
iven range lies outs
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
le
x
min
.
cc
:
re
m
ov
e
_equali
t
ies
;
tak
e
p
rei
m
age w
i
th returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdool
a
ege
lex
m
in
.
cc: remove
_
eq
u
alities: extend retur
n
e
d
matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
la
e
ge
lexmi
n
.
cc: in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
lex
m
in
.
cc: rem
o
ve some debugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
red
u
ce_domain: compute conv
e
x
u
nio
n
o
f doma
i
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c
: in_domain: al
s
o check ot
h
e
r part
s
of unio
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lexmin: in
_
domain: set values i
f
con
s
t
raints don'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
min:
p
lug
s
ome
m
emory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
Verdoolaege
lex
m
in: a
n
experim
e
ntal too
l
f
or computing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoo
l
aege
a
d
d f
d
s
t
r
e
am
commit
|
commitdiff
|
tree
2006-08-08
S
v
e
n Verdoolae
g
e
e
v
alue
.
c:
f
loor2frac_
r
: plug memory
l
ea
k
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdoolaege
bar
v
inok
.
cc:
unfringe:
w
or
k
i
nc
r
e
mentally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
evalue_frac2f
l
oor_in_d
o
m
ain: plug
memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Verdoolaege
Polyhedron_Sam
p
le: all
o
w
equalities in input po
l
yhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
o
ly
h
edron_Sample: make
sure ver
t
ic
e
s are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
er
d
oo
l
aege
Pol
y
hedro
n
_Sa
m
ple: simp
l
ify constraints after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoo
l
aege
Polyhedron
_
S
a
mple: han
d
le empty and
0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
sample
.
c: alternative implemen
t
ation o
f
remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
s
ampl
e
.
c
: Polyh
e
dron_Rem
o
ve
F
ixedColumns: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n Verdoolae
g
e
barv
i
nok_count_f: check
whether p
o
lyhe
d
ron is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
barvinok_count:
s
implify co
n
straints a
f
ter removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_basis: support 1D polyt
o
pes
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
reduced_basis: ensure all LP solutio
n
s ar
e
non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Verdoolaege
o
c
c: p
r
int parame
t
ric ve
r
t
i
ces
o
f set usi
n
g PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
e
r
doolaege
occ: add interface
t
o ba
r
v
inok_
l
e
x
smaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
uti
l
.
c: provid
e
dummy b
a
r
v
i
nok_le
x
sma
l
ler_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: comput
e
s gen
e
rating function f
o
r 4 coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_f
u
n:
:
H
a
damard_product
:
apply
para
m
eter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoola
e
ge
gen_fun::substitute: only pass in transformatio
n
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
scarf
.
cc: support more cases of
3
(i
n
d
ependent) co
n
strain
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaeg
e
scarf
.
cc: su
p
port more cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
gen
f
u
n
.
cc: add gen_fun::di
v
i
d
e
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
ge
n
fun
.
cc: anothe
r
gen_fun::summat
e
method
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
i
nfi
n
ite_icounter: an incremental counter
f
or p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
e
n Verdoolae
g
e
icounter
:
move from barvinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
bfenumerator::set_fact
o
r
:
plug sm
a
l
l m
e
m
or
y
leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvino
k
_enumerate_union_series
:
use ge
n
_fun::sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdool
a
ege
genf
u
n
.
cc:
a
dd
g
en
_
fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoola
e
g
e
gen_fun::Hadamard_product: o
p
timize comput
a
tion o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_fun::Hadamard_prod
u
c
t
: mak
e
first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
laege
pola
r
_decompo
s
e
r
::d
e
compose: ma
k
e sure vertice
s
have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_base:
a
dd d
o
_vertex_cone me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
gen_fun::pr
i
nt: allow p
r
in
t
i
ng to streams ot
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ver
d
oo
l
aeg
e
bfcounter
.
cc: move some more co
d
e from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
g
en
_
fun
.
h
:
s
hort_rat
:
us
e
QQ instead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolae
g
e
NTL
_
QQ
.
cc: a ra
t
iona
l
NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
verify_main
.
cc: smal
l
memory
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
barvinok_s
e
ries: mo
v
e choice o
f
which gf_base subc
l
ass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc:
move some functiona
l
ity into
s
eparate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
ba
r
vinok
.
cc
:
move Po
l
yhed
r
on argument to
s
tart meth
o
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
arvi
n
o
k
.
cc: move start and
h
a
n
dle_polar into np_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
gen_fun: a
d
d shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
gen_fu
n
: add co
p
y construct
o
r
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
erdo
o
laege
z
z
2
v
alues: make first argu
m
e
n
t
const
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
z
z2v
a
lue: make f
i
rst arg
u
ment const
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n
Ve
r
do
o
laege
Polyhe
d
ron_is_in
f
i
nite:
use Polyhedro
n
_Sample if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven
Verdoolaege
polyhedron_sample
:
computes a
n
in
t
eg
e
r
vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdoolaege
co
n
figure
.
in: check for
g
lp
k
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Ve
r
doolaege
scarf
.
cc: simplex::
s
hru
n
k_polyhedron: only p
r
o
c
es
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Ver
d
ool
a
ege
gen_fun::a
d
d: p
e
rfor
m
tr
i
vial
reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
ege
genfun
.
cc: reo
r
der terms
i
n
n
u
merator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Ver
d
oolaege
scarf
.
c
c
: n
o
rmalize_matrix:
si
m
plify n==3 case so
m
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
V
erdool
a
ege
scar
f
.
cc: support som
e
c
ases of 4 co
n
s
t
r
a
in
t
s
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
bar
v
inok_enumerate_e: --print-al
l
for p
r
in
t
i
ng
all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laege
s
c
a
r
f
.
cc: n
o
rmali
z
e_matrix:
s
implify n==3 ca
s
e
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
s
carf
.
cc: project out 2 var
i
ables u
s
ing Sca
r
f complex
commit
|
commitdiff
|
tree
2006-07-08
S
v
en
Verdool
a
ege
util
.
c: export Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoo
l
a
e
ge
confi
g
ure
.
in: make -
-
enable
-
frac
t
ional t
h
e default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
barvinok_c
o
u
n
t: ch
e
ck whether unbounded polyhedra actual
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven V
e
r
d
o
o
l
aege
po
l
ymake/configure
.
in:
a
l
low spe
c
ificatio
n
of l
o
cation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ve
r
d
o
olaege
redu
c
e
_
domain: declare v
a
riable at s
t
art of cod
e
block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdo
o
la
e
ge
remove_equalities
:
stop removi
n
f equalities if i
n
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
bar
v
inok_count: st
o
p counting if first fact
o
r
is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
oo
l
a
e
g
e
b
arvino
k
_cou
n
t_f: check fo
r
emptiness
o
f
P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Verdoolaeg
e
barvi
n
ok_cou
n
t: tell PolyLib we a
r
e only
i
n
t
erested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
version
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
README: documen
t
option
a
l
in
s
tallation
o
f Omega
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdool
a
e
g
e
doc: document
O
mega interf
a
ce
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
doc:
(
min
i
mal
l
y) docume
n
t pol
y
make clien
t
s
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
V
erdoolaege
do
c
: further do
c
ument ba
r
vinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
d
ocument ba
r
vinok_un
i
on
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Verdo
o
laege
doc: docum
e
nt barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
oc: document som
e
opt
i
ons
commit
|
commitdiff
|
tree
2006-06-21
S
v
en
V
erdoolaege
d
oc: add r
e
f
er
e
nce
for
NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
o
c
: de
s
cribe
ver
t
ices based input specification
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: ty
p
o
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
doc: add subsections
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erd
o
olaege
u
s
e "g
i
t
d
escrib
e
"
t
o describe
v
ersion
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoo
l
a
e
ge
add
doc to
d
istribu
t
io
n
commit
|
commitdiff
|
tree
next