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
verify.c: extract common code for verifying operation on evalue
2008-03-31
S
v
en Ver
d
oo
l
a
e
ge
ver
i
fy
.
c
:
e
xtract common co
d
e
for v
e
rifying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_
r
ange
_
pro
p
ag
a
t
ion: add
m
onotonicity
tes
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
bar
v
inok_maxi
m
ize: optionally use
(basic) range pr
o
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add so
m
e
support for dealing with eva
l
ues that re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolae
g
e
barvinok_
e
numerate: support
use
of
Euler-Macla
u
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
implem
e
n
t Bernoulli_sum as conversion from unwe
i
ght
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
r
doolaege
Bernoulli_sum_evalue: exploit
i
nteger bounds
t
o red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
ke
e
p
t
rack of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ber
n
o
u
lli
.
c: protect
s
h
ared
e
v
a
l
u
e
from
modificatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
l
aege
test Bernoulli sums ba
s
e
d
exa
c
t enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
do
o
laege
b
a
rvinok_count_with_optio
n
s: comput
e
(ex
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdo
o
l
aege
Bern
o
ulli_sum_evalue:
opt
i
onally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
la
t
t
ice_point
.
h: export f
r
ac
t
i
onal_part
w
i
t
h C l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enume
r
ate_with_options: compute (exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Be
r
n
oulli_sum_evalue
:
handle
e
q
u
alities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
B
e
rnoulli_
s
u
m_eval
u
e
: cut off some redu
n
dant
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
eg
e
Bernoulli_sum_evalue
:
make sure
no
e
mpty par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernou
l
li_sum_evalue:
remove redund
a
n
t
const
r
a
i
nt in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bern
o
ull
i
_
s
um:
h
andle context constr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
Bernoulli_su
m
_eval
u
e: m
a
k
e sure enough memory i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_ea
c
h_lower_upper_bound:
add
a
n
o
t
h
er c
a
ll
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
:
adjus
t
d
e
fault range to context
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
eu
l
er
.
cc
:
s
ummate_
o
ver_domain: on
l
y
consid
e
r act
u
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
p
a
r
a
m
_
util
.
c: export Param_Ver
t
ex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
P
a
ram_Polyhedron_Facet:
pass f
a
cet
def
i
ning
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc
:
parallel_polytopes: don't
both
e
r handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
evalue
_
s
plit_domains_in
t
o_orthants: don't reduce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_r
e
ad: only allow
t
erm
s
to cross newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue
_
read: onl
y
accept imp
l
icit multip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_re
a
d: accept const
r
aint
s
containing "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doo
l
aege
e
va
l
ue
_
be
r
nstein_co
e
fficients:
en
s
ure result partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
olaege
bernstein: piecewise_lst
:
correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
remove_all_equalities: keep removing paramet
e
r equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ve
r
doolaege
update
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc: consistent use of
K
ev
i
n's i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
doc:
u
pdate no
w
published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
for_
e
ach_lower_uppe
r
_boun
d
: allow
a
bsence of
l
owe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Rev
e
r
t "
e
a
d
d
_partitions: try to combine
multiple
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
e
v
alue_
r
ea
d
_partition: put part
i
tions back in th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue: reduce_evalue: a
d
d note on s
o
me mis
s
e
d opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoo
l
aege
bernst
e
in
.
cc: handle
i
nput
w
ith
u
nions +
r
elati
o
n
vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
maximize
.
cc: deal
w
ith unions in input during v
e
rific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erd
o
olaege
evalue_sub
s
titute: properl
y
handle
relations
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ver
d
oolae
g
e
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olaege
ev
a
lue_read:
cor
r
ectly re
a
d variable names
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
doolaege
eva
l
ue
_
r
e
a
d:
a
c
c
e
p
t top level "relat
i
on"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verdoolaege
e
valu
e
_
b
acksubstitute:
a
d
d requir
e
d m
o
dulo co
n
s
traints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Verdoolaege
e
v
alue
.
c: *
_
partitions: simplify constrain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaeg
e
doc: m
o
r
e specific information on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdo
o
laege
configure
.
i
n
:
r
equ
i
re
c
ddli
b
0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdool
a
ege
c
o
nfigure
.
in
:
only compile o
c
c
i
f code_g
e
n l
i
bra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
olaege
b
a
rvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
ad
d
som
e
tests for impleme
n
tation of
p
rojection
the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: do
c
ument new options and ne
w
applicat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolae
g
e
AUTHORS
:
upd
a
te support info
r
m
a
t
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
olaege
g
enfun
.
cc:
s
hort_rat
:
:pri
n
t
:
correctly pri
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
Export series as ba
r
vin
o
k_enumerate_series and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
rem
o
v
e
_parameter_equ
a
lities: stop "removing" e
q
uali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolae
g
e
series: leave freeing o
f
P argument to calling
function
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verd
o
o
l
a
eg
e
doc: d
o
cument i
m
ple
m
ent
a
tion of the pro
j
ect
i
on t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
l
aege
a
dd barvino
k
_enumerate_e_series
i
mplementing t
h
e proje
c
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
o
l
aege
genfun
.
cc: fix and document
paralle
l
pol
y
t
op
e
s class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only co
m
pile zso
l
ve
if g
c
c
3
.
4
o
r late
r
is avai
l
able
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Mov
e
GiNaC-indepen
d
en
t
part
o
f librar
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
p
olyli
b
: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoolaege
doc: how to count the
nu
m
ber of elements i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementat
i
on
.
t
e
x:
avoid multiply d
e
fined lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
l
a
ttice_width
.
c: try vertices of
p
r
e
vio
u
s i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
d
o
c: docume
n
t int
e
ger hull computat
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
hull
.
c: add
a
l
l poin
t
s f
o
und
by sampling d
i
rect
l
y to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ve
r
doo
l
aege
Poss
i
bl
e
o
p
timizations for
g
en
e
r
a
l
i
zed ba
s
is red
u
cti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
doolaege
S
upport use
of
g
eneralized basis reduction to compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
a
dd Polyhedron_Int
e
ger_Minim
u
m for co
m
puti
n
g the inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
Verdoolaege
d
oc: docum
e
nt ge
n
eralized basis reduction b
a
se
d
intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdo
o
la
e
ge
do
c
/barvinok
.
bi
b
: add missi
n
g
st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoola
e
g
e
add more missi
n
g
assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdool
a
ege
eval
u
e
.
c: add missing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaege
configu
r
e
.
in
:
p
ass path of GMP installation to PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
aege
configure
.
in: only compile libb
a
r
v
i
nok
a
s
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
o
olaege
P
olyhedro
n
_Re
d
uced_Ba
s
i
s
:
d
on't stop t
o
o early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
comp
u
te_width_dir
e
ction
s
: o
n
ly kee
p
list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
zsolve: d
o
n't instal
l
lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
version
.
c: sh
o
w u
s
e of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
V
erdo
o
laege
configu
r
e
.
in:
d
on't
s
et with_{poly
,
p
i
p}
l
ib
_
prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verdoo
l
aege
Polyhedro
n
_Sampl
e
: b
e
sa
t
i
sfied wi
t
h a reaso
n
able choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verd
o
ola
e
g
e
c
o
n
e
_integer_hu
l
l: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
b
a
s
is_reduction
:
keep track of number
o
f LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
V
erdoolaege
op
t
ions: mov
e
--print-stats to
l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdo
o
laege
bernstein: re
w
ork testing framewo
r
k
t
o n
o
t
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdool
a
ege
be
r
n
stein: add pie
c
ewi
s
e
_lst::
i
s_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
support newer versions of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaeg
e
stan
d
ar
d
_
const
r
ai
n
ts
:
move
f
rom topcom
.
c
to polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove depen
d
ency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve:
a
d
d
ba
n
ne
r
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
d
o
o
l
aege
Polyhedron_Lattic
e
_
Width_D
i
rec
t
ions: print pro
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoo
l
aege
basis_reduction_pip:
abo
r
t on invali
d
(empty
)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
la
e
ge
README: explain how to get s
u
bmodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
l
a
ege
doc: document latt
i
c
e
width computation
commit
|
commitdiff
|
tree
next