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
S
ven Ver
d
oola
e
ge
doc
:
how to count the numb
e
r of e
l
e
m
ents in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n
V
erdoolaege
doc/impleme
n
tation
.
tex: avoi
d
multi
p
l
y
de
f
ined label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
l
attice_w
i
dth
.
c: try
v
e
r
tices
o
f
p
revious integer hu
l
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
do
c
: document i
n
teger hull
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
u
ll
.
c: add all
points f
o
u
nd by sam
p
ling directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Possible optimiz
a
tio
n
s
for genera
l
ized basi
s
re
d
ucti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support us
e
o
f generalized basis reduction to compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoola
e
ge
add P
o
lyhedron_Integer_
M
ini
m
um for computing
th
e
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdoolaege
d
o
c
: docum
e
n
t
gener
a
liz
e
d basis re
d
uction ba
s
ed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
r
d
oolaege
doc/ba
r
vinok
.
bib: add missing strin
g
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verd
o
olaeg
e
ad
d
mo
r
e missing assert
.
h
#
i
n
cl
u
d
e
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
g
e
co
n
figure
.
in: only compile libbar
v
inok as
a s
t
a
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
Polyhe
d
ron_Reduce
d
_Bas
i
s: d
o
n't stop t
o
o early wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdo
o
laege
compute_width_d
i
r
ecti
o
ns: only keep list of disti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
zsolve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
version
.
c: show u
s
e of TOP
C
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
i
n
: d
o
n't set with_{poly,pi
p
}lib_prefi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdool
a
ege
Polyhedro
n
_Sample: be satisfied with a reas
o
n
a
ble choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
on
e
_in
t
e
g
er_hu
l
l
: opt
i
o
nally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
a
e
g
e
b
a
s
i
s_r
e
duction
:
kee
p
t
r
ack o
f
num
b
er of LPs sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
option
s
: mo
v
e --pr
i
nt-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoo
l
a
e
ge
berns
t
ein: rework
testing framework
t
o not
depend o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein:
add pie
c
ewise_l
s
t::is_e
q
u
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
erdoo
l
aege
su
p
port
n
ewer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
a
e
g
e
standard_constr
a
ints: move from topcom
.
c to po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
o
o
laege
polysign
.
h: remo
v
e dep
e
ndency on le
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add banner
.
h to distri
b
ution
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolaege
Poly
h
edron_La
t
tice_Width_
D
i
rect
i
o
n
s: print
p
rogres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdo
o
laege
basis_reduc
t
ion_pip: abort on
i
nval
i
d (empty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README
:
exp
l
ain how
to get
s
u
b
modules
commit
|
commitdiff
|
tree
2007-11-02
S
ven
V
e
r
d
oolaege
doc: document lattice wi
d
th
computation
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
some la
t
tice width t
e
sts from
J
on Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
P
olyhedron_L
a
t
ti
c
e_Width: decide on
f
a
c
e
ts to cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
add Polyhed
r
on_Lattice_Width
f
or computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
h
i
l
b
er
t
.
c
: add C
o
ne
_
Integer_Hull
for computing
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
pol
y
sign: add pi
p
-back
e
d version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
polysi
g
n: add constra
i
nts_op
t
to compute op
t
imum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign
_
cdd: switch
t
o use o
f
Matrix re
p
resentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
pol
y
s
ign_gl
p
k:
s
wit
c
h to use of Mat
r
i
x r
e
presentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
d
oc: document computation of Hilbert basis
o
f
a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
olaege
Cone_Hilbert_Ba
s
is: use standar
d
_c
o
n
s
traints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Ver
d
oolaege
Use zsolve to comp
u
te Hil
b
e
rt basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdool
a
e
ge
co
m
pile zs
o
lve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
olve: d
o
n'
t
install headers
and execu
t
ables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve: initialize BackupTime i
n
ZSolveContex
t
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
zsolve: zsolveSyste
m
: ad
d
m
i
ssin
g
verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsolve: override LIBS fr
o
m top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
ad
d
4
t
i2-1
.
3
.
1+au
t
oconf-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
olaege
add zsolve from 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
p
a
ra
m
_util
.
c
: expo
r
t
b
it_vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaeg
e
to
p
com
.
c:
e
xtract part of
code f
o
r setting up
standa
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdo
o
laege
gen_fun::Hadamard_pro
d
u
c
t: pr
i
nt progress indi
c
ator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n V
e
rdoolaege
move --verbose
o
ption to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
ege
gen_fun::summate
:
handle f
u
ll
spec
i
alization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
R
epl
a
ce incre
m
e
n
tal infin
i
te set counte
r
by "
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
make counte
r
::a
d
d_falling_power
s
static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
er
g
e (most of) commo
n
part of counter and tcoun
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
ool
a
e
ge
icount
e
r: handle specializatio
n
of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
icounter: don't
b
o
ther "
n
ormalizing" th
e
e
xpo
n
ent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
export neg_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
ba
s
is_reduc
t
i
on_cdd:
c
h
eck for pos
s
ibly incorr
e
ct o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
Polyhed
r
on_Sam
p
le: handle polyhed
r
o
n
bec
o
ming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator eva
l
u
e
*: alwa
y
s
re
t
urn
a
v
a
lid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
g
e
n_fu
n
::operat
o
r e
v
alue *: remove c
o
mmented out debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e
.
cc: handle verificat
i
on of proble
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
barvinok_en
u
merate_
e
: op
t
ionally print stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ve
r
doolaege
barvinok_enumerat
e
_e: s
u
ppo
r
t verifi
c
ation of g
e
ne
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaeg
e
barvinok_enumerate_e: s
u
ppor
t
conversion of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
latt
i
ce_p
o
ints: a
n
other micro-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points
_
fixed:
n
ano-optimizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolae
g
e
ge
n
_fun:
:
add: conte
x
t of sum sho
u
ld be u
n
ion of co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_enumera
t
e: use ve
r
if
y
in
f
rastruct
u
r
e
f
or verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
ge
n
fu
n
.
cc: print_pow
e
r
:
drop spaces a
r
ound
"
/"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoola
e
ge
count_point
s
_e:
f
all back to coun
t
_points if th
e
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: check-evalu
e
:
pri
n
t nam
e
of eac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
verify: add
check_
p
oly_pr
i
nt h
e
lpe
r
fu
n
cti
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_
f
un: mak
e
s
u
r
e context is
a
lw
a
y
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
redu
c
er
:
:reduce: canonical
i
ze coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
short
_
r
at::prin
t
: c
o
rrectly print ou
t
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
ool
a
ege
b
arvinok_ser
i
es: recheck for equalities after
computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
export Matrix_R
e
ad for reading M
a
trix
from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
par
a
m_util
.
c: add
P
aram_
V
ertex_
D
omain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
util
.
c
:
supp
o
r
t
ing_cons
t
r
aint
s
: retu
r
n
bit
v
ector
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdo
o
laege
polylib: upd
a
t
e
for Matrix_Ext
e
nd
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
l
a
eg
e
op
t
ions
.
c:
u
se Polyhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
er
d
oolaege
keep trac
k
of
and use saturating co
n
strai
n
ts i
n
Param
_
Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
move
v
alue_gcd
and valu
e
_lcm
to po
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Bernoulli_sum_evalue: only compute
exa
c
t
sum if
approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdool
a
ege
Bernou
l
li_sum_
e
val
u
e: sum over varia
b
l
e
s with
int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
lae
g
e
evalue
.
c: export evalue
_
var
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
la
e
ge
P
o
l
y
hedron_ExchangeColumns: normalize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
port Polyhedron
_
ExchangeColumn
s
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue_polynom
i
al: o
p
timize evaluatio
n
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
e
v
alue
.
c: e
m
ul:
h
a
n
dle anoth
e
r speci
a
l case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
e
v
a
lue
.
c
:
eadd: handle some
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
intro
d
uce a
n
d use evalu
e
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c
: e
a
dd:
micro-optimize addition of
t
wo rationa
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erd
o
olae
g
e
setting a
n
app
r
oximation met
h
od now implies p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
ba
r
vi
n
ok_s
u
mmate: optionally
u
se
B
erno
u
lli
/
F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oola
e
ge
Bernoul
l
i
_sum_evalue
:
use
evalue_fro
m
_sectio
n
_a
r
r
a
y
.
.
.
commit
|
commitdiff
|
tree
next