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 V
e
rdoolaege
doc: do
c
ument intege
r
hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ol
a
ege
hull
.
c: add a
l
l points found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdo
o
l
ae
g
e
Possible optimizations for gener
a
lized
b
asis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
Ve
r
doolae
g
e
Support
use of genera
l
ized basis
r
educti
o
n t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
add Polyhedron_I
n
te
g
er_Minimu
m
for computin
g
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
d
oolaege
doc: document gene
r
ali
z
ed basis redu
c
tion b
a
sed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
do
c
/barvinok
.
bib: add mis
s
i
ng st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdoolaege
add more m
i
ssi
n
g ass
e
rt
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
i
n
: o
n
ly compile libbarvinok as a stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
P
olyhedron_R
e
d
uced_Ba
s
is: don't sto
p
t
o
o
early whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
do
o
laeg
e
compute_width
_
d
i
rectio
n
s
: only keep l
i
st of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
zsolve: don't install l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
version
.
c: show use of TOPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
e
ge
configure
.
in: don't
s
e
t
w
i
th
_
{
poly,pip}lib_prefix f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolae
g
e
Polyhedro
n
_Sample: be s
a
ti
s
f
i
ed
with a rea
s
ona
b
le choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_
i
nteger_hull:
optionall
y
print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_reductio
n
:
k
ee
p
track
o
f n
u
mber of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
la
e
g
e
optio
n
s:
move --print
-
stats to l
i
b
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
ol
a
ege
bernstein: rework testing framework to
n
ot de
p
end on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oo
l
aege
ber
n
s
tein: add
p
iecewise_lst::is_equa
l
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
s
upport newer
v
e
r
s
ions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_constraints: mov
e
from topcom
.
c to
po
l
y
s
ig
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven V
e
r
d
oolaege
pol
y
sig
n
.
h: re
m
ove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
z
solve: add bann
e
r
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolae
g
e
P
o
lyhedron_L
a
ttice_W
i
dth_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
ven Ve
r
d
o
ola
e
ge
ba
s
is_redu
c
tion_pip:
abort
o
n invalid (emp
t
y) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
README:
explain how to get submod
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document latti
c
e width
c
ompu
t
ation
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
s
ome lattice wi
d
th tests f
r
om Jon Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_Lattic
e
_
Width
:
d
ecide on
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoo
l
aege
add Polyhedron_L
a
tt
i
ce_Wid
t
h for com
p
uting la
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n Ve
r
doolaege
hi
l
b
e
r
t
.
c: add
Cone
_
I
n
tege
r
_Hu
l
l
f
or computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolae
g
e
poly
s
ign: add pip-backed versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
polysign:
ad
d
constraint
s
_
o
pt to comput
e
optimum
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_cdd:
switch to
use of M
a
trix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
poly
s
ign_glpk: switch to use
o
f
Ma
t
rix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
doc: document com
p
utat
i
on of
H
ilb
e
rt b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
Cone_Hilbert_Bas
i
s:
u
s
e
standard_cons
t
r
aints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
Use
z
solve to
c
ompute Hilb
e
rt
b
asis of a
c
on
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile z
s
olve
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verd
o
ol
a
eg
e
zsolve: d
o
n
't install headers
an
d
ex
e
cutables
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
olaege
zso
l
ve: initia
l
ize BackupT
i
me in Z
S
olveContext
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zs
o
l
ve
:
zsolveSy
s
tem: add
m
issing verbosity
check
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
ool
a
ege
zsolve: overr
i
de LIBS from top
level
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
er
d
oolaege
add 4ti
2
-
1
.
3
.
1+a
u
t
o
con
f
-0
.
1
b
a
nner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
add
zsolve fro
m
4ti2-1
.
3
.
1+au
t
ocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
p
a
ram_ut
i
l
.
c: export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaeg
e
topcom
.
c: extract p
a
rt of cod
e
f
or
s
etting up stan
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hadamard_product: print
p
rogress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n Verdoolae
g
e
mov
e
--verbose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
gen_fun::summate: handle
f
ull specia
l
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
R
epla
c
e i
n
cremental i
n
finite set co
u
nter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
make
coun
t
er::add_falling_powers
static
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
merge
(most of) co
m
mon
part of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
icounte
r
: handle specia
l
i
za
t
ion of polynomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
icounter:
d
o
n't bother "normalizing" th
e
exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
erdool
a
ege
e
xport neg_left_he
r
mite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_reduction_cdd: check for
p
ossib
l
y i
n
correct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
Polyhedron_Sa
m
ple: handle polyhed
r
on beco
m
ing empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
gen_
f
un
:
:operator eval
u
e
*: a
l
ways return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen_fun::opera
t
or
e
v
alue *
:
re
m
ove comme
n
te
d
o
u
t d
e
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barv
i
nok
_
enu
m
erat
e
_e
.
cc: handle verification of
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
barvinok_enumer
a
te_e
:
o
p
tionally print sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
bar
v
inok_enum
e
rate_e: support verification
of g
e
ner
a
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ba
r
vino
k
_enume
r
a
t
e
_
e
:
support conversion of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
lattice_poi
n
ts: another mic
r
o-optimiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
lattice_p
o
i
n
t
s_f
i
x
ed: nano
-
opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fu
n
:
:add:
context of sum s
h
ould be
union
of con
t
exts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
b
arv
i
n
o
k_enumerate:
use verify infrastructure for
v
e
r
ifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
genfun
.
cc:
p
rint
_
power:
d
rop sp
a
ces ar
o
und "/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
c
o
unt_poi
n
ts_
e
: f
a
ll back
t
o count_points if
t
he
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
Makefile
.
am: c
h
eck-e
v
alue: print name o
f
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
v
er
i
fy: a
d
d check_poly_print helper f
u
ncti
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
g
e
n_fun: make
sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
red
u
cer::reduce:
canonicalize c
o
efficients in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
short_ra
t
::pri
n
t: corre
c
tly print o
u
t
terms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_se
r
ies: recheck for equalities
after comp
u
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ex
p
ort Mat
r
ix
_
Read for reading Matrix
f
r
om a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laeg
e
param
_
u
t
il
.
c: add Pa
r
am_
V
er
t
ex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
u
t
i
l
.
c: s
u
p
port
i
n
g_constrain
t
s
:
return bi
t
vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib:
u
pdate for Matrix_Ex
t
end
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
o
p
tions
.
c: use Po
l
yhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ke
e
p track of
and us
e
sa
t
urating constraints i
n
Param_Po
l
yhedron
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
move value_gcd and value
_
l
c
m
t
o polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ve
r
doolaege
B
e
rnoulli_sum_evalue: only
c
o
mput
e
e
xa
c
t
sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Bernoulli_sum_
e
v
alue: sum o
v
e
r
variable
s
with inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c: e
x
port
e
val
u
e
_
var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
e
g
e
Polyhedron_Exc
h
a
n
g
e
Columns:
normal
i
z
e constraints
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
export Polyhedr
o
n_Exc
h
angeCol
u
mns
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
evalue_pol
y
nomial: optimize eval
u
atio
n
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
e
v
alue
.
c: emul
:
ha
n
dle
a
nother
s
pecial case
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolae
g
e
evalue
.
c
:
ea
d
d
:
handle
s
om
e
special cases
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoola
e
ge
int
r
oduce an
d
u
se
e
v
a
l
ue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c: ead
d
:
micro-optimize addition of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
doolaege
setting a
n
appro
x
imation
m
e
thod n
o
w implie
s
p
o
lyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_summate: optionally use Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
Bernoulli
_
sum_eva
l
ue: u
s
e
evalue_from_
s
ection_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/polylib
.
h
: remove comp
a
t
ibi
l
ity wit
h
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
move Vector_Oppose t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
po
l
ytope_scan: reenab
l
e
--dir
e
ct option
commit
|
commitdiff
|
tree
next