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
compile zsolve
2007-10-31
S
v
e
n
Ve
r
dool
a
ege
compil
e
z
sol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
olve
:
d
o
n't insta
l
l h
e
ad
e
rs and e
x
e
cut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolve: initialize BackupTime in
Z
SolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zsolve: zso
l
ve
S
ystem:
add missing ve
r
b
o
s
i
ty check
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsolve:
o
ver
r
ide LIBS from top
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
add 4ti2-1
.
3
.
1+autocon
f
-0
.
1 b
a
nner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
add zsolve from 4ti2
-
1
.
3
.
1
+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
param_util
.
c: ex
p
ort bit_vector_coun
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
topcom
.
c: extr
a
ct
p
art of code for setting up
s
tandard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en
V
e
rdoolaege
gen_fun::Hada
m
ard_product:
p
rint progress indic
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verd
o
olaege
move --ve
r
bose op
t
ion t
o
l
i
brary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen_fun::summ
a
te: han
d
le fu
l
l
s
pecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Replace incremen
t
al infinite
s
et counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
make coun
t
er::add_falling_powers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olae
g
e
merge (most of) common part of
c
ount
e
r and tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
icoun
t
er:
h
a
n
dle specializatio
n
of polyn
o
mia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
icounter:
don't bother "normalizing" the exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
export neg
_
left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoo
l
aege
basis_reduction_
c
dd: c
h
eck for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
Poly
h
edr
o
n_Sam
p
le:
handle polyh
e
dron becom
i
ng em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
gen_fun::o
p
erator evalue *: always return
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_fun
:
:
o
perato
r
evalue
*:
re
m
ov
e
comme
n
ted out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
b
ar
v
inok
_
enum
e
rate_e
.
c
c
:
han
d
le verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
g
e
b
a
r
vinok_enumerat
e
_e: opti
o
n
ally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
barvinok_enumerate_e: support
verific
a
tion of generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_enu
m
erate_e
:
support conver
s
ion o
f
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
latti
c
e_
p
o
ints:
another micro-optimiz
a
tio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
attice_points_fixed:
nano
-
opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
g
e
n_fun::
a
d
d
: context
o
f
sum should
b
e union o
f
co
n
tex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok_enumerate: use ve
r
ify infras
t
ruc
t
ure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc: pr
i
nt_power:
drop spa
c
es
a
round "/" whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
count_points_e: fall bac
k
to count_p
o
i
n
t
s
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Makefile
.
am:
ch
e
ck
-
evalue: pr
i
nt na
m
e
of
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
v
e
rify: add check_poly_print
helper funct
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun
:
make su
r
e conte
x
t is
a
lways
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
reducer
:
:reduce
:
ca
n
onicaliz
e
coefficie
n
ts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
short_rat::p
r
int: c
o
rrectly prin
t
out ter
m
s wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
barvinok_ser
i
es
:
r
e
check for
e
qualit
i
es after computin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export
M
atrix_
R
ead for reading Matrix from a
str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
param_util
.
c: a
d
d
Param_
V
e
rtex_Domai
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
u
til
.
c: supporting_const
r
aints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdool
a
ege
po
l
ylib: update for
Matrix_E
x
ten
d
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
options
.
c: use Poly
h
ed
r
on_S
a
mple for counting infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
keep
t
rack of and us
e
s
atu
r
ating co
n
straints in Param_Poly
h
edron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_g
c
d and value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Berno
u
lli_sum_evalue: only compute exact sum if approxi
m
ati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Bernoulli_su
m
_evalue: sum
o
ver v
a
r
i
a
bles
w
ith integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
eva
l
ue
.
c: ex
p
o
rt evalu
e
_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
o
l
aege
Polyhedr
o
n_ExchangeColu
m
ns: norma
l
iz
e
constr
a
ints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
export Polyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue_polyn
o
mia
l
: optimize eval
u
a
t
ion in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
ae
g
e
evalue
.
c: emul: handle anoth
e
r
s
pe
c
ial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
e
value
.
c
:
eadd: h
a
ndle some sp
e
cial cases
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
introduce and use
e
valu
e
_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
e
val
u
e
.
c
:
eadd:
m
i
cro-optimize addition of t
w
o rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an a
p
proxim
a
t
i
on method now im
p
lies
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
b
arvinok_summate: opti
o
nall
y
use
Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
B
e
rno
u
l
l
i_su
m
_evalue: use ev
a
l
ue_from_sectio
n
_
a
r
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
b
a
rvinok/polylib
.
h: remove compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
move
V
ector_Oppose to P
o
l
y
Lib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
polytope_scan: reenable --dire
c
t
o
ption
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
remove_all_e
q
ualities: k
e
ep
r
emoving eq
u
aliti
e
s until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
remove_all_equa
l
i
t
i
e
s
: han
d
l
e
e
mpty pol
y
h
e
dron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Ve
r
doolaege
re
m
ove_all_equali
t
ies: minor code
clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
export
Polyh
e
dro
n
_
Matr
i
x
_
View
commit
|
commitdiff
|
tree
2007-10-16
Sven
V
erdoolae
g
e
polar
_
signed_cone_consumer: clean up me
m
o
ry on inap
p
ropriat
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdool
a
ege
P
ara
m
_Inner_Prod
u
ct: fix use of value_
l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
do
o
l
a
ege
doc: fix typo in Mic
h
ele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
Verdoolaege
Add m
i
ssin
g
f
i
les from polym
a
ke clien
t
to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
o
ol
a
e
g
e
Use gmp's gc
d
rather
t
han Po
l
y
L
ib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/README:
men
t
ion --with-barvinok c
o
nfigur
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoo
l
aege
polymake/Mak
e
file
.
i
n
:
a
dd wor
k
-ar
o
und for po
l
y
make 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
aege
eva
l
ue
.
c: pr
i
nt_evalue:
a
lways prin
t
ne
w
line a
t
th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ve
r
doolaege
opt
i
ons
.
c:
fix typo in --a
p
pr
o
ximat
i
on-meth
o
d descr
i
p
tion
commit
|
commitdiff
|
tree
2007-09-15
S
ven Verdoolaege
t
opcom
:
fix heuris
t
i
c for
s
e
lecting
row
s
t
o
us
e
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
barv
i
nok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Merge branch 't
o
pcom
'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Doc
u
ment T
O
P
C
OM base
d
chamber decom
p
os
i
t
io
n
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
test
T
OPCOM chamb
e
r
d
ec
o
mposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optionally us
e
TOPCOM to compute chamb
e
r decompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoo
l
aege
l
e
x
m
i
n
: a
d
d (p
r
otected) missing
a
l
g
o
rithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
e
g
e
Makefile
.
am: add targe
t
for crea
t
ing dis
t
wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven V
e
rdoolaege
doc:
update voting theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
V
erdoolaege
d
o
cument barvi
n
ok_s
u
mmate and ba
r
vi
n
ok
_
maxim
i
z
e
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
doc: consi
s
tent use of B
a
rv
i
nok's
i
nitials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok
_
summate
:
correc
t
options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
o
ola
e
ge
D
o
cument Euler-M
a
claur
i
n based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
r
doolaege
doc: ch
a
nge
examp
l
e environment
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
d
o
c: add s
o
me hidd
e
n sections
t
o tab
l
e
of contents
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc: another document
referi
n
g to the l
i
b
rary
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolae
g
e
add some
t
ests for Euler-Maclaur
i
n
based
s
ummation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Eu
l
er-Maclau
r
i
n based summ
a
tion
f
or 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
E
uler-Maclau
r
i
n b
a
sed
summation for 2D pro
b
lems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
a
ege
decomposer
.
c
c
: av
o
id
u
s
e
o
f
half-
o
pen c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
barvinok_summate: ver
i
fy
solution
o
v
er whole
p
ar
a
met
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
in
t
roduce barvinok_s
u
mm
a
te as
a wrapper for eval
u
e_
s
um
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoola
e
g
e
ad
d
evalue_mul_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
S
ven V
e
rdoolaege
evalue_{div,mul}: hand
l
e s
o
me trivial cases more effic
i
ently
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
r
d
o
o
laege
l
attice_
p
oin
t
:
e
xpo
r
t fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
e
value
.
c:
extr
a
ct commo
n
code for const
r
uction based
.
.
.
commit
|
commitdiff
|
tree
next