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
zsolve: i
n
i
tialize Backup
T
ime in
Z
S
o
lveConte
x
t
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdoolaege
zsolve: zsol
v
eSystem:
add miss
i
n
g v
e
rbosity ch
e
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
olaege
z
solve: override LIB
S
from to
p
level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 ban
n
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
ad
d
z
s
olve from
4
ti2-1
.
3
.
1+autoc
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c: expo
r
t
bit_vecto
r
_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topc
o
m
.
c
:
extract part o
f
code for setting up sta
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoolae
g
e
ge
n
_
f
un::Had
a
mard_product: pr
i
nt
p
rogr
e
ss indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdool
a
ege
mo
v
e --verbos
e
option
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un::
s
ummate: handle ful
l
spe
c
ializ
a
t
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
Repla
c
e in
c
reme
n
tal
i
nfinit
e
set counter by "regu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
make counter::
a
dd_falling_powers st
a
tic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
e
r
g
e
(most of)
c
o
mmo
n
par
t
o
f
c
ounter and t
c
ou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
i
counter: handl
e
speci
a
lization of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
icounter: don'
t
bo
t
her "norm
a
lizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
lae
g
e
export neg_left_
h
ermite
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
o
o
laege
b
a
s
i
s_r
e
d
uctio
n
_cdd: c
h
ec
k
f
o
r p
o
ssibly
incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Polyhedron_Sam
p
le: handle
p
o
lyhedron b
e
com
i
n
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
gen_fun::operator evalue
*:
always
r
e
turn a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
g
en_fun::
o
p
e
rator evalue
*
: remove
c
ommented out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
en
u
merate_e
.
cc: handle verificatio
n
of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
ba
r
vinok_enume
r
a
te_e:
op
t
ionally print sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
b
arvi
n
o
k
_enumerate_e:
s
up
p
ort verifi
c
at
i
on of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
enum
e
r
a
te_e: suppor
t
con
v
ersion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
g
e
lattice_points: another mi
c
ro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
latti
c
e_points_fixed: nan
o
-o
p
timiza
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_fun::add: con
t
ext of sum s
h
ould be
u
nion
o
f con
t
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
e
num
e
rate: use verify infr
a
structure fo
r
ve
r
i
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoola
e
ge
genf
u
n
.
cc:
p
rint_power: drop s
p
aces
arou
n
d "/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
g
e
count_poi
n
ts_e: fal
l
back to count_poi
n
ts if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
M
akefile
.
am: check-evalue: prin
t
n
ame
of
e
ach te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
veri
f
y: ad
d
check_
p
oly_print helper functi
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_fun: mak
e
sur
e
con
t
ext is
a
lw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoola
e
ge
reducer
:
:reduc
e
: canonic
a
lize c
o
effici
e
nts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
shor
t
_rat::pr
i
nt:
correctly print out
t
e
r
m
s wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
bar
v
inok_series
:
reche
c
k for eq
u
alities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expor
t
Matrix_Rea
d
f
or re
a
ding Matrix from a
st
r
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: ad
d
Param_V
e
rtex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
u
t
i
l
.
c: s
u
p
port
i
ng_constraints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
polylib: update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use Polyhedro
n
_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
ke
e
p
t
r
a
ck of and use sat
u
rating co
n
s
t
rai
n
t
s
i
n
P
a
r
am_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
move value_gcd
and value_lcm
to po
l
yl
i
b
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdool
a
ege
Bern
o
u
l
l
i
_sum_evalue:
o
nly co
m
p
ut
e
exa
c
t
s
u
m
if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
B
ern
o
ulli_sum_evalue: sum over
variables with integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalu
e
.
c
:
expor
t
eva
l
ue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Polyhed
r
on_
E
x
c
hangeColum
n
s: normalize
constra
i
nts afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdool
a
ege
export
Polyh
e
d
ron_
E
x
c
h
angeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
e
value_
p
o
l
ynomial: opti
m
ize e
v
aluation in zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
ev
a
lue
.
c
: emul: ha
n
dle another
s
pecia
l
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
eval
u
e
.
c: eadd: h
a
ndle some
s
pecial cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
g
e
introduce an
d
use e
v
alue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
evalu
e
.
c: eadd:
m
i
cro-optimize addi
t
ion
of two
ration
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
setting an ap
p
roximation met
h
od
now imp
l
ies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doo
l
aege
b
a
rvin
o
k
_
summ
a
t
e
: optiona
l
ly use
B
e
r
noull
i
/
F
aulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Bernoulli_sum_
e
value: use
e
va
l
u
e
_from
_
s
e
c
ti
o
n_ar
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvinok/polylib
.
h: rem
o
ve compatibil
i
ty w
i
th older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vec
t
or_Oppo
s
e to P
o
lyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolae
g
e
polytope_scan: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdool
a
ege
re
m
ove_a
l
l_equalities:
k
eep
r
emoving equal
i
ties
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdool
a
ege
remo
v
e_al
l
_equalitie
s
: handle
e
mpty
polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdool
a
eg
e
r
e
mo
v
e
_all_equali
t
i
es: min
o
r cod
e
clean-
u
p
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
export Polyhed
r
on_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Ver
d
o
o
lae
g
e
polar_
s
i
g
ned_cone_consu
m
e
r: clean up me
m
or
y
on ina
p
p
r
opria
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoo
l
aege
Para
m
_I
n
ner_Product: f
i
x u
s
e of value
_
lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven V
e
rdoolaege
do
c
:
f
ix typo in Mi
c
hele V
e
rgne's name
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoo
l
a
ege
Ad
d
missi
n
g files from po
l
ym
a
ke client to
dist
r
i
b
ution
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verd
o
ola
e
ge
Use gmp
'
s
g
cd
r
a
t
her than Po
l
yLi
b
'
s
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdo
o
laege
po
l
ymake/README:
mention --with
-
barvi
n
ok c
o
nfig
u
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
po
l
ymake/
M
akefile
.
in: add work-ar
o
und for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
evalue
.
c: pr
i
nt_ev
a
lue: always
p
rin
t
newline
at
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sve
n
V
e
rd
o
ola
e
ge
options
.
c: fi
x
ty
p
o
in --
a
pp
r
ox
i
mation-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven V
e
rdo
o
laege
t
opcom: f
i
x heuristic for selecti
n
g
r
ows to
u
s
e
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
b
a
rvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Mer
g
e branch
'
t
opcom'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
e
rd
o
olaege
Document TOPCOM
based chamber de
c
omposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
te
s
t
TOPC
O
M cham
b
er decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rd
o
olaege
Optio
n
a
lly use TOPCOM
to comput
e
ch
a
mber de
c
ompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
a
e
g
e
l
exmi
n
: ad
d
(pr
o
tected)
missing algorithm in
c
lu
d
e
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ver
d
oolaeg
e
Makefile
.
am: add t
a
rget for creat
i
ng dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erd
o
ol
a
ege
doc: up
d
ate voting theory
reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
document barvinok_summate a
n
d barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
a
ege
doc: co
n
sistent use
o
f Ba
r
vinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
barvinok_sum
m
ate
:
correct o
p
ti
o
n
s descr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdool
a
ege
Do
c
ume
n
t Euler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
c
h
ange example environm
e
nt
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
olaege
d
o
c: a
d
d s
o
m
e hidden sections to tab
l
e
o
f conten
t
s
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdool
a
eg
e
d
o
c: another
docu
m
e
n
t refering
to the
library
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
add some test
s
f
or E
u
ler-Maclaurin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
Euler-Maclaurin
b
ased summation fo
r
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oolaege
Euler-M
a
cl
a
urin based sum
m
ation
f
o
r 2D probl
e
m
s
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
decomposer
.
cc: avoid
u
s
e
of
h
a
lf
-
o
pen cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
olaege
b
arv
i
n
ok_summate
:
verify sol
u
tion over whole par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
introduc
e
barvinok_summate a
s
a wrap
p
er
f
or
e
valu
e
_su
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
ad
d
ev
a
lue_mu
l
_d
i
v
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
e
rdoolaege
evalue_
{
d
i
v,mul}: h
a
n
dle some
t
r
ivial cases
m
ore
e
ffic
i
ently
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
o
o
laege
la
t
tice_point: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
S
ven
Verdoolaege
evalue
.
c: extract common code f
o
r co
n
struction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
o
o
l
a
ege
v
o
l
u
m
e
.
c: e
x
p
ort Par
a
m_Polyhedr
o
n
_Face
t
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verd
o
olaege
add evalue_mul
commit
|
commitdiff
|
tree
next