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
introduce evalue_shift_variables
2008-01-16
Sven Verd
o
olaeg
e
do
c
: d
o
cument
i
mplementation of the projection
t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
a
dd bar
v
inok
_
enumerate_e_series implementing the projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
genfu
n
.
cc: fix and d
o
cument parallel pol
y
topes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only com
p
il
e
zsolve
i
f gcc 3
.
4
or la
t
e
r i
s
av
a
il
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
M
o
ve
G
iNaC-
i
ndependent part o
f
libra
r
y
to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
pol
y
l
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc
:
how to
c
o
unt the number of
e
lements in p
o
s
s
i
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n V
e
rdo
o
laege
d
oc/implem
e
ntatio
n
.
tex: avoid multiply defi
n
ed label
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verd
o
olae
g
e
l
a
t
t
ic
e
_width
.
c: try vertice
s
o
f pre
v
i
o
u
s integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
rdoolaege
doc: do
c
ument inte
g
er h
u
l
l co
m
p
u
tation
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
hull
.
c: ad
d
all points
fo
u
nd by
s
a
mpling direc
t
ly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoo
l
aeg
e
Possible opti
m
izations for gener
a
lized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
Support us
e
of generalize
d
basi
s
reduction to co
m
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
add Polyhedron_Integer_Minimum fo
r
computing the
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
Verdoola
e
ge
doc: docume
n
t gener
a
lized basis reduction
b
ased in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
do
c
/barvino
k
.
b
ib:
a
dd
m
issing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaege
add more missin
g
assert
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
evalue
.
c: ad
d
mi
s
sing includ
e
o
f
a
l
l
o
ca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
configure
.
i
n: pass path
o
f GMP inst
a
l
l
ation to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
V
e
r
doo
l
aege
conf
i
gure
.
in: only compile libbarv
i
no
k
as
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
V
erdoolaege
Polyhedron_R
e
du
c
ed_
B
asis
:
don't stop t
o
o
early whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdo
o
laeg
e
c
ompu
t
e_width_direc
t
io
n
s: only keep list
of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zso
l
ve: do
n
't i
n
stall library
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
version
.
c: sh
o
w use
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolae
g
e
configure
.
in: d
o
n't set
with_{poly,pip}lib_pr
e
fix f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Po
l
yhedron
_
S
a
mple: be
s
a
tisfied
with a reasonab
l
e cho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
lae
g
e
cone_in
t
eger_
h
ull: optionally p
r
int stats
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdool
a
ege
ba
s
is_reduc
t
ion: keep track of number of LPs so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: m
o
ve --print-stat
s
to library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
berns
t
ei
n
: rework testing f
r
amework to not depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: add
p
iecewise_l
s
t::is_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
s
u
pport
new
e
r versi
o
ns
o
f
GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standa
r
d_co
n
s
trai
n
ts:
move from topcom
.
c
to po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaeg
e
polysign
.
h: remove dependency on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ver
d
o
o
la
e
ge
zsolve: add banner
.
h to dis
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoo
l
aege
Polyhedron_L
a
ttice_Wid
t
h_Directions:
print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
laege
ba
s
is
_
redu
c
t
i
on_pip:
a
bort on inv
a
lid (empty) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
o
laege
REA
D
ME: explain h
o
w to get submod
u
l
es
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: d
o
cument lattic
e
wid
t
h computa
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
some lattice width tests from Jon Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Ve
r
doolaege
Poly
h
edron_La
t
tice_Width: decide
o
n facets
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
a
dd Polyhedron_L
a
ttice_Width fo
r
c
o
mputing l
a
ttice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add Cone_
I
n
t
eger_Hull for
compu
t
ing vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
d
o
olaeg
e
polysig
n
: a
d
d p
i
p
-
backed ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoola
e
ge
pol
y
sign:
a
dd constrain
t
s
_opt to compu
t
e optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_cdd: switch
t
o use of Matri
x
represent
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
po
l
ys
i
gn_
g
lpk: switch
t
o use of Matrix r
e
presentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: document
computa
t
ion o
f
Hilber
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
Cone
_
Hilbert_Basis: u
s
e
standard_constraint
s
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
U
s
e zsolve to compu
t
e Hilb
e
rt
b
asis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
com
p
ile
z
solve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsol
v
e:
do
n
't install header
s
an
d
execut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zs
o
lve: initial
i
ze
BackupTim
e
in ZSol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zs
o
lve: zsolveSy
s
tem: add
mis
s
ing ve
r
bosit
y
c
heck
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
o
l
ae
g
e
zsolve: override L
I
BS from t
o
p
le
v
el
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
ege
add z
s
olve from 4ti2-1
.
3
.
1+au
t
oconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
aege
p
aram_util
.
c
: e
x
p
o
rt bit_ve
c
t
o
r_cou
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
t
opcom
.
c:
ext
r
ac
t
pa
r
t
o
f
code for sett
i
ng
u
p
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoo
l
a
ege
gen_fun
:
:Hadamard_p
r
oduct: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoolaeg
e
move --verbose option to lib
r
ar
y
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
gen
_
fu
n
:
:summate: handle f
u
ll specializa
t
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Rep
l
ace incremental inf
i
ni
t
e se
t
cou
n
te
r
by
"
r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
make co
u
nter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
merg
e
(mo
s
t of) common pa
r
t
o
f
cou
n
ter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
i
c
o
u
nter: handl
e
specializ
a
ti
o
n
o
f polyno
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
icounter: don't bothe
r
"norm
a
lizi
n
g"
th
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoo
l
aege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
bas
i
s
_reduc
t
i
o
n_cdd: ch
e
ck
f
or possibly incor
r
ect outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
olaege
Polyh
e
d
r
on_Sampl
e
: handle p
o
lyhedr
o
n becoming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator evalue *: always
return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_
fun::opera
t
or evalue
*: remove commente
d
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok_enum
e
rate_e
.
cc: handle verifica
t
ion of
prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_enumerate_e:
o
ptionally print sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
ola
e
ge
barvinok_enumerate_e: su
p
port verification of generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enu
m
e
rate_e:
s
upport
conversion o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
e
ge
lattice_points
:
ano
t
h
er m
i
cro-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
l
atti
c
e_points_fixed: nano-optimiz
a
t
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
ge
n
_f
u
n
:
:add: co
n
text of sum should be union of c
o
ntexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
r
do
o
laege
barvin
o
k_enumerate:
u
se
verify infrastructure
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
genfun
.
cc: p
r
int_
p
ower: d
r
o
p
spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count
_
points_e: fall back to coun
t
_po
i
nts if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
Makefi
l
e
.
am
:
check-e
v
alue:
prin
t
n
ame
o
f
each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
v
erify
:
add check_poly_print helper funct
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
rdoolae
g
e
g
e
n
_fun:
m
ake sure
context i
s
a
l
wa
y
s s
e
t
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaeg
e
r
ed
u
c
e
r
::reduce: canonicalize coe
f
fic
i
ents
i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
short
_
rat::
p
rint: corr
e
c
tly print out
t
erms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_series: recheck for equalities after comp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
expo
r
t Matrix_Read for readi
n
g Matrix from
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
pa
r
a
m
_
u
til
.
c: a
d
d Param_Ve
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
r
doolaege
u
til
.
c: supporting_c
o
nstraints: retur
n
bit vect
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: update for
Matrix
_
E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
o
ptions
.
c: use Polyhe
d
ron_Sample for counting i
n
fini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
ke
e
p
track of
and use saturating c
o
ns
t
raints
in Pa
r
am_Pol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_gcd and value_l
c
m to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
Bernoulli_sum_evalue: only
c
o
mpute ex
a
ct sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Bernoulli_sum_evalu
e
: sum ov
e
r va
r
iables
w
i
th in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
evalue
.
c: e
x
port
evalue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedro
n
_Ex
c
hange
C
olumns:
norm
a
lize c
o
nstr
a
ints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
expor
t
P
olyhe
d
ron_ExchangeColum
n
s
commit
|
commitdiff
|
tree
next