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
util.c: remove_equalities_p: correct check for end of equalities to skip
2006-08-21
Sve
n
Verdoolaeg
e
util
.
c:
r
emov
e
_
e
qualities_p
:
c
or
r
ect chec
k
for
e
n
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
ve
n
Verdoolaege
gen_fun
:
set context in no
v
aria
b
l
es
c
onstr
u
ctor
commit
|
commitdiff
|
tree
2006-08-21
Sven
Verdoo
l
aege
gen_fun::
H
ad
a
mard_produc
t
:
don't assu
m
e equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sv
e
n Verdoolaege
barvinok_union: tak
e
contex
t
i
n
to acco
u
nt
commit
|
commitdiff
|
tree
2006-08-16
S
ven Ve
r
doo
l
aege
polytop
e
_sc
a
n: optiona
l
l
y
sk
i
p b
a
sis
reduct
i
o
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
olytope_
s
can: scan in re
d
uced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
olytope_
s
can: scans the inte
g
er
p
oints
i
n a poly
t
op
e
commit
|
commitdiff
|
tree
2006-08-14
S
v
en
Verdoola
e
ge
i
n
stall NT
L
_
Q
Q
.
h
h
eader
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
bas
i
s_r
e
du
c
t
ion
.
c: cl
e
an up GL
P
K memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc:
don't bother transfor
m
i
n
g if
co
m
p
r
e
s
s
_
parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdo
o
l
a
e
ge
le
x
min
.
cc: fix use o
f
c
o
mpress_p
a
rms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolae
g
e
samp
l
e
.
c: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
barvino
k
_count: clean up memo
r
y
aft
e
r simplifying
con
s
tr
a
ints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
REA
D
ME: u
p
d
a
te
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
V
erdo
o
laege
only
p
erform
lexmin tests whe
n
l
e
xmin has been compil
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaeg
e
s
ome more test
s
w
i
th unboun
d
ed polyh
e
dra
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
add so
m
e s
m
all tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n Ver
d
oolaege
lexmin: barf when
p
olyhedron cont
a
ins lin
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
g
e
l
exmin: don't prin
t
so
l
ution whe
n
verifying
commit
|
commitdiff
|
tree
2006-08-11
Sv
e
n
V
e
r
d
oolaege
verify
_
m
a
in
.
cc:
clean
up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
b
a
rvinok_series: handle fixed
p
olytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven
Verdoolaege
g
en_fun: add
const
r
uctor
f
or g
e
nerating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
e
n Ver
d
oolaege
b
arv
i
nok
.
c
c
:
remove_mor
e
_equalities: han
d
le e
q
ualiti
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaege
gen
_
fun
:
:coeffi
c
ient: rese
t
the
n
umber of rows i
n
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verd
o
olaege
lexm
i
n
.
cc: use remove_equalities consistentl
y
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
V
e
rdoolaege
u
t
i
l
.
c:
compr
e
ss_variables
:
extrac
t
ed fro
m
lex
m
in
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doola
e
ge
lexm
i
n: don't check any
t
h
ing if given range lies
ou
t
side
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
cc: remove_equ
a
lities; take preima
g
e wi
t
h
returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verd
o
olaege
le
x
m
in
.
cc: rem
o
ve
_
eq
u
alities: extend returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaege
l
exmin
.
c
c
: in_do
m
ain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoola
e
ge
l
e
xmi
n
.
cc:
r
e
mov
e
so
m
e d
e
b
ugging re
s
idues
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoola
e
g
e
reduce_domain: compute co
n
vex
uni
o
n of doma
i
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
e
g
e
lexmin
.
c
c
: in_domain
:
al
s
o check othe
r
par
t
s
of unio
n
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdool
a
ege
lexmin
:
in_dom
a
in: set values
i
f c
o
nstr
a
ints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
a
ege
l
exmi
n
:
p
l
u
g some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
S
v
en
V
er
d
oolaege
lexmin: an exper
i
ment
a
l
tool
f
or compu
t
ing the p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
add fdstr
e
am
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdool
a
e
ge
e
v
alue
.
c: floor2frac_r: plug memory
leak
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
e
rd
o
olaege
bar
v
i
nok
.
cc: unfring
e
:
work
incremen
t
ally
commit
|
commitdiff
|
tree
2006-08-06
Sven
V
erdoolae
g
e
evalue_frac2flo
o
r_in_domai
n
: plug memo
r
y le
a
k
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdool
a
ege
P
olyhed
r
on_Sample: allow equal
i
ties in input
p
olyhedra
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
Verdo
o
laege
Polyhedron_S
a
mple
:
make sure v
e
rtice
s
are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sample: simpli
f
y constrai
n
t
s after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven
V
erdoolaeg
e
Pol
y
hedron_Sample: h
a
ndle empty
and 0D
p
oly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
sample
.
c: alternativ
e
im
p
lementation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdool
a
ege
sample
.
c: Pol
y
hed
r
on
_
R
emoveFixedC
o
lumns: hand
l
e prese
n
ce
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
barvinok_co
u
n
t
_f
:
ch
e
ck
w
h
ether pol
y
hedron i
s
unboun
d
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
o
l
aege
barvinok_coun
t
: simplify constraints after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoolaege
reduced_ba
s
is: support
1D polytope
s
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduce
d
_basis: ensure all LP solutions ar
e
non-n
e
ga
t
ive
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaeg
e
occ: print parametric ver
t
ic
e
s of set
using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
erd
o
olaege
occ: add interfac
e
to barvinok
_
lexsm
a
lle
r
_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verd
o
olaege
util
.
c: p
r
ovide
d
u
mm
y
barvinok_lexsmaller_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
4coins
:
computes generating function for 4 coi
n
Froben
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sve
n
Verdo
o
laege
gen_fun::Ha
d
amard_product: apply para
m
et
e
r compre
s
sio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::
s
ubst
i
tute: only pass
in transfo
r
mation matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdo
o
laeg
e
sc
a
rf
.
cc: support more
c
ases o
f
3 (ind
e
pendent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
scarf
.
c
c: suppor
t
m
ore c
a
ses of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
o
l
aege
g
e
nfun
.
cc: add gen_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
S
ven Ve
r
d
oolaege
gen
f
u
n
.
cc:
a
n
o
ther ge
n
_
fun::summate me
t
hod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
a
e
ge
in
f
inite_ico
u
nter: an incremental counter f
o
r
p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
e
n Verdoolaege
i
counte
r
:
m
ove from barv
i
nok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfenu
m
erator::set_f
a
c
tor: plug sma
l
l
memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
barvinok_enumerate_union_series: use gen_fun::su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
nfun
.
cc: ad
d
gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
gen_fun::Ha
d
amard_product: optimize
comput
a
ti
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oo
l
a
eg
e
gen_fu
n
:
:
Hada
m
ard_product: make first argument con
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
do
o
laege
pola
r
_deco
m
poser::d
e
compose: make sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoola
e
ge
np_base: a
d
d
do_
v
ertex_c
o
ne
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_
f
un
:
:
pr
i
nt: a
l
low pr
i
nting
t
o
streams
othe
r
t
h
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfc
o
u
n
t
er
.
cc: move some mor
e
cod
e
from bar
v
i
nok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_fun
.
h:
short_
r
at: use QQ
i
nstead of pair
o
f
Z
Z
s
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
N
TL
_
QQ
.
cc:
a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
a
e
ge
verify_main
.
c
c
: small mem
o
ry
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
barvinok
_
series: move cho
i
ce of
w
hich gf_base subcla
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
barvinok
.
cc
:
m
ove so
m
e functionality int
o
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
e
g
e
b
a
rvi
n
o
k
.
c
c: move Polyhedron argume
n
t
to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdool
a
ege
barvinok
.
cc:
move sta
r
t and h
a
ndle_polar
i
nto np_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
gen_fun: ad
d
shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: ad
d
copy constructor
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ver
d
oolaege
zz2va
l
ues: m
a
ke
first
a
rgument
const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2va
l
ue: make f
i
r
s
t
ar
g
ument const
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n
V
e
rdoolaeg
e
Polyhedron_is_
i
nfini
t
e
: use Pol
y
h
edron_Sample if avai
l
able
.
commit
|
commitdiff
|
tree
2006-07-20
S
ven Verdo
o
laege
p
o
lyh
e
d
ron_sample: co
m
pute
s
an
in
t
eger
v
e
c
tor
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
V
erdoolaege
c
onfigure
.
i
n: che
c
k for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
o
l
ae
g
e
scarf
.
cc: simpl
e
x
:
:shrunk_polyhedron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n V
e
rdoolaege
g
en_
f
un::add: perfor
m
trivial reduction s
t
ep
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
cc
:
r
eorder terms i
n
num
e
r
a
tor
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: n
o
rmalize_matrix:
simplify n==3 c
a
se
so
m
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laeg
e
scarf
.
cc: support some cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
e
ge
barvino
k
_
e
nu
m
erate_e
:
--print
-
all f
o
r pri
n
t
ing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoolaege
s
carf
.
cc:
n
ormal
i
ze_matrix:
simplify n==3
case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
cc: project out 2
v
ariables us
i
ng Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n
V
e
rdoolaege
u
ti
l
.
c: export Extende
d
_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven V
e
rdool
a
e
g
e
con
f
i
g
ure
.
i
n
:
make --e
n
able-f
r
act
i
onal the
d
efault
commit
|
commitdiff
|
tree
2006-06-29
S
v
en
Verdoolae
g
e
barvinok_count: check whether unb
o
unded
p
olyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
polymake/configure
.
in: allow specificatio
n
of locat
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Verdoolaege
r
educe_
d
o
main: declare va
r
i
abl
e
at sta
r
t
of co
d
e b
l
oc
k
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
o
laege
re
m
ove_equali
t
ies: stop
remov
i
n
f
equali
t
i
es if i
n
p
ut
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoo
l
a
e
g
e
bar
v
in
o
k_count: stop counting if fir
s
t
factor
i
s
e
mpt
y
commit
|
commitdiff
|
tree
next