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
add some small tests for lexmin
2006-08-12
Sve
n
Ver
d
oolaege
add some
smal
l
tests for lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexm
i
n: barf w
h
e
n pol
y
h
e
dron c
o
n
tains line
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
lexmin: don't
p
rint s
o
lutio
n
when v
e
r
i
f
ying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verd
o
olaege
verify_main
.
cc: clean up
m
emory
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoola
e
ge
barvinok_
s
eries: handle
fixed polyto
p
es
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
g
en_fun: add c
o
nst
r
u
c
tor for generating fu
n
ction with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
r
doolaege
barvinok
.
cc: remove_m
o
re_equalities:
h
a
n
dle equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
gen_fu
n
::coefficient: reset the number of rows
i
n the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
l
a
e
g
e
lexmin
.
cc:
use
re
m
o
ve_equalit
i
es consistently
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
V
e
rdoolaege
util
.
c
:
c
o
mpre
s
s_
v
ariables: ext
r
acted f
r
om
le
x
min
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lexmin:
d
on't check anything if
given r
a
nge lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
lae
g
e
lexmin
.
cc: remove_
e
q
ualities; take preimage wit
h
returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdool
a
e
ge
lexmin
.
cc: remove
_
equalities: extend
returned ma
t
r
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
laege
lexmin
.
c
c
: in_d
o
main
:
f
ix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaeg
e
l
e
x
m
i
n
.
cc:
remove s
o
me
d
ebugging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
reduce_
d
om
a
in: compute c
o
nvex union of domai
n
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
lexmin
.
cc:
i
n_domain: also check o
t
her par
t
s o
f
union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
:
in_domain: set
va
l
ues if constraints d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
lexmin: plug some memo
r
y leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
doo
l
aege
lexmin: an experimental to
o
l for c
o
m
p
uting the paramet
r
ic
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
o
la
e
ge
add
f
ds
t
ream
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Ver
d
oolaege
e
value
.
c: floor2frac_r
:
plug memo
r
y leak
commit
|
commitdiff
|
tree
2006-08-08
S
ven V
e
rdoolaege
barvinok
.
cc: unfringe: work increm
e
ntally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
evalue_frac2floor_in_doma
i
n: plug memory
leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
Polyhedron_Sample:
allow e
q
ualitie
s
in input poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdool
a
ege
P
o
lyhedr
o
n_Samp
l
e: make sure vertices a
r
e available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
Polyhe
d
r
on_Sample: simplify constra
i
nt
s
a
f
ter choo
s
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sa
m
ple: handle em
p
ty
a
nd
0
D poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
sample
.
c:
alternati
v
e
implementation of remove
_
ray
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Ve
r
dool
a
e
ge
sample
.
c
: Polyhedron_RemoveFixedColumns: h
a
n
dle
presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
barvi
n
ok_count_f: check whether polyhedron
is unbound
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
Verdoolaege
b
arvinok_cou
n
t:
s
i
mplify co
n
straints
a
fte
r
removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaeg
e
reduced_basis:
s
upport 1D polytope
s
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
reduc
e
d
_basis: ensure all LP solutions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
occ
:
p
rint pa
r
ametr
i
c v
e
rtic
e
s of s
e
t using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
o
cc
:
add interfa
c
e
to barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erdoolaege
util
.
c: provide dumm
y
b
arv
i
nok_lex
s
mall
e
r_ev when LexSmal
l
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdoolaeg
e
4coin
s
: computes g
e
nerating func
t
ion for 4 coin
F
roben
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen
_
fun::Hada
m
ard_
p
r
oduct:
apply parame
t
er compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
gen_fun::substi
t
ute: only pass i
n
tra
n
sform
a
tio
n
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
sca
r
f
.
cc: support more cases o
f
3 (independent) co
n
str
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
scarf
.
cc: support more
cases of
4
const
r
aints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genf
u
n
.
cc: add gen_fun::
d
ivide method
commit
|
commitdiff
|
tree
2006-07-27
S
v
e
n Verdoolaege
ge
n
f
un
.
cc:
anothe
r
g
e
n
_f
u
n
::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
i
n
finite_icounter:
an incremental counte
r
for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoola
e
ge
ic
o
unter: move from barvino
k
.
cc
t
o reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
f
e
numerator::set_factor: plug small memory le
a
k
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
erdoolaege
b
arvi
n
ok
_
en
u
merate_union_series: use gen_
f
un::sum
m
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genfun
.
cc: add
gen_fun::summate m
e
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolae
g
e
g
e
n_fun::Hadama
r
d_
p
roduct: opt
i
mize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ver
d
oolae
g
e
gen_
f
u
n
::Hadamard_
p
rodu
c
t: make firs
t
argument
const
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erd
o
olaege
polar_decomposer::decompose: make
s
ure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ver
d
oolae
g
e
np_base:
a
dd do_ve
r
tex
_
con
e
method
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoola
e
ge
gen_
f
un:
:
print: a
l
low printing to streams
o
t
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
bfcounter
.
cc: mov
e
some more code from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
rdoolaege
gen
_
f
u
n
.
h: short_rat
:
use QQ inste
a
d of pair
o
f
ZZs
commit
|
commitdiff
|
tree
2006-07-26
S
ven
Verdoolaege
NTL_QQ
.
cc: a rat
i
on
a
l N
T
L type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
verify_main
.
cc: s
m
all memor
y
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolae
g
e
barvinok_series:
m
o
v
e
choice of which gf_base
sub
c
lass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
bar
v
inok
.
cc: move so
m
e f
u
nctiona
l
i
t
y into sep
a
rate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
bar
v
ino
k
.
cc:
m
ove Polyhedro
n
argume
n
t to st
a
rt metho
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaeg
e
barvinok
.
cc: m
o
ve s
t
a
r
t a
n
d handle_p
o
lar
i
nto
np_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
ge
n
_fun: add shift metho
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
gen_fun: add copy constructor
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verd
o
o
l
aege
zz2values:
m
a
ke firs
t
argument
c
onst
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value: make fi
r
st argume
n
t const
commit
|
commitdiff
|
tree
2006-07-20
S
ven Ve
r
doolaege
Polyhed
r
on_is_infinite
:
u
s
e
P
o
l
yhe
d
ron_Sample if ava
i
lable
.
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n Ve
r
doo
l
aege
polyhedron_sample: com
p
utes a
n
i
n
teger vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
ve
n
Ve
r
doola
e
ge
configure
.
i
n
: check
f
o
r
glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdoolaege
scarf
.
cc: simplex
:
:s
h
runk_
p
o
l
yhedron: only pro
c
ess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n
V
erdo
o
l
aege
gen_f
u
n::
a
d
d: perform tr
i
vial reduction
s
tep
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
genfun
.
cc: reorder terms i
n
nume
r
ator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolaege
scarf
.
cc
:
normali
z
e_matr
i
x: simplify n==
3
case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaege
scarf
.
cc: support some cases o
f
4 constrain
t
s
commit
|
commitdiff
|
tree
2006-07-13
S
v
en
V
erdoolaege
barvinok_enum
e
r
ate_e:
--pr
i
nt-a
l
l for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Ve
r
doolaege
scarf
.
cc:
normalize_m
a
trix: simplify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
c
c
:
project out 2 var
i
a
bles using Sca
r
f complex
commit
|
commitdiff
|
tree
2006-07-08
Sven
Ver
d
oolaege
util
.
c: ex
p
ort Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verd
o
olaege
configure
.
i
n:
m
a
ke -
-
e
n
able-fractional the defaul
t
commit
|
commitdiff
|
tree
2006-06-29
S
v
e
n
Verdoolaege
barvinok
_
count: check whet
h
er unbounded polyhed
r
a
a
ct
u
ally
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdoolae
g
e
polymake/conf
i
gure
.
in: allow specifica
t
i
on of
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n
Verdoo
l
aege
redu
c
e_domain: de
c
lare v
a
riable at s
t
art of code b
l
ock
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdool
a
ege
remove_equal
i
ties: s
t
o
p removinf e
q
ualities if in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvin
o
k_count: stop counting i
f
first fact
o
r is
emp
t
y
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n Verd
o
olaege
barvinok_cou
n
t_f: check for em
p
tiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoola
e
ge
b
arvinok_count: tell PolyLib we
are only intere
s
ted
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Verdo
o
lae
g
e
v
e
r
sion 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
Verdoolaege
READ
M
E:
doc
u
ment optio
n
al install
a
ti
o
n of Omega
and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolaege
doc: docu
m
ent Omeg
a
i
n
terface
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoolaege
doc:
(minimally) docum
e
nt polymake clien
t
s
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoo
l
aege
doc: fu
r
t
h
er docu
m
ent barvinok_ehrhar
t
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
d
oolaege
docum
e
nt
b
arvinok_union
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Ver
d
ool
a
e
g
e
doc: docu
m
e
nt barvinok_ehrh
a
rt
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: document some optio
n
s
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Verdoolaege
d
o
c: add re
f
er
e
nce
f
or NTL
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdool
a
ege
doc
:
d
e
scribe vertices
based
i
nput
s
pecifica
t
io
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
do
c
:
typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
o
c
:
a
d
d
subsections
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
use "git
d
e
scribe
"
to de
s
c
r
i
be v
e
rsion
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Verdoolaege
add doc to distri
b
ution
commit
|
commitdiff
|
tree
next