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
Only compile zsolve if gcc 3.4 or later is available
2008-01-16
S
v
e
n Verdool
a
ege
Only compile zsolve if gcc 3
.
4 or later is
av
a
ilabl
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Move
G
iNaC-independent part of
l
ibrary
to barvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoolaeg
e
doc: ho
w
to count
t
he numb
e
r of elements in possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
a
e
g
e
doc/implementation
.
tex: avoid
multiply defin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ve
r
doolaege
l
a
t
ti
c
e
_width
.
c:
t
ry ver
t
ices of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
d
oolaege
do
c
: docume
n
t in
t
eger hull compu
t
a
t
i
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
hul
l
.
c: add all points found by sam
p
ling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ol
a
ege
P
ossible op
t
imizations
f
or g
e
nera
l
ized basis
r
eduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
Support use of generalized basis redu
c
tion
to com
p
ut
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdo
o
lae
g
e
add Polyh
e
dron_In
t
eger_Mi
n
i
mum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaeg
e
d
oc: document generali
z
ed basis reducti
o
n
b
ased integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoo
l
aege
doc/ba
r
vinok
.
b
i
b:
a
d
d missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more missin
g
assert
.
h #inc
l
ude
s
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaeg
e
evalue
.
c:
add mis
s
ing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdo
o
laege
configure
.
in:
p
ass path
o
f
G
M
P installa
t
i
o
n
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
onf
i
gur
e
.
i
n: only co
m
pile libbarvino
k
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
Po
l
yhedr
o
n_Reduced_Bas
i
s:
d
o
n
'
t
stop
too
e
arly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
co
m
pute_width_dir
e
cti
o
ns: only k
e
e
p
li
s
t of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
Verdoolaege
zs
o
l
v
e: don
'
t install libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven
Ver
d
oolaege
vers
i
o
n
.
c: s
h
o
w use of TOPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: don't set
w
i
t
h_{poly
,
pip}lib_pre
f
i
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolae
g
e
Polyh
e
dr
o
n
_Sample
:
be satisfied wit
h
a reasonab
l
e c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verdoola
e
ge
cone_integer_h
u
ll: optionally p
r
int stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaeg
e
basis_red
u
ction: keep
t
rack of number of LPs so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolae
g
e
optio
n
s: move --print-s
t
ats to librar
y
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
bernstein
:
rework testing
frame
w
or
k
t
o
not depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoolaege
ber
n
stein: add piecewise
_
lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
suppo
r
t newer ve
r
sions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
st
a
ndard
_
constraints: mov
e
from topcom
.
c to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoo
l
aege
poly
s
ign
.
h: remove dependency on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
z
solve: add banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaeg
e
P
o
lyhedro
n
_Lattice
_
Wid
t
h
_
Direction
s
: pri
n
t pr
o
gress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basi
s
_reduc
t
ion_pip: abort on
i
nva
l
id (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
Ve
r
doolaeg
e
R
EAD
M
E: explain how to g
e
t submodul
e
s
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
doc: docum
e
nt
lattic
e
widt
h
computation
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoola
e
ge
so
m
e
la
t
ti
c
e width t
e
sts fro
m
Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaege
P
o
lyhedron_
L
a
t
t
ice_Width: decide o
n
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
l
a
ege
add Poly
h
edron
_
Latt
i
ce_
W
i
d
th f
o
r computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add
C
one_
I
n
t
e
ger_Hul
l
for
computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
d
o
ola
e
ge
p
olysign: add
pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
poly
s
ign: add constrai
n
ts_opt to compute
optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
laeg
e
polysign_cdd: switch
t
o use
o
f
Matr
i
x
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
rdoolaege
polysign_glpk: sw
i
tch to use of
M
a
trix
represen
t
atio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
d
oc: document comput
a
tion of Hil
b
ert ba
s
i
s of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
g
e
Cone_Hilb
e
r
t
_Basis
:
us
e
standard_constraints to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
doolaege
Use zsolve to c
o
m
p
u
t
e Hi
l
bert basi
s
of a
c
o
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
r
d
oolaeg
e
com
p
ile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
solve: don
'
t
ins
t
all headers and executable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve
:
initi
a
lize Back
u
pT
i
me in ZSol
v
eC
o
ntext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
z
s
o
l
v
e: zsolveSy
s
tem: ad
d
missin
g
v
e
rb
o
sity check
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdo
o
l
a
ege
zs
o
lve:
overrid
e
LIBS from
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
4
ti2
-
1
.
3
.
1+aut
o
conf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
add z
s
olv
e
f
r
om 4ti2-1
.
3
.
1+autocon
f
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
param_util
.
c
:
export b
i
t_vector_cou
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoo
l
aege
to
p
com
.
c: extract pa
r
t
o
f code f
o
r setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en
V
e
rdoolaege
gen_fun::Hadamard_pr
o
duc
t
: print progre
s
s i
n
dicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdool
a
ege
move
--verbose option
to li
b
rary
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
o
laege
gen_
f
un::summa
t
e: han
d
l
e
full specialization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
a
ege
Replace i
n
cremental infini
t
e set counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
make count
e
r::add_fal
l
ing
_
powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
merge
(
most of) common
part of counter an
d
tcou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
c
ounter: handle s
p
ecializ
a
tion o
f
pol
y
nomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
icounter: don't bother "normalizing" t
h
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
export n
e
g_left_
h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
bas
i
s_reducti
o
n_cdd: c
h
eck for
p
o
ssibly inc
o
r
r
ect
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaeg
e
Polyhedron_
S
a
m
ple:
han
d
le polyhedr
o
n becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un::opera
t
or evalue *:
a
lways ret
u
rn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_
f
un::
o
perat
o
r evalue *: remove commente
d
out d
e
bug
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
ege
bar
v
inok_enumerate_e
.
c
c
:
h
a
ndle
v
erificat
i
on of p
r
obl
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
ba
r
v
inok_enumerate_e
:
optio
n
al
l
y print
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
b
a
rvinok_enume
r
ate
_
e:
s
upport verification of
generat
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
b
a
rvinok_enu
m
erate_e: support conversion of ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdo
o
laege
latti
c
e_point
s
: another
m
icro-optimizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_poin
t
s_
f
ixed: nano-o
p
timiza
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_
f
un::add: conte
x
t o
f
sum shou
l
d be u
n
ion of context
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
barvinok_en
u
merate: use
v
erify infrastr
u
cture f
o
r verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
g
enfun
.
cc: prin
t
_powe
r
: drop spaces ar
o
u
n
d
"
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdo
o
laege
co
u
n
t
_poin
t
s_e: fal
l
b
a
ck
t
o coun
t
_point
s
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Mak
e
file
.
am: ch
e
ck-
e
va
l
ue: print name of each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
ol
a
ege
verify: add check_
p
ol
y
_print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
g
e
n_fun: make s
u
re context i
s
always set
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
reducer::
r
e
du
c
e
: canonicalize c
o
effi
c
ients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
short_rat::print: cor
r
ectly p
r
i
nt out terms
w
ith
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
b
a
rvinok_series: recheck for equa
l
ities a
f
t
er computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoola
e
ge
expo
r
t
M
a
t
rix_R
e
ad for reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
pa
r
am_util
.
c
:
ad
d
Pa
r
am_Vertex_Domai
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
r
d
oolaege
util
.
c: s
u
p
p
orti
n
g_cons
t
rain
t
s
:
return bit vector
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
pol
y
lib:
upd
a
te
f
or Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
options
.
c: use
Po
l
yhedron
_
Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
k
eep track
o
f and use satura
t
ing constraints in Param_Polyhedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
g
e
move value_gcd and value
_
lcm
t
o polylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
Ber
n
oulli_sum
_
evalue: only compute exact sum if appro
x
imatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernou
l
l
i
_sum_eva
l
ue: sum
over va
r
iables
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Polyhedron_ExchangeColumns: normal
i
ze co
n
strai
n
t
s
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Polyhed
r
on_Excha
n
geColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue_polynomial: optimize evalua
t
ion in z
e
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: emul
:
handle
another spec
i
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
evalue
.
c: ead
d
: handle
some s
p
e
cial cases
commit
|
commitdiff
|
tree
next