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: remove redundant constraint in one of the cases
2008-03-31
Sven
V
erdoolaege
Be
r
noulli_sum_evalue: r
e
move
redundant constrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaeg
e
ber
n
oulli
.
c
: m
i
nor refa
c
to
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bern
o
ulli
_
sum
:
handle co
n
text constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_ev
a
lue: make
su
r
e
enough memory i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
for_each_lower_upper_bou
n
d: add another call
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaeg
e
v
e
rify
.
c:
adjust
de
f
aul
t
range
to
c
ontext
if n
e
e
d
ed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
euler
.
cc: sum
m
ate
_
over_
d
oma
i
n
:
only con
s
ider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
param_u
t
il
.
c: ex
p
ort P
a
ram_Vertex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Pa
r
a
m
_Polyhe
d
ron_F
a
cet: pass facet defini
n
g co
n
s
tra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
gen
f
un
.
cc:
p
arallel_polytopes: don't bother handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_do
m
ai
n
s_
i
n
t
o_orthants: don't redu
c
e
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_read: only allow terms to cros
s
n
e
w
lines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
eva
l
u
e
_read:
only accept implicit multipli
c
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
eva
l
ue_
r
ead: accep
t
c
onstraint
s
con
t
a
i
ning "'-' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ev
a
l
ue_bernstein_coefficients: ens
u
re result
pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
ber
n
ste
i
n: piecewise_ls
t
: c
o
rrectly
p
rint and eval
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolae
g
e
remove_all_equalities
:
keep remov
i
ng par
a
meter equal
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
u
pdat
e
p
o
lyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ver
d
o
o
laege
doc: consiste
n
t use of
K
evi
n
's initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
d
oc: up
d
ate n
o
w publ
i
sh
e
d paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
f
o
r_ea
c
h_lo
w
er_upper_bound: al
l
ow absence
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
Rever
t
"eadd_partitions:
t
ry to
combine m
u
lti
p
le
d
omai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdool
a
ege
evalue_read
_
partit
i
on: put pa
r
t
itions back in the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
oolaeg
e
evalue: reduc
e
_
evalue: add note on some
missed opportuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdoolaege
berns
t
ein
.
cc:
h
a
n
d
le input with uni
o
ns + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
maximize
.
cc:
d
eal with unions in i
n
put during ver
i
fication
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue
_
substit
u
te
:
p
r
operly handl
e
relat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue
.
c: clean
u
p emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
r
d
ool
a
ege
evalue_read: correctly read variable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
ue_re
a
d
:
a
cce
p
t t
o
p level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
ae
g
e
u
pdate pol
y
l
i
b
commit
|
commitdiff
|
tree
2008-02-29
S
v
en
V
erdoolaege
e
v
al
u
e_backs
u
b
stitut
e
:
a
d
d r
e
quired
m
odu
l
o
c
onstraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doolaege
eval
u
e
.
c: *_parti
t
ions: simplify constraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n
Verdoolaege
doc: more speci
f
ic in
f
ormat
i
on on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configu
r
e
.
in: require cddlib 0
.
94
e
by testi
n
g for
bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verd
o
olaege
configure
.
i
n: only com
p
ile occ if code
_
gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
a
d
d some tests for
i
mp
l
em
e
ntation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
doc:
documen
t
new
option
s
and new applications
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verd
o
olaege
AUTHORS: update support in
f
ormation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
genfu
n
.
cc:
sh
o
r
t
_rat
:
:pr
i
nt:
correctl
y
print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoo
l
aege
E
x
port series as barvinok_e
n
umer
a
te_
s
e
ries
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ver
d
oo
l
a
e
ge
remove_paramete
r
_equalities
:
s
t
op "removing
"
e
q
u
alit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
olaege
series: l
e
ave fr
e
eing of
P
ar
g
ume
n
t
t
o calling f
u
nction
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
e
r
d
oolae
g
e
doc: document impl
e
mentation of the
p
roject
i
on theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ad
d
b
arvino
k
_enume
r
a
te_
e
_
series imple
m
enting t
h
e
p
r
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
genfun
.
cc: f
i
x and document
parallel p
o
lytopes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
On
l
y compile zsol
v
e if g
c
c 3
.
4
or later
is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
M
o
v
e GiNaC-independent part o
f
l
ibrary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
o
olaege
polylib:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
doc: how t
o
c
o
un
t
the number of
e
lem
e
n
ts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implement
a
tion
.
t
e
x
: avoid multiply
defined
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
lattice_wid
t
h
.
c: try
vertices of
p
revious integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaeg
e
doc: documen
t
i
nte
g
er
hull computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
hull
.
c: ad
d
a
ll points fou
n
d by sampli
n
g
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Po
s
sible optimizations
f
or g
e
neralized basis
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ol
a
e
g
e
S
u
p
p
or
t
use of general
i
zed
basis
r
eduction to comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
a
dd
P
o
lyhedron_Integ
e
r
_
M
i
nimum
fo
r
c
o
mputi
n
g the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ve
r
doolaege
doc
:
document gene
r
al
i
zed
b
asis redu
c
tion bas
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoo
l
a
e
ge
doc/barvinok
.
bi
b
: add missin
g
string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add m
o
r
e missing as
s
ert
.
h
#
includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
laege
evalu
e
.
c
: ad
d
m
issing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Ve
r
d
oolaege
co
n
fi
g
ure
.
in
:
pas
s
path of
G
MP install
a
t
ion to
Po
l
y
L
ib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
a
e
g
e
confi
g
ure
.
in: onl
y
compile libba
r
vinok as a stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaeg
e
Polyhedron_Reduced_
B
asis: do
n
'
t
s
t
op too e
a
rly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaeg
e
com
p
ute_width_directio
n
s:
onl
y
keep lis
t
o
f
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
zsolve: don't insta
l
l library
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
V
e
rdoola
e
ge
v
e
rsio
n
.
c: s
h
o
w
use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolae
g
e
configure
.
in: don
'
t set
w
ith_{p
o
ly,pi
p
}li
b
_pref
i
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olae
g
e
Pol
y
hedron_Sample
:
b
e
s
a
tisfi
e
d with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
cone_i
n
t
e
ger_hull: opti
o
n
a
lly print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoo
l
a
e
ge
basis_r
e
duc
t
ion: keep track of
number
o
f LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: mov
e
--print-stats to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
be
r
nstein: re
w
ork testing framework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
berns
t
ein: add piecewise_l
s
t::
i
s_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
suppor
t
n
ewe
r
v
ersions o
f
GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
standard_co
n
straints: move from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaeg
e
polysi
g
n
.
h: rem
o
ve depende
n
cy on lexmi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
zsolve: add banner
.
h t
o
distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Polyhedron_Lattice_Width_Directions: print p
r
ogres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
laege
basis_re
d
u
ction_pip: abort on invalid (e
m
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
READM
E
:
exp
l
ain how to get sub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
d
o
c
:
docume
n
t lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n
Ve
r
doolaege
som
e
lattice
widt
h
tests fr
o
m Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verd
o
olaege
Polyhedron_Lattice_W
i
dth: decid
e
on facets t
o
clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoo
l
aege
add Pol
y
hedron
_
Lat
t
ice_Width for c
o
mputing lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ve
n
Ver
d
oo
l
aege
hilber
t
.
c: add Co
n
e_Integer_
H
ull for computing ver
t
ices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
olysign: a
d
d pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
doolaege
p
o
lysign: add constraints_opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_cdd: s
w
itch to use
of
M
atrix re
p
r
e
s
e
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
p
o
lysign_glpk: sw
i
tch t
o
use of
Ma
t
rix
represe
n
t
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdool
a
e
g
e
doc: document
c
omputat
i
on of H
i
lbert basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
laege
Cone_Hilbert_B
a
sis: use stand
a
rd_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoolaege
Us
e
zsolve to c
o
mpute Hilbert
b
a
s
is of
a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve: d
o
n't ins
t
all headers
and execut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zsolve: initialize Backu
p
Ti
m
e in ZSolve
C
onte
x
t
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
oolaeg
e
zsolve: zsolveSystem: add missing verbo
s
ity check
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsolve
:
override LIBS
f
rom top level
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
a
ege
add 4ti2-1
.
3
.
1+aut
o
conf-0
.
1 banner
commit
|
commitdiff
|
tree
next