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
doc: document integer hull computation
2007-11-21
Sven Verdoo
l
aege
doc
:
document integer hull compu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoolaege
hull
.
c: add all points fou
n
d by sampling dir
e
c
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
Verdoola
e
ge
P
o
ssi
b
le
optimizations for generalized basis
r
e
duction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdool
a
eg
e
Support use of generalized basis reduc
t
i
o
n to co
m
pu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
add P
o
lyhedr
o
n_
I
nt
e
g
er_
M
i
nimum for computing th
e
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
d
o
c: docu
m
ent
g
eneraliz
e
d basi
s
re
d
uc
t
ion based int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
doc/b
a
r
vinok
.
b
ib: add missing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoola
e
g
e
add more missing assert
.
h #incl
u
des
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
configure
.
in: only com
p
ile libbarvino
k
a
s
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
Polyhedron
_
Re
d
u
c
ed_Basis: don't stop
t
o
o
e
arly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en V
e
rdoolaege
comp
u
t
e
_
w
i
dth_directions
:
o
nly keep list of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
V
e
rdo
o
la
e
ge
zso
l
ve:
d
on't install librar
y
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoo
l
aege
v
e
rsion
.
c: show
u
s
e
of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
c
onfi
g
ure
.
in:
d
on't set
w
ith_{poly,pip}l
i
b_p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdool
a
eg
e
Pol
y
he
d
r
on_
S
ample: be
satisfi
e
d w
i
t
h a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdo
o
laege
cone_integer_hull: o
p
tionally print stats
commit
|
commitdiff
|
tree
2007-11-08
S
ven V
e
rdoolaege
bas
i
s_reductio
n
:
keep tra
c
k of number o
f
L
P
s solved
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoola
e
g
e
opti
o
ns: mo
v
e --print-
s
t
a
ts to
librar
y
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdool
a
ege
b
e
r
n
stein:
rework testing
f
ra
m
e
w
ork t
o
not depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
b
erns
t
ein: add
p
iece
w
ise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
s
u
p
port newer
versions of GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ve
r
doolaege
standard_constrain
t
s: move from topc
o
m
.
c
t
o
polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erd
o
ol
a
e
g
e
pol
y
sign
.
h: remove dependency on le
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
la
e
ge
zsolv
e
: add banner
.
h to d
i
stribution
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoolae
g
e
Polyhe
d
ron_Lattice_Width_D
i
rections
:
print progr
e
ss
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolaege
bas
i
s
_
r
eduction_pip: abort on invali
d
(em
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
RE
A
DME: ex
p
lain how to g
e
t s
u
bmod
u
l
es
commit
|
commitdiff
|
tree
2007-11-02
S
ven V
e
r
doolaege
doc:
d
ocum
e
n
t l
a
ttice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Ve
r
d
o
olaege
some latt
i
ce
w
idth tests from Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolaege
P
o
l
y
h
edron_Lattice_Wid
t
h:
d
ecide on facets to clo
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolaege
add Polyhe
d
ron_Lattic
e
_Width for co
m
puting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
e
g
e
hilbert
.
c: a
d
d Cone_I
n
te
g
er_Hull fo
r
co
m
puting vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
pol
y
sign: add p
i
p-backe
d
version
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoolaege
polysign: add constra
i
n
ts_opt to compute op
t
i
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
e
r
d
oolaege
polysign
_
c
d
d:
switch to use of Matrix representat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polysign
_
gl
p
k: switch
to
u
s
e
o
f
Matrix rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
d
o
c: document
c
o
mputation of Hilbe
r
t b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
oolaege
Cone_
H
ilbert_Basis: use st
a
ndard
_
con
s
traints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
U
se zsolve
t
o compu
t
e Hilbert ba
s
is o
f
a
c
o
n
e
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oolaege
com
p
ile zso
l
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't i
n
s
t
al
l
headers and executab
l
es
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
olve: init
i
ali
z
e BackupTime in ZSolve
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zs
o
lveSystem: add miss
i
ng
verbosi
t
y check
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
laege
zs
o
l
v
e:
override LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Ver
d
oolaeg
e
a
d
d z
s
o
l
ve from 4ti2-1
.
3
.
1+au
t
oconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
param_
u
til
.
c: expo
r
t
b
it_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
ola
e
ge
topcom
.
c
:
extra
c
t part of
c
ode for
s
ett
i
ng up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdool
a
ege
g
en_fu
n
:
:Hadamard_produc
t
:
print progres
s
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdool
a
ege
mov
e
--verbose optio
n
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
ge
n
_fun::sum
m
ate: handle full specializ
a
tion
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaeg
e
Replace increm
e
n
t
al
infinit
e
set count
e
r
b
y "r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
mak
e
c
o
unter
:
:add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
m
erge
(
most
o
f) common part of counter and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ve
r
dool
a
e
g
e
icounter:
h
andle specializat
i
on of pol
y
n
omials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
icounter: don't bother "nor
m
alizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
export n
e
g_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
basis_reduction_
c
dd: check
f
or possibly incor
r
ect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
P
olyhe
d
r
o
n_Sa
m
ple: handle pol
y
hedro
n
becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::
o
perator evalue *: alway
s
r
eturn a v
a
lid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen
_
f
un::operat
o
r eval
u
e *:
remove
c
ommente
d
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barv
i
nok
_
enumerate_e
.
cc: handle ver
i
fic
a
ti
o
n of pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e
:
optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
b
a
rvinok_enumer
a
t
e
_e: support
v
eri
f
ication o
f
g
ene
r
a
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barv
i
nok_enume
r
at
e
_e: s
u
pport convers
i
on o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoo
l
aege
latti
c
e_points:
a
nother micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
ol
a
e
ge
lattice_points
_
fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun
:
:ad
d
: context of sum shoul
d
b
e unio
n
of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_e
n
u
merate:
u
se verify
i
nfr
a
structure for
verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
ge
n
fun
.
cc: print_p
o
w
er: d
r
op spac
e
s
around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
r
d
o
olaege
cou
n
t_poin
t
s_e: fall back to count_
p
oints if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
Makefi
l
e
.
a
m
: check-evalue: print name
of
e
a
ch test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
veri
f
y
: add check_po
l
y_pr
i
nt
help
e
r function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_fun: make s
u
re
context
i
s al
w
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::reduce: c
a
nonicalize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
short_rat::p
r
int:
c
orr
e
ctly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
b
arvino
k
_seri
e
s: r
e
check
f
or eq
u
alities a
f
ter
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
expor
t
M
atrix_Read for reading Matrix from a st
r
e
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
param_util
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: suppo
r
ting_constraints
:
return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
polylib:
update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
option
s
.
c:
u
se Polyhed
r
on_Sample for counting
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ke
e
p track of and use
s
aturating co
n
s
traints in
Pa
r
am_P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
move
value_gc
d
and valu
e
_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Bernoulli_sum_evalue: on
l
y
compute
e
xact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
o
l
aege
B
ernoulli_s
u
m_evalue: sum ove
r
vari
a
b
l
es
w
ith
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
evalue
.
c: export
ev
a
lue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
laege
P
o
lyhedron_Exchan
g
e
Columns: normal
i
z
e constraint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
expo
r
t Polyhedron_Exchang
e
Columns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
eva
l
ue_polynomial: op
t
imize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: emul
:
handle anoth
e
r special
cas
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
rdo
o
laege
evalue
.
c
: eadd: handle some
s
p
eci
a
l cases
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
introduce and use
e
va
l
ue_fr
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
g
e
evalue
.
c: eadd: micro-o
p
timi
z
e addition of two
r
at
i
onals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
set
t
in
g
a
n
approximation me
t
hod now implies po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
g
e
b
arvinok_summate: optionally use
Bern
o
ulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Bernoulli_sum_evalue: use e
v
alue
_
f
rom_sect
i
o
n
_a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok/polylib
.
h: remove compa
t
i
bility with old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
l
aeg
e
mo
v
e Vector_Oppose to Pol
y
Lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polytope_scan: reena
b
le --dir
e
c
t o
p
tion
commit
|
commitdiff
|
tree
next