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_count: clean up memory after simplifying constraints
2006-08-13
Sven Verd
o
ol
a
ege
barvinok_count: clean up me
m
ory a
f
ter simplifying constr
a
ints
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
o
o
laeg
e
README
:
updat
e
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rdoolaege
o
n
ly perform
lexmin tests when lexmin
h
a
s
bee
n
compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
some
m
ore tests wit
h
unbounded pol
y
hedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
add some sm
a
l
l
te
s
ts for l
e
x
m
in
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
l
exmin: barf when polyhed
r
on contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
ol
a
ege
lexmi
n
:
d
on
'
t print solution when verifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven
Verdoo
l
aege
verify_
m
a
in
.
cc:
c
le
a
n up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
o
o
laege
barvinok_series:
handle fixed polytopes
commit
|
commitdiff
|
tree
2006-08-10
S
v
e
n
Ve
r
doola
e
g
e
gen_fun: ad
d
const
r
uct
o
r for generating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
laege
barvinok
.
cc: remove_more
_
equalitie
s
: handle equ
a
li
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
gen_fun::coe
f
fi
c
i
e
nt: r
e
set the number
o
f
row
s
in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
lexmin
.
cc:
use
r
emove_equa
l
i
ties
c
onsistently
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
V
e
r
d
oolaege
util
.
c:
compres
s
_variable
s
:
e
x
t
r
acted from lexmin
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Verdoolaege
lexmin:
don't
c
heck a
n
ything if
g
iven range l
i
es outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lex
m
in
.
cc: remove_equaliti
e
s; take preimage wit
h
r
e
t
u
r
n
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lex
m
in
.
cc:
remove_equalities: extend
re
t
ur
n
ed matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Verdoolaege
lexmin
.
cc: in_do
m
ain:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
e
r
doolaege
lexmin
.
cc: remove some debuggin
g
r
esidues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
re
d
uce_domain
:
c
o
m
pute convex union of doma
i
n
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoolaege
lexm
i
n
.
cc: in_domain: al
s
o
check other parts
of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
ola
e
g
e
lexmin:
in_domain:
set
v
a
lues
i
f con
s
t
r
aints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven Ver
d
o
o
laege
lexmin
:
plug some
m
emory le
a
ks
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
rdoolaege
l
exmi
n
: a
n
exper
i
mental tool
f
or computing the parametr
i
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
ven
V
erdoolaege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaeg
e
evalue
.
c: floor2frac_r: plug mem
o
ry leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
olae
g
e
barvin
o
k
.
cc: unfringe:
w
ork incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sv
e
n Verdoolaege
eva
l
ue_frac2f
l
oor_in_dom
a
in: plug memo
r
y leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedr
o
n_Sample: allow equalitie
s
in inp
u
t polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
Polyhe
d
ron_Sample:
m
ake sure verti
c
es are av
a
ilable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaeg
e
Polyhedron_Sam
p
le: simplify constraint
s
after choo
s
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
e
g
e
Polyhedron_Sample
:
han
d
le
empty
a
nd
0
D
polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
sam
p
le
.
c: al
t
e
rnative
implementation
o
f remove_ra
y
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaeg
e
s
ample
.
c: Po
l
yh
e
dro
n
_
Remov
e
Fi
x
edColum
n
s
: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
b
a
rvin
o
k_count_f:
c
h
eck w
h
ether polyhedro
n
is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Ver
d
oolaege
barvino
k
_cou
n
t: simplify
c
onst
r
aints after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_basis: support
1
D
polyto
p
e
s
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
o
o
l
a
e
g
e
reduced
_
basis:
e
nsure al
l
L
P
solutions are n
o
n-negat
i
ve
commit
|
commitdiff
|
tree
2006-08-02
Sv
e
n V
e
rdo
o
laeg
e
occ:
print parametri
c
vertices
o
f set u
s
ing Po
l
y
Lib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoo
l
a
ege
occ: add int
e
rface to
b
a
r
v
inok_lexs
m
aller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Ve
r
do
o
laege
util
.
c
:
p
rovide dummy barvinok_lex
s
maller_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdoolae
g
e
4coins:
comp
u
tes generati
n
g fun
c
t
ion for
4
coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verd
o
olaege
gen_fun::Hadamar
d
_product:
a
pply para
m
ete
r
compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
oolaege
gen_
f
un::substitute:
o
nly pass
in
t
ran
s
formation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
e
rdoolaege
scarf
.
cc:
s
upport more cas
e
s of 3
(independent) cons
t
r
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
s
c
arf
.
cc: support more cases of 4
constr
a
i
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc: add
g
en_fun::divide met
h
od
commit
|
commitdiff
|
tree
2006-07-27
S
ven Ver
d
oolaege
gen
f
un
.
c
c: a
n
o
t
h
e
r ge
n
_fun
:
:sum
m
ate met
h
od
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
ege
infini
t
e_
i
counter: an
incremental counte
r
for p
o
s
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoolae
g
e
icounter: move from
bar
v
inok
.
cc to
r
educer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
b
f
enum
e
ra
t
or::set_f
a
ctor: plug small memory lea
k
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_enumerate_unio
n
_series:
u
se ge
n
_fun::sum
m
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
g
enfu
n
.
cc:
a
dd gen_fu
n
::su
m
m
ate met
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
gen_fun::Hadamard_
p
r
o
d
u
ct: optimize
com
p
utati
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
doolaege
g
en_fun
:
:
Ha
d
amar
d
_product:
m
a
ke
firs
t
argument cons
t
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
p
olar_decomposer::decompose:
make
sure v
e
rtic
e
s hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
l
aege
np_base: add do_vertex_c
o
ne meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun:
:
print: allow printin
g
to str
e
ams
ot
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Ve
r
d
oolaeg
e
bfcount
e
r
.
cc
:
m
ove some more code from
ba
r
v
inok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
g
e
n_f
u
n
.
h: short_r
a
t: u
s
e QQ in
s
tead of pair o
f
ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NTL_QQ
.
cc: a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
olaege
verify_main
.
cc: small memory
c
lean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_seri
e
s: move choice o
f
which gf_base s
u
b
c
la
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaeg
e
barvino
k
.
cc: move
s
ome func
t
ionality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
eg
e
barv
i
nok
.
cc
:
move Poly
h
edron
a
r
gumen
t
t
o
s
tart method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolae
g
e
barvinok
.
cc: move start and handle_polar
into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ver
d
oolae
g
e
g
en_fun: add shift
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n_fun: add copy
c
onstru
c
tor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
zz2values: make
first a
r
gu
m
ent c
o
nst
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
z
z2value: make
f
irst arg
u
ment c
o
n
st
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyh
e
dron_is_infi
n
ite: u
s
e Polyhedron_Sa
m
ple if availab
l
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoo
l
aege
p
o
lyhedron_sample: compu
t
es a
n
i
nteger vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sve
n
Ver
d
oolaege
configure
.
in: c
h
eck fo
r
g
l
pk
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdoolaege
s
c
arf
.
cc
:
simple
x
::shrun
k
_polyh
e
d
r
on: only p
r
ocess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en V
e
rdoolaege
gen_fun::ad
d
: perform trivia
l
r
e
d
uction step
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolae
g
e
genfun
.
cc: re
o
r
d
e
r
terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: normalize_matri
x
: simpl
i
f
y
n
==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
sca
r
f
.
cc: sup
p
ort some cases
of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barv
i
nok_
e
numera
t
e_
e
: --print-all for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoo
l
aege
scarf
.
cc:
n
o
r
m
alize_matrix: simpli
f
y
n==3 case
commit
|
commitdiff
|
tree
2006-07-10
S
ven Verdoolaege
sc
a
rf
.
c
c: project out 2 va
r
iables using
S
c
arf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoo
l
aege
util
.
c: export Extended
_
Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven V
e
rdool
a
ege
configure
.
in:
m
ake --e
n
able-frac
t
ional the
d
efault
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
olaege
b
arvinok_count: che
c
k w
h
ether unbounded
p
olyhedra
act
u
ally
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n Verdool
a
ege
polymake/co
n
fig
u
re
.
in
:
allow
s
pecificat
i
on of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdo
o
laege
red
u
ce
_
domain
:
declare variable at start of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
remo
v
e
_
eq
u
alities: s
t
op removin
f
equalities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoola
e
ge
b
a
rvinok_count: stop counting if first fa
c
tor is
emp
t
y
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
b
a
rvinok_
c
o
unt_f: c
h
eck
for em
p
tiness
of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doolaege
barvinok_c
o
unt: tell Poly
L
i
b
we
a
re
o
n
ly
i
nterested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
en
Ve
r
doolaege
v
e
rsion 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verd
o
olaege
README: document
optional installa
t
ion of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
d
oc
:
document Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoo
l
ae
g
e
do
c
: (minimall
y
)
docum
e
nt polymake clients
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Verdo
o
laege
doc: further documen
t
barvinok
_
e
h
rhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
o
cument bar
v
inok_
u
ni
o
n
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: document barvinok_e
h
rhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: document s
o
me option
s
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolae
g
e
do
c
: add refere
n
ce for N
T
L
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n V
e
r
d
oolaege
d
o
c: describe vertices ba
s
ed
input sp
e
c
ificat
i
on
commit
|
commitdiff
|
tree
next