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
evalue.c: extend eequal to handle domains and NaNs
2008-01-16
Sv
e
n Verdoolaege
Export series as barv
i
nok_en
u
me
r
a
te_s
e
ries
a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
remove_p
a
r
amet
e
r
_
equal
i
tie
s
: stop "re
m
oving" e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdool
a
ege
series: le
a
v
e freeing of P argument to
c
alling
f
uncti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document impleme
n
t
a
tion of the projection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
la
e
ge
ad
d
ba
r
vinok_enu
m
erate_
e
_
series implementing
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
genfun
.
cc: fix and do
c
ument parallel
p
olyto
p
es
c
l
a
ss
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
O
n
ly compil
e
zso
l
ve
if gcc
3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
ge
Mov
e
G
i
NaC-independent part of library to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
doc: how to count
the numb
e
r of eleme
n
ts in poss
i
b
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoolaege
d
oc/imp
l
ementation
.
te
x
: avo
i
d
m
ultiply def
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdo
o
laeg
e
lattice_width
.
c: try vertices of pre
v
ious integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc: document
integer
hull
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c:
add al
l
p
o
i
n
ts
f
ou
n
d by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
Possi
b
le
o
ptimizations for generalized
basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use
o
f ge
n
er
a
l
i
zed basi
s
reduction
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
add Po
l
yhe
d
ron_Integer_Minimum for comp
u
t
i
ng the integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document genera
l
ized basis reduction bas
e
d inte
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdool
a
ege
do
c
/b
a
r
vi
n
ok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n Verdoolaeg
e
add mor
e
mis
s
in
g
assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
evalue
.
c: add
missing inclu
d
e of alloc
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
configure
.
in: pass
path of
G
MP installation to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in:
o
nly compile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
Polyhe
d
ro
n
_
R
e
d
uced_Ba
s
is:
d
on't stop t
o
o early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
com
p
ute_width_direc
t
ions: only
kee
p
list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ve
r
doolaege
z
solve: don't inst
a
ll library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
a
ege
version
.
c:
s
h
ow use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ve
r
do
o
laeg
e
con
f
i
gure
.
in: don't set with_{poly,pi
p
}lib_pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Pol
y
hedron_Sa
m
ple: be satisfied
w
ith a reasonable
c
hoic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n Ve
r
doolaege
cone_inte
g
e
r
_hull: op
t
ionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
basis_reduct
i
on: keep tr
a
ck of number of LPs
s
ol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: mov
e
--print-stats to li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdo
o
laege
bernste
i
n
:
re
w
ork testing fra
m
e
work to not depend o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
bern
s
tein: add
p
ie
c
ewise
_
lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
supp
o
r
t
n
e
wer
versions of G
i
NaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
e
rdoolaege
standard_constraints: mo
v
e from topcom
.
c to polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
erdoolaege
polysign
.
h
:
r
e
move depend
e
ncy on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
zsolve
:
add banner
.
h to distr
i
bu
t
ion
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdool
a
ege
Pol
y
hed
r
o
n_
L
attic
e
_
W
i
d
th_Directions: print
p
rogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
e
r
doolae
g
e
basis
_
r
e
duct
i
o
n_
p
i
p
:
a
b
o
r
t on inv
a
l
id (e
m
pt
y
)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
RE
A
DME: explain how
t
o get submod
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoo
l
a
e
ge
doc: document lattice wi
d
th computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
o
o
l
aege
so
m
e
la
t
t
i
c
e widt
h
tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolae
g
e
Polyhedron_Latt
i
ce_Width:
d
ecide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verd
o
olaege
a
dd
P
olyhed
r
on_Latti
c
e_Width f
o
r
c
omputing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Ver
d
o
o
laeg
e
h
i
lbert
.
c
: add Cone_I
n
teger_Hull
f
or computing
ver
t
ices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdo
o
laege
polysign: add
p
i
p-backed
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoola
e
g
e
polysign:
add co
n
st
r
aints_opt to compute o
p
ti
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
polysign_cd
d
:
s
w
itch to us
e
of Matrix
r
e
presentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
polysign_
g
lpk:
swit
c
h to use
o
f M
a
trix
r
epresentatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
doc: documen
t
computation of
Hilbert b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
C
o
ne_Hilbert_Bas
i
s: use stan
d
ard_c
o
nstra
i
n
ts to a
v
oi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
Use
z
solve to c
o
mpute Hilbert
b
a
s
is of a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
compile
z
solve
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve: d
o
n't install headers
a
nd ex
e
cuta
b
l
es
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
z
s
olve: ini
t
iali
z
e
Bac
k
upTime in Z
S
olveContext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve: zsolveSystem: ad
d
miss
i
ng verbosity c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
zs
o
lve: overri
d
e LIBS
from top level
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
e
r
d
o
ola
e
ge
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ver
d
oolaege
add zsol
v
e
fr
o
m 4ti2-1
.
3
.
1
+
autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
p
a
ram_
u
t
i
l
.
c: export bi
t
_
v
ecto
r
_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
topcom
.
c:
extract part of code
for setting up s
t
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Verdoolaege
ge
n
_fun::Hadam
a
rd
_
pro
d
uct:
pri
n
t pr
o
gress
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --v
e
rbose option
to librar
y
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fun::summa
t
e: handle fu
l
l
s
pecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Rep
l
ac
e
in
c
r
emental
i
nfin
i
te s
e
t c
o
unter by "regu
l
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
make c
o
unte
r
::add_
f
allin
g
_power
s
s
t
a
tic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
merg
e
(most of) common part of counter and tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
icounter: handl
e
specia
l
ization
of polyno
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ic
o
un
t
er:
don't bother "normali
z
ing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export neg_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
b
a
si
s
_reduction_cdd: che
c
k for pos
s
ibly incorrect outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
oly
h
ed
r
o
n_Sample: hand
l
e pol
y
h
edron becomi
n
g empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdoolaeg
e
gen_fun::o
p
erator evalu
e
*: always return a v
a
l
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen
_
f
un::operator evalue *: remove
c
ommented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_enumer
a
te_e
.
cc: handle v
e
r
i
fication of
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolae
g
e
barvinok_enum
e
r
a
te
_
e
:
optional
l
y print
s
tats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_e
n
umera
t
e_e: support verif
i
ca
t
ion of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_enumerate_e: sup
p
ort co
n
v
e
rsion
o
f generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdool
a
ege
la
t
t
i
ce_points: an
o
ther micr
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_poi
n
ts_fixed:
n
ano-optim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ver
d
oolaege
ge
n
_
fun::add:
c
o
n
t
e
x
t
o
f sum shou
l
d be union of con
t
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
ba
r
vinok_enumerate: use veri
f
y
infras
t
ructure for verif
y
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
g
enfu
n
.
cc: pr
i
nt_power: dro
p
spaces aro
u
nd "/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_e: fall
back to count_poi
n
ts if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
Makefile
.
am: check-eval
u
e
:
pr
i
nt na
m
e
of each t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
v
e
rify:
a
dd
check_poly_print helper funct
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun:
m
a
k
e s
u
re context is alw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
reducer::reduce: canonica
l
i
z
e coefficie
n
ts
i
n each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
shor
t
_rat::print: correctly pr
i
nt
out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvi
n
ok_series: rech
e
ck for equaliti
e
s after comp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
olaege
e
xport M
a
trix_Read f
o
r re
a
ding Ma
t
r
ix fro
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
rdoolaege
param_ut
i
l
.
c:
ad
d
Param_Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
ut
i
l
.
c: s
u
pporting_constrai
n
t
s
: ret
u
rn bit ve
c
tor
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
polylib:
update for Mat
r
ix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
er
d
oolaege
options
.
c: us
e
Polyhedron
_
Sa
m
p
le for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
keep track of a
n
d us
e
sat
u
rating constraints
i
n Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
e
g
e
move value_gcd
and valu
e
_
lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Bernoulli_sum_
e
value: only co
m
put
e
exact
sum
if app
r
oximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
Bernoulli_sum_evalu
e
: sum over
v
a
r
i
ables with
integer
.
.
.
commit
|
commitdiff
|
tree
next