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_maximize: optionally use (basic) range propagation
2007-11-01
Sven Verdoolaeg
e
add P
o
lyhed
r
on_Lattice_Width for computing lat
t
ic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
hilbert
.
c:
ad
d
Cone_Integer_Hull for co
m
put
i
n
g vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
poly
s
ign:
add pip-backed versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
e
g
e
polysign:
add c
o
n
s
traint
s
_opt to compute op
t
imum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
poly
s
ign_c
d
d: swit
c
h to u
s
e of
M
atrix r
e
presentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
polysign_g
l
p
k: sw
i
tch to use of M
a
trix r
e
pr
e
sentat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolae
g
e
doc: documen
t
computation of
Hilbert basis o
f
a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
doolaege
Cone_Hilbert_Basis: use
standar
d
_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolaege
Use zsolve
t
o
co
m
pute Hi
l
bert basis
o
f
a
c
on
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolae
g
e
c
ompi
l
e zsolv
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
ae
g
e
zsolve: don't install h
e
aders and execut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
so
l
ve
:
initia
l
ize Back
u
pTime
i
n ZSolv
e
Con
t
ex
t
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdo
o
la
e
ge
zsolve: zsolveSystem: add
m
issing verbo
s
it
y
chec
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
aege
zsol
v
e: override LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
a
dd 4t
i
2-1
.
3
.
1+autoconf
-
0
.
1
b
anner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zso
l
ve from 4ti2-1
.
3
.
1+autoc
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
er
d
oolaege
p
a
ram_u
t
il
.
c
: export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
topco
m
.
c
: extract part o
f
code
for setting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdool
a
ege
ge
n
_
fun::Hada
m
ar
d
_product: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
a
e
ge
move
-
-verbose
o
ption to
l
ibrary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::summate: hand
l
e
full sp
e
cial
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
Replace incre
m
ental infinite set cou
n
t
e
r by "r
e
g
u
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
make count
e
r::add_falling_pow
e
rs
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
merge
(most of)
c
ommon part of counter and tc
o
unter
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
ico
u
nter: handl
e
spe
c
ializatio
n
o
f
polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
ico
u
nter: don't
bother
"
n
o
rma
l
izin
g
"
t
he
ex
p
onents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_
l
e
f
t_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_reductio
n
_cdd:
c
heck for
p
o
s
sibly incor
r
ect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Pol
y
h
edro
n
_
Sample: handle polyhedro
n
b
e
c
oming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
gen_
f
un::opera
t
or
e
va
l
ue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
gen_fun::operato
r
e
v
a
l
ue *:
r
emove commented
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
barvi
n
o
k_enumerat
e
_e
.
cc:
han
d
le verific
a
tion of
p
r
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerat
e
_e: opti
o
nally
p
ri
n
t stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
bar
v
inok_enumer
a
te_e: support verific
a
t
i
on of generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok_enumerate_e: support
co
n
v
ersion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points: another
m
icro-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_po
i
n
t
s
_
fi
x
ed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
ge
n
_fun::add:
context of sum should be union of co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
b
arvinok_enumerate: use ve
r
ify in
f
ra
s
truct
u
r
e
f
or
verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaeg
e
genfu
n
.
cc: print_power:
d
r
o
p
s
paces around
"/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
c
o
un
t
_
points_e: fal
l
ba
c
k
to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
M
a
k
e
file
.
am: ch
e
ck-
e
value: print name of
each
t
es
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
verify: add check_poly_print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun: make
s
ure cont
e
xt is always
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
red
u
cer::re
d
u
c
e: canonic
a
lize
c
o
efficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
short
_
r
a
t::pri
n
t: correctly print out terms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvin
o
k_se
r
ies: r
e
check for equaliti
e
s af
t
er
c
ompu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export
M
atrix
_
Read for read
i
ng Matrix from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
pa
r
am_util
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
util
.
c: supp
o
rting_
c
onstraints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
pol
y
lib: update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
options
.
c: use Polyh
e
d
ron
_
Sample for co
u
n
t
ing infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
keep t
r
ac
k
of and use saturating con
s
train
t
s
i
n Para
m
_P
o
lyhe
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
move value_
g
cd and value_lc
m
to p
o
lylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Bernoulli_sum_evalue:
only
c
ompu
t
e exact sum if
a
pproximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Bern
o
u
l
li_sum_evalue: sum ove
r
variabl
e
s
w
i
th
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
e
v
al
u
e
.
c:
export evalue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
P
olyhedr
o
n_ExchangeColum
n
s: normali
z
e co
n
straints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
e
x
port Pol
y
h
e
dron_Exchang
e
Columns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
evalue_polynomial: op
t
imize evalu
a
t
ion
i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: emul: hand
l
e another
s
pe
c
ial cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
ue
.
c:
e
add: han
d
le some
special c
a
ses
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
n
tr
o
duce and use eval
u
e_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
evalu
e
.
c: eadd:
m
icro-optimize a
d
di
t
ion of t
w
o rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
s
e
t
ti
n
g an approx
i
matio
n
m
e
t
h
od no
w
i
mpl
i
e
s
p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oola
e
ge
barvinok_summate: optionally
u
s
e
Ber
n
oulli
/
Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
Bern
o
ulli_s
u
m_ev
a
lue: use evalue_from
_
sect
i
on_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
o
laege
barvinok/p
o
lylib
.
h: remove compatibili
t
y with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
move
Vector_Oppose t
o
PolyL
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
polytope_sca
n
: reena
b
le --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verd
o
o
l
aege
remove_all_e
q
ualities: keep rem
o
ving
equali
t
ies until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven V
e
rdoolaege
r
e
mov
e
_al
l
_e
q
ualities: hand
l
e empty
polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verd
o
olaege
remove_all_e
q
ualities: min
o
r
cod
e
clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n Verdoolae
g
e
export Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven V
e
rdoolaege
po
l
ar
_
signed
_
cone_co
n
s
u
mer: clean u
p
me
m
ory on inappro
p
riate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
en
V
e
r
doolaege
P
a
ram_Inner_Product: fix use o
f
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n Verdoolaege
do
c
: fix typo in Mic
h
ele Vergne'
s
name
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verd
o
o
laege
Add
m
issing files from po
l
ymak
e
c
l
ient to
d
istri
b
utio
n
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
Use gmp's
gcd ra
t
her than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
polymake/README:
mention
-
-
with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
po
l
ymake/Makefile
.
in: add w
o
r
k
-
around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
en
V
erdoolaege
e
va
l
ue
.
c: print_evalu
e
: always print newline
a
t
th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ve
r
do
o
lae
g
e
op
t
io
n
s
.
c: fix
t
ypo
i
n
-
-
a
pproximation-
m
ethod descr
i
ption
commit
|
commitdiff
|
tree
2007-09-15
Sven
V
erdoolaege
t
opcom: fi
x
h
eur
i
sti
c
for
selecting rows to u
s
e
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaeg
e
Merge branc
h
'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdo
o
laege
Doc
u
m
e
nt TO
P
COM
bas
e
d cha
m
be
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
test T
O
PCOM chamber decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Optionally use TOPCOM
t
o compute c
h
amber
d
ecompo
s
itions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin: add (protected) mi
s
sin
g
algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Makefile
.
am: add tar
g
et for creating dist w
i
t
h git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdool
a
ege
doc:
u
p
date voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ver
d
oolaege
docum
e
nt b
a
rvinok_summate and barvinok_max
i
mize
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
d
o
c: cons
i
stent us
e
o
f
Barvinok's initial
s
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoolaege
barvino
k
_summate
:
corr
e
c
t options descr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Document Eu
l
er-Maclaur
i
n bas
e
d summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolae
g
e
doc: change example e
n
viro
n
men
t
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaeg
e
doc: a
d
d some hidden
se
c
ti
o
ns to table of con
t
e
nt
s
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verdoolaege
doc: another
d
ocument
r
e
fering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
g
e
add some t
e
sts for
E
uler-M
a
claurin based summatio
n
commit
|
commitdiff
|
tree
next