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_split_domains_into_orthants: don't reduce evalue after splitting
2008-03-31
Sven Verdoolaeg
e
evalue_split_dom
a
ins_into_orthants: don
'
t reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
evalu
e
_
r
e
a
d
: only allow te
r
m
s
to cross newlines insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
e
value_read:
only a
c
cept im
p
lici
t
m
u
ltiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
e
value_
r
ead: accept constraints contai
n
ing
"
'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
olaege
evalue_berns
t
ein
_
coe
f
ficie
n
t
s
: ensure result partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
berns
t
e
in:
p
ie
c
e
wise_
l
st: correctl
y
print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
r
d
o
olae
g
e
re
m
ove_all_equalities: keep
r
emov
i
n
g parameter equ
a
liti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verd
o
olaege
doc: consistent use of
Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
doc: u
p
da
t
e now published pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_ea
c
h_lower_
u
p
p
er_bound: allow absence of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erd
o
olaege
Rev
e
rt
"eadd
_
partitions: try
to combine mult
i
ple
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
e
value_read_
p
artition
:
put part
i
tion
s
back i
n
the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue: re
d
uce_evalu
e
: add note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
ae
g
e
ber
n
stein
.
cc: han
d
le
input
w
ith un
i
ons + relati
o
n violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doola
e
g
e
maximize
.
cc: deal with unions in input during v
e
rifica
t
i
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue_s
u
bs
t
itute: properly handle r
e
lat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue
.
c: clean
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_r
e
a
d
: correctly read variable names
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue_
r
ead: accept top level "rela
t
io
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
u
p
date polyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoola
e
ge
evalue_b
a
c
k
substit
u
te:
add required modulo con
s
train
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
eval
u
e
.
c: *_pa
r
titions: sim
p
lify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc:
m
ore specific
i
nformation on bug
g
y cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erdoolaege
c
o
nfigure
.
in: r
e
quire cddlib 0
.
94e by te
s
ting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
oolae
g
e
configure
.
i
n: only compil
e
occ
i
f code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
add
so
m
e tes
t
s for impleme
n
tation of projection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc
:
docum
e
nt new opt
i
o
n
s and
n
ew
a
ppli
c
ation
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS:
upd
a
t
e
support informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ge
n
f
un
.
cc: s
h
ort_rat::
p
rin
t
: correctly p
r
int polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Expor
t
s
e
ri
e
s as ba
r
vinok_enumerat
e
_series a
n
d
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
er
d
oola
e
g
e
remo
v
e_param
e
ter_equal
i
ties: stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series:
l
eave
freeing of P ar
g
ument to ca
l
ling f
u
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaege
d
o
c: do
c
u
ment imple
m
entat
i
on
o
f the p
r
ojecti
o
n t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoola
e
ge
add b
a
rvin
o
k_enumerate_e_se
r
ies im
p
lement
i
n
g
the
p
rojection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
aege
genfun
.
c
c
:
fix and document par
a
l
l
e
l polyt
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiNaC-i
n
d
ependent p
a
r
t
o
f library
t
o
barv
i
n
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
la
e
ge
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolae
g
e
doc: h
o
w
to c
o
un
t
the
n
umb
e
r of elements
in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementation
.
tex: avoid
mu
l
tiply def
i
ned la
b
el
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdo
o
laege
l
a
ttic
e
_wid
t
h
.
c: try vertices
of previ
o
us
i
nt
e
ge
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: docum
e
nt inte
g
er
h
ull
c
om
p
utation
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
hull
.
c: add
a
ll points fou
n
d
by sampling direc
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible optimizat
i
ons fo
r
generali
z
ed basis reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaeg
e
Support use of g
e
neralized basis re
d
u
ction to c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoola
e
ge
add Polyh
e
d
ron_
I
nteger_
M
inim
u
m for computing the inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
do
c
:
docume
n
t gener
a
lized basis r
e
duc
t
io
n
b
ased integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bib
:
add missing
s
trin
g
commit
|
commitdiff
|
tree
2007-11-17
S
v
en
Verdo
o
laege
ad
d
more missing
a
ssert
.
h #
i
n
cludes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
nfigure
.
in: only com
p
ile libbarvi
n
ok
a
s a
s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
Polyhedron_
R
ed
u
ce
d
_Bas
i
s: don't stop too ea
r
ly whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
com
p
ute_width_d
i
rections:
o
nly
k
e
e
p
li
s
t o
f
d
i
s
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oo
l
ae
g
e
zsolve:
don't
ins
t
all library
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
ve
r
sion
.
c
:
show use of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
configur
e
.
in: don't
set with_{
p
oly,p
i
p}
l
i
b
_
p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
P
olyhedron
_
Sample:
b
e satisfie
d
wi
t
h a r
e
aso
n
able
c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
c
one_
i
nteger_hull: optionally
print stats
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
bas
i
s_reduction: keep track of
numb
e
r
of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verd
o
olaege
option
s
:
m
ov
e
--print
-
stat
s
to library
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaeg
e
bernstei
n
: rewo
r
k testing framew
o
r
k to not d
e
p
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaeg
e
bernstein
:
a
d
d piecewise
_
lst::is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
support newer versions
o
f GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_constraints: move from topcom
.
c to
polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoola
e
ge
p
o
lysign
.
h: remove dependenc
y
on
l
e
x
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolae
g
e
z
s
o
l
ve:
add banner
.
h to
d
i
st
r
ibution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
P
o
lyhedron_Lattice_Widt
h
_Directions: print
progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
do
o
la
e
ge
b
a
sis_reduction_
p
ip: a
b
ort on i
n
v
ali
d
(empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: explain how t
o
get submod
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document latt
i
ce
width com
p
utation
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
r
doolaeg
e
some
lattice wid
t
h tests from
J
on Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
a
ege
Pol
y
hedron_Lattice_W
i
dth: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
a
dd Polyhedron_Latt
i
ce_Width
for computi
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
hilbert
.
c:
add Cone
_
Integer_Hull for compu
t
ing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolae
g
e
polys
i
gn: add pip-b
a
cked ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolae
g
e
polys
i
gn: add c
o
ns
t
raints_opt to comput
e
optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoo
l
aeg
e
poly
s
ign_cdd: switch t
o
use
o
f
Matrix
r
epresen
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
polysign_glpk: switch
t
o use of Matrix
r
e
present
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
doc:
d
ocumen
t
c
o
mpu
t
atio
n
of Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Cone_Hilbert_Basis: use standard_c
o
ns
t
rain
t
s to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Us
e
z
s
olve to
compute Hilbert ba
s
is of a c
o
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
compi
l
e zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't inst
a
l
l hea
d
ers and executa
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdool
a
eg
e
zsolve: in
i
tia
l
i
ze BackupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
z
so
l
ve
:
zsolveSystem
:
add
missing verbos
i
ty check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
o
v
e
rr
i
d
e
LIBS from top leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
a
d
d
z
s
olve from 4ti2-1
.
3
.
1
+au
t
oconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_ut
i
l
.
c:
e
x
port bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
t
opcom
.
c: ext
r
act pa
r
t of code for setting up
sta
n
da
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Verdoolaege
gen_fun::Hadamard_product
:
print progress
indica
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoo
l
a
e
ge
move -
-
ver
b
ose option to lib
r
ary
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aeg
e
gen_fun::sum
m
at
e
: handle full specializati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Replace
incremental i
n
finite
set count
e
r by "regu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
make counter::
a
dd
_
falling_
p
o
wers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
m
erge (most of)
c
om
m
o
n
part of co
u
nter a
n
d tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
ic
o
unt
e
r: handl
e
specia
l
i
zation of
p
ol
y
n
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounte
r
: don'
t
bother
"
normalizing" t
h
e
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
basis_red
u
c
t
i
o
n
_
cdd: check for
p
o
s
s
ibly incorre
c
t outp
u
t
.
.
.
commit
|
commitdiff
|
tree
next