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
Use zsolve to compute Hilbert basis of a cone
2007-10-31
Sven Ver
d
oolaege
Use zsolve to co
m
pute Hil
b
er
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
g
e
co
m
pile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: don't install header
s
and
executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: initial
i
ze B
a
ck
u
pTime in ZSol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zso
l
ve: zsol
v
eSystem: add mi
s
sin
g
v
e
rbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
aege
zso
l
ve: ov
e
rride LIB
S
from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
ad
d
4ti2-1
.
3
.
1
+au
t
oconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erd
o
o
laege
add
zso
l
v
e
from 4ti
2
-1
.
3
.
1+autoconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aeg
e
param_util
.
c: export bit_vector_cou
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
topcom
.
c: extract par
t
of code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ver
d
oolaege
gen_fun::Hadamard
_
product: print progress indicato
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move
-
-v
e
rbose option t
o
libra
r
y
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
gen_fun::summat
e
: handle
f
u
l
l
spec
i
aliza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
Replace in
c
r
e
m
e
ntal infinit
e
set
c
ounter by "
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
make cou
n
ter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
me
r
ge (
m
ost of)
c
o
mmon part of c
o
unter and tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
icounter:
hand
l
e spe
c
ialization
of polynomials
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
icounter: d
o
n't bother "nor
m
a
l
izing" the e
x
ponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
expo
r
t neg_left
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
basis_reduc
t
ion_cdd
:
check f
o
r
p
ossibly inc
o
r
r
ect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
r
dool
a
ege
P
o
lyhedron_Sample: handle p
o
lyhedron becom
i
ng
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
e
g
e
gen_fun
:
:operator evalue *: alwa
y
s return
a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
g
e
n_fun::operat
o
r evalue *: remove c
o
mmented out debugg
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doo
l
a
ege
barvinok_enumerate_e
.
cc:
h
andle ver
i
f
i
cation
of pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_enumer
a
te_e: optionally prin
t
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate
_
e: support verifica
t
i
on of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaeg
e
ba
r
vinok_e
n
u
m
erate_e: suppo
r
t c
o
nve
r
sio
n
o
f gen
e
r
atin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
lattice_poin
t
s
: another micro-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
lattice_points_fixed: nano-optimiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
g
e
n
_
fun::add: c
o
n
t
ext of
sum
s
h
ould be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
bar
v
inok_enumer
a
te: use verify infr
a
s
t
ructure
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
genfu
n
.
c
c
: print_power: drop spa
c
es around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oo
l
aege
c
ount_points_e: f
a
ll ba
c
k
to c
o
unt_points if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Ma
k
e
f
il
e
.
am
:
che
c
k-evalue: print n
a
m
e
of each te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add
che
c
k
_poly_pri
n
t
h
e
lper func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n
_fun:
mak
e
s
u
re cont
e
xt
is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
r
educ
e
r
:
:r
e
d
u
c
e
: canonical
i
ze coeffi
c
i
e
nts in
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
short_rat::p
r
int: correctly print ou
t
t
e
rms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
s
e
ries: rechec
k
for equalities after c
o
m
p
uting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
exp
o
r
t
Matrix_Read for read
i
ng Matr
i
x from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
param_util
.
c: a
d
d Param_Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ut
i
l
.
c: suppor
t
ing_c
o
n
straints: return bit vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
po
l
ylib: update for Matrix_Exten
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
op
t
ion
s
.
c: us
e
Po
l
yhedron_Sample for count
i
ng infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
keep trac
k
of and
u
se saturating constraint
s
in Par
a
m_Po
l
yhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaeg
e
m
ove
value_gcd and valu
e
_lcm to po
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Berno
u
lli_sum
_
e
v
alue: only compute exact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
Bernou
l
li_sum_eva
l
ue: sum o
v
er variables w
i
th int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
e
v
alu
e
.
c:
e
x
port evalue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedro
n
_ExchangeColumn
s
: norma
l
i
ze
c
onstrai
n
ts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaeg
e
export
P
olyhedron_Exc
h
angeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue_polynomial: o
p
timize
e
valuation
i
n ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: emul
:
h
a
n
d
le
another spec
i
al case
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
evalu
e
.
c: eadd: handle som
e
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
i
n
tr
o
duce and
use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
eva
l
ue
.
c: ea
d
d
: micro
-
opti
m
ize a
d
diti
o
n of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
setting an
a
p
p
r
oxim
a
tion meth
o
d now
implies po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
barvinok_summate:
o
ptionall
y
use Ber
n
oulli/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erd
o
olaege
Bernoulli_s
u
m_ev
a
lue: use evalue_fro
m
_sectio
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
ege
bar
v
inok/
p
olylib
.
h: remove comp
a
tib
i
lity with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
mo
v
e Vector
_
Oppose to
P
o
lyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
pol
y
tope_scan: r
e
ena
b
le --direct
o
pti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
r
e
m
o
ve_all_equal
i
ties: keep removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equali
t
i
e
s: h
a
ndle
empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
e
rdoo
l
aege
remove_all_
e
q
ualities: m
i
nor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoo
l
aege
export Polyhedron_Matr
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_
s
igned_cone_c
o
nsumer
:
cl
e
an up me
m
ory
o
n
i
napp
r
op
r
i
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoo
l
aege
Pa
r
am
_
Inner_Produc
t
:
f
ix use of value
_
lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolae
g
e
doc:
fix typ
o
in Michele Ver
g
n
e
's name
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdool
a
e
ge
Add missing files from polymake
client to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use
g
mp's gcd rather tha
n
Poly
L
ib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaeg
e
polymake/README
:
mention --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
lae
g
e
polymake/Ma
k
efile
.
in: ad
d
work-around f
o
r p
o
l
yma
k
e 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n V
e
rdoolaege
evalue
.
c: print_ev
a
l
u
e: always print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
opti
o
ns
.
c
: fix typo i
n
--a
p
proxim
a
t
i
on-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom: fix
heuristic for
s
e
lecti
n
g
rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaeg
e
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en V
e
rdoo
l
aege
Merge branch 'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Docu
m
ent TOPCOM base
d
c
h
am
b
e
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
S
ve
n
Verdoolaege
test TOPCOM chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optio
n
ally use TO
P
C
OM to comput
e
cham
b
er decompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
lexmin: add
(protected) missing al
g
o
r
i
thm incl
u
de
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolae
g
e
Ma
k
e
fil
e
.
am: add target fo
r
creat
i
ng dist wit
h
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
Verdoola
e
ge
doc:
updat
e
voting theory
refer
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
do
c
umen
t
barvinok_summate and
b
arvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
cons
i
stent
u
se o
f
Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
barvinok_sum
m
ate
:
c
o
rrect
o
p
tion
s
de
s
cription
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Document
E
uler-M
a
claurin
based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
doc: chan
g
e
examp
l
e envir
o
nm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
S
ven Ve
r
doola
e
ge
doc: add so
m
e h
i
dden secti
o
ns to table of con
t
ent
s
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: anothe
r
document
r
eferi
n
g t
o
the library
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Verdoola
e
g
e
add
s
ome tests
for Euler-Maclauri
n
b
a
se
d
summation
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n Verdoolaege
Euler-Maclaurin base
d
summation f
o
r
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Eul
e
r-Maclaurin based summation for 2
D
problems
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdool
a
ege
d
ecompos
e
r
.
cc: a
v
oid use
o
f half-open c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdool
a
ege
barv
i
nok_
s
u
mmate: verify
sol
u
t
ion over whole
p
ara
m
e
ter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
introduc
e
barvi
n
ok_summate as a wrapper
for evalue
_
su
m
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolaege
add
e
v
a
lue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaeg
e
evalue_{div,mul}:
h
andl
e
so
m
e t
r
ivial cases more effic
i
ently
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
l
atti
c
e_
p
oint: export fractional_part
commit
|
commitdiff
|
tree
next