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
Sven
Verdoolaege
compile zso
l
ve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolaege
zsolve: don't ins
t
all headers
a
nd executable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: i
n
it
i
alize BackupTime in
Z
SolveContex
t
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolaege
zsol
v
e:
zs
o
lveSyste
m
: ad
d
mis
s
ing verbosi
t
y c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
olaege
zsolve: override LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
4
t
i
2-1
.
3
.
1+auto
c
onf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
laege
add zsolve f
r
o
m
4ti2-1
.
3
.
1+
a
utoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaeg
e
param_util
.
c: export
b
it_v
e
ctor_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
topcom
.
c:
e
x
tract part of
c
ode for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
Ve
r
d
o
olaege
gen_fun:
:
Hadamard_product:
p
rint progress i
n
dicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Ver
d
oolae
g
e
move -
-
v
erbo
s
e option to l
i
b
r
ar
y
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_f
u
n:
:
s
u
mmate: handle full specializa
t
io
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaeg
e
Replace incr
e
m
e
n
tal
i
n
f
inite
s
et counter by
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
a
ke coun
t
er::add
_
fa
l
ling_powers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdool
a
ege
merge (most of
)
c
ommo
n
part of c
o
unter
a
n
d
t
co
u
n
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oolaege
i
counter
:
handle speciali
z
ation
of pol
y
no
m
i
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icount
e
r:
d
on
'
t bother "normalizing" t
h
e exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
ex
p
o
rt neg_left_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
basis_reduction_cdd: che
c
k for
p
ossi
b
ly incorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
dool
a
e
ge
Polyhedron_Sam
p
le: han
d
le polyhe
d
ron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
g
en_f
u
n::oper
a
t
or evalue
*: always r
e
turn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_fun:
:
o
p
erator eva
l
ue *
:
rem
o
ve
c
ommented o
u
t
debugg
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok
_
enumerate_e
.
cc: handle verification o
f
p
rob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
barvinok_
e
n
umerate_
e
:
optionally prin
t
s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e: support
verification of generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barv
i
nok
_
enu
m
e
rate_e: support conver
s
i
on
of ge
n
eratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points: another mic
r
o-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
lattice_poi
n
t
s
_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen_fun::add: cont
e
xt of sum should be
u
n
i
o
n
of
c
o
n
tex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
bar
v
inok_
e
numerate
:
u
s
e verify infrastructure
f
or verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
genfun
.
c
c:
p
rint_po
w
er:
drop sp
a
ces aro
u
nd "/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
r
d
oolae
g
e
count_points_e: fall back to
count_
p
oints if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laeg
e
Makefile
.
am: check-
e
va
l
ue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_poly_print helper
f
uncti
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un: make sure context is alwa
y
s se
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
re
d
ucer:
:
reduc
e
: canonical
i
ze coefficients
i
n each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
short_rat::
p
rint:
correctly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
n
o
k_ser
i
es: recheck for equ
a
lities af
t
er comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expor
t
Ma
t
rix_
R
ead for reading Ma
t
rix fro
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
param_ut
i
l
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
util
.
c: s
u
pporting_constraints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
polyli
b
: update
for Matrix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
o
p
tions
.
c: use Polyhedron_Sample for coun
t
ing infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
keep track
of an
d
u
s
e saturating constr
a
in
t
s in P
a
ram_Polyhedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
move value_gcd
a
nd value_lc
m
to po
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rnoulli_su
m
_
e
v
alue: onl
y
comp
u
te exac
t
sum if appr
o
ximat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
Bernoul
l
i_sum_eva
l
ue
:
sum over
var
i
ab
l
es w
i
th integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
l
a
ege
evalue
.
c: e
x
port ev
a
lue_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
Polyhed
r
on_E
x
c
h
angeColumns: norma
l
ize constraints a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
e
x
p
ort Polyhedron_ExchangeC
o
l
u
mns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_p
o
l
y
n
omi
a
l: optim
i
ze
e
va
l
uati
o
n
i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
evalue
.
c: e
m
ul: handle anoth
e
r speci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
evalu
e
.
c
: eadd: hand
l
e some s
p
ecial cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
introduce and
u
s
e
evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
o
olaege
e
v
alue
.
c:
ead
d
: micro-optimi
z
e a
d
dit
i
on
of
two r
a
tionals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
setting
a
n
approxim
a
tion meth
o
d
now implies po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
d
oolaege
barvinok_summat
e
: optionally u
s
e Be
r
noulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
Bernoulli_sum_evalue: use evalue_fr
o
m
_
s
ection_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdool
a
ege
barvinok/polylib
.
h
:
remove compatibil
i
ty with old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
move
Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
p
o
lytope_sc
a
n: reenable
--direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
remove_al
l
_equalities: ke
e
p removing equalit
i
es until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olae
g
e
rem
o
ve_all_eq
u
aliti
e
s: handle empty
p
oly
h
edron detect
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
d
oolaege
remove_all_equalities: m
i
nor
c
ode c
l
ean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoo
l
aege
ex
p
ort P
o
lyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven
V
erdoolaege
polar
_
signe
d
_
c
one_consumer: cle
a
n up memory on inappropr
i
at
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolae
g
e
Pa
r
am_Inn
e
r_
P
ro
d
uct: fi
x
u
s
e of value_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
d
o
c: fi
x
typo in Michele
Vergne's
n
ame
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
Add missing
files f
r
om polymake clie
n
t to dis
t
ribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
U
se
gmp'
s
gcd r
a
t
h
er than
P
olyLi
b
's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
pol
y
make/READ
M
E: mention --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
polymake/Makefile
.
in: add work-around for p
o
lymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ve
r
doola
e
g
e
evalue
.
c: p
r
int_evalue:
a
lways print
n
ewline
at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven V
e
rdoolaege
opt
i
ons
.
c: fix typo
i
n
-
-
a
p
proximat
i
on-method description
commit
|
commitdiff
|
tree
2007-09-15
S
ven Verd
o
olaege
topcom: fix heuristic for selecti
n
g rows to use
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoo
l
aeg
e
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Mer
g
e br
a
nch 't
o
pcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Document TO
P
COM based
c
ham
b
er decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPCO
M
chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Optio
n
al
l
y use
T
OPCOM to
c
o
mpute cha
m
ber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
lexmin: add (pr
o
tected
)
missing
algorithm inc
l
ude
commit
|
commitdiff
|
tree
2007-09-11
S
ve
n
Ve
r
doolaege
Makefile
.
am:
add targe
t
for crea
t
ing dist with g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
doc: update vot
i
ng theory refe
r
ence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
document
b
arvinok_summate and ba
r
vinok_m
a
ximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
la
e
ge
doc
:
cons
i
stent use of Barv
i
nok's
initials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
erdoolae
g
e
b
arv
i
nok_summate: correct
o
pt
i
ons description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Document Euler-Ma
c
laurin ba
s
ed
s
u
m
m
a
t
i
on
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdool
a
ege
doc: change
examp
l
e environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
a
dd some hidden s
e
c
t
ions to
t
able
of
cont
e
nts
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
Ve
r
doolaege
doc: anothe
r
document refering to the library
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
add some tes
t
s for E
u
ler-
M
aclau
r
in ba
s
ed s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
Eule
r
-Mac
l
aur
i
n based s
u
m
mation for
1
D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoola
e
ge
Euler-Maclau
r
in based summati
o
n for 2D prob
l
ems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
decompose
r
.
cc: avoid us
e
of
h
alf-ope
n
c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoo
l
aege
b
a
rvinok_summate:
verify solution over whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
intr
o
du
c
e barvinok_summate as a
wrapper for evalu
e
_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaeg
e
evalue_{div,mul}: h
a
ndle some
trivial c
a
ses more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdoolaege
lattice_point: ex
p
ort fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoo
l
aege
eval
u
e
.
c
: ext
r
act comm
o
n
cod
e
for const
r
ucti
o
n ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
next