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
doc: document lattice width computation
2007-11-02
Sv
e
n
Verdoola
e
ge
doc: d
o
cument
l
a
t
tice width
c
o
m
putation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
som
e
la
t
tice width tests
f
rom Jon Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
Polyhe
d
ron_Lattice_Width: decide on facets
t
o close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhedron_Lattice_
W
id
t
h for com
p
uting lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaeg
e
hilbert
.
c: add Cone_Integer_H
u
l
l
for comp
u
ting v
e
rtice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
lysign
:
a
d
d pip
-
backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
l
a
ege
polysi
g
n:
a
d
d co
n
straints_opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
ool
a
e
g
e
polysig
n
_cdd: s
w
itc
h
to use of Ma
t
rix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doolaeg
e
polysign_glpk: switch to
u
se o
f
Mat
r
ix representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc
:
d
o
cum
e
nt computati
o
n of Hilbert b
a
s
is
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
eg
e
C
one_Hil
b
ert_B
a
sis: u
s
e
stand
a
rd
_
con
s
traints to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Use
z
solve
to comp
u
te Hilbert b
a
sis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
aege
com
p
ile zs
o
lve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
z
solve: don't install headers and executab
l
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve: initia
l
ize BackupTime in ZSolveConte
x
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
zsolve
:
z
s
olveSys
t
em: add
mis
s
ing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doo
l
aege
z
solve: override LIBS from
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
a
d
d 4ti2-1
.
3
.
1+autoconf-0
.
1 bann
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add zsolve
f
rom 4ti2
-
1
.
3
.
1+a
u
toconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
param
_
util
.
c
:
e
xport bit_
v
ec
t
or_coun
t
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
topcom
.
c: extract
p
art
o
f code fo
r
set
t
in
g
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hadamard_product: print prog
r
ess i
n
di
c
ator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n Verdoolaege
move
--v
e
rbose option
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
gen_fun:
:
s
u
mmate: handl
e
full specia
l
ization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ver
d
oolaege
R
eplace
i
ncre
m
ental
in
f
i
nite set
c
ounter by "
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter::add_falling_p
o
wers static
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaeg
e
merge (most
of) common p
a
rt
o
f counter an
d
tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
icou
n
t
e
r: handle
specialization of
p
olyn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
icounter
:
don'
t
b
o
ther "no
r
maliz
i
ng" the
expo
n
en
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
export neg_l
e
ft_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
s
is_reduction_cdd: check for possibly
inc
o
rr
e
ct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
Polyhed
r
on_Sample: handle polyhe
d
ron bec
o
mi
n
g empt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun::o
p
erator
e
v
a
lue
*: always re
t
urn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
l
a
ege
gen_fun::opera
t
or eva
l
ue *: remove commen
t
ed out d
e
bu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
r
vinok_enumerate_e
.
cc: handle verifi
c
ation of prob
l
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok_enumerat
e
_e: o
p
tionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
o
k_enume
r
ate_e: support verifica
t
i
o
n
of gene
r
ati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
barvinok_
e
numerate
_
e: sup
p
ort
conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
l
attice_
p
oint
s
: another m
i
cro-
o
ptimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
a
ttice_points_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoo
l
aege
gen_
f
un::add: context of
s
um should be u
n
ion of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
barvinok_enumerate: us
e
verify
infra
s
t
r
uct
u
re
f
or verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
g
en
f
un
.
c
c: pr
i
nt_powe
r
: drop space
s
around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
count_poi
n
ts_
e
: fall bac
k
to
c
ount_po
i
nts if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
ool
a
ege
Mak
e
file
.
am: check-evalue: pri
n
t nam
e
of
e
ach
tes
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
ve
r
if
y
:
ad
d
che
c
k_poly_print helper functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolae
g
e
gen_
f
un: make su
r
e context i
s
always set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
reducer
:
:reduce: canoni
c
a
l
ize coeffi
c
ient
s
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
s
hor
t
_rat::p
r
int: correct
l
y print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_seri
e
s: recheck for equ
a
lities
after co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
export Mat
r
ix
_
R
e
ad for
reading Ma
t
rix
f
ro
m
a st
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
p
aram_util
.
c: add Param_Ver
t
ex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
util
.
c: supporting_constraints: return bit ve
c
tor
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
polylib: up
d
ate for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
options
.
c
:
use
Polyhedron_Samp
l
e for counting i
n
fini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
keep track of and use s
a
turating constrain
t
s
i
n P
a
ram_Polyhe
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move va
l
ue_g
c
d
an
d
v
alue_lcm
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
g
e
Bernoul
l
i_sum_evalu
e
: onl
y
compute exact sum
if appro
x
imatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_evalue: sum o
v
er variables with
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rd
o
olaege
eva
l
u
e
.
c: export evalue_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Polyhedron
_
Exchange
C
olumns: normalize
c
onstra
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ex
p
ort
P
ol
y
hedron_ExchangeC
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalue_polynomial: optimi
z
e evalu
a
tion in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
o
olaeg
e
ev
a
lue
.
c:
e
m
ul: handle another sp
e
cial case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
evalue
.
c:
e
add: handle
s
ome
s
pec
i
a
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
in
t
roduce and use evalu
e
_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
evalue
.
c:
e
add:
micro-optimize additio
n
of two
r
ationals
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
s
e
tting an approximatio
n
method now i
m
p
lies polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_summa
t
e:
o
ptio
n
ally use B
e
rnou
l
li/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Berno
u
l
l
i
_sum_eval
u
e: use evalue_fr
o
m
_
se
c
ti
o
n
_
array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
b
a
rvinok/polylib
.
h: re
m
ove co
m
p
atibility wit
h
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
mov
e
Vector_
O
pp
o
s
e
to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
polytop
e
_scan: r
e
enable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
re
m
ove_all_equalities: keep removing
equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
r
em
o
v
e
_all_e
q
ualiti
e
s: handle
empty
p
olyh
e
dr
o
n detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Ver
d
oolaege
remove_a
l
l
_equalities: m
i
nor co
d
e clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Ver
d
ool
a
ege
exp
o
rt Polyhedron_Matr
i
x
_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
p
olar_signed_cone_con
s
u
mer: c
l
ean up memory on inappr
o
priate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inner_Pr
o
duct:
f
ix
u
se of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
ven Verdoolaeg
e
doc: fi
x
typo in Michele Vergne's
n
ame
commit
|
commitdiff
|
tree
2007-09-21
S
ven V
e
r
d
oolaege
A
d
d missing
fi
l
es from polyma
k
e c
l
ient
t
o distribution
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verd
o
olaege
U
s
e
g
mp's gcd
r
ather than
P
olyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
polymake/RE
A
DME: mention --with
-
ba
r
vin
o
k co
n
fi
g
u
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
p
o
l
ymake/Makefile
.
i
n: add work-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
evalue
.
c:
p
r
i
nt_evalue
:
a
lway
s
print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sv
e
n Verdo
o
laeg
e
o
ptions
.
c: fix
typ
o
in --appro
x
ima
t
ion-method description
commit
|
commitdiff
|
tree
2007-09-15
S
v
e
n Verdoolaege
topco
m
: fix heuristic f
o
r selec
t
ing rows to
u
s
e as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdo
o
l
a
ege
b
a
rvino
k
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge branch 't
o
pcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Documen
t
TOPCOM based ch
a
m
b
er deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
g
e
test TOPCOM chamb
e
r
d
ec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Op
t
ion
a
lly
use T
O
PCOM to compute chamb
e
r decomposition
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
le
x
m
i
n: add (protect
e
d) missing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Make
f
i
le
.
am:
add target
for creatin
g
d
ist
w
ith
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven
V
erdoolaeg
e
d
o
c:
upda
t
e vo
t
ing
t
heory refe
r
en
c
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
do
c
um
e
nt barv
i
nok_summ
a
t
e
and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaege
doc: consistent use of B
a
rvinok's init
i
als
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
b
a
r
vinok_s
u
mmat
e
: correct options descr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
Document E
u
le
r
-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: change
e
xam
p
le environmen
t
commit
|
commitdiff
|
tree
next