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
Bernoulli_sum_evalue: make sure no empty partitions are created
2008-03-31
Sven Ver
d
oolaege
Be
r
noulli_sum_evalue
:
ma
k
e sure no empt
y
partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
dool
a
ege
Be
r
noulli_sum_evalue: remov
e
r
edundan
t
c
onstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdo
o
laege
b
e
r
noulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
o
l
a
eg
e
Bernoulli_sum: handle context cons
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
fo
r
_each_lower_u
p
p
e
r_bou
n
d:
a
d
d another ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
verify
.
c: adjust
d
efaul
t
rang
e
t
o context if needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
euler
.
cc: s
u
mma
t
e_over_domain: only consider
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
param
_
util
.
c: export Param_Vert
e
x_S
e
t_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
er
d
ool
a
ege
Param
_
Po
l
y
h
edr
o
n_Facet
:
pa
s
s facet defin
i
ng constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
genfun
.
cc: parall
e
l_poly
t
op
e
s
:
d
on'
t
b
o
ther handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erd
o
olaege
evalue_split
_
d
omain
s
_into
_
orthants: don't
r
e
d
uce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaeg
e
evalue_
r
ead: only allow term
s
to cross newlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
d
o
ol
a
eg
e
evalue
_
read: only accept im
p
licit multi
p
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
er
d
oolaege
evalue_rea
d
: acc
e
pt cons
t
rain
t
s
cont
a
inin
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
e
va
l
u
e_bernstein_coefficients: en
s
ure re
s
ult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
Verdool
a
ege
bernstein
:
piecewise_l
s
t: corr
e
ctl
y
print
a
nd eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoo
l
a
eg
e
rem
o
v
e_all_equ
a
l
ities: ke
e
p re
m
ovin
g
parameter e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoo
l
aege
doc
:
co
n
sistent
u
s
e of Kevin's
initials
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdo
o
laege
d
oc: updat
e
now
p
ublished pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoo
l
aeg
e
for_each_lower_upper_bound:
allow
absence
o
f
low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
Revert "ea
d
d_
p
a
r
t
i
tions: t
r
y to combine mul
t
iple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
doolaege
ev
a
lue_read_p
a
rtition: put p
a
rtition
s
back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
ool
a
eg
e
evalue: reduce_evalue: add not
e
on some missed opportunit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
bernstei
n
.
cc
:
handle
i
nput
wi
t
h union
s
+ relatio
n
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
maxi
m
ize
.
cc:
d
e
al with unions in inp
u
t du
r
ing
verificat
i
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue_subst
i
tute: proper
l
y handle rel
a
tions
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
e
v
a
lue
.
c: cle
a
n up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoolaege
evalue_read
:
c
o
rrectly read va
r
i
able nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue_read: accep
t
top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verd
o
olaege
update poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolae
g
e
evalue_
b
acksubstitute:
a
d
d required
m
odulo
constr
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoola
e
g
e
e
v
alue
.
c: *_par
t
itions: simp
l
i
f
y
const
r
aints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaeg
e
d
oc: more s
p
ecif
i
c information on bu
g
g
y cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
conf
i
g
u
r
e
.
in: require cddli
b
0
.
94e
b
y
tes
t
ing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
e
n V
e
r
doolaege
configure
.
in
:
on
l
y compil
e
occ i
f
code_gen l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
barv
i
nok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
add some tests for im
p
le
m
entation of p
r
ojecti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document
n
ew op
t
io
n
s and new applications
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
o
laege
AU
T
HO
R
S:
upd
a
t
e
support infor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoo
l
aege
genfun
.
c
c
: short
_
rat::print:
c
orrectl
y
print p
o
lyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Exp
o
r
t
series a
s
barv
i
n
o
k_enumerate_seri
e
s and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
rem
o
ve
_
paramete
r
_equalities: stop "remo
v
ing" equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
series: leave freeing of P argume
n
t t
o
cal
l
ing function
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Ve
r
doolae
g
e
doc:
d
o
cu
m
ent implementation of th
e
projection theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
a
dd barvinok_enumera
t
e_e_serie
s
implement
i
ng
the projec
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
genfun
.
cc: f
i
x and
d
ocument parallel polytope
s
cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Move GiNaC-
i
n
de
p
endent par
t
of libra
r
y t
o
ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdool
a
ege
polylib
:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to count th
e
nu
m
be
r
of elements in pos
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
oc/implementat
i
on
.
tex: avoid
mu
l
t
iply de
f
ined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice
_
w
i
d
t
h
.
c
: try vertice
s
of
p
r
evious int
e
ger
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc: document
int
e
ger hull computatio
n
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
hu
l
l
.
c: add all
poi
n
ts found by sampling
direc
t
l
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
d
oolaege
Possibl
e
opt
i
mizations f
o
r generalized basis re
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verd
o
olaege
Supp
o
rt use of generalized bas
i
s r
e
duct
i
o
n
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedr
o
n_Integer
_
M
inimum
f
o
r computing
t
he integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document
g
ener
a
l
i
z
ed basi
s
reducti
o
n based
intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaeg
e
doc
/
barvinok
.
bib: a
d
d
missi
n
g string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoola
e
ge
add more m
i
ssing assert
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
V
e
rd
o
ola
e
ge
config
u
re
.
in: only compi
l
e libbarvin
o
k a
s
a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolae
g
e
Polyhedron_
R
educed_Basis: d
o
n't stop too
e
arly whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
compute_width_direction
s
: only kee
p
list
o
f distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
z
s
o
lve: do
n
't install l
i
b
rary
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ver
d
oolaege
ve
r
s
ion
.
c: s
h
ow use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
config
u
re
.
in: do
n
't
s
et with_{p
o
l
y,pip}lib_prefix f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
a
e
g
e
Polyhedron_Sample: be satisfied with
a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
cone_int
e
ge
r
_hul
l
: o
p
tiona
l
ly prin
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
er
d
ool
a
e
g
e
b
asis_reduction: keep
t
rack of number
of LPs solve
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options:
move --print-stats to li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdoolaege
bernstein:
r
ework tes
t
ing framewor
k
to not depend
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
ven
V
erdoolaege
b
ernstein: add piecewise_lst::is_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
support new
e
r ver
s
i
o
ns of
GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
standard_constraints: move from topcom
.
c to polys
i
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
po
l
ysign
.
h: remove
d
epen
d
ency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdo
o
la
e
ge
z
solve
:
add banner
.
h to dis
t
ributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdool
a
ege
Polyhedron_Lat
t
ice
_
Wi
d
th_Direc
t
ions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolaege
basis_reduction_
p
ip: abort on invali
d
(
e
m
pty) inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
olaege
README: explain ho
w
to get
subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
l
a
eg
e
doc:
d
ocument la
t
tic
e
width comput
a
ti
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
s
o
m
e
l
a
ttice
w
id
t
h tes
t
s fro
m
Jon Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_Lattic
e
_Width
:
decide on facets to
c
lo
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Ver
d
oo
l
aege
add Polyhedron_Lattice_W
i
dth for c
o
m
p
uting lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven
V
e
r
d
oo
l
aege
hilb
e
rt
.
c
:
add Cone_Int
e
ger_Hu
l
l for computing vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
p
o
l
y
s
i
gn: add pip-backed ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
polysign: add constraints
_
op
t
to co
m
p
ute opti
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
ool
a
ege
polysign_cdd: switch to use of Ma
t
rix representa
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
p
olysign_glpk: swit
c
h t
o
u
s
e of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
ge
d
o
c: document com
p
utati
o
n of Hilbert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
erdoolae
g
e
Cone
_
Hilbert_Basis: u
s
e
s
tand
a
rd_constrain
t
s to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
la
e
ge
U
s
e zsolve to comput
e
Hilbert
b
a
s
is of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olae
g
e
co
m
p
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't i
n
sta
l
l head
e
rs and executables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve
:
i
nitialize B
a
ck
u
pTime in ZSolv
e
Co
n
tex
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsol
v
e: zsolveS
y
stem: add
missin
g
ve
r
bosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olae
g
e
zsolve: ov
e
rride LIBS fro
m
top level
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
add zsol
v
e from 4ti2-1
.
3
.
1+autoconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaege
p
ara
m
_
u
til
.
c:
e
xpo
r
t bit_v
e
ctor_coun
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
ge
topcom
.
c: extract part of
c
ode for setting up
stan
d
ard
.
.
.
commit
|
commitdiff
|
tree
next