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
Verdo
o
laege
barvinok
.
cc
:
r
e
m
o
ve_more_equa
l
i
ti
e
s
:
handle equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
ae
g
e
gen
_
fun::coeff
i
cient
:
reset
t
h
e
numb
e
r of
rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
lex
m
in
.
c
c: use remove_equalities
c
o
n
sisten
t
ly
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaeg
e
util
.
c:
c
ompre
s
s_vari
a
bl
e
s: extr
a
ct
e
d from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolae
g
e
lexmin: don't check
a
n
y
th
i
ng if given range lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
a
e
g
e
lexmin
.
cc
:
r
emove_equalities; take preimage
w
i
th returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ver
d
ool
a
ege
l
e
x
min
.
c
c: remove_e
q
ualities:
extend retu
r
ned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexm
i
n
.
cc: in_do
m
ain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
d
oolaege
lexmin
.
cc:
remove some de
b
u
gging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
reduce_dom
a
in: compute convex union of
domain
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Ve
r
doolaege
lexmin
.
cc:
in_domain: also check other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoola
e
ge
lexmin: in_
d
o
m
ain:
s
et
v
alues if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
lexm
i
n: plug some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
lexmin: an experimen
t
a
l tool fo
r
computing
t
he param
e
tric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoo
l
a
e
ge
a
d
d
f
ds
t
ream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdool
a
ege
evalue
.
c
: floor2frac_r: pl
u
g
memor
y
l
e
ak
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
doolaege
barvinok
.
c
c: unfringe: w
o
rk incremen
t
ally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoola
e
ge
evalue_frac2f
l
oor_in_domain: p
l
ug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdool
a
ege
Poly
h
e
dron_S
a
mple: allo
w
eq
u
alities
in
input polyhedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sample: make sure vertices are
a
v
a
ilable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
Polyhedron_Sample:
s
implify const
r
aints
after ch
o
o
s
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
P
o
l
y
he
d
ron_
S
a
m
p
le:
h
andle empty and 0D polyhed
r
a
commit
|
commitdiff
|
tree
2006-08-03
S
ven Ver
d
oolaege
s
ample
.
c: alt
e
rnat
i
ve
i
m
p
l
eme
n
tati
o
n
o
f remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
r
doola
e
ge
s
a
mple
.
c
:
Polyhedron
_
RemoveFi
x
edColumns: hand
l
e prese
n
ce
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
barvino
k
_
c
ount_f:
check
whether polyhedron i
s
u
nbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
barvinok_
c
ou
n
t: si
m
p
l
ify constrain
t
s after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
red
u
ced
_
basis:
s
upport 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
r
doolaege
r
ed
u
ced_bas
i
s
:
ensure a
l
l LP
s
olutions are non-nega
t
i
ve
commit
|
commitdiff
|
tree
2006-08-02
S
v
e
n Verdoolaege
occ: p
r
i
nt parametric vertices of set
u
sing PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Ver
d
oola
e
g
e
occ:
a
d
d interf
a
ce to barvi
n
ok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven
Verdoolae
g
e
u
til
.
c: provide dummy ba
r
vinok_le
x
smaller_ev when Lex
S
maller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: co
m
pu
t
es generating function for 4 coin
F
robe
n
iu
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verd
o
olaeg
e
ge
n
_
fu
n
::Hadamar
d
_p
r
oduct: a
p
ply param
e
ter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdoola
e
ge
gen_fun::substit
u
te:
only pass in t
r
a
n
sfor
m
ation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
V
e
rdoolaege
scarf
.
cc: suppor
t
more cases of 3 (in
d
ependent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
do
o
laege
scarf
.
cc: support
more cases of 4 cons
t
raints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoola
e
ge
genfun
.
c
c: add gen_fun:
:
d
ivide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc: another g
e
n_fun::summate m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
d
o
o
l
aege
i
n
finite_icounter: an incremental counter for possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
icounter: move from barv
i
nok
.
cc
to r
e
ducer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
bfenumerator::set_f
a
cto
r
: pl
u
g sm
a
ll m
e
mory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
barv
i
n
o
k
_en
u
merate_union_series:
u
se gen_f
u
n::s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verd
o
olaege
genfun
.
c
c: add gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_fun::Hadamard_pr
o
duct: optimize computatio
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun
:
:Hadamard_prod
u
ct: make f
i
rst argument co
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
a
e
ge
polar_decomp
o
ser::decompose
:
make sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
np_base: add do_vertex_cone
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
gen_fu
n
::print: allow
p
r
in
t
i
ng to streams
o
ther
t
han
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
b
fcounter
.
c
c
: m
o
v
e
some m
o
re
co
d
e from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
gen_fun
.
h: short
_
rat: use
QQ i
n
stead
o
f pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
NTL_QQ
.
cc:
a ratio
n
al NT
L
ty
p
e
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oo
l
aege
verify_main
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_ser
i
e
s: m
o
ve c
h
oice of
w
hich gf_
b
ase subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaeg
e
barvinok
.
cc
:
move some functionality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olaege
barvinok
.
cc:
move Polyhedron
argumen
t
t
o
start me
t
hod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolae
g
e
barvinok
.
cc: move start and handle_p
o
lar into np_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Ver
d
oolaege
gen_fun:
a
dd shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n_fun: add co
p
y
c
onstructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
lae
g
e
z
z2val
u
e
s
: make
f
i
r
st argumen
t
const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
z
z
2va
l
ue: make
f
i
r
st
a
rgument const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaeg
e
Polyhedron_is_infinite: use Poly
h
edron_Sample if av
a
ilable
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoo
l
aege
poly
h
edro
n
_sa
m
ple: compute
s
an integer vector
i
n
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven V
e
rdoolaege
configure
.
i
n
: ch
e
ck for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
carf
.
cc: simp
l
ex::s
h
run
k
_polyhedron
:
o
nly
process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolae
g
e
gen_fun::add: perf
o
rm
t
ri
v
ial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
e
r
doolae
g
e
genfun
.
c
c
:
reorder terms
i
n numerator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Ver
d
oolaege
scarf
.
c
c
: normalize_mat
r
ix
:
simpli
f
y n=
=
3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
aege
scarf
.
cc: support some
c
a
ses of
4 constraint
s
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laege
barvinok_enume
r
ate_e: --print-a
l
l for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
scar
f
.
cc: n
o
rmal
i
ze
_
matrix: simpl
i
fy
n
==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
s
c
ar
f
.
cc: project ou
t
2
v
ariables us
i
ng Scarf compl
e
x
commit
|
commitdiff
|
tree
2006-07-08
S
ve
n
Ve
r
do
o
laege
util
.
c
:
export Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
S
ve
n
Verdool
a
ege
con
f
i
g
ure
.
in: make
--
e
nable-
f
ractio
n
al the default
commit
|
commitdiff
|
tree
2006-06-29
Sven V
e
rdoolaege
ba
r
vi
n
ok_count:
check
w
hether unb
o
unded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaeg
e
polym
a
ke/config
u
r
e
.
in:
allow specification of
locati
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoola
e
g
e
r
e
du
c
e_domain
:
declar
e
var
i
able at s
t
art of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rdoolaeg
e
remove_equa
l
ities: stop removin
f
equali
t
i
e
s if
input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
o
o
l
a
ege
barvin
o
k_count
:
stop
counting if first fac
t
or is e
m
pty
commit
|
commitdiff
|
tree
2006-06-28
Sven
Ve
r
do
o
laege
b
a
rvinok_coun
t
_f: check fo
r
emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdo
o
laege
barvinok_c
o
un
t
:
tell
PolyLib w
e
are
only interest
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
la
e
ge
version
0
.
2
1
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
R
EADM
E
: document opti
o
nal installati
o
n of
O
mega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verd
o
olaege
doc: document O
m
ega interface
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdool
a
ege
doc:
(min
i
mally) docum
e
n
t polymake cl
i
ents
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
doc: fu
r
the
r
d
o
cu
m
ent barvinok_e
h
r
h
art
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
e
r
doolaege
doc
u
ment ba
r
vinok_uni
o
n
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoo
l
aege
d
oc: doc
u
men
t
b
a
rvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoola
e
ge
doc: document some option
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
o
o
laeg
e
d
o
c:
a
dd re
f
erence for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc: describe vertices based input spe
c
ification
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
doc: add sub
s
ections
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
V
erdoolaege
use
"gi
t
describe" to d
e
scribe version
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oola
e
ge
add doc to distr
i
b
ution
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
e
rdoolaege
d
o
c: warn t
h
at the output may l
o
o
k
di
f
f
e
rent
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
l
a
ege
doc: barvinok_
c
oun
t
no lo
n
g
e
r
performs m
a
nual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: re
p
lace "Appendix" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
doc: reflect re
n
ame
of
cdd
2
polylib
.
pl to la
t
te2
p
olylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolae
g
e
doc:
resolve undefined ref
e
r
e
n
ces throu
g
h m
y
thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
a
dd title
page
commit
|
commitdiff
|
tree
next