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
Revert "eadd_partitions: try to combine multiple domains with the same steppolynomial."
2008-03-24
Sven Verdool
a
ege
Reve
r
t "ead
d
_parti
t
ion
s
: try to
c
ombine
m
ultiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
evalue_r
e
a
d
_
partit
i
on: put p
a
rtitions
bac
k
i
n
the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
evalue: red
u
ce_evalue: add note o
n
some
missed opport
u
nities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
V
erd
o
olae
g
e
bernste
i
n
.
cc:
handle
i
nput with union
s
+
r
elation vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoolaege
maxim
i
ze
.
cc:
deal
w
i
t
h unions
i
n
input during
v
e
r
ification
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
doolaege
ev
a
lue_
s
ubstitute: prope
r
ly h
a
ndle relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
e
g
e
e
value
.
c: clean up emul
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
ol
a
ege
evalu
e
_read
:
correctly read
v
a
r
i
a
ble
n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalue_read: ac
c
e
p
t
top lev
e
l "rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
doolaege
update
p
oly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubsti
t
ute: ad
d
requ
i
r
e
d modulo co
n
st
r
aints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rdool
a
ege
e
v
alue
.
c
:
*_partitions: s
i
mplify const
r
aints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verdoolaege
doc: more
specific information on
b
uggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verd
o
olaege
con
f
igure
.
in:
requir
e
cddli
b
0
.
94e by testing f
o
r bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaeg
e
confi
g
ure
.
in: only c
o
mpile occ if code_
g
en library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
a
d
d some t
e
sts
f
o
r
impl
e
m
ent
a
tion of proje
c
tion theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaeg
e
d
o
c
: document new options a
n
d new applicat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: update s
u
p
port infor
m
at
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaege
genfun
.
cc
:
s
hort
_
r
at
:
:print: co
r
rectly print polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
E
x
p
ort series as
ba
r
v
inok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
o
o
l
aege
remove_parameter_e
q
ualities
:
stop "removing" e
q
ualitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ol
a
ege
s
e
r
i
es: leave freei
n
g
o
f P argument to call
i
ng fu
n
c
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc: do
c
u
m
e
nt implementation o
f
the pro
j
ect
i
o
n
t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ol
a
ege
add barvinok_e
n
ume
r
ate_e_series implementing the projec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
laege
genfun
.
cc: fix and do
c
ument pa
r
alle
l
polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only com
p
ile zs
o
lve if
gcc 3
.
4 or later i
s
av
a
i
lable
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move
GiNaC-i
n
dependent part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
poly
l
ib
:
update
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Ve
r
doo
l
a
ege
doc: h
o
w
t
o count the number of el
e
men
t
s i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementation
.
tex: avoid multiply de
f
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
l
a
t
t
ic
e
_width
.
c: try vertices of pre
v
iou
s
integer hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolae
g
e
d
oc: do
c
ument
i
nteger hul
l
computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
hull
.
c
:
add all
p
o
in
t
s found by s
a
mpli
n
g directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n V
e
rd
o
olaege
Possibl
e
optimizati
o
ns
for
g
e
n
era
l
ized basis reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Suppo
r
t use of general
i
zed basis reduction
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
add Polyhed
r
o
n_Int
e
ger_Minimum for c
o
mp
u
t
i
n
g
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolae
g
e
doc
:
document generalized basis
r
eduction based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
doc/barvino
k
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
a
dd more missing a
s
sert
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: add missing include of
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaeg
e
c
o
nfigu
r
e
.
in: pass path of GMP ins
t
allation to Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
c
o
nfigure
.
i
n: onl
y
c
o
mp
i
le libbarvinok a
s
a stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
P
o
ly
h
edron_
R
ed
u
ced_Ba
s
i
s: don't stop t
o
o early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
compute_
w
idth_directions: only ke
e
p list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
aege
z
sol
v
e: don't in
s
t
a
ll librar
y
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdo
o
laege
versi
o
n
.
c: show use of
T
OPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
c
o
n
figur
e
.
i
n: d
o
n't set with_{poly,pip}lib_prefix
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
Polyhedr
o
n
_
S
a
mple
:
be satisfied with a r
e
a
sonable c
h
oi
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
co
n
e_
i
nteger_
h
ull: o
p
tion
a
lly pri
n
t stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
o
olaege
basis_reduction: kee
p
track
of number
of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options:
mov
e
--pri
n
t
-stats
t
o library
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
r
doolaege
b
e
rnstein: rework te
s
ting framewor
k
t
o not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
bernstein: add p
i
ece
w
ise_lst::is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
suppo
r
t newer v
e
rsions of G
i
N
aC (
>
= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
standar
d
_constr
a
ints: move from to
p
c
om
.
c
t
o p
o
lysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaeg
e
polysig
n
.
h: remov
e
d
e
p
endency
on
l
e
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
e
g
e
zsolve: a
d
d banner
.
h to d
i
s
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaeg
e
P
o
lyhedron_Lattice_Width
_
Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Ver
d
oolaege
basis_reducti
o
n_p
i
p: abort on inval
i
d
(
e
mpty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaeg
e
R
EADME: explain h
o
w to
g
e
t
submodules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n V
e
r
do
o
laege
doc:
document lattice widt
h
computation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoola
e
ge
so
m
e lattice wid
t
h t
e
sts fr
o
m
Jon Yagg
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
l
a
ege
Polyhedron_Lattice_Wi
d
th: decid
e
on facets to cl
o
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add
Pol
y
hedr
o
n_L
a
ttice_Widt
h
for
c
o
mpu
t
ing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
l
ae
g
e
hilbert
.
c: a
d
d C
o
ne_Integer_Hull for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
polysign: add pip-backe
d
vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
pol
y
si
g
n: add c
o
n
s
traints_opt to
c
ompu
t
e optimum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
p
o
lys
i
gn_cdd: s
w
itch to use of Matr
i
x representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolae
g
e
p
o
l
y
sign_glp
k
:
swi
t
ch to use
of
M
atr
i
x representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolae
g
e
doc: document
c
omput
a
t
i
on of Hi
l
bert bas
i
s of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
ege
Cone
_
H
i
lbert_Basis: use
s
tandard_c
o
nstr
a
ints to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Use z
s
o
l
ve to compute
H
i
lbert
basis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
compile zso
l
ve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zso
l
ve: don't in
s
t
a
ll hea
d
ers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
solve
:
initialize Back
u
pTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve: zsolveSystem: add mis
s
ing ve
r
bosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
g
e
zsolve: overr
i
d
e LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolae
g
e
add 4
t
i2-1
.
3
.
1+
a
ut
o
conf-0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laeg
e
add
z
sol
v
e
f
rom
4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
para
m
_util
.
c: export
bit_vecto
r
_coun
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
topco
m
.
c: extrac
t
part of
c
ode f
o
r setting up st
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
Ver
d
oolaege
gen_
f
un::Hadamard
_
p
r
oduct: print progress indica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sve
n
Verdool
a
ege
move -
-
v
erbose o
p
tion to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fu
n
::summate:
han
d
le full spec
i
a
l
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Repla
c
e in
c
r
emental in
f
inite set coun
t
er by "r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make c
o
unter::ad
d
_
f
a
lling_po
w
e
r
s static
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
merge (m
o
st o
f
) common part of
c
ounter and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
i
counte
r
: handle sp
e
cialization of poly
n
omi
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
icoun
t
er: don't bother "normalizing
"
the e
x
po
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
export neg
_
left_hermi
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
asi
s
_reduct
i
on
_
cdd: check
f
or
p
ossibly incorrect outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Polyhedr
o
n_Samp
l
e
:
h
a
ndle polyhedron becomin
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_fu
n
::operat
o
r
evalue *: always
return a v
a
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
g
en_fun::operator e
v
alue *: remove commented out debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_en
u
merate_e
.
cc: handle verification o
f
proble
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
barvinok_enumera
t
e_e: o
p
tionally
pri
n
t stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
o
l
aeg
e
barvinok
_
e
n
umerate_e
:
support verification of
g
e
neratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvino
k
_enu
m
erate_
e
: support conversion of gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_po
i
nts: another
mi
c
ro-optimization
commit
|
commitdiff
|
tree
next