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
doc: document lattice width computation
2007-11-02
Sven Verdoolaege
doc:
d
ocument lat
t
ice
width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
so
m
e lattice wid
t
h tests fr
o
m Jon
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdo
o
l
a
ege
P
olyhedro
n
_Lattice_Wi
d
th
:
d
ecide
on
f
ace
t
s
t
o c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n
V
erdoolaege
add Po
l
yhedron_Lattice_Wid
t
h for comput
i
ng
lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolaege
hilbert
.
c:
a
dd Cone_In
t
ege
r
_H
u
ll
for computing ve
r
t
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laeg
e
polysig
n
:
add pip-bac
k
ed
version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
polysig
n
: add c
o
nstra
i
nts_op
t
to compute
optimum o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
erdoolaege
polysign_cdd: switc
h
to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdool
a
ege
polysi
g
n_glpk: swi
t
ch to us
e
o
f Ma
t
rix
r
epresent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ver
d
o
o
laege
doc: doc
u
ment computa
t
ion
o
f Hilbert basis of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
C
one_Hilbe
r
t_Basis: use standard_
c
onstra
i
n
t
s to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
l
a
e
ge
Use zsolve to
compute Hilbert basis of
a con
e
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
com
p
il
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
laege
z
solve:
don'
t
install
h
ea
d
er
s
a
n
d exec
u
t
ables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: i
n
itia
l
ize BackupT
i
me in ZSolveContex
t
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zso
l
ve: zsolveSy
s
tem: add missin
g
v
e
r
bosit
y
che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oo
l
aege
zso
l
ve
:
ove
r
ride LIBS from t
o
p l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdoo
l
aege
add
4
ti2-1
.
3
.
1+auto
c
onf-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
add zsolve from 4ti2-1
.
3
.
1+a
u
toconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_u
t
il
.
c: expo
r
t bit_vector_
c
oun
t
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
to
p
com
.
c:
e
xtract
p
art
o
f
code fo
r
s
etting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_
f
un::Hadamard
_
p
roduct:
p
rint pro
g
ress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sve
n
Ver
d
oolaeg
e
move --verbose option to li
b
r
a
ry
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_f
u
n::summat
e
: handle
full sp
e
cia
l
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Rep
l
ace increm
e
ntal
infinite set counter b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
make counter::add_falling_powers stati
c
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
ae
g
e
me
r
ge
(m
o
st of)
c
omm
o
n
part of counter and tcoun
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
icoun
t
er: handle specialization of p
o
l
y
nom
i
al
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
i
c
ount
e
r: don't bother
"normalizi
n
g
"
the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
exp
o
rt neg_l
e
f
t_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bas
i
s
_re
d
uc
t
i
o
n_cdd
:
check for
p
o
ssibly incorre
c
t outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oolaeg
e
P
o
l
y
hedron_Sample:
h
andle polyhedron be
c
oming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
gen_fun::op
e
rator evalue *: always return a
v
a
l
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
gen_fun
:
:ope
r
ator evalue
*
: remove
c
om
m
ented out d
e
bu
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok
_
enumerate_e
.
cc: handle verifica
t
ion o
f
p
roblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_enumera
t
e_e: optionally print s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
barvinok_enumerat
e
_e:
s
uppo
r
t
ver
i
fication of g
e
n
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumera
t
e_e: support conversion of g
e
nerat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
l
attice_points: another mi
c
ro-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
lattice_point
s
_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
l
aeg
e
gen_
f
u
n
::add: c
o
n
t
ext of sum
sh
o
uld be un
i
on of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_enumerate: use ve
r
ify infrastructure for v
e
rifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
genfun
.
cc: print_powe
r
: drop spac
e
s ar
o
u
n
d
"
/
"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_e: f
a
ll b
a
ck t
o
co
u
nt_poi
n
ts if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
olaege
Make
f
ile
.
am: ch
e
c
k-eval
u
e
:
print name of
eac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
ool
a
eg
e
v
e
rif
y
: add check_
p
ol
y
_print helpe
r
func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doola
e
g
e
gen_fun:
make sure
context
is alw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aeg
e
reducer::red
u
ce: canonicali
z
e
c
oefficien
t
s
i
n eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
s
hort_r
a
t
:
:print:
c
orrectly print out
term
s
w
i
th a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_series: rec
h
ec
k
for e
q
uali
t
ies after computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
export M
a
t
r
i
x_Read for readi
n
g
Ma
t
rix from
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
param_
u
ti
l
.
c: a
d
d P
a
ram_Vertex
_
Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
u
t
il
.
c: supp
o
r
t
ing_constr
a
ints: return b
i
t vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
polyl
i
b
:
update for Matrix_Exten
d
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
options
.
c:
u
se Polyhedron_Sampl
e
f
o
r c
o
unting i
n
fi
n
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
k
e
ep track of and use saturating constrain
t
s
i
n Param_Po
l
yh
e
dro
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
mo
v
e value_gcd a
n
d va
l
ue_lcm
t
o polylib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
B
e
r
noulli_sum_eval
u
e: only compu
t
e
e
x
act sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Bernoulli_sum_evalue: sum over var
i
ables
w
ith integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c: ex
p
ort
ev
a
l
ue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oo
l
aege
Polyhedron_ExchangeCo
l
um
n
s:
n
ormalize
c
onst
r
aint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaeg
e
export P
o
lyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
e
v
alue_polynom
i
a
l: optimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
e
value
.
c
:
emul: h
a
ndle another
spe
c
ial
cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e
.
c: eadd: ha
n
dle some special
case
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
i
ntr
o
duce and use eva
l
ue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
ge
ev
a
lue
.
c: eadd: micro-o
p
timize
a
ddition of tw
o
rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
ett
i
ng an approximation met
h
od now implies polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
barvin
o
k_sum
m
ate: op
t
iona
l
ly us
e
Be
r
noul
l
i/
F
aul
h
aber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Berno
u
lli
_
sum_evalue
:
use evalue_from_sect
i
on
_
array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
g
e
ba
r
vinok/
p
olylib
.
h: r
e
m
o
v
e
com
p
atibility with ol
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
o
ve Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oo
l
a
ege
po
l
y
tope_sc
a
n: reenable
-
-
direc
t
o
ption
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
remov
e
_all_equalitie
s
: kee
p
re
m
o
ving equali
t
ies
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities: handle empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
remove_all_equa
l
i
ties: minor code clean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verd
o
ola
e
ge
expor
t
P
olyhedron_Ma
t
r
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
S
ven V
e
rdoola
e
ge
p
o
lar_
s
igne
d
_c
o
ne_c
o
nsumer:
cl
e
an up me
m
ory
on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Para
m
_Inn
e
r_Produc
t
: fix use o
f
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdool
a
ege
d
oc: fix typo in Mi
c
hele
V
er
g
ne'
s
na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
Add missing f
i
les from polymake
c
lient
to distrib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
V
e
r
doolaege
Use gmp's gcd rather t
h
an PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polymake/README:
m
e
n
t
ion --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdool
a
ege
polymake/Makefile
.
in: add work-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalue
.
c:
print_eva
l
ue: a
l
ways print
n
ewline a
t
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sv
e
n Verdool
a
e
g
e
option
s
.
c
: fix t
y
po in --approximation-
m
ethod d
e
s
c
r
iption
commit
|
commitdiff
|
tree
2007-09-15
Sven Ver
d
oolaege
to
p
c
o
m: fix heuristic
for selec
t
ing
r
ows
t
o use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
bar
v
inok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erd
o
olaege
Mer
g
e branch
'
topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document TOP
C
OM b
a
s
e
d cham
b
er decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verd
o
olaege
test T
O
P
COM
chamber decom
p
o
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Optiona
l
ly use TOPC
O
M to compu
t
e chamber
d
ecom
p
ositions
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Ve
r
doolaege
lex
m
in:
a
dd (protecte
d
) missing al
g
orit
h
m incl
u
de
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
Makefile
.
am: add
targe
t
for creating d
i
st wi
t
h
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
oolaege
doc: update
voting
the
o
ry
reference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
la
e
ge
docu
m
ent barvinok_summate and bar
v
inok_
m
ax
i
mi
z
e
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oolaege
do
c
: consistent
u
se
of B
a
rvinok's initial
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
barv
i
nok
_
summate: c
o
rrect options
descri
p
tion
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdo
o
l
a
ege
Do
c
ument Euler-Macl
a
urin based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
doc:
change example environm
e
nt
commit
|
commitdiff
|
tree
next