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
reduce_domain: compute convex union of domain
2006-08-09
Sven Verdoola
e
ge
reduce_domain: compu
t
e convex
u
n
i
on o
f
domain
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
d
o
olaege
lexmin
.
c
c
: i
n
_domain: also check o
t
her parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmin: in_domain: set value
s
if constr
a
ints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: plug some memo
r
y
l
ea
k
s
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
l
exmin:
a
n
e
x
p
e
rimental tool for
c
omputing the par
a
metric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoo
l
aege
ad
d
fd
s
tream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaeg
e
ev
a
lue
.
c: floor2frac_r: plug
m
em
o
r
y
l
e
ak
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoolaege
barvinok
.
c
c
:
u
nfringe: work incre
m
e
n
t
ally
commit
|
commitdiff
|
tree
2006-08-06
Sv
e
n Verd
o
olaege
evalue_frac2floor_in_domain: pl
u
g
m
emory
leak
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
P
o
lyhedron_Sample:
a
llow
e
qu
a
lities
in input
p
olyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
Verdool
a
e
g
e
P
o
lyhedron_Sample: m
a
ke s
u
re vert
i
ces
are a
v
ailable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
P
ol
y
he
d
ron_Samp
l
e: simplify
c
onstra
i
n
ts afte
r
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Pol
y
hedron_Sample: handle empty and
0
D polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
V
e
r
d
oola
e
g
e
sampl
e
.
c
: alternati
v
e implementatio
n
o
f
r
e
move_ray
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
Verdoolaeg
e
s
a
mple
.
c: Polyhedron_RemoveFixedColumns: han
d
le presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
barvinok
_
co
u
nt_f: che
c
k whether polyhedron is unboun
d
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aeg
e
barvinok_cou
n
t: si
m
plify
c
o
nstraints a
f
t
er remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_b
a
s
is: support 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoola
e
ge
reduced_basis
:
ensure all LP so
l
utions
a
re non-n
e
g
ative
commit
|
commitdiff
|
tree
2006-08-02
S
v
en
V
e
rdoolaege
occ: print paramet
r
ic
v
er
t
ices of set
u
sing PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
occ: add interf
a
ce to
b
arvinok_lexsm
a
ller_e
v
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
util
.
c
:
provide
dummy barvinok_lexs
m
aller_ev when Le
x
Smaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
r
d
ool
a
ege
4coins: co
m
p
ut
e
s gene
r
ating funct
i
o
n
f
o
r 4 coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
laege
g
e
n_fun::Hadamard_product: a
p
ply par
a
m
eter compres
s
io
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
e
n Ver
d
oo
l
aege
gen_fun::substitute:
o
nly pass in tra
n
sformat
i
on matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
s
c
arf
.
cc: supp
o
rt more
cases of 3 (
i
ndep
e
n
dent) c
o
nstraints
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
V
e
r
doolaege
scarf
.
cc
:
support m
o
re ca
s
es of 4
constraints
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n
Verdoola
e
g
e
g
e
nfu
n
.
cc: a
d
d ge
n
_f
u
n::divide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doolaege
g
en
f
un
.
cc: anoth
e
r gen_
f
un::summat
e
method
commit
|
commitdiff
|
tree
2006-07-27
S
v
en
V
erdoola
e
ge
infinite_icounter: an
i
ncrementa
l
count
e
r for
p
os
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
icounter: move from barvino
k
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfenumerator::set_factor: plug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
barv
i
nok_enumerate_union_series: use gen_fu
n
::su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
lae
g
e
gen
f
un
.
cc: add g
e
n_fun::summate met
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
e
rdoolaege
gen_fun:
:
Hadamard_product: optimize comp
u
tation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdo
o
la
e
ge
g
e
n
_
f
un::Hadamar
d
_product
:
make f
i
rst
a
rgume
n
t
cons
t
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdo
o
laege
polar_d
e
c
ompos
e
r
::
d
ecompos
e
:
m
ake sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ver
d
oolaeg
e
np_base: add do_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_
f
un::print: allow printi
n
g
to
streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdool
a
ege
bfcounte
r
.
cc: mov
e
some
mor
e
code
f
rom b
a
r
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun
.
h
:
short_ra
t
:
us
e
QQ ins
t
ead o
f
pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
NTL_QQ
.
cc
:
a
rat
i
onal
NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
verify_main
.
cc: small memory clean-u
p
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verd
o
olaege
b
arvinok_series: mo
v
e choice
o
f which gf_base sub
c
lass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
barvi
n
ok
.
cc: move some functio
n
a
l
i
ty into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc: move Polyhedron
argument to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
rdoolaeg
e
b
arvino
k
.
c
c
: move s
t
art and
h
andle_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n
_
fun: add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oola
e
g
e
gen_fun: add copy constructor
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
e
rdoolaege
zz2values: m
a
ke first argument con
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolae
g
e
zz2value:
m
ake firs
t
argument const
commit
|
commitdiff
|
tree
2006-07-20
S
v
en
Verdoolaege
Poly
h
edron_is_infinite
:
use Polyhedron_Sample if available
.
commit
|
commitdiff
|
tree
2006-07-20
S
ven Verdoolaege
poly
h
edron_samp
l
e: c
o
mputes an integer vect
o
r in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
Verdoo
l
aege
configur
e
.
i
n: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olae
g
e
scarf
.
cc: si
m
plex::shrunk_polyh
e
dro
n
:
only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoolaege
gen_fun::add: perform
tr
i
v
i
a
l r
e
duc
t
ion
s
t
e
p
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
g
enfun
.
c
c
:
r
e
or
d
er terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n V
e
r
d
ool
a
ege
scarf
.
cc
:
normalize
_
matrix: si
m
p
l
ify n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolae
g
e
scarf
.
cc: sup
p
ort some case
s
of 4
c
onst
r
aints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvinok_enumerate_e: --pr
i
nt-al
l
for pri
n
ti
n
g
all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n
V
erdool
a
e
g
e
s
c
arf
.
cc: n
o
rmal
i
ze_matrix:
s
impli
f
y n==
3
ca
s
e
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdo
o
laege
scarf
.
cc: project
o
ut 2 variables
u
s
ing Scarf comple
x
commit
|
commitdiff
|
tree
2006-07-08
Sven Ver
d
oolaege
util
.
c: export
E
xtended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven
Verdool
a
e
ge
configure
.
in: make --e
n
able-fra
c
tiona
l
the defaul
t
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
barvinok
_
count: check whethe
r
unbounde
d
polyh
e
dra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ver
d
o
o
laege
po
l
ymake/c
o
nfigure
.
in: allow specification
of locati
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
Verdoo
l
aege
reduce_domai
n
:
d
e
clare variable at s
t
art of
code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doolaege
remove_equal
i
ties:
stop removinf eq
u
a
liti
e
s if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
ba
r
vi
n
ok_coun
t
: stop counting i
f
fir
s
t factor is
empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaeg
e
barvin
o
k_co
u
n
t
_f
:
ch
e
c
k
for empt
i
ness of P (
a
gain)
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
oolaege
barvinok_count: tell PolyLib we are onl
y
interes
t
ed
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Ver
d
oo
l
aeg
e
v
e
rsion 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolaege
README:
d
ocu
m
ent optional install
a
ti
o
n
of
O
m
ega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoolaege
do
c
: document Ome
g
a in
t
erface
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
doolaege
doc: (minimally) document polymak
e
clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoola
e
ge
d
o
c
:
further docu
m
ent barvi
n
o
k
_eh
r
h
art
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
docum
e
n
t
barv
i
nok_un
i
on
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolae
g
e
doc: document bar
v
ino
k
_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdool
a
ege
doc: document
s
ome options
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
oc
:
add
re
f
er
e
nce fo
r
NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verd
o
olaege
doc: describe verti
c
es based
i
nput
s
pecific
a
tion
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oo
l
aege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add s
u
bsections
commit
|
commitdiff
|
tree
2006-06-21
S
ven
Verdoolaege
use
"git d
e
scribe" to describe
version
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoo
l
aeg
e
a
d
d
doc t
o
distribut
i
on
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoo
l
aege
doc
:
w
arn that
t
he
output m
a
y look
different
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
doc: barvi
n
ok_count no l
o
nger pe
r
for
m
s manua
l
cou
n
t
ing
.
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verd
o
o
l
ae
g
e
doc: repl
a
ce "Appendix" by "
S
ec
t
ion"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
d
o
c:
r
eflect
r
e
n
ame of cdd2polylib
.
pl to lat
t
e
2polyl
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
V
erdo
o
laeg
e
doc
:
res
o
lv
e
undefined references through my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdo
o
laege
d
oc: add title page
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoo
l
aege
doc: us
e
r
g
ui
d
e
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Verdoolaege
r
ename cdd2polylib
.
pl to latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Ver
d
o
o
laege
p
o
lymake/h_star_vector
.
c
c: cl
i
e
n
t to co
m
p
ute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verd
o
o
l
aege
polymake/convert
.
cc: extr
a
ct polymake_cons
t
raints
2
polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven
V
erdool
a
ege
util
.
c: export Cone_ove
r
_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sve
n
Verdoolaeg
e
barv
i
n
ok_ehrhar
t
: c
o
m
p
u
te ehrha
r
t (
q
uasi-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Verdoolaege
barvinok_coun
t
: al
l
ow poly
t
op
e
to be specified by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
S
v
en
Verdoo
l
a
e
g
e
genfun
.
cc: fix add_union
m
ethod
commit
|
commitdiff
|
tree
2006-06-13
Sv
e
n
V
e
rdoolaege
barvi
n
ok_
u
nion
:
optio
n
ally print generatin
g
f
unction
commit
|
commitdiff
|
tree
next