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
Move GiNaC-independent part of library to barvinok-core
2008-01-16
Sven Verdoolaege
Move GiNaC
-
independe
n
t part
o
f library to
b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdo
o
laege
poly
l
ib: update
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Ve
r
doolae
g
e
doc: how to c
o
unt t
h
e
n
umber of elemen
t
s in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
d
o
c/implementation
.
tex: avoid multip
l
y defin
e
d labe
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
do
o
la
e
ge
lattice_
w
idth
.
c: try vertices of previous
i
ntege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc
:
document integer hull
c
omputat
i
on
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
hull
.
c
:
a
dd all points foun
d
by sampli
n
g d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Pos
s
ible opti
m
ization
s
for gener
a
lized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
S
u
pport use of generalized
b
a
s
i
s
reduction t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rd
o
olaeg
e
add Po
l
yhed
r
o
n_
I
nteg
e
r_Minimum
f
or comp
u
ting the
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ver
d
o
olaege
doc: document generalized basi
s
r
educti
o
n based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ve
r
doolaege
doc/barvi
n
ok
.
bib: ad
d
m
issing string
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
Verdoolaege
a
d
d
more missing ass
e
rt
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoola
e
ge
evalue
.
c: add
missing
i
n
c
l
ude of al
l
oca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n
V
erdoolae
g
e
config
u
re
.
in:
p
ass
p
a
th of GM
P
installation to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ver
d
o
ola
e
ge
configure
.
in: onl
y
co
m
p
i
le libba
r
vinok as a
s
t
ati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron_
R
educed_
B
asi
s
:
don'
t
stop too earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
c
om
p
ute_width_directions: o
n
ly keep list
o
f dis
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsol
v
e: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
version
.
c:
s
how
us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
conf
i
gure
.
in:
don
'
t set wi
t
h_{poly,p
i
p}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
P
o
l
y
he
d
ron
_
S
a
mple:
b
e
s
a
t
isfied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integ
e
r
_
h
u
ll: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_re
d
uction: k
e
e
p
track of number
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoola
e
g
e
options: move -
-
print-
s
tats
t
o library
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
o
o
laege
bernstein: r
e
w
ork testing framework to not
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
bernst
e
in: add
p
iece
w
ise_lst::is_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
oolaeg
e
support newer ve
r
sions
of G
i
N
a
C (>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ver
d
oolaege
stan
d
ard_constraints: move from t
o
pc
o
m
.
c to poly
s
ign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
polysign
.
h: remove
d
epend
e
nc
y
o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
zsolv
e
:
add banner
.
h to distrib
u
tion
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
aege
Polyhedron_Lattice_Wid
t
h_D
i
rections: print p
r
og
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Ver
d
oolaege
bas
i
s_reductio
n
_pip: abort on
i
n
valid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verd
o
ola
e
ge
R
E
ADME: expl
a
in how to
g
e
t
submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
ol
a
ege
doc: documen
t
latt
i
ce width computation
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
V
erdoolaege
some lattice wid
t
h te
s
ts from Jon Y
a
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_L
a
t
tice_
W
i
dth: decide on
fa
c
ets to cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
add Polyh
e
d
r
o
n
_L
a
tti
c
e_Wid
t
h for co
m
puting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add Cone_
I
nteger_Hull for c
o
mputing ver
t
i
c
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add
pip-backed v
e
rsio
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
ly
s
ign
:
add constraints_opt t
o
c
omp
u
te optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
p
o
l
y
sign_cd
d
: swi
t
ch t
o
use o
f
Matr
i
x representat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
p
olysign_glpk
:
swi
t
c
h
to us
e
of Matrix
r
epre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdo
o
laege
d
oc: document com
p
u
t
ation of Hilbe
r
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
C
one_Hi
l
bert_
B
asis
:
use stan
d
ard_constraints to av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
Use z
s
olve to compute
H
il
b
ert
b
asis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile
zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
er
d
oo
l
a
ege
zsolve: don't install headers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
z
s
olv
e
:
initialize
B
ac
k
upTime
i
n Z
S
olveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolae
g
e
zsolve: zsolveS
y
stem: add
m
issing
v
erbo
s
ity
c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolaeg
e
zsolve: o
v
er
r
ide L
I
BS
f
r
o
m t
o
p level
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
add 4ti2-
1
.
3
.
1+au
t
oconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
r
d
oola
e
ge
a
d
d zso
l
ve f
r
o
m
4ti
2
-1
.
3
.
1+au
t
oconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdo
o
laege
pa
r
am_util
.
c: e
x
p
ort
b
i
t
_vect
o
r_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
lae
g
e
top
c
om
.
c:
e
xtrac
t
part of co
d
e f
o
r s
e
tting
u
p
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verd
o
olaeg
e
gen_fu
n
:
:
Hadamar
d
_product: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
mo
v
e --verbose option to
library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::su
m
m
a
te: hand
l
e full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
R
epla
c
e in
c
rem
e
ntal
i
nf
i
nite
set counter by
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
make counter
:
:add_falling_power
s
s
t
a
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
erg
e
(most of) common
p
art o
f
cou
n
ter and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ic
o
un
t
e
r
: handle specia
l
ization of pol
y
no
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
icounter: don't
bothe
r
"no
r
malizing"
the expon
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
xpor
t
neg_left_hermi
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoo
l
aege
basis_reducti
o
n
_
cdd:
check for possi
b
ly incorrect o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
P
o
ly
h
edron_Sample: h
a
ndle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_
f
un::operator e
v
alue *:
a
l
w
a
y
s ret
u
rn a v
a
lid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verd
o
olaege
gen_
f
un::operator evalue *: remove commented out debug
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvinok_enumerat
e
_e
.
cc: handl
e
verification of probl
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok
_
enumerate_e: op
t
io
n
a
l
ly p
r
int stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
ae
g
e
barvinok
_
enu
m
e
rate_e: s
u
ppor
t
verific
a
tion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoo
l
aege
barvinok_enumerate_e: support convers
i
on of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
lattice_points: an
o
the
r
m
i
cro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aeg
e
lattice_po
i
nts_fixed: nano
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun:
:
add: context of sum should be union of conte
x
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
o
k_enumerate: use verif
y
infrastructure
f
or verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
c
c
:
print_
p
o
w
e
r: d
r
op spac
e
s around
"
/" w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
la
e
ge
coun
t
_points
_
e: fall back to count_points
i
f th
e
re
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
la
e
ge
Make
f
ile
.
am: check-eva
l
ue
:
p
rint name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
ve
r
ify: ad
d
check_poly_pri
n
t
hel
p
er function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
e
ge
gen_fun: mak
e
sure co
n
te
x
t is always set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
re
d
ucer::re
d
u
c
e: canonicalize coeffic
i
e
nts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_rat::
p
rint: correctl
y
print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvi
n
ok_s
e
ri
e
s: recheck for equalities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
e
x
port Ma
t
rix_R
e
ad for reading Mat
r
i
x
from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
param_uti
l
.
c: add Pa
r
am_Vertex_Do
m
a
i
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
util
.
c: supportin
g
_constraints
:
return
b
it vector
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
doolaege
p
o
lylib: update
f
or Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ver
d
o
olaege
o
p
t
ions
.
c: use Polyhedron_Sa
m
ple for c
o
unting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of and use sat
u
rating constrai
n
ts in Par
a
m
_
Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
o
ve value_gcd
a
nd va
l
ue_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
B
ern
o
ulli_su
m
_evalue:
only
compute e
x
act sum if appr
o
x
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Bernou
l
l
i
_sum_eval
u
e: sum ove
r
variables w
i
th integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: e
x
port eva
l
ue_var
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
Poly
h
edron_Exchang
e
Columns: normalize
c
onstraints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
expo
r
t Polyhed
r
on_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
ev
a
l
u
e
_poly
n
omial
:
opti
m
ize evaluat
i
on in
z
ero
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdo
o
laege
evalue
.
c: emu
l
: handle an
o
ther special c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
ol
a
ege
evalue
.
c: eadd: handl
e
some
s
p
ec
i
al
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
introduce and use evalue_free
commit
|
commitdiff
|
tree
next