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 Verdoolaege
zso
l
ve: ini
t
iali
z
e
B
ackupTime in ZSol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
d
oo
l
aege
zsolve:
zsolv
e
System: add m
i
s
sing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve
:
ov
e
rride
L
I
B
S from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verd
o
ol
a
ege
add 4ti2-1
.
3
.
1+autocon
f
-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoola
e
ge
a
d
d
zsolve from 4ti2-1
.
3
.
1+autocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
param_uti
l
.
c
:
e
x
port bit
_
vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
laege
topcom
.
c: extract part of code for
s
etting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
g
en_fun::H
a
d
amar
d
_pro
d
uct: print progr
e
ss ind
i
cat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Ver
d
oolaege
move --verbose
o
p
ti
o
n to libr
a
ry
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fun::summat
e
: hand
l
e full specializati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Replace incremental infini
t
e set
counte
r
b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdool
a
ege
make cou
n
ter::add
_
falling_p
o
we
r
s static
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
merge (most of) common part of counter and t
c
ounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
icounter: handle specialization of pol
y
nomials
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
ic
o
unter:
d
on't bo
t
h
e
r "normalizing
"
the expo
n
e
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
e
xport neg_left_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
basis_reduct
i
o
n_cdd: check fo
r
possibly incor
r
ect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ve
r
doo
l
a
e
ge
Poly
h
edron_Sample: handle p
o
lyhe
d
ron becoming
e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
f
u
n::operat
o
r
evalu
e
*: alwa
y
s return
a
v
a
lid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::o
p
era
t
o
r
e
value *: remove co
m
mented out deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaege
bar
v
inok_
e
nume
r
ate_e
.
cc: handle verification
o
f p
r
oble
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
barv
i
nok_
e
n
umerate_e: optiona
l
ly print s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumer
a
t
e_e: support verificati
o
n of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
barvinok_enumerate_e:
s
upport conversion
of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
lattice_points
:
another micro-
o
ptim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points
_
f
i
xed: nano-optimizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fu
n
::add: context of sum shou
l
d
be union
of conte
x
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
bar
v
ino
k
_enumer
a
te: us
e
verify infrastruc
t
ure f
o
r ve
r
ify
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoo
l
aege
gen
f
un
.
c
c: pr
i
nt
_
p
owe
r
: drop s
p
aces around "/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoo
l
a
e
ge
count
_
points_
e
: fall back to c
o
unt_points if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
M
akefile
.
am: check-evalue: print
n
ame of
eac
h
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
verify: add che
c
k_poly_print help
e
r function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_fun
:
make
sure context is a
l
ways
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
reduce
r
::reduc
e
: can
o
nicalize coef
f
ici
e
nts i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rd
o
olae
g
e
short_ra
t
:
:
print: correctly print out terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaeg
e
bar
v
in
o
k
_series: rec
h
eck for e
q
ualities aft
e
r
compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
e
xport Matrix_Read for
readi
n
g Matrix fro
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
param_uti
l
.
c: add Pa
r
am
_
Vert
e
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: suppo
r
ting_constra
i
nts: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdo
o
l
aege
polyl
i
b: update for Ma
t
rix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c:
use Polyhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
keep tra
c
k of
and use saturating constraints in Par
a
m_P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
move value
_
g
c
d and
v
alue_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaeg
e
B
e
rnoulli_sum_evalue: only com
p
ut
e
exact su
m
i
f
approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
Bernou
l
li_sum_evalue: sum over va
r
iables
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
evalue
.
c: ex
p
or
t
evalue_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoo
l
a
e
ge
Po
l
y
h
e
d
ron_Ex
c
hangeColumns:
n
orma
l
ize
c
onstrai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
export Polyhedron_
E
xchan
g
eColu
m
ns
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
rdoolaege
evalu
e
_polynomial: optimize evalu
a
tion in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
evalue
.
c: emul:
handle another spec
i
al c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
g
e
evalue
.
c: eadd: ha
n
dle
some spe
c
ial
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
e
rdoo
l
a
ege
evalue
.
c
:
ea
d
d: micro-optimize addi
t
i
o
n of tw
o
r
a
t
ion
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doola
e
ge
setting an a
p
proxim
a
tion
method
n
ow implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
barvi
n
ok_summate: option
a
lly use B
e
rnoul
l
i/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Ber
n
oulli_sum_e
v
alue
:
use
evalue_fro
m
_sec
t
ion_a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
b
arvino
k
/poly
l
ib
.
h: re
m
ove compatibility
wi
t
h o
l
der
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
mov
e
Vector_Op
p
o
s
e to PolyL
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
polyt
o
pe_scan:
reenable --
d
irect option
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
remov
e
_all_equalities:
keep removing
equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
d
oolaege
remove_al
l
_eq
u
al
i
ties
:
h
a
n
dle emp
t
y
p
o
l
yhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
e
move_all_eq
u
alities: minor cod
e
clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
e
x
port Pol
y
hedr
o
n_Matrix_Vi
e
w
commit
|
commitdiff
|
tree
2007-10-16
Sven V
e
r
d
oolaege
polar_signed_cone_con
s
umer: clean u
p
memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoola
e
ge
P
a
ram
_
Inner_Product:
f
ix
u
s
e
of value_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
S
ven Verdoolaege
doc: fix
t
ypo in Michele Verg
n
e's
name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
aege
Add m
i
ss
i
ng files from polymake client
to dis
t
rib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
Use
g
mp
'
s
gcd rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n Verdoolaeg
e
polymake/R
E
ADME: mention --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
pol
y
make/Ma
k
e
f
ile
.
in: a
d
d work-around fo
r
p
o
lymak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
eval
u
e
.
c: print_evalue: always print n
e
wlin
e
at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
op
t
ions
.
c: fix typo i
n
--approxim
a
tion-m
e
thod descriptio
n
commit
|
commitdiff
|
tree
2007-09-15
Sven
V
erdoolaege
t
o
pcom: fix
h
eurist
i
c
for s
e
lecting rows
t
o us
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n
Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
M
erge b
r
anch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Doc
u
ment TOP
C
OM based cham
b
er decom
p
osi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
test TOPCOM chamber decompos
i
tio
n
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Op
t
ionally use TOPCOM to compute chambe
r
deco
m
positions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoo
l
a
ege
lexmin: add (protec
t
ed) mi
s
s
ing a
l
gorithm include
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Verd
o
olaege
Make
f
ile
.
am: add target for creati
n
g
dist wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update
v
oting theory r
e
ference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
document b
a
rvinok_su
m
mate and bar
v
inok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: consistent use of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
b
ar
v
inok_summate
:
corr
e
c
t options descri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ver
d
o
o
la
e
ge
D
ocument Euler-Maclau
r
in based summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc
:
change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
add some
h
idden
s
e
c
t
ion
s
t
o table of content
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc
:
another document
r
eferi
n
g t
o
the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
add some tests
for Euler-Ma
c
laurin based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
Eule
r
-
M
acl
a
urin b
a
sed summation
fo
r
1D problems
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ver
d
oola
e
ge
Euler-M
a
claur
i
n
based summatio
n
for
2D
p
r
oblems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
o
l
ae
g
e
dec
o
mpos
e
r
.
cc: avo
i
d
u
s
e of
ha
l
f-op
e
n cones
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
barvinok_su
m
mate: verify solution over
wh
o
l
e
p
a
rameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
i
ntroduc
e
barvinok_summate as a wrapper f
o
r
e
v
alue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
e
val
u
e_{div,mul}: handl
e
som
e
triv
i
al ca
s
e
s
more effici
e
ntly
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
la
t
tice_poi
n
t: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoola
e
ge
evalu
e
.
c:
extr
a
ct common
code for cons
t
ruction based
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
volu
m
e
.
c: export Pa
r
am_P
o
lyhedron_
F
acet
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
er
d
oolaege
a
dd evalue_mul
commit
|
commitdiff
|
tree
next