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
barvinok 0.26
2008-01-16
Sven V
e
rdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rd
o
o
l
aege
add some tests for i
m
ple
m
e
n
t
a
tion
o
f
p
ro
j
e
c
tion theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoo
l
aege
d
o
c
: do
c
u
ment ne
w
o
p
tio
n
s
and new appli
c
ations
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
AUTHORS
:
upda
t
e support informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaege
g
e
nfun
.
cc: s
h
ort_
r
at::print: correctly print pol
y
n
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
g
e
Expor
t
series as barvinok
_
e
numerate_series a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
erdoolaege
remove_parameter_equalities: stop "r
e
m
ovi
n
g" equal
i
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
series
:
leave freeing of P argument to call
i
ng func
t
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
d
oolaege
doc:
do
c
ument impl
e
mentation of t
h
e projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
ad
d
bar
v
inok_enu
m
erate_e
_
serie
s
implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
l
a
eg
e
genfun
.
cc: fix and docu
m
e
nt paralle
l
po
l
yto
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaeg
e
Move
GiNaC-ind
e
pendent part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
polyl
i
b
: upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolaege
doc: how to co
u
nt the number of ele
m
ents in
p
o
ss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verd
o
o
laege
doc/imp
l
em
e
n
tation
.
te
x
: avoid
multiply
d
efined
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
l
atti
c
e_width
.
c: t
r
y vertices of previous intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc: document integer h
u
ll computation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
hull
.
c: add
a
ll points found by sampling
direct
l
y to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Possi
b
le optimizat
i
ons for gene
r
alized bas
i
s redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ve
r
doolaege
Support use of generalize
d
bas
i
s reducti
o
n to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoola
e
ge
add
Polyh
e
dro
n
_Integer_Mini
m
um for com
p
uting
the
in
t
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
doc: do
c
ument g
e
neralized basis
r
e
d
uct
i
o
n
based in
t
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaeg
e
doc/ba
r
vinok
.
b
i
b: a
d
d miss
i
ng
string
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoola
e
ge
add more
m
issi
n
g
a
sse
r
t
.
h #inclu
d
e
s
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
configur
e
.
in: only c
o
m
pile libbarvinok a
s
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
P
o
lyh
e
d
r
on_Reduced_Basis: don'
t
stop too
early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
compu
t
e
_
width_directions: only keep list of
di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
zs
o
lv
e
: d
o
n't
install library
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
version
.
c: show us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
c
onf
i
g
u
r
e
.
in: don't
s
et wit
h
_{poly,pip}lib_prefix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_Sample: be satisfie
d
w
i
th a reason
a
ble choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoola
e
ge
cone_in
t
eger_hull
:
optionally p
r
int st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
Ve
r
do
o
laege
basi
s
_reduction:
k
e
ep track of number
of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
options: move
-
-
p
r
i
nt-stats t
o
l
ibrary
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verd
o
o
la
e
ge
b
ernste
i
n
: rew
o
rk te
s
ting framework to n
o
t
d
epen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
Verdoolaege
bernstein:
a
d
d
p
iecewi
s
e_lst:
:
is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer versions of Gi
N
aC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
standard_constraints: move from topcom
.
c
to polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdo
o
laege
polysign
.
h
: remo
v
e d
e
pendency on l
e
xmi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ver
d
o
olae
g
e
zsolve: add banner
.
h to distributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolaege
Polyhedr
o
n_L
a
ttice_Wi
d
th_
D
ir
e
ct
i
on
s
: print
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
ge
basis_r
e
d
u
ction_pip: abo
r
t on invalid (emp
t
y
)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: explain h
o
w t
o
get submo
d
u
l
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
doc:
d
ocume
n
t la
t
tice
w
idth com
p
utat
i
on
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
some lat
t
ice wid
t
h
tests from Jon
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven
Ver
d
oolaege
Polyhedron_Lattice
_
W
i
dt
h
: de
c
ide
o
n
f
acets
t
o
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
lae
g
e
ad
d
Polyhe
d
ron_
L
attice_
W
idth for
c
o
mputing lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdool
a
ege
h
i
l
ber
t
.
c: ad
d
Con
e
_
Integer_Hull for
c
omputi
n
g vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add pi
p
-
backed versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
polysign: add constr
a
ints_opt to
compute o
p
timum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolaeg
e
polysign
_
cdd: swi
t
ch to use o
f
Matrix representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ys
i
gn_glpk
:
switc
h
t
o
use of Matrix
re
p
r
es
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
do
c
: document computation of Hi
l
bert ba
s
is of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Cone_Hilbert_Ba
s
is: use sta
n
d
a
rd_
c
o
n
straints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
Use zsolve
t
o compute H
i
lbert
b
asis of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
ege
comp
i
le zs
o
lv
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rd
o
olae
g
e
z
s
o
l
v
e: don'
t
i
nstall h
e
ader
s
a
nd execut
a
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zs
o
lve: ini
t
ialize
B
ackupTime in ZSolveCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
olve
:
zs
o
lv
e
System: add missing
v
erbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolv
e
:
override LI
B
S from top level
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Ver
d
o
ol
a
eg
e
add 4ti2-1
.
3
.
1+autoconf-0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
ege
add zsolve from 4ti2-1
.
3
.
1
+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
r
d
oolaege
param_util
.
c
:
export bi
t
_vector_co
u
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
o
laeg
e
topcom
.
c
: extr
a
ct part of code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en Verdoolaege
ge
n
_fun::Hadamard_pro
d
uct
:
p
rint progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdo
o
laege
move
-
-verbose
o
p
tion
t
o
l
i
brary
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun:
:
summate: handle fu
l
l specializ
a
tion
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
Repla
c
e
i
n
c
r
emental inf
i
n
i
te set counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
make counter::a
d
d_falling_
p
owers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
m
erge (most of) common part
of counter
a
nd t
c
ounter
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
i
c
o
unter: handle special
i
zation of polynomial
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
icounter: do
n
't
both
e
r
"normalizi
n
g" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
export neg
_
left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolae
g
e
b
asis
_
reduction_c
d
d: check
f
or pos
s
ib
l
y
incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
r
dool
a
ege
Polyhedron_Sa
m
ple
:
handle polyh
e
dro
n
bec
o
m
i
ng empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
gen_fun
:
:
operator
evalue *: a
l
ways return a va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::op
e
r
a
tor
e
val
u
e *:
r
emove comment
e
d out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
bar
v
i
n
o
k_enumerate_e
.
cc: h
a
n
d
l
e
verification of
problem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
laege
barvino
k
_enumera
t
e_e: optionally print st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
barvinok_enumerate_e: sup
p
ort
verific
a
tion of
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
barv
i
nok
_
enumerate_e: sup
p
ort conver
s
ion of
g
enera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
lattice_points:
a
nother mic
r
o-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
ol
a
ege
la
t
t
ice_p
o
i
nts_fixed: nano
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
l
a
ege
gen_fun::add: context of sum should be union o
f
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
bar
v
inok_enumerate:
u
se
v
erify infrastructure fo
r
verifyin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
genfun
.
cc: print
_
pow
e
r:
drop s
p
aces around "
/
" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
count_points_e: fal
l
b
a
c
k to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
Makefile
.
am:
check-eval
u
e
:
print name of each te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
e
rdoolaege
verify:
a
dd chec
k
_
p
oly_prin
t
hel
p
er function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_fun: m
a
ke sure
c
o
n
te
x
t
is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
reducer:
:
reduce: canonicalize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
h
ort_r
a
t::print: corre
c
tly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
o
l
aege
b
a
r
v
i
n
ok
_
series:
rec
h
eck for e
q
uali
t
ies aft
e
r
com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
exp
o
r
t
Matrix_
R
ead for reading Matrix from a st
r
ea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param
_
util
.
c: add Par
a
m_V
e
rtex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
util
.
c: suppo
r
t
i
n
g_co
n
straints: re
t
urn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
po
l
ylib: u
p
d
a
te
f
or Matrix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoo
l
aeg
e
options
.
c: use Pol
y
hedron
_
S
a
mple for
c
ounting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
keep track
o
f and use saturating constraints in
Param_P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value
_
gcd
and val
u
e_lcm to polylib
commit
|
commitdiff
|
tree
next