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
barvinok 0.26
2008-01-16
Sven V
e
rdoolaege
b
arvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
l
aeg
e
add some tests for impleme
n
t
a
ti
o
n of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oo
l
aege
doc: d
o
cument new options
and
n
ew applications
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
AUTHORS: upda
t
e
support infor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
g
enfu
n
.
cc: s
h
o
r
t_r
a
t::print: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
Export
ser
i
es as barvin
o
k_
e
n
u
merat
e
_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolae
g
e
remo
v
e_paramet
e
r_equaliti
e
s: stop "
r
emoving" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoolaege
serie
s
: l
e
a
v
e freeing of P
a
r
gument to ca
l
l
i
n
g functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: do
c
ument implementation of the projection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
r
d
o
o
laege
add
barvinok_e
n
um
e
rate_e
_
serie
s
i
m
p
le
m
ent
i
ng the p
r
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ve
r
doolae
g
e
genfun
.
cc: fix and document parallel
p
olytopes cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
olaege
Move G
i
N
a
C-i
n
dependent pa
r
t of libra
r
y to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoo
l
a
e
ge
polylib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sven Verd
o
ola
e
ge
doc: how to count
the number
o
f elements
i
n
p
o
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
l
a
e
ge
d
o
c/implem
e
ntation
.
tex: avoid
m
u
ltiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
l
attice_w
i
dth
.
c
:
try
ve
r
tice
s
o
f
pr
e
vi
o
u
s
integ
e
r
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document integer hull
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
h
u
ll
.
c: add al
l
points
f
ou
n
d by sampling dire
c
tly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
Pos
s
ible optimizations for genera
l
ized
b
asis reduc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use of
g
enera
l
ized b
a
sis reduction to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ola
e
ge
add Polyhedron_I
n
teger_Minimum for comp
u
t
ing t
h
e inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoola
e
ge
do
c
: document generalized ba
s
is r
e
duction based in
t
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
d
o
c
/
barvinok
.
b
i
b: add
m
issing
s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
ad
d
more mis
s
ing as
s
ert
.
h #
i
n
c
ludes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
confi
g
ure
.
i
n: only
compile libbarvinok as a
stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
Polyhedron_Reduced_B
a
sis
:
don'
t
stop too early
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdo
o
lae
g
e
c
o
mpute_width_di
r
ections:
o
nly keep list of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
zs
o
lve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
v
e
rsion
.
c: sho
w
use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
config
u
re
.
in:
don't set with_{po
l
y
,
pip}lib_pref
i
x fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_Sample:
be satisfied with a reasonable
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_
i
nteg
e
r_hull: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_reduction: keep track of number
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
options:
m
ov
e
--print-stat
s
to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
ber
n
stein: re
w
ork testing frame
w
ork
to n
o
t
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
bernstein: ad
d
piec
e
wise_lst
:
:is_equa
l
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rd
o
o
l
a
e
ge
sup
p
o
rt new
e
r
v
ersions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaeg
e
standard_co
n
st
r
aints: move from topco
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove de
p
enden
c
y on le
x
m
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ve
r
doolaege
zsolve
:
add
b
anner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolae
g
e
P
olyhedron_
L
attice_Width_D
i
r
ections: pri
n
t prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en
V
erdool
a
ege
basis_reduction_
p
i
p: abort on i
n
valid (e
m
pty
)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README:
explain how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
S
ve
n
V
erdoo
l
aege
doc: document
lat
t
ic
e
width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some latti
c
e
w
i
d
t
h
t
ests from Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoola
e
ge
P
o
l
y
hedron
_
Latt
i
ce_Widt
h
:
d
eci
d
e o
n
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
add Polyhedron_Lattice
_
Width for comp
u
t
i
ng la
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolaege
hilbert
.
c: add
C
o
n
e_Integer_Hu
l
l f
o
r
computi
n
g ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign:
add pip-backed ve
r
sion
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdool
a
ege
polysign: a
d
d const
r
aints_opt to
c
ompute
o
ptimum
ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
olaege
po
l
ysign_cdd:
switch to us
e
of Matrix r
e
prese
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdool
a
ege
polys
i
gn
_
glp
k
:
switch to use
of
Matrix re
p
resentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
doc: docum
e
nt computat
i
on of H
i
lbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Cone_
H
ilbert_Basis: use standard_constr
a
ints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve to c
o
mpu
t
e Hilb
e
rt basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verd
o
olaege
zsolve:
d
o
n't install headers
a
nd
e
x
ecut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
zsolve
:
initialize BackupTime
in ZSolveCont
e
xt
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
ege
zsolve:
z
solv
e
System: add missing verbosity c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
olaege
zsolve: ove
r
ride
LIBS from top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaeg
e
add 4ti2-1
.
3
.
1
+autoconf-0
.
1
ban
n
e
r
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
a
d
d zsolve from 4ti2-1
.
3
.
1
+
a
u
toconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
e
rdoolaege
par
a
m_util
.
c:
e
xport bit_vector_c
o
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rd
o
o
l
ae
g
e
topcom
.
c: ex
t
ract part of code for setting
up stan
d
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
e
rdoolaege
gen_fun:
:
H
adamard_product
:
p
rint progres
s
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoola
e
g
e
move --verbose option to
library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fun::
s
um
m
ate: handle
full
specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
Repl
a
ce incremental infini
t
e
set
c
ounter by "r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
make co
u
nt
e
r
:
:
a
dd_fallin
g
_powers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
m
e
rge (most of) c
o
mmon part of counter and tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
e
rdoolaege
i
counter:
h
andle
s
pecializat
i
o
n of
p
olynomials
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
icounter: don't bo
t
her "normalizin
g
" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
xport neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
basis_reduction_c
d
d
: c
h
eck for po
s
sibly
i
ncorrect
out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
la
e
ge
Polyhedron_Sample:
handle po
l
y
hedron becoming em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
gen_fun
:
:operato
r
e
v
al
u
e
*: always
r
e
turn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdool
a
ege
gen_fun:
:
operator
eva
l
ue
*
: remo
v
e commented out debug
g
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enumerate
_
e
.
cc
:
hand
l
e ve
r
ification of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barv
i
nok_enume
r
ate_e: optionally pr
i
n
t
stat
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
barvi
n
o
k_enumerate_e: sup
p
ort verification o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
barvinok
_
enumerat
e
_e:
s
upport conversion
o
f g
e
nerati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolae
g
e
lattice_points: anot
h
er
micro-
o
ptimiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
a
t
tice_points_fixed: nano-opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
g
e
n_fun::add: context
o
f sum should be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvi
n
ok_en
u
merate:
use
v
erify i
n
f
ras
t
r
uctu
r
e for ver
i
fyin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
genf
u
n
.
cc:
p
rint_power:
drop spa
c
es around "/" w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
ool
a
eg
e
count_p
o
i
nts_e: fall back to
count_poi
n
ts if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
Makefile
.
am: check-evalue: print name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
verify
:
add check_poly
_
print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
g
e
n
_
f
un:
m
ake sur
e
context is al
w
a
ys
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
r
educe
r
::
r
educe: canonic
a
lize coef
f
icients in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
sho
r
t_rat::print: correctly pr
i
nt out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_ser
i
es: reche
c
k for
equaliti
e
s aft
e
r
computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
export Matrix_Read fo
r
rea
d
ing Mat
r
ix from a
stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c
:
a
dd Param_V
e
rtex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
o
olaege
ut
i
l
.
c: supporting_co
n
strai
n
ts: retu
r
n bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
olylib: update for
M
atrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
options
.
c: use Polyhedro
n
_Sa
m
ple fo
r
counting inf
i
ni
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
r
d
ool
a
ege
k
eep tra
c
k of and use saturatin
g
constraints
i
n Param_Po
l
yhedron
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
move value_gcd and val
u
e_lcm to
p
o
l
ylib
commit
|
commitdiff
|
tree
next