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
series: leave freeing of P argument to calling function
2008-01-16
Sve
n
Verdoolaege
series: leave
free
i
n
g of P argument to
c
alling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc:
docume
n
t implementati
o
n of the project
i
on t
h
eore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
dd
b
arvinok_
e
numerate_e_serie
s
i
mpl
e
menting t
h
e projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
laege
gen
f
un
.
cc: fix and d
o
cument par
a
l
l
el
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
olae
g
e
Onl
y
compile z
s
olve
if gcc 3
.
4 or later is
a
vailable
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Mov
e
Gi
N
aC-independent pa
r
t of l
i
bra
r
y
to bar
v
i
n
ok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
polyli
b
:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
g
e
d
o
c: how to count the number o
f
elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven
Verdoolaeg
e
doc/impleme
n
t
a
tion
.
tex: avoid mu
l
tiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
lattice_width
.
c: tr
y
vertice
s
of
previous int
e
ger h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc: docume
n
t inte
g
er hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
u
l
l
.
c: add all points found
b
y sampling di
r
ectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
Possible optimizatio
n
s
for ge
n
eralized basis redu
c
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdo
o
lae
g
e
Support use of generali
z
ed basis r
e
d
uction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolae
g
e
add
Polyhe
d
ron_Integer_Mi
n
imum
fo
r
computing the integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoola
e
ge
d
o
c: d
o
cument general
i
zed b
a
sis reduction based in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
d
oc/barvinok
.
bib:
add mi
s
sin
g
string
commit
|
commitdiff
|
tree
2007-11-17
S
ven Ver
d
oolaege
add more missing assert
.
h #incl
u
des
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoolaege
evalue
.
c: add missing i
n
clu
d
e
o
f allo
c
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
configur
e
.
in: p
a
ss path of
G
MP
ins
t
allation to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verd
o
olaege
configure
.
in:
o
n
ly compile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
Po
l
yhedron_Reduced_Basis: don't sto
p
too ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_
w
idth_d
i
rections: only keep list of dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ve
n
Verdool
a
ege
zs
o
lve: don't install li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oola
e
ge
versi
o
n
.
c:
show
u
s
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdo
o
laege
conf
i
gure
.
in: don't
s
et wit
h
_
{poly,pip}lib_pr
e
fi
x
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
lae
g
e
Polyhedron_Sample: be satisfied with a reason
a
ble
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
cone
_
integer_hull: optionally prin
t
st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoo
l
aege
basis_reductio
n
: ke
e
p track of number of L
P
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
opti
o
ns
:
move -
-
pr
i
nt-
s
tats
to librar
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
b
e
rnstein: rework testin
g
framework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoo
l
a
e
g
e
b
ernst
e
in: add
p
iecewise
_
lst::is
_
eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
suppor
t
newer versions
o
f GiNaC (
>
= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
t
andard_constra
i
nt
s
:
move from topcom
.
c to
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verdoolaeg
e
p
o
lysig
n
.
h: remove d
e
pen
d
e
n
cy on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
do
o
lae
g
e
zsolve: add banne
r
.
h t
o
distrib
u
tion
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
Polyhedron_La
t
tice_Width_
D
irecti
o
n
s
:
p
rint p
r
o
g
res
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verd
o
olaege
basis
_
reduction_pip:
a
bort
on inva
l
id (empty) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaege
R
EADME: ex
p
l
a
in how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
do
c
: d
o
cument lattice
w
idth computa
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
some l
a
t
tice w
i
d
t
h tests from Jon Yagg
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
a
e
ge
Po
l
y
hedron_
L
a
ttice_Width:
decid
e
on fac
e
ts to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
ad
d
Polyhedron_Latti
c
e_
W
idt
h
f
o
r computing
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verd
o
o
laege
hilbert
.
c: add
C
one_Int
e
ger_Hul
l
for computing vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysig
n
: a
d
d p
i
p-bac
k
ed vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
o
l
aege
pol
y
s
ig
n
: add constraints_
o
p
t
to
comput
e
optim
u
m
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
si
g
n_cdd: switch t
o
use of Ma
t
ri
x
r
e
p
r
ese
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
laege
polysi
g
n_glpk: switch to
u
se of
M
a
t
r
i
x
represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olae
g
e
doc: documen
t
computation of
Hilbert basi
s
of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hilber
t
_Basis
:
use s
t
a
n
dard_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
r
do
o
laege
U
se z
s
olve to compute Hilber
t
ba
s
is of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
dool
a
ege
co
m
pile
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
ol
v
e: don
'
t install
headers and execu
t
abl
e
s
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
o
o
laege
zsolv
e
:
i
nitialize
Backup
T
ime in ZSolv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: zsolveSystem: add missing v
e
rbosity c
h
ec
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsol
v
e
:
o
verride LIB
S
f
r
om
t
op le
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
ol
a
ege
add 4ti2-
1
.
3
.
1+
a
u
t
oconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaeg
e
add zsolv
e
fr
o
m 4ti2-1
.
3
.
1+a
u
t
o
co
n
f-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
oolaege
param_util
.
c: expo
r
t bit_v
e
c
t
or_count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
topcom
.
c:
extract
p
a
rt o
f
code for setting
up standa
r
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolae
g
e
gen_fun::Ha
d
ama
r
d_
p
rod
u
ct: print progress ind
i
cator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdool
a
ege
mo
v
e -
-
verbo
s
e option to library
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Ve
r
do
o
laege
gen
_
fun::summate: ha
n
dl
e
fu
l
l specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
Repl
a
ce incr
e
mental inf
i
nite set counter by "regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make
cou
n
ter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
e
ge
m
er
g
e (mos
t
of) common p
a
rt of counter and tcou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
icounter: handle specialization of p
o
lynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
icounter: don't bo
t
her
"normalizing
"
the e
x
ponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ba
s
is_red
u
c
t
ion_cdd: c
h
eck
f
o
r possibly incor
r
ect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Polyhedro
n
_S
a
mpl
e
: handle polyhedron b
e
coming e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen
_
fun::
o
perator
e
value *
:
alw
a
ys return
a
va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::opera
t
or eval
u
e *: remove commented out deb
u
gg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_enumerate
_
e
.
cc: h
a
ndle verification
of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
g
e
barvino
k
_e
n
u
m
erate_e: opt
i
onally print stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
barvinok_e
n
umerate_e: support ver
i
fication of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
ol
a
ege
barvin
o
k
_
enumerate_e: support c
o
nversion of
gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verd
o
olaege
lat
t
ic
e
_points: anoth
e
r micro-op
t
i
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points_fixed:
na
n
o-o
p
t
imi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
g
e
n
_
f
u
n::add: context of sum
should be
u
nion
of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enumerate:
u
se verify i
n
frast
r
ucture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc: print_pow
e
r:
d
rop
s
p
a
ces ar
o
und "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoo
l
aege
count_points_e
:
f
all back to count_p
o
ints
i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaeg
e
Makefile
.
am:
check
-
eval
u
e: pri
n
t
n
ame of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
ver
i
fy: add check_poly_print helper
f
u
nct
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olae
g
e
gen_fun: mak
e
sure
cont
e
xt is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
reduce
r
::reduc
e
: canonica
l
i
ze
c
oef
f
icients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
s
hort_
r
a
t::print: correctly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
barvino
k
_serie
s
: recheck for equalities aft
e
r comp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
ex
p
ort Mat
r
ix
_
R
e
ad f
o
r re
a
ding
M
a
t
rix
from a stream
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaeg
e
param_util
.
c:
add Param_V
e
rtex_
D
o
m
a
i
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
uti
l
.
c: supp
o
rting_constraint
s
:
r
e
turn bit vec
t
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
g
e
po
l
ylib: upd
a
te
f
or Matrix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
options
.
c: use Po
l
yhedron_Sample f
o
r counting
infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
keep track o
f
and use saturating c
o
nstraints in Param_Polyh
e
dron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
move v
a
lue_
g
cd
a
nd valu
e
_lcm
t
o p
o
lyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
Bernoulli_
s
u
m_e
v
alue
:
only comp
u
te
exact
s
um if ap
p
roxima
t
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
Bern
o
ulli_sum_evalue:
s
um over variabl
e
s wit
h
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
eva
l
ue
.
c: export evalue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Polyhedron_ExchangeColumns: n
o
rmalize co
n
s
traints
after
.
.
.
commit
|
commitdiff
|
tree
next