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
bernstein.cc: handle input with unions + relation violated in the whole union
2008-03-10
Sven
Verdoo
l
a
eg
e
berns
t
ei
n
.
cc: h
a
n
d
l
e
i
n
put
wit
h
u
n
ions +
r
e
l
a
tion viol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
m
a
ximize
.
cc: deal with unio
n
s in
i
npu
t
during
v
erificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdo
o
laege
evalue_substitu
t
e
: pro
p
e
r
l
y handle relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erdo
o
laege
e
v
alue
.
c:
c
l
e
an up em
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: co
r
rectly re
a
d va
r
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_r
e
a
d
:
a
ccept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
ven Verdoolaege
eval
u
e_backsubstitut
e
: a
d
d
r
equired modulo constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
dool
a
ege
evalue
.
c: *_partitions: simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
doc: more
s
p
e
cific
i
nformatio
n
on buggy cddlib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdoolaeg
e
configure
.
in: requi
r
e cddlib 0
.
94e b
y
te
s
ting
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
V
erdoolae
g
e
configure
.
in
:
onl
y
compile occ i
f
code_gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoo
l
aege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
add some tests for implementat
i
on of projection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
d
o
c: document new options
a
n
d
new applications
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoo
l
aege
A
UTHORS: u
p
date suppor
t
information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: short_rat::
p
rint:
correc
t
l
y print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
E
x
port seri
e
s as
b
arvinok_enumer
a
te_series and
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laege
remov
e
_paramet
e
r
_equal
i
ties: stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verd
o
o
lae
g
e
series: leave fre
e
ing of
P
argumen
t
to cal
l
ing function
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
laege
doc:
d
ocument
implementation of the projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
add barvinok_enum
e
rate
_
e_serie
s
imple
m
enting th
e
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
genfu
n
.
cc: fix and d
o
cum
e
nt p
a
ral
l
el
polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaege
Only compi
l
e zsolve if gcc
3
.
4 or l
a
ter is
a
vailable
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
a
eg
e
Move GiN
a
C
-independent par
t
o
f l
i
b
rar
y
to
b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aeg
e
polyli
b
:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
laege
doc: h
o
w to
c
ount the number of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolae
g
e
doc
/
implementation
.
tex: avoid mu
l
tiply
d
efined lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdo
o
laege
latt
i
ce_width
.
c: try v
e
r
t
ices
o
f prev
i
ou
s
integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: document int
e
ger hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
hu
l
l
.
c: a
d
d a
l
l points f
o
und by
s
ampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
a
ege
Possible optimizations f
o
r ge
n
eralized
b
asis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoo
l
a
e
ge
Support use of generalized b
a
sis reductio
n
to co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ve
r
doolaege
add Polyh
e
dron
_
I
nteger_Mi
n
imum for
computin
g
th
e
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
la
e
g
e
doc: document genera
l
iz
e
d
b
asis reduction
bas
e
d
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdool
a
ege
do
c
/barv
i
nok
.
bib:
ad
d
m
issing
s
tring
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoolaege
add more
missing asse
r
t
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
configure
.
in: o
n
ly compile libbarvinok
a
s
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaeg
e
Polyh
e
dron_Redu
c
ed_Basis: don't sto
p
too early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoo
l
aege
c
o
mpute_width_dire
c
tions: o
n
ly keep list of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
zsolve:
d
on't i
n
stall library
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
versio
n
.
c: show use of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaeg
e
c
o
nfigure
.
in: don't set with_{po
l
y,pip}lib_
p
re
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verd
o
olaege
P
o
ly
h
edron_
S
ample: be sat
i
s
f
ied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
cone_
i
nteger_hull: optionally
p
r
i
nt stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
b
a
si
s
_red
u
cti
o
n
: keep trac
k
of
n
umber of
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
doolaege
options: move --p
r
int-stats
to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
berns
t
ein: rework testing framework
t
o not dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
o
o
laege
bernstein: add p
i
ecewise_
l
st::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
su
p
p
ort newer ver
s
ions
of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_constr
a
i
n
t
s:
m
o
ve from t
o
pcom
.
c to
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n V
e
r
d
oolaege
polysign
.
h: r
e
mov
e
d
e
p
e
n
d
e
nc
y
on le
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
zs
o
lve:
add banner
.
h
to distributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdo
o
laege
Polyhedron_
L
attic
e
_W
i
dth_Directions:
p
rint progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reduction_pip:
abort on invalid (
e
mp
t
y
)
i
npu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
README:
explain
how to ge
t
submodules
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
doc: docum
e
n
t
l
attice widt
h
com
p
uta
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doo
l
aege
so
m
e lat
t
ice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
Polyhe
d
r
on_
L
attice_W
i
dth: decid
e
on facets to clo
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
V
e
rdoolaege
a
d
d Polyhedr
o
n
_Lattice_
W
idth fo
r
compu
t
i
n
g latt
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven V
e
r
do
o
laeg
e
hilb
e
rt
.
c:
a
dd Cone_Integer_Hu
l
l for
c
ompu
t
ing ve
r
ti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
o
laege
polysign: add pip-backed v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
p
olysign: add constrain
t
s_op
t
t
o
compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
do
o
l
a
ege
poly
s
ign_cdd: switch
t
o u
s
e o
f
Matrix rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
o
olaege
polysig
n
_glpk: swi
t
c
h
to use of M
a
trix repr
e
s
e
ntat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: d
o
c
u
ment com
p
utation of Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
e
r
doolaege
Cone_Hil
b
e
r
t_Basis:
u
se sta
n
dard_constr
a
ints
t
o
av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsol
v
e to compu
t
e Hilbert
b
asis
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdo
o
la
e
ge
comp
i
le
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't install headers and
e
xecutables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
zsolve:
initiali
z
e BackupTime
i
n
ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
ola
e
ge
z
solve: zsolveS
y
s
tem: add mi
s
sing ver
b
osity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: override LIBS
from top le
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
4
ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolae
g
e
add zsolve fr
o
m
4ti2-1
.
3
.
1+autoconf-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
param
_
util
.
c: export bit_v
e
ctor
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c: extract part
o
f code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verd
o
olaege
gen_fun::
H
adama
r
d_p
r
oduct: pri
n
t
progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose option to lib
r
ary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n_f
u
n
::summ
a
t
e
: handle
fu
l
l
s
peci
a
lizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
R
e
place incremental infinite set counte
r
by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter::add_falling_powe
r
s s
t
ati
c
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
olaege
merge (most of) common part of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icou
n
t
e
r
: handle spec
i
aliza
t
ion o
f
polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
icount
e
r: don't bother "no
r
malizi
n
g
"
the
ex
p
o
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
export ne
g
_le
f
t_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
bas
i
s
_
reduction_cdd: che
c
k
for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaeg
e
P
ol
y
hed
r
o
n
_Sample: handle polyhe
d
r
o
n
b
ecoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
g
e
n
_
f
u
n:
:
opera
t
or evalue
*
: always
return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ve
r
doo
l
aeg
e
gen_fun::operat
o
r eva
l
ue *: remov
e
commented o
u
t
debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_enumerat
e
_e
.
cc: hand
l
e
verifica
t
i
o
n of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
b
a
rvinok_e
n
umerate_e:
optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_
e
numerate_e: support verification of
generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enume
r
ate_e: support conversion
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
lattice_points:
anoth
e
r
micro-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
lattice_points_fixed: nan
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
gen_fun
:
:add
:
conte
x
t of su
m
should be
u
nion
o
f contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
b
a
rvino
k
_
e
numerate:
u
se verify infrastructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
genf
u
n
.
cc: print_powe
r
:
drop spaces
a
round "/"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
c
o
u
n
t
_points_e: fall bac
k
to
coun
t
_point
s
i
f
ther
e
.
.
.
commit
|
commitdiff
|
tree
next