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
ven Verdoolaege
h
i
lbert
.
c: ad
d
Con
e
_Integer_Hull for computi
n
g ve
r
t
i
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add pip-bac
k
ed vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
sign:
add constraints_opt
t
o
compute opti
m
u
m
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaeg
e
polysign_cd
d
: swi
t
c
h
to
u
se of Ma
t
rix re
p
re
s
en
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
l
ys
i
gn_glpk
:
swit
c
h to use of M
a
trix rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoola
e
ge
doc: document computation of Hilber
t
basis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Con
e
_
H
ilbert_Ba
s
is
:
use sta
n
dard_constraints to
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoola
e
ge
Use z
s
olve
to
compute Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verd
o
olaege
compile
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
solve: d
o
n't inst
a
ll hea
d
er
s
and e
x
e
cutables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve:
i
nit
i
alize BackupTime in ZSo
l
veContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve: zso
l
veSy
s
tem
:
add missin
g
verbosity
check
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
o
lae
g
e
zs
o
l
v
e: ov
e
rride LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
add 4ti2-
1
.
3
.
1+a
u
toconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
add zsolve from 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doolaege
p
a
ram_u
t
i
l
.
c: expor
t
bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
t
o
pcom
.
c: extract
p
art
o
f code for set
t
ing up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en Verdoolaege
gen_fun::Ha
d
amard_product:
p
rint prog
r
ess
i
ndicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n
V
e
r
doolaege
move --
v
erbose
option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
gen_
f
un::summate: han
d
l
e
full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
Replace incremental infinit
e
set counte
r
b
y "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
d
ool
a
ege
make
co
u
nter:
:
a
d
d_falling_powers
static
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doo
l
aege
merg
e
(
m
ost of) common part
o
f
co
u
n
te
r
and tcoun
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
icounter
:
h
andle spe
c
ialization of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
icounter: d
o
n't bother "nor
m
aliz
i
ng" the exponent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
export neg_left_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_
r
eduction_cdd: che
c
k
for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
P
o
l
yhedron_Sample: hand
l
e
pol
y
h
edron be
c
oming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
gen
_
fun::operator ev
a
lue *: alwa
y
s retu
r
n a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen
_
fun:
:
operator evalue *: r
e
move com
m
ented
o
u
t
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enume
r
a
t
e_e
.
c
c
: handle verifi
c
ation of
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_e
n
um
e
r
a
te_e:
option
a
lly
print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enumerate_e:
support v
e
ri
f
ication of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
barvinok_enumerate_e:
s
u
p
port conv
e
rsi
o
n of generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_poin
t
s: a
n
other
m
icro-
o
ptim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattic
e
_poin
t
s_fixed: nano-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rd
o
olaege
gen_fun::add: context of sum should
be
u
ni
o
n o
f
co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ba
r
vinok_enumerat
e
:
use verify
in
f
r
a
str
u
cture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdo
o
la
e
ge
ge
n
f
u
n
.
cc: pr
i
nt_power: drop s
p
aces
a
rou
n
d "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
c
ount_point
s
_e: f
a
ll bac
k
t
o
count_po
i
nts if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Makef
i
le
.
am: c
h
eck-eva
l
u
e:
prin
t
name
of e
a
ch test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_poly_print helper fun
c
tion
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_
f
un:
m
ake su
r
e context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
reduce
r
::red
u
ce: canonicalize coefficients
i
n each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
short_
r
at:
:
pr
i
n
t
: corr
e
ctly prin
t
out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
r
doo
l
aege
bar
v
inok_serie
s
: re
c
hec
k
fo
r
e
q
ualit
i
es after com
p
uti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
expo
r
t
Matri
x
_Read fo
r
reading
Matr
i
x from a
str
e
am
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
p
a
r
am_util
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
u
til
.
c:
s
upporting_co
n
straints
:
r
e
turn
b
it
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polyl
i
b: update f
o
r
M
atrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
opti
o
n
s
.
c
: use Polyhedron_Sample for
c
ou
n
ting inf
i
nit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
keep track of and use s
a
turating
constraints in Param_Po
l
yh
e
dron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
mo
v
e value_gcd and va
l
ue_lcm to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Bernoulli_sum_evalue: onl
y
compute exac
t
s
u
m if approxima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
B
e
r
n
oulli_sum_evalue: sum ove
r
variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
evalue
.
c:
e
xport evalue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
Polyh
e
d
r
on_Exch
a
ngeC
o
lumns: nor
m
alize c
o
nstrain
t
s after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
export Polyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
e
v
alu
e
_polynomi
a
l: o
p
timize evalua
t
io
n
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
evalue
.
c: e
m
ul: handle another special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue
.
c:
e
add: hand
l
e some specia
l
ca
s
es
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
ntroduce and us
e
e
v
alu
e
_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
evalue
.
c:
ea
d
d: micro-optimize additi
o
n of
two rationa
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
set
t
in
g
an
appr
o
ximation meth
o
d now implies pol
y
nomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_summate: opt
i
onally use
Bernoulli/
F
aul
h
ab
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoo
l
aege
B
e
r
n
oul
l
i
_
s
u
m_evalue: use
evalue_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvinok/pol
y
lib
.
h: remove compatibility
w
ith older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
m
o
ve Vector_Oppose to Poly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
p
olytope_scan: reenable --direct opt
i
on
commit
|
commitdiff
|
tree
2007-10-20
Sven
Ve
r
doolaege
re
m
ove_all_equali
t
ies:
keep remov
i
ng equalitie
s
un
t
il
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolaege
remove_all_equal
i
ties: handle empty pol
y
hedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equ
a
l
itie
s
:
minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolae
g
e
export Polyhedron_Ma
t
ri
x
_View
commit
|
commitdiff
|
tree
2007-10-16
Sven
Verdoolaege
polar_
s
igned_cone_cons
u
me
r
:
c
lean up me
m
ory on inappropri
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
v
e
n
Verdoolaege
Pa
r
am_Inner_Product: fi
x
use
o
f v
a
lue_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Ver
d
oolaege
doc: fix typo in Michel
e
Vergne
'
s nam
e
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
Add missin
g
files from polymak
e
client
to di
s
t
r
ibution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
Us
e
gmp'
s
gc
d
rather tha
n
Pol
y
Lib's
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdo
o
la
e
ge
polymake
/
README: mentio
n
--with-barvin
o
k
co
n
fig
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
polymake/Makefile
.
in: ad
d
work-a
r
ound
f
or
p
o
l
ym
a
ke
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdoolae
g
e
eva
l
ue
.
c: prin
t
_evalue: always print newlin
e
at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sv
e
n Ver
d
o
olaege
o
pt
i
ons
.
c: fi
x
typo
i
n --approx
i
ma
t
ion-
m
ethod desc
r
iption
commit
|
commitdiff
|
tree
2007-09-15
Sven
Verdoolaege
topcom
:
fix heuris
t
ic for selec
t
ing r
o
ws
t
o use a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolae
g
e
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
Merge
br
a
nch
'
topco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document TOPCOM based cham
b
er de
c
ompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
tes
t
TOPCOM chamber decomp
o
sition
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdo
o
laege
O
p
tionally use TOPCOM
t
o c
o
mput
e
c
h
a
mber decom
p
ositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
lexm
i
n:
add (protected)
m
issing algo
r
ithm in
c
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoo
l
a
e
ge
Makefile
.
am: a
d
d target for
c
reating dist
w
ith
g
it
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc: up
d
ate vot
i
ng theory reference
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdool
a
ege
documen
t
ba
r
vinok_s
u
mmate and b
a
rvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc:
c
onsis
t
ent
us
e
o
f Barvin
o
k
's initials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verdoo
l
aege
b
arv
i
nok_summate: corr
e
ct options
de
s
cription
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoola
e
ge
Do
c
u
ment Euler-Maclauri
n
based summati
o
n
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oolaege
do
c
: change exa
m
ple en
v
iro
n
ment
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdoolaege
doc: add
s
om
e
hidden
s
e
c
t
ions
t
o
t
able of contents
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rd
o
o
l
a
ege
doc: anoth
e
r docum
e
nt
refering to t
h
e
l
i
b
r
ary
commit
|
commitdiff
|
tree
2007-09-10
Sven
Ve
r
d
o
olaege
add s
o
me tests for Euler-Maclau
r
in
b
as
e
d
s
ummation
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verd
o
o
l
aege
Euler-Maclaurin based summat
i
on for 1D problems
commit
|
commitdiff
|
tree
next