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
hilbert.c: add Cone_Integer_Hull for computing vertices of integer hull
2007-11-01
S
v
en Verdoolaeg
e
hi
l
ber
t
.
c: a
d
d Co
n
e_Intege
r
_Hu
l
l for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
p
olysign
:
add p
i
p-b
a
cked version
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ver
d
oolaege
poly
s
ign: add
constraints_opt to compute
optim
u
m o
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
p
o
l
ysign
_
c
dd:
switch
t
o
use of
Matrix representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysi
g
n
_
glpk: switch to use of Matrix repre
s
ent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
oolaege
doc:
d
o
c
um
e
nt computation of
H
ilbert
b
asis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
ool
a
ege
Cone_Hilber
t
_Basis: us
e
st
a
ndard_con
s
traints to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verd
o
olaege
Use z
s
olve to compute Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
aege
zsolv
e
: don't instal
l
headers and
e
xecu
t
a
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zso
l
ve: initialize B
a
ckupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
aege
zsolv
e
: zs
o
lveSystem: add missing v
e
rbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve: overr
i
de L
I
BS from top
le
v
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
add 4
t
i2-1
.
3
.
1+autoco
n
f-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ve
r
doolaege
add
z
s
o
lve f
r
o
m
4ti2-1
.
3
.
1
+
a
u
to
c
onf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
par
a
m_util
.
c
:
export bit_vector
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
topcom
.
c
:
ext
r
act part of
c
ode fo
r
setting up
standa
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoola
e
ge
gen_fun::H
a
d
a
mard_product:
p
rint
p
rogress ind
i
cator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
e
rdo
o
laege
mo
v
e --verbose
opt
i
on to l
i
bra
r
y
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
gen_
f
un
:
:
s
ummate: h
a
nd
l
e
full s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Replace incremen
t
al infinite set counte
r
by
"
regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
make counter::add
_
falling_powe
r
s static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
merge (most of) common part of
c
o
unter and
t
counter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icoun
t
er:
handl
e
sp
e
cializatio
n
of polyno
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
counter: don't bother "
n
orma
l
izing" t
h
e
expo
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
export neg_l
e
ft_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doola
e
ge
basis_re
d
uction_c
d
d: check for possibly i
n
c
o
rrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
ol
a
ege
Polyhedr
o
n_Sample: h
a
ndle polyhed
r
on becoming empt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
gen_fu
n
::operator evalue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operato
r
evalue *: remove comm
e
n
ted out d
e
b
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
barvinok_e
n
umerate_e
.
cc: h
a
ndle verification of pr
o
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
barvinok_enumer
a
t
e_e: optionally pri
n
t stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
b
a
rvinok_enumerate_e
:
support
v
eri
f
ication of ge
n
e
ratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
barvino
k
_enume
r
ate_e: support conversion
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
lattic
e
_points:
ano
t
her micro-optimiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
lattice_points_fixe
d
: n
a
no-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen_fun::add: context of sum
s
houl
d
be u
n
ion
o
f
conte
x
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
b
a
rvinok_enum
e
rate: use verif
y
infrast
r
u
c
ture
f
o
r verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
genfu
n
.
cc:
print_powe
r
:
d
rop spac
e
s around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
count_poin
t
s_e: fall
back to
count_po
i
nts if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: ch
e
ck-evalu
e
: print name of
e
ach t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
verify: add check_po
l
y_print help
e
r function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_fun: make sure
c
ontext is alw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::reduce: c
a
n
o
nic
a
l
ize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_rat::print: correctly print out
t
erms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
o
lae
g
e
bar
v
inok_series:
rec
h
eck f
o
r equa
l
ities after comp
u
tin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
exp
o
rt Matrix_Read for reading Matrix from a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
pa
r
am_util
.
c: a
d
d Para
m
_Verte
x
_Dom
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
u
t
il
.
c: suppor
t
ing_constraints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaeg
e
pol
y
lib: update for
M
a
trix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
options
.
c: use Polyhedron_Sample for counting infin
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
keep track
of
and use
s
atura
t
ing cons
t
raints in Param
_
Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
mo
v
e v
a
lue_gcd and value_l
c
m
to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
Bernoulli_sum_eval
u
e: o
n
ly
com
p
ute exact sum if appro
x
imatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
g
e
Bernoul
l
i_sum_evalu
e
: sum over variabl
e
s with i
n
te
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
Polyhed
r
on_Exch
a
ngeColumns: normal
i
ze constra
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olae
g
e
export Polyhedron_Ex
c
hangeCo
l
umns
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
e
v
a
l
ue_polynomial: o
p
timize evaluation in
zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
e
value
.
c: emul
:
handle
a
n
o
t
her special cas
e
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
evalue
.
c:
e
a
dd: h
a
ndle some special
ca
s
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
introduce and
use eva
l
ue_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e
.
c: ead
d
: m
i
c
r
o-optimi
z
e additi
o
n o
f
two rationa
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
s
e
tting
a
n approximation me
t
hod no
w
i
m
plies
p
olynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
e
g
e
barvinok_summate
:
optionall
y
use Bernoull
i
/Fau
l
haber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aeg
e
Bern
o
u
lli
_
sum_eval
u
e: use evalue_fr
o
m_se
c
tion_arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvi
n
o
k
/
polylib
.
h:
r
e
move compat
i
bili
t
y
with
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
mov
e
Vector_Oppose to Pol
y
Lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polytope
_
scan: reenable --direc
t
option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
remov
e
_
all_equ
a
liti
e
s: kee
p
r
e
moving equaliti
e
s un
t
il
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
er
d
oolae
g
e
remove_all_equal
i
ties: handl
e
emp
t
y poly
h
e
dron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaeg
e
remove_all_e
q
ualities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export Polyhedron_Matr
i
x_View
commit
|
commitdiff
|
tree
2007-10-16
S
ven
Verdoolaege
pola
r
_
s
igne
d
_c
o
ne_consumer: clean up
me
m
o
r
y on ina
p
propr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
P
a
ram_Inner_Pr
o
duct: fix use
o
f value_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
ven
Ve
r
doolaege
doc: fix
typo in Michele V
e
rg
n
e's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
Add miss
i
n
g
files from
polymake client to
d
istri
b
ution
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoola
e
ge
U
s
e gmp's gcd rather t
h
an PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
aege
poly
m
ake/README:
men
t
ion --with-barvinok conf
i
gu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
po
l
y
make/Makefile
.
i
n
:
add work-a
r
ound
f
or polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven
V
erdool
a
ege
evalu
e
.
c: print_evalue: always print newl
i
n
e at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoola
e
ge
options
.
c
:
fix
typo in --approx
i
m
a
tion
-
method descript
i
on
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
to
p
com: fi
x
heuristic for se
l
ecting rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
ol
a
ege
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaege
M
erge
b
ran
c
h 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdo
o
l
a
ege
Document
TOPC
O
M based chamb
e
r decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
test T
O
PCOM chamber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoo
l
aege
Optionally use TOPC
O
M to compu
t
e chamber dec
o
m
p
ositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
lexmin:
a
d
d
(protected) missing
a
l
g
ori
t
h
m
include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
Makefi
l
e
.
am: a
d
d target f
o
r cr
e
ating dist
w
ith g
i
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc:
u
pdat
e
v
ot
i
ng
theory r
e
f
e
rence
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
document barvin
o
k_s
u
mmate and ba
r
vinok
_
maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdo
o
laege
doc: co
n
s
i
stent use of B
a
r
v
inok'
s
in
i
tial
s
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
l
aeg
e
barvi
n
ok_summa
t
e:
c
orrect
opti
o
ns description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
D
o
cument Eul
e
r-Maclaurin based summa
t
ion
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
doolaege
doc: change example environment
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
d
o
c: add s
o
m
e
hidden sections to table
o
f contents
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Ver
d
o
o
laege
doc: another d
o
cum
e
nt refe
r
ing
to the lib
r
ary
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
add som
e
test
s
fo
r
E
u
ler-Maclaurin ba
s
e
d
s
ummation
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Ve
r
doolaege
Eu
l
er
-
Mac
l
a
urin based summa
t
ion for
1
D
p
robl
e
m
s
commit
|
commitdiff
|
tree
next