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
summate.c: add missing return values
2007-11-02
Sven Verdool
a
ege
some
l
attice widt
h
te
s
ts from Jon Yagg
i
e
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
Polyhedron_Lattice_Width: decide on
f
acets to c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n
V
erdoolaege
add Polyhedron_Lattice_Width for com
p
uting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c:
add
C
o
ne_
I
n
t
eger_Hu
l
l
f
or computing vert
i
c
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
olysign: add pip-b
a
c
k
e
d
v
e
r
sio
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
poly
s
ign: add
constraints_
o
pt to compute optimum
o
ve
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
ege
polysi
g
n
_cdd: s
w
i
tch
to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polysign_glpk: switc
h
t
o
use of
M
a
tri
x
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
d
o
c: document com
p
utatio
n
of Hilbert bas
i
s of
a
con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Cone
_
Hilber
t
_
B
asis
:
u
se st
a
ndard
_
cons
t
raints to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use z
s
olve to c
o
mpute Hilb
e
r
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
olaege
compil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve: don
'
t in
s
tall hea
d
ers and e
x
ecutables
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
z
s
olve: initialize BackupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zso
l
ve: zs
o
lv
e
S
y
stem
:
add missing ve
r
bosity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoola
e
ge
zsolve:
o
verride L
I
BS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
laege
a
d
d 4ti2
-
1
.
3
.
1+aut
o
conf-0
.
1 b
a
nner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add zsolve
from 4ti2-1
.
3
.
1+
a
u
t
oc
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
la
e
ge
param_util
.
c:
e
xport bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoo
l
a
e
ge
topcom
.
c: extract par
t
of cod
e
for se
t
ting up
s
tandard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
ge
n
_
fun::
H
ad
a
mard
_
p
r
oduct: print
p
rogress
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose option
to li
b
rary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_
f
un:
:
summate: h
a
ndle full specialization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
e
ge
Replace incremental i
n
finite set
c
ounter by "regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
olae
g
e
make cou
n
ter::add_fal
l
ing_pow
e
r
s
static
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
merge (most of) comm
o
n part
o
f
c
oun
t
er and tcou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ico
u
nter: handle specialization of polyn
o
mia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
icounter
:
don
'
t
bot
h
er "normalizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
export n
e
g_left
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
ba
s
is_reduction_cdd:
c
heck for possibly incorrect o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Polyhedron_Sample: hand
l
e polyhedron
b
ecoming e
m
pt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoo
l
ae
g
e
gen_fun::op
e
rator
ev
a
lue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen
_
fun::opera
t
or evalue *: remove co
m
ment
e
d out debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
barv
i
nok_en
u
mer
a
te_
e
.
c
c: handle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
barvinok_e
n
umerate_e: opt
i
onally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok_
e
nume
r
ate_e: sup
p
ort verification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvi
n
ok_enu
m
e
rate_e: s
u
ppor
t
conv
e
rsio
n
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points:
a
not
h
e
r
m
icro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
eg
e
lattice_p
o
ints_fi
x
ed: nano-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
gen_fun::add: context
of sum sho
u
ld b
e
union of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
barvinok
_
enumerate
:
use verify infr
a
s
t
ructure for verifyin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
ge
n
fun
.
cc: p
r
int_power: drop spaces around
"
/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_e: f
a
ll back to
c
ount_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Makefile
.
am: check-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
ver
i
f
y
: add check_poly_p
r
int helper
function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen
_
fun: m
a
ke sure con
t
ext is always set
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
reducer::reduce: canonicalize coe
f
fi
c
ients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
short_rat
:
:print: corr
e
ctly p
r
int out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvino
k
_series: recheck fo
r
equal
i
t
i
e
s after
computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
export M
a
trix_
R
ead f
o
r
re
a
ding Matrix fro
m
a
s
t
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
param
_
u
til
.
c
:
add Para
m
_Vertex_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
util
.
c
: supporting
_
cons
t
raints:
r
e
turn
b
it
v
e
c
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: update fo
r
M
atrix_Exte
n
d
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
options
.
c: use
P
o
l
yhedron_Sample for
counting
i
nfinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep t
r
ack of and
u
se saturating
c
o
nstraints in Par
a
m_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
move value_gcd and valu
e
_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
Be
r
noulli_sum_
e
v
alue: only co
m
pute exact su
m
if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Bernoul
l
i_sum_evalue: sum o
v
er va
r
iables with i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
e
va
l
ue
.
c
:
export
ev
a
lue_var
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
P
o
l
y
hedron_ExchangeC
o
lumns: normalize const
r
aints
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
e
x
port Polyhedro
n
_Exc
h
an
g
eCol
u
m
ns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue_polynomial:
opti
m
ize
e
valuation in ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c:
emul: han
d
le a
n
othe
r
special case
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
evalue
.
c: eadd: handle so
m
e
s
pecia
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalu
e
.
c:
eadd: micro
-
optimize additio
n
o
f
t
w
o rational
s
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
setting an approximation met
h
od n
o
w implies polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoola
e
ge
barvinok_summate: optionally u
s
e Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
r
d
oolaege
Bernou
l
li_su
m
_
e
value: use
evalue_from_section_arra
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaeg
e
barvinok/po
l
ylib
.
h: remove c
o
m
p
atibility with
o
lder
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oola
e
g
e
move Vector
_
Oppose
t
o Po
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
pol
y
top
e
_
s
can: reenable --d
i
rect option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
remov
e
_a
l
l
_equa
l
ities
:
keep removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
g
e
remove_all
_
equ
a
lities: ha
n
dle empty polyhedro
n
de
t
ecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoolaege
rem
o
ve_all_equali
t
i
es
:
minor
code
clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oolaege
export Polyhe
d
r
o
n_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
S
ven Verdoo
l
aege
pola
r
_signed_co
n
e_consumer: clea
n
up m
e
mory
o
n inap
p
ropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_In
n
er_Product
:
fix use of value_
l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven
Verdoo
l
ae
g
e
doc
:
f
i
x typo in Michele Verg
n
e's
name
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
Add missi
n
g files f
r
om po
l
ymake clien
t
to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
Use gmp's gcd r
a
ther than Pol
y
L
ib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoola
e
ge
polymake/README
:
m
e
ntion --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
ven Ver
d
oo
l
aege
pol
y
make/Makefile
.
in:
add wor
k
-aro
u
nd for polyma
k
e 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ve
r
d
o
olaege
evalue
.
c
:
print_evalue: always
p
rint
new
l
ine at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erd
o
olaege
optio
n
s
.
c: fi
x
typo in --ap
p
ro
x
imatio
n
-me
t
hod description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoo
l
aege
t
opcom: fi
x
heuristic for selecting rows
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
S
v
en
V
erdo
o
laege
barvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
S
v
e
n Ver
d
oolaege
Merge
branch 'topcom
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document TOPCOM based chamber de
c
omposit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Ve
r
d
o
o
laege
test TOPCOM chamber d
e
c
o
mpo
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
e
ge
Op
t
ional
l
y
use TOPCOM to compute
c
h
a
mber de
c
ompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
lex
m
i
n:
a
dd (
p
rotected) missi
n
g
algori
t
hm
i
n
clude
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
do
o
laege
Ma
k
e
f
ile
.
am: add target for creat
i
ng dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoola
e
ge
do
c
: update
vo
t
in
g
theory refer
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doo
l
a
ege
d
o
c
u
ment
b
arvinok_summate
a
nd barvino
k
_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
a
e
g
e
doc
:
con
s
i
s
t
ent use
o
f Barvinok's
initials
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
erdoolaege
barvi
n
ok_s
u
mmate: correct options description
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
Doc
u
m
e
nt Euler-Maclaurin b
a
sed summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
doc: chan
g
e example environment
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoola
e
ge
d
oc: add
some hidden secti
o
ns to table of conte
n
ts
commit
|
commitdiff
|
tree
next