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
gen_fun: add constructor for generating function with no variables
2006-08-10
Sven Verdoolaeg
e
gen_
f
u
n
:
add
c
o
n
structor for generating func
t
ion with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoolaeg
e
barvinok
.
cc: remove_more_equa
l
it
i
es: han
d
le equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven V
e
rdo
o
laege
gen_fun::coeffici
e
nt: re
s
et the number of row
s
in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaege
l
e
xmi
n
.
cc: us
e
remove_equaliti
e
s
consi
s
tentl
y
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaege
util
.
c: compress_variables
:
e
x
tracted from lexmi
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lexmin: don't check any
t
hin
g
if given range lies outsi
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
lexm
i
n
.
cc: remove
_
e
q
u
a
li
t
ies; t
a
k
e p
r
e
im
a
ge wi
t
h
returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
ege
l
exm
i
n
.
cc:
remov
e
_equa
l
i
ties: e
x
tend ret
u
rned ma
t
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lexm
i
n
.
cc: in_
d
o
m
ain: fix typ
o
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
g
e
lexmin
.
cc: remove som
e
debu
g
ging resi
d
ues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
redu
c
e_domai
n
:
compute convex union of
d
omain
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
lex
m
in
.
cc: i
n
_domai
n
: a
l
so che
c
k oth
e
r parts
o
f
union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aeg
e
lexmin: in_domain: se
t
v
a
l
ues if constraint
s
don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaege
lexmin
:
p
l
ug some memo
r
y leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
lex
m
in: an
e
x
peri
m
e
ntal tool fo
r
comp
u
t
in
g
the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
o
o
laege
a
dd
fd
s
t
ream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
olaege
evalue
.
c
:
floor2frac_r: plu
g
memo
r
y leak
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoo
l
aege
barvi
n
o
k
.
cc:
u
nfringe: work increm
e
ntally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
evalue_f
r
ac2fl
o
or_in
_
domain: pl
u
g memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
Polyhedron_Sample: allow equalities in
i
nput polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolae
g
e
P
o
lyhedron_Sample: make sur
e
vertices a
r
e
avai
l
ab
l
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
V
erdo
o
laege
Polyhedron_Sample: s
i
mplify con
s
train
t
s
a
fter choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_S
a
m
p
l
e: handl
e
empty and 0
D
polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-03
S
ven Ve
r
doolaege
samp
l
e
.
c:
a
lternative
imple
m
entatio
n
of remove
_
ra
y
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaeg
e
sample
.
c: Polyhe
d
ron_RemoveFixe
d
Columns: handl
e
presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
barvinok_count_f: ch
e
ck whether
p
o
l
y
hedro
n
is unbo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
b
ar
v
inok_count: simplify
c
o
n
straints a
f
ter removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaeg
e
reduced_basis: su
p
port 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
red
u
ced
_
bas
i
s: ensur
e
all
LP
s
o
l
utions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolae
g
e
occ: p
r
int parametr
i
c
v
ertices o
f
set u
s
ing P
o
lyL
i
b
commit
|
commitdiff
|
tree
2006-08-01
Sven Ve
r
doo
l
a
e
ge
occ: add interface to barvinok_lexsmaller
_
ev
commit
|
commitdiff
|
tree
2006-08-01
S
ven Verdoolaege
util
.
c: provid
e
dummy barvinok_l
e
xsmaller_ev when LexSma
l
ler
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdoolaege
4coins: com
p
ut
e
s gener
a
ting function
f
or 4 coin F
r
obenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
ge
n
_fun::Hadamard_product: ap
p
ly
p
ara
m
et
e
r compressio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doola
e
ge
g
e
n_fun::subst
i
tute: onl
y
pass
i
n t
r
ansfo
r
mation mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdoolaege
scarf
.
cc:
s
uppo
r
t
more
cases
o
f
3 (independen
t
) const
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
r
do
o
laege
sca
r
f
.
cc: support mo
r
e cases o
f
4
constraints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
genfun
.
cc: add
gen_fun::divide
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olaeg
e
genfun
.
c
c: a
n
othe
r
g
e
n_fu
n
:
:
summate method
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Ver
d
oolaege
infinite_ic
o
unt
e
r:
an inc
r
ement
a
l counter
f
or p
o
ssi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdoolaege
i
count
e
r: move fr
o
m
b
arv
i
no
k
.
cc to r
e
d
ucer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
bfenumerator::set_
f
a
ctor: plug small mem
o
r
y l
e
ak
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oola
e
g
e
barvinok_enumer
a
te_union_series: use
gen_f
u
n::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
genfun
.
cc: add gen_fun::su
m
ma
t
e
method
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaeg
e
gen_fun::Hadama
r
d
_
product: optimiz
e
computa
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_fun::Hadam
a
rd_product:
m
a
k
e fir
s
t argument const
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
doolaege
polar_decomposer
:
:dec
o
mpose: make su
r
e verti
c
es
h
ave
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoola
e
g
e
n
p_base: add do_ve
r
tex
_
co
n
e method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
g
en_fun::print: allow printing to stream
s
other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
V
er
d
o
o
laeg
e
bfcounte
r
.
cc: move
some more
code from barv
i
nok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_fun
.
h: sho
r
t
_
rat: use QQ i
n
s
t
e
ad of pai
r
of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
o
olaege
NT
L
_
Q
Q
.
cc: a rati
o
nal NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
verify_ma
i
n
.
cc: sm
a
ll memory cl
e
an-up
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoola
e
ge
b
a
rvinok_seri
e
s: move choice of wh
i
ch
g
f_base subc
l
a
ss
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bar
v
i
n
ok
.
cc
:
move some functionality into
separat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verd
o
olaege
barvinok
.
c
c
:
move Po
l
yhedron argu
m
ent to start
m
ethod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdool
a
ege
barvinok
.
cc
:
move start and handl
e
_polar int
o
np_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
erdo
o
laege
g
e
n_fun:
add
s
hif
t
me
t
ho
d
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
v
en
V
erdoolaege
zz2
v
al
u
es: make
first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value: mak
e
first argu
m
ent con
s
t
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdool
a
e
ge
P
oly
h
edro
n
_is_infinite: use Polyhedron
_
Sample if available
.
commit
|
commitdiff
|
tree
2006-07-20
S
ven Ve
r
do
o
laege
poly
h
edron_sample: computes a
n
integer vect
o
r
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Ve
r
doolaege
con
f
igure
.
i
n: check for g
l
pk
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaege
s
c
arf
.
cc: simplex::s
h
runk_polyhedron: only
p
rocess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolaege
gen_fun::
a
dd:
p
e
r
form t
r
i
vial
reduction st
e
p
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdool
a
ege
g
en
f
un
.
cc: reord
e
r term
s
in nume
r
ator
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
V
e
rdoolaege
sca
r
f
.
cc: normalize_matrix: simplify
n
==3
c
ase so
m
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoo
l
aege
scarf
.
cc:
sup
p
ort some ca
s
es of
4
con
s
tra
i
nts
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdo
o
la
e
g
e
barvinok_enu
m
e
r
ate_e
:
--pr
i
nt-all
f
o
r
printi
n
g
a
ll
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoola
e
ge
sca
r
f
.
cc: no
r
malize_matrix: simpli
f
y n==
3
case
commit
|
commitdiff
|
tree
2006-07-10
Sv
e
n Verdoolaege
scar
f
.
cc: proj
e
ct
o
ut 2
variables using Scarf c
o
mpl
e
x
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n
Verdoolaeg
e
ut
i
l
.
c
:
exp
o
rt
E
xtended_
E
u
c
li
d
commit
|
commitdiff
|
tree
2006-07-05
Sven
V
erdoola
e
ge
con
f
i
gure
.
in:
m
ake --enab
l
e-
f
ract
i
onal th
e
defau
l
t
commit
|
commitdiff
|
tree
2006-06-29
S
ven
Verdoo
l
aege
barvinok_count:
c
heck whethe
r
unbounded po
l
yhedra act
u
ally
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n
V
erdo
o
laeg
e
polymake/configure
.
i
n: allow spe
c
ifica
t
ion of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
Verdoo
l
aeg
e
reduce
_
dom
a
in: d
e
cla
r
e variable a
t
start of c
o
de block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
remove_eq
u
al
i
ties: stop
r
emovi
n
f equalit
i
es if inpu
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdoolaege
barvin
o
k_co
u
nt: stop c
o
unting if
first factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Ve
r
doolaege
barvi
n
ok_count_f: chec
k
for emptiness of
P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvi
n
ok_count: tell PolyLi
b
we are only intere
s
ted
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Ve
r
doolaege
version
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
doola
e
g
e
READ
M
E: d
o
cu
m
e
n
t optional installa
t
ion
o
f Omega
an
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
do
c
: documen
t
Omega
interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
l
a
eg
e
d
oc: (m
i
nimally) doc
u
ment polymake
client
s
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Ve
r
d
oolaege
doc: fur
t
her do
c
u
men
t
barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolaege
d
o
cum
e
nt barvi
n
ok_union
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolae
g
e
doc: document barvinok_
e
hrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doola
e
ge
d
oc: document some op
t
ions
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
V
erdoolaege
doc: add
r
e
f
erence for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
ge
doc: des
c
r
i
be
v
ert
i
ces base
d
input
specifi
c
atio
n
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
r
d
oolaege
doc
:
add subsections
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verd
o
o
lae
g
e
use "g
i
t describe"
to
d
escribe ve
r
sion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
add doc t
o
di
s
tributio
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
o
o
laege
doc
:
warn that
t
h
e
output may look differ
e
n
t
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
doc:
b
arvinok_coun
t
no longer performs manual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
r
e
p
lace "Appendix" by "S
e
ction"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
oc: reflect rename of
c
dd2
p
olyl
i
b
.
pl to
l
atte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
o
l
aege
doc: resolve undef
i
n
ed
r
e
fere
n
ces
thr
o
ugh my
thesis
commit
|
commitdiff
|
tree
next