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 V
e
rdoolaege
barvinok
.
cc: rem
o
ve_more_equalities
:
handl
e
equ
a
li
t
ie
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolaege
gen_fun
:
:coefficient: reset the number of
rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
lexmin
.
cc: use remove_equalit
i
es consisten
t
ly
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
ut
i
l
.
c
:
compre
s
s_vari
a
bles: e
x
tracted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
r
doolaege
lexmin: don't
check anyt
h
i
n
g if given rang
e
l
i
es outs
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
exmin
.
cc: remove_equal
i
ties;
take
p
r
e
image wit
h
re
t
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
dool
a
ege
lexmi
n
.
cc:
r
e
mo
v
e_equalities: extend returned ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lexmin
.
cc: in_dom
a
in:
f
ix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
l
aege
lexm
i
n
.
c
c: re
m
o
ve
s
ome debugg
i
n
g
resid
u
es
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
r
e
d
uce_do
m
ai
n
: compute convex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oola
e
g
e
lexm
i
n
.
cc: in_do
m
ain: also check
ot
h
er
parts of uni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aeg
e
lexmin:
in_domai
n
: set va
l
ues i
f
constr
a
ints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmin: plug some
memory
leaks
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoo
l
aege
lexmin
:
an e
x
perime
n
t
al tool f
o
r c
o
mputing the pa
r
a
met
r
ic
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoola
e
ge
a
d
d
f
dstream
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
Verdoolaege
evalue
.
c:
floor2
f
rac_r: plug memory
l
eak
commit
|
commitdiff
|
tree
2006-08-08
S
v
e
n
Verdoolae
g
e
b
arvinok
.
cc:
u
nfr
i
nge:
work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sv
e
n Verdo
o
laege
e
v
a
lue_f
r
a
c
2floor_in_domain: plug mem
o
r
y
lea
k
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
P
o
lyhedron_Sample: allow e
q
ualities in
input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Ve
r
doolaege
Polyh
e
dr
o
n_Sample:
m
a
k
e su
r
e vertic
e
s are
a
vailable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
Polyhedron
_
Sample: simplify const
r
aints after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
P
o
lyhe
d
r
on
_
Sam
p
l
e: han
d
le empty and 0D polyh
e
dr
a
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
sample
.
c:
a
l
t
e
r
native implementa
t
ion of
r
emo
v
e_ray
commit
|
commitdiff
|
tree
2006-08-03
S
ve
n
Verdo
o
laege
sample
.
c: Polyhedron_R
e
moveFixed
C
o
lumn
s
: ha
n
dle
pre
s
ence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verd
o
ola
e
ge
bar
v
inok_co
u
nt_f: che
c
k whethe
r
p
o
l
yhedron is unbound
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
b
arvinok_coun
t
:
s
implify const
r
aints a
f
ter removin
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verd
o
olaege
r
educed
_
basis: support 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoola
e
ge
r
e
duced_
b
asis: ensure all LP solutio
n
s are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
erdoolaege
o
cc: pri
n
t parametric vertices of
s
et using P
o
lyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verd
o
olaege
occ:
a
d
d int
e
rface to b
a
rvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
util
.
c
: provi
d
e dummy ba
r
v
i
n
o
k_lexs
m
al
l
er_ev when LexSmalle
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdool
a
ege
4coins:
c
omput
e
s generating
f
un
c
t
i
on for 4 coin Froben
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun:
:
Hadamard_produc
t
: apply para
m
eter
c
o
mpression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ve
n
Verdoolae
g
e
gen_fun::substitute: only pas
s
in tra
n
sformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaeg
e
scarf
.
cc:
s
u
pport
more
cases o
f
3 (ind
e
pen
d
ent) c
o
nstrain
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
s
c
arf
.
cc: s
u
p
por
t
more cases
of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoolaege
genf
u
n
.
cc: add gen_fun
:
:
d
ivide
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
ge
n
fun
.
c
c:
another
gen_fun::
s
u
mmate
m
etho
d
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
i
n
f
inite_icounter: an
i
n
cr
e
mental counter for possib
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
i
c
ounter: move from barvin
o
k
.
c
c to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
bfenumerator::set_facto
r
: plug small memory lea
k
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
ba
r
vinok_e
n
umerat
e
_union
_
series:
use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
g
e
nfun
.
cc: add gen_fun::summate
method
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n V
e
rd
o
o
l
ae
g
e
gen_f
u
n::Hadamard_product: optimize
computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
gen_fun::Hadamard_product: make
first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar
_
decomposer
:
:decompose: make su
r
e
v
e
rti
c
es have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
d
o
olae
g
e
np_base: add do_v
e
r
tex_c
o
ne me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
g
e
n_fun:
:
p
rint: allow printin
g
to
s
t
r
eams other tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
bfcounter
.
cc:
m
o
v
e
s
ome more code fro
m
barv
i
n
o
k
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
gen
_
fun
.
h: short_rat: use QQ instead of p
a
ir of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olaege
N
T
L_
Q
Q
.
cc: a ra
t
iona
l
NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
ver
i
fy_mai
n
.
cc: sm
a
ll me
m
ory clean-u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
barvinok_
s
er
i
es: move choice
o
f which gf_base
s
ubclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
b
a
rvinok
.
cc: move some functi
o
nali
t
y into se
p
a
r
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
arvinok
.
cc: move Polyhedron
a
rgument to start metho
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdo
o
la
e
ge
barvinok
.
c
c: move start
and handle_
p
olar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoo
l
aege
gen_fun: add
shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n_fun
:
add copy
c
onstructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
oola
e
g
e
z
z
2values: make first argument co
n
st
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdool
a
ege
zz2value: make first argumen
t
con
s
t
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoo
l
a
e
ge
Polyhedron_is_infinite: us
e
Polyhedron_Sa
m
ple if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Ve
r
doolaege
poly
h
ed
r
o
n_sample: compu
t
es an int
e
ger vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
Verdool
a
ege
co
n
f
i
gure
.
in
:
check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaege
sc
a
r
f
.
cc: simplex::shrunk_
p
olyhed
r
on: only pro
c
ess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Ve
r
doolaege
gen_fun::add: p
e
rform t
r
ivial redu
c
tion step
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verd
o
olaege
g
enfun
.
cc: re
o
rder terms in nu
m
erato
r
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaeg
e
scarf
.
cc: normalize
_
matrix: simp
l
ify n==3 case so
m
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaege
sc
a
r
f
.
cc:
s
upport some cas
e
s
o
f 4 c
o
n
st
r
aints
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdool
a
ege
barvi
n
ok_enume
r
ate_e: --
p
rint-all f
o
r printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
carf
.
cc: no
r
malize
_
mat
r
i
x:
simplify n==3 ca
s
e
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoo
l
a
e
g
e
sc
a
rf
.
cc: projec
t
ou
t
2 v
a
riab
l
es using S
c
arf c
o
mplex
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n Verdoola
e
ge
ut
i
l
.
c: export Ex
t
ended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoo
l
a
ege
configure
.
in: make --enable-fr
a
ctional the default
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdoolaege
barvinok_cou
n
t: check whether unbounded polyhedra
a
ctually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
er
d
oo
l
a
ege
p
olymake/c
o
n
figure
.
in: allow
s
peci
f
i
c
atio
n
of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdo
o
l
aeg
e
reduce_domai
n
:
declare vari
a
ble at
start of cod
e
block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
oolaege
remove_equaliti
e
s: stop removinf equaliti
e
s
i
f
input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoola
e
ge
ba
r
vinok_count: st
o
p cou
n
ting if fir
s
t factor is emp
t
y
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
e
r
doolaege
barvi
n
ok_cou
n
t_f: check
for
e
mptin
e
ss of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
ba
r
vinok_coun
t
:
t
e
l
l PolyL
i
b w
e
ar
e
o
n
ly inte
r
ested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
doolaeg
e
versio
n
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
laeg
e
README:
d
ocument optional inst
a
lla
t
ion of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
o
c: doc
u
ment Om
e
ga interface
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
d
oc: (
m
i
ni
m
ally
)
do
c
u
men
t
polymak
e
clie
n
ts
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoola
e
ge
doc: further document barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
o
o
lae
g
e
documen
t
barvinok_
u
nion
commit
|
commitdiff
|
tree
2006-06-22
S
ven V
e
rdoolaege
doc: document ba
r
vinok
_
ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
ge
doc: doc
u
ment
some
o
p
t
ions
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
d
o
olaege
d
o
c: add
r
efe
r
ence for N
T
L
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n V
e
rdo
o
l
a
ege
doc: describe vertic
e
s based input s
p
ecification
commit
|
commitdiff
|
tree
2006-06-21
S
ven Ver
d
oolaege
do
c
: ty
p
o
commit
|
commitdiff
|
tree
2006-06-21
S
ven
V
erdoolae
g
e
d
oc: add
subsections
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
us
e
"git d
e
s
c
ribe" to
d
escribe version
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
add doc
t
o d
i
stribution
commit
|
commitdiff
|
tree
2006-06-21
S
ve
n
Verdool
a
ege
doc:
warn th
a
t the o
u
tput may
look
d
iffere
n
t
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc: barvinok_
c
ount no longer performs manual coun
t
in
g
.
commit
|
commitdiff
|
tree
2006-06-21
S
ven
Ve
r
doolaege
doc: replac
e
"Appendix" by "Se
c
tion"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: re
f
lect rename of cdd2polyli
b
.
pl to latte2
p
o
l
ylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: re
s
olve undefined refere
n
ce
s
t
hr
o
ugh my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolaege
doc: add title pa
g
e
commit
|
commitdiff
|
tree
next