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: how to count the number of elements in possibly infinite sets
2007-11-22
Sve
n
Verdoolaege
doc: how
to count the num
b
er of
e
lements in p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
do
c
/implemen
t
atio
n
.
tex: avoid multiply defi
n
ed label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
l
atti
c
e_wi
d
th
.
c
: try vertices
o
f
previous int
e
ge
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
docume
n
t integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
h
ull
.
c: a
d
d
all points found by
samp
l
ing directly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optim
i
zations for generalize
d
basis
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdo
o
laege
Support use o
f
g
e
neralized basis re
d
u
c
tion to co
m
put
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
add
Polyhedron_Integer_
M
ini
m
um fo
r
computin
g
t
he i
n
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ve
r
doolaeg
e
d
oc:
docum
e
nt
g
eneraliz
e
d basis reduct
i
on bas
e
d
i
n
te
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaeg
e
doc/barvino
k
.
b
ib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verd
o
olaege
add mo
r
e missing assert
.
h
#
in
c
ludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
olaege
e
value
.
c: add missing
incl
u
d
e
of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doola
e
ge
c
o
nfigur
e
.
in: pass
p
ath
o
f GMP
i
nstallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
co
n
figure
.
in: only co
m
pile libbarvinok as
a
sta
t
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron
_
Reduc
e
d
_
Ba
s
is: do
n
't stop t
o
o
ear
l
y when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdool
a
ege
compute_width_dire
c
tio
n
s: only ke
e
p list
o
f
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
ola
e
ge
zsolve:
d
o
n
't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
versi
o
n
.
c: s
h
ow use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
configure
.
in: don't set wi
t
h_{poly,pip}lib_pref
i
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolae
g
e
P
o
lyhed
r
on_
S
ample:
be sat
i
sfied wi
t
h
a reas
o
n
a
bl
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aeg
e
cone_integer_hull: opti
o
nally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
g
e
b
asi
s
_reduc
t
ion: keep track o
f
n
umbe
r
of LPs so
l
ve
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
op
t
ions: m
o
ve --print-s
t
ats to
library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
e
g
e
b
e
rnstein: rewor
k
tes
t
ing fr
a
mework t
o
not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bern
s
t
ein: add piecewise
_
lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
s
u
ppor
t
n
e
we
r
version
s
of
G
iNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_constraints: move from
top
c
om
.
c t
o
polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
p
olysi
g
n
.
h: remove
d
ependency on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ve
r
doolaege
zsolve: add banner
.
h t
o
d
is
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
Polyhedron_Lattice
_
Width_Direc
t
io
n
s: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
ve
n
Verdool
a
ege
bas
i
s_reduc
t
ion_pip:
a
bor
t
on
i
nvalid (empty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: expl
a
in ho
w
t
o
get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaeg
e
doc: do
c
ument lattice
w
idth
computa
t
io
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
so
m
e
l
a
t
tice
width
t
ests from Jon Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyh
e
dr
o
n
_
Lattice_Width: deci
d
e o
n
facets t
o
cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doo
l
aege
a
d
d
Polyhed
r
on_Lattice_Width for com
p
utin
g
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolae
g
e
hilbert
.
c: add Con
e
_Integer_Hull for
c
ompu
t
i
ng ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
erdoolaege
p
o
lys
i
gn
:
add pip-backed ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
polysign:
a
dd constrai
n
ts_opt to compu
t
e o
p
timum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
polys
i
gn_cd
d
: sw
i
tch to use
of Matrix representatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdoolaege
polysign_glpk: switch to use of Ma
t
rix rep
r
esenta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
doc: document computation
of Hilbert basis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
Cone_Hilbert_Basis: use
s
tandard_constrain
t
s to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolae
g
e
Use zsolve to compute Hilbert
b
asis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compi
l
e
zsolv
e
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
z
s
olve:
don't i
n
stall
hea
d
ers and
ex
e
cutables
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doolaege
zsolve: initialize B
a
ckupT
i
me
in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zso
l
v
e
: zsol
v
eSystem: add missing verbosity
check
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve: override LIBS from to
p
level
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoo
l
aege
ad
d
4t
i
2-1
.
3
.
1+
a
uto
c
o
nf
-
0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
ad
d
zsolve
f
r
om
4
ti2-1
.
3
.
1
+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
laege
param_util
.
c: expo
r
t
bit_vector_co
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
topcom
.
c
:
extract par
t
of code
f
o
r
setting up
standar
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en
V
erdoolaege
gen_fun::Hadamard_pr
o
duct: print progress
i
ndicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sve
n
Ve
r
doo
l
aege
move --verbose option t
o
libra
r
y
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
ge
n
_fun::su
m
m
at
e
:
handl
e
fu
l
l specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Replac
e
incremental infinit
e
set counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
make co
u
nter::add_falling_powers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
merge
(
most of) common part of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doola
e
ge
icounter:
h
andle
specialization of polyn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don
'
t b
o
t
her "n
o
rmalizing
"
the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
exp
o
r
t
neg_left_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
ba
s
is_re
d
uc
t
i
o
n
_
c
dd:
check for po
s
si
b
l
y
inco
r
re
c
t ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron
_
Sam
p
l
e
:
ha
n
d
l
e po
l
yhedro
n
becoming
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
f
u
n::
o
perator evalue *: always return
a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
ool
a
ege
gen_fun::operator evalue *: rem
o
ve co
m
mented out d
e
buggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok
_
enumerate_e
.
c
c
: handle verification
o
f probl
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_en
u
mera
t
e_e: op
t
ionall
y
print
s
t
a
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok_enumerate_e: support verificat
i
on of gene
r
at
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
ba
r
vinok_enumerate_e: su
p
port convers
i
on of gene
r
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
lattice_po
i
nt
s
: anot
h
er micr
o
-o
p
timizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
lattice
_
point
s
_fi
x
ed: nano-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoo
l
aege
gen_fun::ad
d
: context of sum should
b
e u
n
ion of
c
ontexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
barvinok_enum
e
rate: use verify infr
a
str
u
cture for verify
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
g
enfun
.
cc: print_power: d
r
op s
p
aces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
cou
n
t_points_e: fa
l
l back to co
u
nt_points if ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
Makefile
.
a
m
: check-evalue: p
r
int na
m
e
of e
a
c
h
tes
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
v
e
rif
y
:
a
d
d c
h
eck_po
l
y_print
h
el
p
e
r
function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
gen_fu
n
: make su
r
e
c
o
ntext is al
w
ays se
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
re
d
ucer::r
e
duce
:
c
a
nonicalize coef
f
ici
e
nts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
ege
s
h
ort_rat::print: correctly
pr
i
nt out terms
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
barvinok_s
e
r
ies
:
rec
h
eck for
e
qua
l
iti
e
s a
f
ter co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
e
xport Matrix_
R
ead
for read
i
ng Matrix
from a st
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
param_util
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
eg
e
uti
l
.
c: su
p
porting_constraints:
r
eturn b
i
t vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
polylib: update f
o
r Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c:
use Polyhedron_Sample
for
co
u
ntin
g
infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of an
d
use saturating constraints in Param
_
Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
move
v
a
l
ue_gcd and val
u
e_lc
m
t
o polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
ae
g
e
Bernou
l
li_sum_evalue: only compute exact sum if
a
pproxi
m
a
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
o
laege
Bernoulli_sum_evalue: sum
o
ve
r
var
i
a
b
le
s
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: export evalue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laeg
e
Polyh
e
dron_Excha
n
geColumns: normalize co
n
straints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export
P
olyhedron_Ex
c
hangeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
evalue_poly
n
o
m
i
al: optimize evaluati
o
n in zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
d
oolaege
e
value
.
c: emul: handle anot
h
er special case
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
eva
l
ue
.
c: eadd
:
handle som
e
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
o
olaege
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
ev
a
l
u
e
.
c:
eadd: micro-optimize addition
of two
r
ationals
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
setting
an approxim
a
tion method now
impli
e
s
polynomial
.
.
.
commit
|
commitdiff
|
tree
next