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
lattice_point.cc: multi_monom/lattice_points: return malloc'd evalue(s)
2008-01-16
Sven Verdoolaege
po
l
ylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
aege
doc: how to count the number of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
oc/im
p
lementatio
n
.
tex: avoid multiply
defi
n
e
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdo
o
laege
lattice_width
.
c: try vertices of
previous integer
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc: docu
m
ent in
t
eg
e
r hull
computat
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
o
laege
hull
.
c: add all points f
o
und by sa
m
pling
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
er
d
oolaege
P
ossi
b
le optimizations for genera
l
ized bas
i
s re
d
uc
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
olaege
Sup
p
o
r
t u
s
e
o
f
g
en
e
ra
l
ized basis reduction to c
o
mpu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
add Polyh
e
dron_Int
e
ger_Minimum for computing th
e
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
oolaege
doc: document generalized basis reduction based int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verd
o
olaege
do
c
/barvinok
.
b
i
b:
a
dd missing st
r
in
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add m
o
re
missing ass
e
rt
.
h
#i
n
c
lu
d
es
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
c
onfigure
.
in:
o
n
ly
c
ompile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n
Verdoolaege
Polyhe
d
ron_
R
educed_Basis: don't sto
p
too early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
com
p
u
t
e
_width_directions:
only k
e
e
p
list of distin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaeg
e
zsol
v
e: don'
t
i
nst
a
ll libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n V
e
rdoo
l
aege
ver
s
ion
.
c: show use
of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
doo
l
aege
conf
i
gure
.
i
n: don'
t
set with_{poly,
p
ip}lib_prefi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolae
g
e
P
olyhedron_Sample:
be satisfied with a reason
a
ble
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
one
_
integer_h
u
ll: op
t
ion
a
lly print
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
o
laege
basis_re
d
u
ction:
k
eep track of numb
e
r of LPs sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoola
e
ge
options:
m
ove
-
-
p
ri
n
t-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
erdoolaege
ber
n
s
tein: rework
test
i
ng fram
e
w
o
r
k to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoolaege
be
r
n
stein: add piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
support newer versio
n
s of
G
iNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
standard_cons
t
rai
n
ts: mo
v
e from topcom
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
polysign
.
h: rem
o
ve depende
n
cy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
zso
l
v
e: add banner
.
h
t
o distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdool
a
ege
Po
l
yhedron
_
Lattice_Wid
t
h_Direc
t
ions: print pr
o
gress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
ba
s
is_reduction_pip: abort on
i
nv
a
lid (em
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
REA
D
ME: expla
i
n how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: d
o
cument lattice width comput
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rd
o
o
l
aege
some lattice
w
id
t
h te
s
ts
f
rom Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
e
ge
Polyh
e
dron_La
t
tice_Wi
d
th: decide o
n
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en V
e
rd
o
olaege
add
P
olyhed
r
on_La
t
tice_Wid
t
h
for computing l
a
ttice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven
Verdoolaege
hilbert
.
c: add Cone_Int
e
ger_Hull for computing ver
t
i
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
lysign: ad
d
pip-bac
k
e
d
v
ers
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
doo
l
aege
polysign: add constraints_opt to compute o
p
timum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysi
g
n_cdd
:
switch
t
o use of Matrix repres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdool
a
ege
polysign_g
l
pk:
s
witch to u
s
e of Mat
r
ix rep
r
esen
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
ool
a
e
ge
d
o
c:
document computation of
H
ilbert basis
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
e
rdoolaege
Cone_H
i
lbert_Basis:
u
se stan
d
a
r
d_constraints to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
Use zsol
v
e to
comp
u
te Hilbert basis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zs
o
l
ve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
so
l
ve: d
o
n't in
s
tall he
a
ders and executabl
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
olaege
zsolve: i
n
itialize BackupTime in ZSo
l
veContex
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: zsol
v
e
S
ystem: add missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
z
s
olve: overrid
e
LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdo
o
laeg
e
add 4ti2-1
.
3
.
1+autoconf
-
0
.
1
b
a
nner
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
add zsolv
e
from 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c: export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
topcom
.
c: extract part of c
o
de
f
or setting up s
t
andard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
ge
n
_fun::Hada
m
ard_product: print pr
o
gr
e
ss
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n
V
erdoolaege
move --verbose opti
o
n to library
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
gen_fun
:
:
s
ummate:
han
d
le fu
l
l speciali
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
Replace incrementa
l
i
n
fin
i
te
s
e
t
c
o
unte
r
by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
make counte
r
::add_falling_powers s
t
atic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most of
)
common part of counter a
n
d tcou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
icou
n
ter: han
d
l
e
speci
a
lization of polynomi
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
ic
o
unter: don't bother "no
r
mali
z
i
n
g
" the exp
o
n
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoola
e
ge
export neg_left
_
herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
b
a
s
i
s
_r
e
duction_c
d
d:
ch
e
ck for possibly
i
n
co
r
rect
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Polyhed
r
on_S
a
mple: handle polyhedron becoming
e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdool
a
ege
gen_fun::operator evalue *: a
l
ways return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_fun::ope
r
ator
e
value
*
:
remove c
o
mmented out de
b
ugg
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvinok_enume
r
ate_e
.
cc: handle
verification
o
f problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enumerate_e: optional
l
y print stats
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaeg
e
barv
i
nok_enumerate_e: sup
p
o
rt
verification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
barvino
k
_
e
numerate_e: su
p
p
o
rt
conversion of gen
e
ratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
lattice_
p
oints: another micro-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
l
a
tt
i
ce_point
s
_
f
ix
e
d: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
g
e
n
_fun
:
:add: context
o
f sum should be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
barvinok_enum
e
rate: use verify infrastructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
genfun
.
cc: p
r
int_power
:
drop
s
paces around
"
/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doola
e
g
e
cou
n
t_points
_
e:
f
all back
t
o count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Make
f
i
l
e
.
am: chec
k
-evalue: p
r
int name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
verify: add check_poly_print helper
f
unction
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_fun: make sure
context is a
l
ways set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
red
u
c
e
r::
r
edu
c
e: canonicalize
c
oefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oolaege
s
h
ort
_
rat::p
r
int: correctly
print out terms
w
ith a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_series
:
recheck for equalities after com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdool
a
ege
expo
r
t Matrix_Read for
r
ea
d
i
n
g
M
a
trix fr
o
m
a
s
tream
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
o
laege
par
a
m_util
.
c: add
P
aram_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: supporting_constraints: re
t
ur
n
bit vec
t
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
polylib:
upd
a
te for Matrix_E
x
te
n
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
la
e
ge
o
ptions
.
c: u
s
e Polyh
e
d
r
o
n_Sam
p
l
e
for co
u
nting infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
keep t
r
ack of and use satura
t
ing
cons
t
rain
t
s in Pa
r
am_Pol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
move val
u
e_gc
d
and v
a
lue_l
c
m
to
poly
l
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
Be
r
n
oulli_sum_
e
v
a
lue:
o
nly compu
t
e exact
s
um
if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoul
l
i_sum_evalu
e
: su
m
over va
r
iab
l
es with
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
evalue
.
c:
export e
v
a
lue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Polyhedron_ExchangeColumns:
normaliz
e
con
s
t
r
aints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Polyhedron_Exc
h
angeCo
l
umn
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
evalue_polynomial: op
t
i
m
ize
e
valuation i
n
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c
:
emul:
h
andle
anoth
e
r special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c:
e
add:
handl
e
some spe
c
ial ca
s
es
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
in
t
roduce a
n
d use
e
value_fre
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
eva
l
ue
.
c: eadd:
micro-optimize addition
of tw
o
rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
sett
i
n
g an appro
x
ima
t
ion me
t
hod now
implies polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_su
m
mat
e
: optionally
u
se Be
r
n
o
ulli/Faulhab
e
r
.
.
.
commit
|
commitdiff
|
tree
next