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_bernstein_coefficients: ensure result partitions the domain
2008-03-31
Sven
Verdoolaege
evalue_berns
t
e
i
n_coeffi
c
ien
t
s: ensure resul
t
p
artiti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: piecewise_lst: corre
c
tly p
r
int and eva
l
ua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
remo
v
e_all_e
q
u
a
l
it
i
es:
k
eep
r
emoving par
a
meter equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
updat
e
poly
l
ib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
c
onsist
e
n
t
use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdool
a
e
g
e
doc: update now
published papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoo
l
aege
f
o
r_each_lo
w
er_u
p
per_bound: allo
w
absence
of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert
"eadd_pa
r
t
ition
s
: try t
o
co
m
bin
e
mu
l
tiple dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erd
o
olaege
evalue
_
read_partit
i
on
:
put partitions back in
t
he
s
am
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoolaege
evalue: reduce_
e
v
alue: add note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
ege
bernstein
.
cc: ha
n
d
le
input with
union
s
+ r
e
lation vi
o
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximize
.
cc: deal wit
h
u
n
ions
in
i
n
p
ut during verificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
e
ge
evalue_substitute: properly han
d
le r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdo
o
laege
evalue
.
c: clean
u
p em
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ve
r
doo
l
aege
e
v
alue_
r
ead: co
r
rectly read variable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rd
o
olaege
evalue_read: ac
c
ept top lev
e
l
"rel
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oo
l
aeg
e
upda
t
e poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sven
Verdoolae
g
e
evalu
e
_
b
acksu
b
s
t
itut
e
: add
requi
r
e
d m
o
dulo constrai
n
ts
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verdo
o
laege
evalue
.
c: *_partit
i
ons
:
simp
l
ify const
r
a
i
nts
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven Verdoo
l
aege
do
c
:
m
ore specific information on bu
g
g
y cddlib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
con
f
igure
.
in:
r
equ
i
re cddl
i
b 0
.
9
4
e by t
e
sting f
o
r bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven
V
e
r
doolaege
c
o
nfigure
.
in: only compile oc
c
if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
laege
barvin
o
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olaege
a
dd some tests for implementation o
f
proje
c
tion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc: docum
e
nt
n
ew
options and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
AUTHORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
genfun
.
cc: short_rat::print: correctl
y
print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
ege
Export series as ba
r
vinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
r
e
m
ove_parameter_eq
u
alities: stop
"removing"
e
q
u
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
s
er
i
es
:
leave fre
e
ing of P argument to
calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
a
e
ge
doc:
d
ocu
m
ent imple
m
entation of the projection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
add barvinok_enu
m
erate_e_ser
i
es impleme
n
ting the pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
genfun
.
c
c
: fix and documen
t
p
a
rallel polyto
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Only compile zs
o
lve
i
f gcc
3
.
4 o
r
later is
available
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdo
o
laeg
e
Mo
v
e
G
iNaC-i
n
dependent
p
a
rt of library to bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
polylib:
u
pda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
d
oc: h
o
w to count
t
he number of elements in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
aege
doc/impl
e
mentation
.
tex: a
v
oi
d
multi
p
ly defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
lattic
e
_
w
idth
.
c: try v
e
rtices of previous integ
e
r hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Ve
r
doolaeg
e
d
o
c: docume
n
t inte
g
er hull
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
eg
e
h
u
ll
.
c: add all po
i
nts found by sampling directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
la
e
ge
Possible
o
ptim
i
zations for genera
l
ized basis redu
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
e
g
e
Support use of gene
r
alized b
a
s
i
s reductio
n
to compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ver
d
o
olaege
add Po
l
yhedron_Integ
e
r_Minimum for comp
u
ting the i
n
t
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoo
l
aege
doc:
d
ocument generalized basis reduction based intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
d
oc/barvinok
.
bib:
add missing string
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
add more missing assert
.
h #in
c
l
ud
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
Verd
o
olaege
eva
l
ue
.
c
: add missing inc
l
ude of a
l
l
oca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
laege
confi
g
u
r
e
.
i
n
:
p
ass path of
GMP installation
to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoo
l
ae
g
e
confi
g
ure
.
in: only compile libbarvinok a
s
a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
Polyhedron_R
e
d
u
c
e
d_Basis: don't stop too early w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Ver
d
oolaeg
e
compute_wi
d
th_
d
ire
c
t
ions: only keep lis
t
of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
zs
o
l
ve: do
n
'
t
insta
l
l librar
y
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdo
o
laege
version
.
c
:
show us
e
of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
configure
.
in:
d
on't set wi
t
h_{poly,p
i
p
}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
a
ege
Poly
h
edr
o
n
_
S
a
mple:
be satisfied with a reason
a
ble choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integer_hul
l
: optio
n
ally p
r
int stats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verd
o
ola
e
ge
b
asis_reduction:
k
eep track of number of LP
s
so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
option
s
: move --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
oolaege
b
e
r
n
stein:
r
ewo
r
k
testing framework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
bernstein: add p
i
ec
e
wise_
l
s
t:
:
is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer versio
n
s
o
f Gi
N
aC (
>
= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
ven V
e
rdoolaege
sta
n
dard_constraints: move from topcom
.
c to
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
e
rdoolaege
polysign
.
h: remov
e
de
p
en
d
ency on
l
exmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zso
l
ve:
a
dd ba
n
ner
.
h
to
d
istribution
commit
|
commitdiff
|
tree
2007-11-06
S
ven Ve
r
d
o
olaege
P
olyh
e
dron_Lattice_Wi
d
th_Di
r
ect
i
ons
:
pr
i
nt progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdool
a
eg
e
basis
_
red
u
ct
i
on_pip:
a
bort on invali
d
(empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven
Verdoolae
g
e
R
E
A
D
ME: explain ho
w
to get subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: doc
u
ment lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
s
o
me la
t
tice widt
h
t
ests
f
rom Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedro
n
_Latt
i
ce_W
i
dth: decide
on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
add Polyh
e
dr
o
n_Lattice_Wi
d
t
h f
o
r
compu
t
i
ng lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaege
hilbert
.
c:
a
d
d
Cone_I
n
teger_Hu
l
l
for
c
omputing ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
p
o
lysign: add
p
ip-backed v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
po
l
ysi
g
n: add
constraints_o
p
t to comput
e
optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoolaege
poly
s
ig
n
_
cd
d
: swi
t
ch to u
s
e
of Matrix
r
ep
r
esenta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
ool
a
ege
p
olysign_g
l
p
k: switch to
use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdoola
e
ge
d
o
c: document com
p
utation of Hilbert basis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone
_
Hilbert_B
a
sis:
u
s
e standard_constraints to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Use zsol
v
e
to compute Hi
l
bert ba
s
i
s
of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
compile zs
o
lve
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verd
o
o
laege
z
s
olve:
do
n
't inst
a
ll heade
r
s
a
n
d executab
l
es
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ve
r
doolaege
zsolve: ini
t
ial
i
ze B
a
ckupTime i
n
Z
S
olve
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zs
o
lve: zs
o
l
veSystem:
add missing ve
r
bosit
y
check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
olve: o
v
er
r
ide
L
IBS from top
l
ev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
doolae
g
e
add 4ti2
-
1
.
3
.
1+autoconf-0
.
1
b
a
nn
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
a
dd zsolve
f
rom 4ti2-
1
.
3
.
1
+a
u
toco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
e
ge
param_util
.
c: export bit_v
e
ctor_count
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
topcom
.
c:
extract part of co
d
e
for s
e
tting
u
p
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoola
e
ge
gen_fu
n
::Hadamard_produ
c
t:
p
rint pro
g
r
ess indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n Verdool
a
e
ge
m
ove --ve
r
bos
e
op
t
io
n
to
library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::summate: handle
ful
l
specializatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Replace incre
m
ental infinite
s
et coun
t
er b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
make
c
ounter
:
:
add
_
falli
n
g
_
powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
merge (most
o
f) com
m
o
n pa
r
t
of counter
a
n
d tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
icounter: handle spe
c
ializa
t
ion of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
icounter: d
o
n't both
e
r "no
r
ma
l
iz
i
ng" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
expor
t
neg_le
f
t
_
h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
ba
s
is_reduction_cdd:
ch
e
ck for
possibly incorrect
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
laege
Polyhed
r
on_
S
ample:
handle polyhedron becomin
g
empty
.
.
.
commit
|
commitdiff
|
tree
next