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
Merge branch 'master' into bernstein
2006-08-12
Sven V
e
rdo
o
laeg
e
Merge branch
'
master' i
n
to berns
t
e
i
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
o
n
ly pe
r
form lexmin t
e
sts when lexmin has been comp
i
led
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
some more tes
t
s w
i
th unb
o
unded po
l
yhedra
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
add some sm
a
l
l tests for
l
exmin
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaeg
e
lexmin
:
barf
when p
o
lyh
e
dro
n
c
ontains line
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoo
l
aege
lexmin: don't p
r
int s
o
luti
o
n when verifyin
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Ve
r
doo
l
aege
verify_main
.
cc: clean up
me
m
ory
commit
|
commitdiff
|
tree
2006-08-11
S
v
en
V
e
rdoo
l
a
ege
Merg
e
b
r
a
n
ch 'mas
t
er' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
b
a
rvinok
_
serie
s
: h
a
n
dle fix
e
d polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven
Ve
r
doolaege
g
e
n_fun:
a
d
d constructor for generating function wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdool
a
ege
barvinok
.
c
c: remove_more
_
equalities: handle e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
dool
a
ege
ge
n
_fun::coefficient:
r
e
set the number o
f
rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verd
o
ol
a
ege
lex
m
in
.
cc: use remov
e
_e
q
u
a
lities consist
e
ntly
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
util
.
c
:
co
m
press_variables
:
e
x
t
r
acted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: don't check
a
ny
t
h
i
ng if given rang
e
lies out
s
ide
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remov
e
_equalities; take preimage with r
e
t
u
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
erdoolaege
lexmin
.
cc: r
e
move_equali
t
ies: ext
e
nd returned matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
c
c
:
in_doma
i
n:
fix typo
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n
V
e
rdoolae
g
e
le
x
m
i
n
.
cc:
r
em
o
ve s
o
me debugging
residues
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Ve
r
doolaege
red
u
ce_do
m
ain:
c
ompu
t
e
c
on
v
ex union o
f
d
omain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
cc: in_domain:
a
lso
check other parts of un
i
on
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
le
x
min: i
n
_
doma
i
n:
s
et values if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
lexmin: plu
g
some memory
l
eaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdool
a
ege
lexmin:
a
n experim
e
ntal
tool for computi
n
g
the parametr
i
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
Verdoolaeg
e
evalue
.
c: floor2
f
rac_r
:
p
lu
g
memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
rd
o
olae
g
e
barvinok
.
cc: u
n
fringe:
work incre
m
e
n
tally
commit
|
commitdiff
|
tree
2006-08-06
S
ven V
e
r
doolaege
e
v
alue_frac2floor_in_d
o
main
:
plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Ver
d
o
o
laege
Polyhe
d
ro
n
_Sampl
e
: allow equa
l
ities in input poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaeg
e
Polyhedron_S
a
m
p
l
e: make sure ve
r
tices are avai
l
able
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doo
l
aege
Poly
h
e
dron_Sample: s
i
mplify cons
t
rai
n
ts after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erd
o
o
l
aege
Polyhedron_Sample: handle empt
y
and 0
D
polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
sample
.
c
:
a
l
t
ernative
i
mpleme
n
tation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolae
g
e
s
a
m
p
le
.
c: Polyhedro
n
_Remov
e
FixedColumns: handl
e
p
r
esence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
barvinok
_
cou
n
t_f:
c
heck whether polyhedron is u
n
boun
d
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
ba
r
vinok
_
c
o
unt: simplify constraints afte
r
removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
lae
g
e
reduced_bas
i
s: s
u
ppor
t
1D polytop
e
s
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoola
e
ge
reduced
_
basis:
e
nsure all LP solutions
are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
Merge branch 'master' in
t
o bernste
i
n
commit
|
commitdiff
|
tree
2006-08-02
Sven Ve
r
doo
l
ae
g
e
occ: print param
e
tric vertices of
set
using
Pol
y
Lib
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
V
erdoolaege
o
c
c: allow
po
l
ynomials
in
bern
s
t
ein max
i
mi
z
ation
t
o
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Verdoo
l
aege
Merge branch 'mast
e
r' in
t
o bern
s
tein
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Verdoolaege
occ: add int
e
r
f
ace to barvinok_l
e
x
s
m
aller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolae
g
e
util
.
c:
p
rov
i
de dumm
y
barvinok_lexsmaller_ev when LexSm
a
ller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
e
n
Verdoo
l
aege
4
coins: c
o
mputes
g
e
nerating
func
t
ion
for 4 coin Frobe
n
ius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
gen_fun::Hadamard_p
r
oduct: apply parameter
compr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdo
o
la
e
g
e
gen_
f
un:
:
s
u
bstitute: o
n
ly pass i
n
transformation mat
r
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
e
n V
e
rdo
o
laege
scarf
.
cc: support more cases of 3 (
i
ndepe
n
dent
)
c
o
n
straints
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
scarf
.
cc: support mo
r
e ca
s
es of
4
c
onstraints
commit
|
commitdiff
|
tree
2006-07-27
S
ven Ver
d
oolaege
genfun
.
cc:
a
d
d gen_fun::div
i
d
e method
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
g
enfun
.
c
c:
another g
e
n_fun::summate met
h
od
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolae
g
e
infinite
_
icounter: an incrementa
l
counter for
p
ossibl
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
V
erdoo
l
aege
icounter: move f
r
om barv
i
n
ok
.
cc t
o
reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
l
aege
bf
e
nume
r
ato
r
::set_factor: plug s
m
all memory l
e
ak
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
barvinok_enum
e
rate_un
i
on_s
e
r
ies
:
use gen
_
fu
n
::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolae
g
e
genfun
.
c
c
: add gen_
f
u
n
::su
m
m
ate method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
r
dool
a
eg
e
g
e
n_f
u
n::Hadamard_p
r
oduct:
o
ptimize
c
o
mputation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
gen_fun::Hadamar
d
_
p
rodu
c
t: make first argu
m
ent
const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_de
c
omposer::decompos
e
: make sure
ve
r
ti
c
es have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolae
g
e
n
p
_base: a
d
d do
_
ve
r
t
ex
_
c
one method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oola
e
ge
gen_
f
un::print: al
l
ow printing to
s
trea
m
s o
t
her than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
b
f
coun
t
er
.
cc: move
some more code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_f
u
n
.
h: s
h
ort_rat: use QQ inste
a
d of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doola
e
ge
NTL_QQ
.
c
c
: a rational NTL
t
ype
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Verdoolaege
verify_main
.
cc: s
m
all
m
emory cle
a
n-
u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
barvinok_series: move choice of
which
g
f
_
base
s
ubcl
a
ss
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
barvinok
.
cc: move
some functionali
t
y int
o
s
e
parate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc: move
Polyhedron argument to start meth
o
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
barvinok
.
c
c
: move start and
h
a
n
dle_pol
a
r into np_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdool
a
ege
gen_fu
n
: add s
h
if
t
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
gen_fun: add copy co
n
structor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
zz2values: make
fi
r
st arg
u
ment
c
onst
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
zz2value: make first arg
u
m
e
nt con
s
t
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Poly
h
edr
o
n_is_infinite: u
s
e P
o
lyhe
d
r
o
n_
S
ample if av
a
il
a
ble
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Ver
d
o
olaege
polyhedron_sample: co
m
putes
a
n integer vec
t
or in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdoolaege
configur
e
.
i
n
: check
f
or
g
l
pk
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdoolaege
scarf
.
cc: simple
x
::shrunk_polyhedron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolaege
ge
n
_fun::add:
perfo
r
m triv
i
al redu
c
tion
s
tep
commit
|
commitdiff
|
tree
2006-07-13
S
ven Ve
r
doolaege
g
e
nfun
.
cc:
r
eorder terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven
Ver
d
oolaege
sc
a
r
f
.
c
c:
normalize_
m
atrix: simplify n==3
case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
aege
scarf
.
cc: su
p
po
r
t some cases
o
f 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolae
g
e
barvino
k
_enumera
t
e
_
e: --prin
t
-all for print
i
ng all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaeg
e
scarf
.
cc: normalize_mat
r
ix
:
sim
p
lify n=
=
3 ca
s
e
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
cc: project
out 2 variables using S
c
arf co
m
p
lex
commit
|
commitdiff
|
tree
2006-07-08
Sven
V
erdoo
l
aege
uti
l
.
c: ex
p
o
r
t
E
xtended
_
Eucli
d
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdo
o
laege
c
o
nfigur
e
.
i
n
:
make -
-
en
a
ble-f
r
ac
t
ion
a
l
the
defau
l
t
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verdoo
l
a
eg
e
b
arvinok_cou
n
t: che
c
k whether
u
nbounded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ve
r
dool
a
ege
p
olymake/configure
.
i
n
:
allow
s
peci
f
ication of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
red
u
ce_domain:
d
eclare var
i
abl
e
a
t start
of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolae
g
e
re
m
o
v
e_
e
quali
t
ies:
s
top
remov
i
nf
equalities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdo
o
laege
barvin
o
k_co
u
nt: s
t
op counting if fi
r
st factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
o
olaege
barvino
k
_count_
f
: c
h
eck for
e
mptiness of P (ag
a
in)
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
e
r
doo
l
a
eg
e
barvinok_count: tell
PolyLib
w
e are onl
y
interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-23
Sven Verdoolaege
Merge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
S
ven
Ve
r
dool
a
ege
README: document optio
n
al inst
a
llatio
n
of
O
mega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
doc
:
document Omega i
n
terface
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
V
e
rdoolaege
doc: (
m
inimally)
document poly
m
ake clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
d
ool
a
ege
doc: further
doc
u
ment barvinok_
e
h
rhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
document barvino
k
_union
commit
|
commitdiff
|
tree
next