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
bernstein: piecewise_lst::evaluate: fix typo
2006-08-14
S
ven Ve
r
d
o
olaege
Merge branch '
m
aster' into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolae
g
e
i
ns
t
all NTL_QQ
.
h
hea
d
er
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdo
o
laege
basis_red
u
ction
.
c
: clean
up G
L
P
K
m
em
o
r
y
commit
|
commitdiff
|
tree
2006-08-13
S
v
e
n
Verdoolaege
M
erg
e
branc
h
'ma
s
ter'
i
nto b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-13
S
ven
V
erdoo
l
aege
lexmin
.
cc: don't bothe
r
t
ransforming if compre
s
s_pa
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
l
exmin
.
cc: fix use of c
o
mp
r
ess_
p
arms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
ege
sample
.
c: fix
remove_ra
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
ba
r
vinok_
c
ount: clea
n
up
memory after si
m
p
lifying c
o
nstra
i
nts
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoolaege
README:
updat
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
lae
g
e
omega/polyfunc
.
c
c: maximize:
simplif
y
d
omain
before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doolaege
o
m
ega/parser
.
y: creat
e
new variable
M
ap for e
a
ch p
o
lyfunc
commit
|
commitdiff
|
tree
2006-08-12
S
ven
V
erd
o
ola
e
ge
omega/p
a
rser
.
y: f
r
ee malloc'ed memor
y
(
i
nste
a
d
o
f delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
er
d
oolaege
M
e
r
ge branch 'mast
e
r' in
t
o bernstein
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoolaege
only
p
e
rform lexmin tes
t
s when lexmin has been compi
l
ed
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Ver
d
oolae
g
e
s
om
e
more tests with unboun
d
ed poly
h
edra
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoo
l
aege
add some s
m
all te
s
t
s for
lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doolaege
lexmin:
b
arf when poly
h
edron contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: don't print solu
t
i
on wh
e
n verifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoola
e
g
e
ve
r
i
fy
_
m
a
in
.
c
c: clean up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoola
e
ge
M
e
rge
b
r
anch
'
mas
t
er' into
bern
s
tein
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barv
i
nok_s
e
ries:
handle fixed poly
t
o
p
es
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdo
o
la
e
ge
ge
n
_f
u
n:
a
dd constructor
f
or ge
n
e
r
ating fun
c
tion with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven Ver
d
oolaege
barvinok
.
cc: remo
v
e_mor
e
_equalities: handl
e
equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
ge
n
_fun
:
:coefficient: reset the number of row
s
in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaeg
e
l
e
xmin
.
c
c
:
us
e
remove_
e
qualities c
o
n
s
istently
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
V
erdoolaege
util
.
c: comp
r
ess_variables: extra
c
ted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verd
o
olaeg
e
lexmin: don't
c
heck a
n
ything
if given range
l
i
es o
u
tside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdo
o
l
a
e
ge
lexmin
.
cc: remove_equalities; take preimage with ret
u
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
er
d
oolaege
lexmin
.
c
c: remove_equalities
:
exten
d
return
e
d matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ven V
e
rdool
a
eg
e
le
x
min
.
cc: in_domain: fix ty
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sven
Ver
d
oolaege
l
exmin
.
c
c:
remove
some d
e
bugging resi
d
ues
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Ve
r
doolaege
r
educe_d
o
ma
i
n: compute c
o
nvex union of
domain
commit
|
commitdiff
|
tree
2006-08-09
S
ven Ve
r
doola
e
ge
lex
m
in
.
cc: in_domain: also check other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n V
e
r
d
oolaege
lexmin:
i
n_do
m
ain:
s
e
t
values if constra
i
nts
d
on't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
le
x
min: plug some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaege
lexmin: an
e
x
p
erimental tool for computing the p
a
rame
t
ric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verd
o
olaege
a
d
d
fdstream
commit
|
commitdiff
|
tree
2006-08-08
S
v
en
V
erdoo
l
aege
e
value
.
c:
floor2frac_r: plug
m
e
mory le
a
k
commit
|
commitdiff
|
tree
2006-08-08
S
v
en Verdoolaege
b
a
rv
i
nok
.
cc: unfrin
g
e
: wor
k
i
n
crementally
commit
|
commitdiff
|
tree
2006-08-06
S
v
e
n
Ve
r
doo
l
aege
eval
u
e_frac2fl
o
or_in_domain:
plug memory
l
eak
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaeg
e
Pol
y
he
d
ron_Sample: allow equalities in input
p
olyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoo
l
aeg
e
Polyhedron_Sample: ma
k
e
sure verti
c
e
s
are
availabl
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
Po
l
yhedron_Sample: simpl
i
fy constraints after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
P
o
lyhedron_Sample: handle empty
a
nd 0D polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
l
a
ege
sa
m
ple
.
c: a
l
t
e
rnative
im
p
l
e
m
e
n
t
ation
o
f r
e
m
o
ve
_
ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laeg
e
sample
.
c:
Poly
h
edron
_
Remov
e
FixedColu
m
ns
:
handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdool
a
ege
barvinok_count_f:
c
he
c
k whether polyhedr
o
n is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
o
olaege
b
a
rvinok_co
u
n
t
: simplify
c
onstraints aft
e
r re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
o
l
a
ege
r
educe
d
_basis: su
p
port 1D pol
y
top
e
s
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
a
ege
re
d
uced_basis: ensure all LP
solutions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
Merge branch '
m
aste
r
'
i
n
to ber
n
s
t
ein
commit
|
commitdiff
|
tree
2006-08-02
Sven V
e
rdoolaege
occ
:
print param
e
t
ric vertices o
f
set using PolyLib
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Ve
r
doo
l
aege
occ: allow polynomi
a
ls in berns
t
ein maximizat
i
on to
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Ver
d
oolaege
Merge
b
ranch
'master'
i
nto bern
s
te
i
n
commit
|
commitdiff
|
tree
2006-08-01
S
v
en
Verdoola
e
ge
occ: add interfac
e
t
o
bar
v
ino
k
_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoo
l
a
e
ge
ut
i
l
.
c: p
r
ovide dummy barvinok
_
l
e
x
s
maller_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
o
olaeg
e
4coin
s
: computes g
e
ne
r
a
ting function for 4 coin Froben
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verd
o
olaege
gen
_
fu
n
:
:
H
adam
a
rd_prod
u
ct: apply parameter com
p
res
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun:
:
su
b
stitute: only
pass
in
t
rans
f
ormation
m
a
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
s
c
arf
.
cc: support more cases of 3 (independent)
cons
t
r
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
rdoo
l
a
eg
e
scarf
.
cc: s
u
ppor
t
m
ore ca
s
e
s of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Ver
d
o
ola
e
ge
genfun
.
cc: add gen_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
genfun
.
cc:
a
nother ge
n
_fu
n
::su
m
mat
e
met
h
od
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doolaege
in
f
inite_icounte
r
:
a
n incremental counte
r
for
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
ven V
e
rdool
a
ege
icounter: move
f
r
o
m
barvinok
.
cc
t
o reducer
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfenum
e
rat
o
r
:
:
s
et_
f
actor:
plug small
m
emory
leak
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ver
d
ool
a
ege
b
a
rvino
k
_enumerate_union_s
e
ri
e
s
: u
s
e
gen_
f
un::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genf
u
n
.
c
c
:
add ge
n
_fu
n
::summate
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doola
e
ge
gen_
f
un:
:
Had
a
m
a
rd_product: o
p
timiz
e
comp
u
t
a
tion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
d
o
olaege
gen_fun::Hadam
a
rd_produc
t
: make
f
irst
a
rgu
m
en
t
c
o
ns
t
commit
|
commitdiff
|
tree
2006-07-26
S
v
en V
e
rdo
o
laeg
e
polar_decompose
r
::decompose
:
make
s
ure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
np_base:
a
dd
d
o_vertex_cone
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
laege
gen
_
fun
:
:pr
i
nt:
all
o
w printing to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdool
a
ege
bfc
o
unter
.
cc:
m
o
v
e some
m
o
r
e code f
r
om barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
g
en_fun
.
h: short_rat: use QQ i
n
st
e
a
d of pair
of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoola
e
ge
NTL
_
QQ
.
cc: a
r
a
tional NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
verify_main
.
cc: sma
l
l me
m
ory
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
b
a
r
vin
o
k_s
e
r
i
es: move ch
o
ice of w
h
ich gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
arvinok
.
cc: move som
e
functional
i
ty into sepa
r
a
te
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
aege
barvinok
.
cc
:
move Polyhedron argument to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olae
g
e
barvinok
.
cc: move start and handle
_
p
o
lar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaeg
e
gen_fun:
a
dd shift
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
l
a
ege
g
e
n_fun:
a
d
d
co
p
y con
s
t
ructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doo
l
ae
g
e
zz2value
s
: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoo
l
a
ege
zz
2
value: mak
e
first ar
g
ument c
o
nst
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
P
oly
h
edro
n
_is_infinite: use Polyhedro
n
_
S
a
mple if av
a
ilable
.
commit
|
commitdiff
|
tree
2006-07-20
Sven
V
e
rdo
o
laege
polyhedron_sam
p
le: co
m
putes an integer v
e
ctor in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
V
erdo
o
l
a
ege
configure
.
in:
chec
k
f
or glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: simplex::sh
r
unk_polyh
e
dr
o
n
:
only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
gen_
f
un::add: perform tr
i
via
l
redu
c
tio
n
step
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n
Verd
o
olaege
genfun
.
cc:
r
eorde
r
t
e
r
ms in n
u
mer
a
tor
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n Verd
o
ola
e
ge
scarf
.
c
c:
n
ormalize_matrix: s
i
m
plify n=
=
3 case s
o
me
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdoolaeg
e
scarf
.
cc: supp
o
rt some cases of 4 c
o
nstr
a
ints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvin
o
k
_
enume
r
a
t
e_e: --pri
n
t-all for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scar
f
.
cc
:
normalize_m
a
trix
:
s
i
mplify
n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolae
g
e
scarf
.
c
c: project o
u
t 2 variables using
Scarf com
p
lex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdool
a
e
g
e
util
.
c
:
export E
x
tended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
c
onfigure
.
in: m
a
ke
-
-
enable-fractional the
d
ef
a
u
l
t
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolae
g
e
barvinok_c
o
unt
:
check whether u
n
bounded po
l
yhedra a
c
tua
l
ly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven V
e
rdoo
l
aege
polymake/conf
i
g
ure
.
in: allow spec
i
fic
a
tio
n
of l
o
cat
i
on
.
.
.
commit
|
commitdiff
|
tree
next