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.c: minor refactoring
2008-03-31
Sv
e
n Verdoola
e
ge
bernoulli
.
c
:
minor re
f
act
o
ring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
Berno
u
lli
_
sum:
h
a
nd
l
e context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
f
or_each_lo
w
er_upper_bound
:
add
a
n
oth
e
r callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c: adju
s
t def
a
ult ra
n
ge to c
o
n
t
e
xt if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
e
u
ler
.
cc: summate_over_domain: only consider
a
ct
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
par
a
m_util
.
c: e
x
port
P
aram_Vert
e
x
_
Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
Param_Polyhedron_Face
t
: pass facet de
f
ining c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erd
o
olaege
genfun
.
cc: parallel_poly
t
opes: don't both
e
r
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
evalue_sp
l
it_d
o
m
a
ins_i
n
to_orth
a
nts: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
evalue_read: only allow terms to
cross newlin
e
s i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
eva
l
ue_read
:
only accept implicit
m
ultiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
ev
a
lue_read: accept
constraints containing
"'-'
s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
e
ge
evalue_bernstein_coeffici
e
n
ts: e
n
sure r
e
su
l
t
p
ar
t
i
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
be
r
nstein: piecewis
e
_lst:
c
o
rrect
l
y prin
t
and e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
er
d
ool
a
ege
remo
v
e_all_e
q
ualities:
kee
p
re
m
oving
p
arameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erd
o
o
l
a
e
g
e
updat
e
p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Ve
r
d
o
olaege
doc: con
s
isten
t
use of Kev
i
n'
s
ini
t
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
doc: upda
t
e now published pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoo
l
ae
g
e
for_eac
h
_l
o
wer_upper
_
bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erd
o
o
l
ae
g
e
Reve
r
t "
e
add_parti
t
ions: try to combine
m
u
ltiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
evalue_rea
d
_partition:
p
u
t
partiti
o
ns back
i
n the
sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erd
o
olae
g
e
e
value: re
d
uce_evalu
e
:
add
n
ote on
some missed
o
p
portunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdool
a
ege
be
r
n
s
tein
.
c
c:
h
an
d
l
e input with unions +
r
elation viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoolaege
maximize
.
cc:
d
eal
w
ith unions i
n
input du
r
i
ng ve
r
ification
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaeg
e
e
value_sub
s
titute:
properly
h
andle relations
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ver
d
oolaege
evalu
e
.
c: clean up emul and
e
add
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
eva
l
ue_r
e
ad:
c
orre
c
tly rea
d
v
ariable na
m
es
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalu
e
_
r
ead
:
accept t
o
p leve
l
"
re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ver
d
o
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
ven Verdoolaege
e
v
alue_bac
k
substitute: add r
e
q
u
ired modul
o
c
o
nstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
eva
l
ue
.
c: *_part
i
t
ions: simplify c
o
nstrai
n
ts before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
doolaege
do
c
:
m
ore sp
e
cific inform
a
tio
n
on buggy
c
ddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
doolaege
c
onfi
g
ure
.
in
:
requir
e
c
ddl
i
b 0
.
9
4
e
by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sv
e
n Verdool
a
ege
configure
.
in: only com
p
ile occ if code_g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaeg
e
ba
r
v
i
n
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Ver
d
oolaege
a
dd some
t
ests for implementation of pro
j
ect
i
on theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
d
oc
:
document new options and new applicat
i
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
A
U
THORS: update su
p
por
t
inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
genfun
.
c
c
: short_r
a
t
::print: correc
t
ly print polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Expo
r
t
seri
e
s
as
barvinok_enumerate_series and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_paramete
r
_equaliti
e
s: stop "remo
v
in
g
" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
series: leave freeing of P argume
n
t to calling func
t
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
doc: document i
m
p
l
ementation of the projection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
add barvinok_enum
e
ra
t
e_e_s
e
ries im
p
leme
n
t
ing
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
a
ege
g
e
nfun
.
cc
:
fix and document
p
a
r
allel polyto
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Mov
e
GiNa
C
-independe
n
t part of library
t
o barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
polyl
i
b: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
V
erdoolae
g
e
doc:
how
to
c
ount the number of element
s
in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/
i
mplementation
.
te
x
: avoid multipl
y
d
e
f
i
n
ed lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
la
t
tice_width
.
c: try v
e
rtic
e
s of
pre
v
i
o
us inte
g
er hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoola
e
ge
doc: document
i
nte
g
er hul
l
c
om
p
utation
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
oolaege
hull
.
c: add all poi
n
ts fou
n
d by sampli
n
g di
r
ectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Ver
d
oola
e
ge
Possible optimiz
a
tions
for generalized basi
s
red
u
cti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verd
o
o
l
aege
Support use o
f
ge
n
eralized bas
i
s reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
add Polyhedron_Integer_
M
i
nimum for computing the int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoolaege
doc:
document g
e
n
eral
i
zed basis reduction b
a
sed in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rd
o
olaege
doc/barvinok
.
bi
b
: a
d
d
m
iss
i
ng
s
tri
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
la
e
ge
add more missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolae
g
e
configure
.
in: only com
p
i
le libbarvin
o
k
as a
stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
ege
Polyhe
d
ron_Reduc
e
d
_Basis
:
d
on't stop
t
o
o early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
co
m
pute_width_
d
irections: onl
y
keep li
s
t
of distinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
zsolve
:
d
on't install li
b
ra
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c
:
s
h
ow
u
s
e of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verd
o
olaege
c
o
nfigure
.
in
:
don't set wit
h
_
{poly,
p
ip}lib_pr
e
fix f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
rdoolaege
Polyhedron_Sam
p
le: be satisf
i
ed with a r
e
asonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
rdoolaege
cone_integer
_
hull: opt
i
onally
print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laeg
e
basis_reduc
t
i
o
n: keep tr
a
ck of
n
umber of LPs solve
d
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
dool
a
eg
e
options: move
--print-stats to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoo
l
aege
ber
n
stei
n
: re
w
ork testing framework to
n
ot
depen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoo
l
a
eg
e
bernstein: a
d
d piecewis
e
_ls
t
::is
_
eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
dool
a
ege
support newer ver
s
i
ons of
GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
V
erdoolaege
st
a
ndard_con
s
traints: m
o
ve
f
rom topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
polysign
.
h: remove depende
n
cy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
erdoolaege
z
s
o
l
ve: add ba
n
ner
.
h to dis
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolae
g
e
Pol
y
h
edron
_
L
a
tt
i
ce_Width_Directio
n
s: p
r
in
t
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdoolae
g
e
basis_red
u
c
t
i
o
n
_
pip: abort o
n
invalid (empty) inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: expla
i
n
how to get submodule
s
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erd
o
ola
e
ge
d
oc: documen
t
l
a
ttice w
i
d
th
computati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
some lattice widt
h
tests from
J
on Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Ve
r
doolaege
Poly
h
edron_La
t
tice_Width: decide on facets to clo
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Po
l
yh
e
dron_L
a
ttice_
W
idth
f
or comp
u
ting l
a
ttice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoo
l
aege
hi
l
bert
.
c: add Co
n
e_I
n
teger_Hu
l
l for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
eg
e
polysign: add pip
-
backed versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
olaege
p
o
lysign:
add
constraints_op
t
to com
p
ute optimum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
dool
a
eg
e
pol
y
sig
n
_
cdd:
s
wi
t
ch to
u
se
of Mat
r
ix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
p
o
lysign_glpk:
sw
i
tch to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
lae
g
e
doc:
document c
o
mputation of Hil
b
ert
b
asi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hilbert
_
Basis: use
s
ta
n
dar
d
_const
r
aint
s
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolae
g
e
Use zso
l
ve to comp
u
te Hilbert basi
s
of
a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
compil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoo
l
aege
zsol
v
e
: don'
t
in
s
tall headers and executables
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
e
r
d
o
olaege
zso
l
v
e
: initializ
e
BackupTime in ZS
o
lveCo
n
text
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zso
l
v
e
: zsol
v
eS
y
stem: a
d
d
missing verbosity
c
he
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
lae
g
e
zs
o
lve:
o
ve
r
ride LIBS from
top
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
add 4t
i
2-
1
.
3
.
1+au
t
oconf-0
.
1 ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
ad
d
zsolv
e
from
4
t
i2-1
.
3
.
1+a
u
tocon
f
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
a
ram_util
.
c
:
export
b
it_v
e
ctor_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
topco
m
.
c: e
x
tract
p
art
of c
o
de for setting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_
f
un::Hadam
a
rd_pro
d
uct: print prog
r
ess indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoolaege
move --
v
erbose opti
o
n to
l
ibr
a
ry
commit
|
commitdiff
|
tree
next