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
add Polyhedron_Integer_Minimum for computing the integer minimum of a polyhedron
2007-11-21
S
ven Verdoolaege
add Polyh
e
dron_Intege
r
_Minim
u
m for
co
m
p
u
t
i
ng t
h
e integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
d
o
c: document generalized b
a
sis reduction based
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
olaege
doc/barvinok
.
bib: add missing
s
t
rin
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
olaege
add more
missing as
s
ert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
olaege
e
value
.
c: ad
d
missin
g
inclu
d
e
o
f
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
conf
i
g
u
r
e
.
in: p
a
s
s path of GMP
installation to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
con
f
igur
e
.
in: only compile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolae
g
e
Polyhedron_Reduced_Basis: don't stop
t
o
o
earl
y
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
compute_
w
idth_directions
:
only keep
l
ist of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
zsolve: don'
t
in
s
t
a
l
l library
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoo
l
aege
version
.
c:
show use of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verd
o
olaege
c
o
nfigure
.
in: don't set with_{poly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
P
o
lyhe
d
ron
_
S
a
mple: be sa
t
isfied
w
ith a
r
easonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
c
one
_
integ
e
r_h
u
ll: optional
l
y
pr
i
nt stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_re
d
u
c
t
i
on
:
keep t
r
ack
o
f num
b
er of LPs
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
options: move -
-
pr
i
nt-stats to library
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
Verdoolaege
bernstein: r
e
work testing framewo
r
k to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add piec
e
wise_lst::is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdool
a
e
g
e
support newer version
s
o
f G
i
NaC
(
>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoo
l
a
ege
s
tan
d
ard_
c
on
s
traints
:
move f
r
om topco
m
.
c
t
o
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdo
o
la
e
ge
polysign
.
h: remove
d
e
pendenc
y
on lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aeg
e
zs
o
lv
e
: add
ba
n
ner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
Pol
y
h
edron_La
t
tice_Width_Directions:
p
rint
progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_
r
e
duct
i
on_pip: abort
on invalid (em
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
README: explain how to get subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
g
e
doc: document latti
c
e
width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
ola
e
ge
som
e
lattice
widt
h
tests from Jon
Y
aggi
e
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Ver
d
oolaege
Polyhedron_Lat
t
ice_Widt
h
:
decide on facets t
o
c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
a
e
ge
a
dd Polyh
e
dron_Lattice_Widt
h
for
computing la
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoola
e
ge
hilbe
r
t
.
c:
a
dd
C
o
n
e_Integer_Hul
l
for
com
p
utin
g
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysign:
add pip-backe
d
versio
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doo
l
aege
polysign
:
add co
n
s
t
r
a
ints_opt to compute optimum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoo
l
aege
polysign_c
d
d:
switch
t
o u
s
e of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
p
o
lysign_g
l
pk: switch to use of Matrix representatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc
:
doc
u
ment
c
omputation of H
i
l
b
ert bas
i
s of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hi
l
bert_B
a
s
is: use stand
a
rd_const
r
aints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verd
o
olaeg
e
Use zsolve to compute Hilbert basis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsol
v
e: don't install he
a
der
s
and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
i
nitializ
e
B
a
c
kupTime
in ZSolveContex
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zso
l
ve: zs
o
lve
S
y
stem: add
m
issin
g
verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
z
s
olve:
override LIBS from to
p
le
v
el
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
a
ege
add 4ti2-1
.
3
.
1+autocon
f
-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
add zsol
v
e
from 4ti2-1
.
3
.
1+au
t
o
c
onf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param
_
util
.
c
: export bit_vector_c
o
un
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
topcom
.
c
: e
x
tract part
o
f c
o
de
f
or s
e
tt
i
ng up st
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n
V
e
r
do
o
laeg
e
gen_fun::H
a
damard_pro
d
uct: p
r
int
p
rogress indi
c
ator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
ae
g
e
move
--verbose opti
o
n
t
o
library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ge
n
_fun::
s
u
mmate: han
d
le full specializ
a
tion
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
Re
p
lace incremental i
n
f
i
nite
se
t
cou
n
te
r
by "re
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
ma
k
e counter::add_falling
_
powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
merge (most of)
common p
a
r
t of counter an
d
tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ico
u
nter:
handle specialization of polynom
i
a
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verd
o
ol
a
ege
i
c
ounter:
don'
t
bother "n
o
rmalizi
n
g" t
h
e exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doo
l
aege
export
n
eg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
basis_reduction_cdd: check fo
r
possibly
incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
Polyhedr
o
n_Samp
l
e
: handle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdool
a
ege
gen_fun::
o
perator evalue *: always ret
u
rn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
gen_fun::operator evalue *:
re
m
ove commented out debu
g
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
b
arvino
k
_enumerate
_
e
.
cc:
handle ve
r
i
fic
a
tion o
f
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvin
o
k_en
u
merate_
e
: option
a
lly print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
bar
v
inok_enu
m
erat
e
_e:
suppor
t
verification
o
f generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
barvinok_e
n
u
merate_e: sup
p
ort conversion of generat
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
l
a
ege
lattice_points: another
m
icro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
lattice_points_fixed:
n
an
o
-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_fun::add: context of sum sh
o
ul
d
be unio
n
of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
ba
r
vin
o
k_enum
e
r
a
te: u
s
e v
e
r
i
fy
i
n
frastr
u
ctur
e
for ver
i
fying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoo
l
aege
genfun
.
cc:
print_p
o
wer: drop spac
e
s aroun
d
"
/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
count
_
points_e: fall
back t
o
count
_
poin
t
s if
t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Mak
e
file
.
am: che
c
k
-
ev
a
lue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ve
r
ify: add c
h
eck_poly_print hel
p
er functio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
gen_fun:
m
a
ke su
r
e context
is alwa
y
s se
t
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
reducer::reduce: canoni
c
alize coefficients
in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
olae
g
e
short_rat
:
:print: correctl
y
print
out term
s
wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
barv
i
nok_s
e
ries: r
e
c
h
eck
f
or equ
a
l
it
i
e
s
after
co
m
p
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
export Ma
t
rix_Read for re
a
d
ing Matrix
f
rom a stream
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
param_ut
i
l
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
util
.
c:
supporti
n
g
_constra
i
n
ts: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olae
g
e
polylib: update for Matrix_
E
x
t
end
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
ol
a
ege
options
.
c: use P
o
lyh
e
dr
o
n_Sample for
c
o
u
nting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
keep
track of and
u
s
e satur
a
ting constraints in Param_Pol
y
hedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
move
val
u
e_gcd a
n
d v
a
lue_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
B
e
r
n
o
ulli_sum_evalue: on
l
y
c
o
m
pu
t
e exa
c
t sum if approxim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
Ber
n
ou
l
li_s
u
m_ev
a
l
u
e: sum o
v
er variables with int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
ev
a
lue
.
c
: export
eva
l
ue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
l
aege
Polyhedron_Exchang
e
Columns: no
r
malize
c
onstraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
expo
r
t Polyhedron_Exchang
e
Col
u
m
ns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolae
g
e
evalue_pol
y
nomial: o
p
timize eva
l
uation in ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
evalue
.
c: emul: ha
n
dle
a
nother spe
c
ial ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaeg
e
e
value
.
c
:
e
ad
d
: ha
n
dle some special cases
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
g
e
intro
d
u
ce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalu
e
.
c: eadd: micro-optimi
z
e add
i
tio
n
of two
rationals
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
setting an approxi
m
ation method now impli
e
s polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
b
a
rvinok_summate: optionally use Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Berno
u
lli_
s
um_evalue: use evalue_f
r
om_se
c
ti
o
n
_
arra
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok/po
l
ylib
.
h: remove compatibility wit
h
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vector_Oppose to PolyL
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
po
l
ytope_sc
a
n: reenable -
-
di
r
e
ct
o
ption
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all
_
equalities: keep removing
e
qu
a
lities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_eq
u
a
lit
i
es:
h
a
ndle empty p
o
lyhedron detecte
d
.
.
.
commit
|
commitdiff
|
tree
next