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
genfun.cc: short_rat::print: correctly print polynomials (no denominator)
2008-01-16
Sven Verdoolaege
genfun
.
cc:
s
hort_rat::print: correctl
y
print p
o
lyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ol
a
e
ge
Export series as
barvinok_enu
m
e
r
a
te_series
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
remove_paramet
e
r_equalities: stop "removing"
e
qua
l
it
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoolaege
series: leave freeing of P argu
m
ent
to calling func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoola
e
ge
do
c
: document im
p
lementation of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
add barvinok_enum
e
rate_e_series implementing t
h
e pro
j
ecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fix a
n
d document parallel polytopes cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
olae
g
e
Mov
e
Gi
N
aC
-
in
d
epe
n
dent p
a
rt of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ve
r
doolaege
polylib
:
update
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n
Verdo
o
laeg
e
doc: how to cou
n
t th
e
num
b
e
r
o
f
e
lements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoola
e
ge
doc/implemen
t
ation
.
tex: avoid multip
l
y de
f
ined
l
abel
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_width
.
c: try vertic
e
s of
p
rev
i
ous i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: document in
t
eger hull c
o
mputation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
hull
.
c: add
all points
f
ound by samp
l
ing direct
l
y to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoola
e
ge
Possible opti
m
izations f
o
r general
i
z
e
d basis re
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
erdoolaege
S
u
p
port u
s
e
o
f general
i
zed basis reduction to
c
o
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verd
o
olae
g
e
a
dd Polyhed
r
on_In
t
eger
_
M
i
n
i
m
u
m
for computi
n
g t
h
e integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc: document
generaliz
e
d bas
i
s reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc/b
a
rvinok
.
bib: add missin
g
string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oola
e
ge
ad
d
m
o
re missi
n
g assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
configure
.
in:
o
nly
compi
l
e
l
i
bbar
v
inok
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
Polyhedron_Reduc
e
d_
B
asis: don't stop too ear
l
y when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaeg
e
compute_width_
d
irection
s
:
only keep li
s
t
of distin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolv
e
: don't install libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoo
l
a
ege
ve
r
sion
.
c: show us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: don't set with_{pol
y
,p
i
p}lib_
p
refix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ve
r
doolaeg
e
P
o
l
yhe
d
ron_Sample: be sat
i
sfied with a reasonable
c
hoi
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Ve
r
doola
e
ge
cone_integer_hul
l
: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
basis_redu
c
tion:
k
eep track of number of LPs sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
options: move --pr
i
nt-stats to
l
ibrar
y
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
bern
s
tein: re
w
ork testing
f
ramework to not depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
b
e
rns
t
ein: add piecewis
e
_lst
:
:i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rd
o
olaege
support n
e
wer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
standard_co
n
s
train
t
s: move fr
o
m
topc
o
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ver
d
oolae
g
e
polysign
.
h
: rem
o
v
e
dep
e
ndency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add
banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Polyh
e
dron_Lattice_Wi
d
th_Directions:
p
rint progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdoolaege
basi
s
_red
u
ctio
n
_pip: abor
t
on
i
nvalid
(
empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
e
ge
REA
D
ME: expl
a
in
h
ow to get su
b
modules
commit
|
commitdiff
|
tree
2007-11-02
S
ve
n
Ver
d
oolaege
doc: do
c
ument latti
c
e wid
t
h
co
m
p
utation
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
some la
t
t
i
ce width tests from J
o
n Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n V
e
rdoolaege
Polyhedron_
L
attice_Wid
t
h:
decide
o
n
facets to cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaege
add Polyhedron_Lattice_Width f
o
r com
p
uting l
a
tti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
h
ilbe
r
t
.
c: add
C
one_Integer_Hull fo
r
compu
t
ing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
polysign:
a
d
d p
i
p-bac
k
ed v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
polysig
n
: ad
d
constraints_op
t
t
o
compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
polysi
g
n_cdd: switch
t
o use o
f
Matrix
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
po
l
ysign_
g
l
pk: s
w
itch to use of Matrix representatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
olaege
do
c
:
document co
m
putation of Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
Cone_Hilb
e
r
t
_
Basi
s
: us
e
st
a
ndard_constrain
t
s to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
ege
U
se zsolv
e
to comp
u
t
e Hilbert
basis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve: do
n
't inst
a
ll headers an
d
exec
u
tables
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolae
g
e
zsolve
:
i
ni
t
iali
z
e BackupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oo
l
aege
z
s
olve: zsolveSyst
e
m: add missing verbos
i
t
y check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zsol
v
e: override LIBS from top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
add 4ti2-1
.
3
.
1+a
u
toconf-0
.
1
b
a
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
add
zs
o
lve from 4ti2-1
.
3
.
1+a
u
toconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
p
aram_
u
t
il
.
c: exp
o
rt bit_
v
ector_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
topco
m
.
c: ex
t
ract par
t
o
f
c
o
de for setting up
s
tandard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ver
d
o
olae
g
e
g
en_fun::
H
adam
a
rd_produ
c
t: print p
r
ogress i
n
dicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Ver
d
oola
e
g
e
move --ver
b
ose option to
l
ibrary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen_fun::su
m
m
ate: handl
e
fu
l
l
spe
c
ialization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
Replace incremental inf
i
nite set counter
b
y "regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make cou
n
ter::add_falling
_
powers stati
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
m
e
rge (most
of
)
com
m
on part of counter and tcoun
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
i
c
ount
e
r:
handle specializatio
n
of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
icounter: don't bother
"
n
ormalizing" the
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
exp
o
r
t neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
ba
s
i
s
_reduction_cdd: check for possi
b
ly inco
r
rect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Polyhedron_Sample: handle
p
ol
y
hedro
n
beco
m
i
n
g empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator evalue *:
a
lway
s
return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ver
d
oola
e
ge
gen_
f
u
n::operator evalue *: remove commen
t
ed out
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
do
o
l
a
ege
bar
v
inok_e
n
um
e
r
at
e
_
e
.
cc: ha
n
dle v
e
rif
i
cation
of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvin
o
k_enumerate_e: optional
l
y print
s
tats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_e
n
u
m
erate_e: support
v
erification o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
r
v
inok_enumera
t
e_e:
support
c
onversion
of g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
la
t
ti
c
e_points: another micro-optim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
latt
i
c
e
_
p
o
ints_fixe
d
: na
n
o-optim
i
za
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
g
e
n_fun:
:
ad
d
:
context of sum
should be union of
c
onte
x
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
barvinok_enume
r
ate: use verify inf
r
astructure for ve
r
i
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
nfun
.
cc: print_power:
d
rop spaces aro
u
n
d "
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
co
u
nt_point
s
_e: f
a
l
l bac
k
to count
_
points if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verd
o
olaege
Makefil
e
.
am: check-evalu
e
: print name of eac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check
_
p
o
l
y_prin
t
helper function
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
gen_fun: make sure context is a
l
ways
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::red
u
c
e: canonicali
z
e coefficie
n
ts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
s
h
ort_rat
:
:p
r
int: corr
e
ctl
y
print ou
t
terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvi
n
ok_series: reche
c
k for equalities
a
ft
e
r
computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
g
e
export Matri
x
_Read for readi
n
g Matr
i
x from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
g
e
param_util
.
c
:
add
Pa
r
a
m
_Vertex
_
Do
m
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
u
til
.
c
: supporting_con
s
traint
s
: return
b
i
t
vector
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doola
e
ge
po
l
ylib: update for Matrix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
o
p
tions
.
c: use Polyhe
d
ron_Sampl
e
for counting
infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep trac
k
of and use
sat
u
rating cons
t
raints in Param_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
move value_gcd a
n
d value_
l
cm to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
Bernoulli_sum_
e
value: only comput
e
exact sum if app
r
oximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
Ber
n
oulli_sum_evalue: sum over variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
eva
l
ue
.
c: expo
r
t evalue_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
Polyhed
r
on
_
Excha
n
g
e
Columns: norm
a
lize co
n
straints after
.
.
.
commit
|
commitdiff
|
tree
next