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
zsolve: initialize BackupTime in ZSolveContext
2007-10-31
Sven
Verdo
o
laege
zs
o
lve
:
ini
t
ialize BackupT
i
me in ZSolveCont
e
xt
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zsolve:
z
sol
v
eSystem: a
d
d m
i
ssing verbosity
check
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
olaege
z
s
olve: override LIBS f
r
o
m
t
op leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
add 4ti2
-
1
.
3
.
1+autoconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
a
d
d
z
solve from 4ti
2
-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
param
_
util
.
c: export bit_v
e
ctor_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
ege
top
c
om
.
c: extract p
a
rt of code for setti
n
g
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fu
n
::Hadam
a
rd_product: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
e
n
Verd
o
olaege
move
-
-verbose op
t
ion to lib
r
ary
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
ge
n
_fun
:
:
summ
a
te
:
h
a
ndle ful
l
specializa
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Replace incre
m
ental i
n
f
init
e
s
et counte
r
by "r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
make counter::
a
dd_falling_power
s
static
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdool
a
e
ge
merge
(
m
o
s
t
o
f
) common part of counter and
tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter:
handle
s
pecialization of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
ic
o
u
n
t
er:
d
on't
b
other "normalizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_her
m
ite
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdoolaege
basis_reduct
i
on_cdd: check for poss
i
bl
y
incorrect
o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
P
o
ly
h
edron_Sample:
h
andl
e
polyhedr
o
n be
c
oming e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator evalue *: a
l
wa
y
s return a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::op
e
rat
o
r evalue *:
r
e
move
comm
e
nted out deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barv
i
nok_enumerate_e
.
c
c: hand
l
e veri
f
ication of p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Ver
d
oolaege
barvinok_enum
e
rate_e: optiona
l
ly print stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doo
l
a
ege
barvinok
_
enumera
t
e
_
e: support verification
o
f generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enum
e
rate_e: support
conve
r
sio
n
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
latt
i
c
e_poi
n
t
s
: an
o
t
h
er micro-
o
ptimiz
a
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points_f
i
x
ed: nano
-
optimizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
g
e
n_fun::add: co
n
t
ext
of sum shoul
d
b
e union of c
o
n
t
e
x
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
inok_enum
e
rate: u
s
e ver
i
fy infrast
r
uctur
e
for v
e
rifyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
g
e
n
fun
.
cc: print_power: drop spaces aro
u
nd "
/
"
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
e
g
e
count
_
po
i
n
t
s
_e: f
a
ll back
t
o count_points
if
t
h
e
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
ol
a
e
g
e
M
a
k
efil
e
.
am: chec
k
-evalue: pr
i
nt name o
f
e
ach te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
verify: a
d
d che
c
k_poly_print helper fu
n
ctio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
g
e
n
_
fun:
m
ake
s
ure context is
a
lways
set
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
reducer::r
e
duc
e
:
canonicalize coeffic
i
ents in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
short_rat
:
:p
r
int: correctly prin
t
out t
e
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
b
a
rvinok_series: rechec
k
for equalities afte
r
computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Matrix_
R
ea
d
for readin
g
Matrix fr
o
m a s
t
rea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
param_ut
i
l
.
c: ad
d
P
a
ra
m
_Vert
e
x_Domai
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
uti
l
.
c
:
s
upporting_co
n
straints: retur
n
bit vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
po
l
y
li
b
: update for Matrix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c:
u
s
e Po
l
yhedro
n
_Sample for counting
i
nfinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
ke
e
p tr
a
ck of an
d
use saturating constraints in Para
m
_
Pol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
mov
e
value_g
c
d and value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Be
r
noulli_sum
_
evalue: only
c
omp
u
te
exact sum if ap
p
r
oximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
Bernoulli_sum_evalue: sum over variables with int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
e
v
al
u
e
.
c: export ev
a
lue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
P
o
l
y
hedron_ExchangeColumns: norm
a
l
i
ze constrain
t
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export Poly
h
edron_Exchan
g
eCol
u
mns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue_pol
y
nomial: optimize evaluation
i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
value
.
c: emu
l
: handle
a
noth
e
r specia
l
ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue
.
c: ead
d
:
h
andle some s
p
e
cial case
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
u
e
.
c:
e
add:
m
icro-optimize additi
o
n of
t
w
o rationals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaege
se
t
ting an approximati
o
n m
e
thod now im
p
lies po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
b
a
r
vin
o
k
_
su
m
mate
:
o
p
tionally use
Bernoulli/Faulh
a
ber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli
_
s
u
m_evalue: use evalue_from_secti
o
n
_ar
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
b
a
r
vinok/polylib
.
h:
r
emove compatibility
with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
o
la
e
ge
move Vector
_
O
ppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
polytope_scan: reen
a
ble --d
i
rect
optio
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
e
m
ove_a
l
l_equalitie
s
: keep removing equali
t
ies
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaege
re
m
ov
e
_all_equalities
:
handle emp
t
y polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remov
e
_
a
ll_
e
q
ualities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
ex
p
ort Po
l
y
hed
r
on_M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en
V
erdoola
e
ge
pol
a
r
_
s
i
gned_cone_consumer
:
clean
u
p
memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Par
a
m_Inner_P
r
oduc
t
: fix use of value
_
l
cm
commit
|
commitdiff
|
tree
2007-09-28
Sven Ve
r
doola
e
ge
doc:
f
i
x
typo
in Miche
l
e Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
S
ven
Verdoolaege
Add missing
files
f
rom pol
y
ma
k
e client t
o
d
i
stribut
i
on
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolae
g
e
Use gmp'
s
gcd rather t
h
an P
o
l
yLib's
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdool
a
ege
polymake/R
E
ADME: ment
i
on
--with-barvi
n
o
k
conf
i
gure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdo
o
laege
polymake/Makefile
.
in: add work-ar
o
und for pol
y
mak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoola
e
ge
eval
u
e
.
c: print_
e
va
l
ue: always print
n
ewline at
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven
V
er
d
oolaege
o
p
t
ions
.
c: fix typo in --approxima
t
ion-method des
c
ri
p
tion
commit
|
commitdiff
|
tree
2007-09-15
S
ven Verdoolaege
topcom:
fix
heuristic for sele
c
t
ing
r
ows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Ve
r
doolaege
bar
v
inok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
M
e
r
ge branch 't
o
pcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Docum
e
nt TOPCOM
b
a
se
d
chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolae
g
e
t
est
T
OP
C
O
M chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Optionally use TOPCOM to compute
c
hamber d
e
composition
s
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoo
l
a
e
ge
lexmin
:
add (protected) missing algorit
h
m inclu
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
ool
a
ege
Makefile
.
am: add ta
r
get for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
:
u
pdate voting theory refer
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
d
ocument barvinok
_
summa
t
e and barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaeg
e
doc
:
consistent use
o
f Barvinok's i
n
itials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
barvino
k
_summa
t
e: correct
o
pti
o
ns descri
p
t
i
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Docum
e
nt Euler-Macl
a
uri
n
based summation
commit
|
commitdiff
|
tree
2007-09-10
S
ven Verd
o
olaege
doc: change example environ
m
ent
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
d
o
o
l
a
e
g
e
d
o
c
: add s
o
me hidden secti
o
n
s
to ta
b
le of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoola
e
ge
doc: anothe
r
do
c
umen
t
referi
n
g to t
h
e library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add
some test
s
for Euler-Ma
c
laurin based summat
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoola
e
ge
Euler-
M
aclauri
n
b
ased summation for
1
D
prob
l
ems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
ol
a
ege
Euler-Maclaurin based
s
ummation for
2D
p
robl
e
m
s
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdool
a
e
ge
decompose
r
.
c
c
: avoid use
o
f
half-open cones
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
ola
e
ge
bar
v
inok
_
summate: verify solution over
w
hole par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
in
t
roduc
e
barvino
k
_summate as a w
r
ap
p
er
f
or evalue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
add
evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
e
va
l
ue_{div,mul}: handl
e
some
trivial cases more effici
e
n
tly
commit
|
commitdiff
|
tree
2007-09-08
S
ven
V
er
d
oolaege
l
a
ttice_poi
n
t: export fractiona
l
_part
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
evalue
.
c
: e
x
t
ract
co
m
mon cod
e
fo
r
construction b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
volume
.
c: export
P
aram_P
o
l
y
he
d
ron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
ola
e
ge
a
d
d evalue_mul
commit
|
commitdiff
|
tree
next