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.24
2007-06-30
Sve
n
V
e
rdoolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaeg
e
testlib
.
c
c: work a
r
oun
d
in
c
omplete namespace
s
upport
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
doolaege
s
c
ale
.
c: enum
e
rate_nar
r
ow_flat
e
d
: don't simpl
i
fy constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
declare vari
a
bles at start of co
d
e bl
o
ck
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
oolaege
doc: update do
c
umentation of
op
t
ions a
n
d
s
om
e
function
s
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ve
r
doolaege
Polyhedron_Sample
:
factor po
l
yhedron if possible
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Ve
r
doolaeg
e
P
o
lyhedron_Sample: compute vert
i
ces of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
Polyh
e
d
r
on
_
Sample: remove all equa
l
ities f
r
om
polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
a
dd
possibility to use
G
LPK a
s
LP so
l
ver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Pol
y
hedron_Sampl
e
: p
o
s
t
pone removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdool
a
ege
Polyhedron_S
a
mple:
u
se lp solver
f
or finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
ool
a
ege
lexmin
:
move
c
hoice
of
lp s
o
l
ver to use
outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
laeg
e
polysign
.
h: use c
o
rrect nam
e
o
f
PL
_
p
olyhedron_af
f
ine_si
g
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
a
ege
barvin
o
k_enumerate: plug me
m
ory leak i
n
B
er
n
oulli
a
pproximation
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
oolae
g
e
b
arvinok_enume
r
a
te_e_r: don't assume AddConstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
eva
l
ue_fra
c
2p
o
l
y
nomial: reche
c
k evalue afte
r
evalue_spli
t
_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
e
rdoolaege
util
.
c: Line_Le
n
g
t
h:
don
'
t get confused by pos
i
tivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
V
erdool
a
ege
Makef
i
l
e
.
am
:
stop after fi
r
st fai
l
e
d test
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoo
l
aege
bernstei
n
:
carry
t
hrough variable renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstein: don't a
s
sume input
p
o
l
y
nomial has
b
een expand
e
d
commit
|
commitdiff
|
tree
2007-06-27
S
ve
n
Verdoolaege
eva
l
ue_read
.
c: correct constn
e
ss of
na
m
e in p
a
ram
e
ter_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
en Verdoolaege
ev
a
lu
e
_read: a
c
cept constant multiple
o
f variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
e
n Verdoo
l
aege
evalue
.
c: evalue_sum:
b
ett
e
r handling of n
e
gat
i
v
e values
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n
Ve
r
doolaeg
e
evalue
.
c: reord
e
r_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue: declare first argument of emul con
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue
.
c
:
e
mul: don't use e
x
plicit
_
complement on
argumen
t
s
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaeg
e
add a test for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
d
o
olaeg
e
eva
l
ue
.
c
:
e
v
al
u
e_split_periods: make su
r
e selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ver
d
oolaege
e
value
.
c
: poly
n
omial_p
r
ojectio
n
: use evalue_e
x
tract_affin
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
add
a
te
s
t for barv
i
nok_maximize and
barvinok_
s
umm
a
te
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoolaege
barv
i
nok_summate:
suppo
r
t
ver
i
f
ication of result
s
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
r
d
o
olae
g
e
eva
l
u
e
.
c: evalu
e
_sum: s
p
lit int
o
or
t
hants + som
e
refactoring
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoolaege
barvinok_uni
o
n: use argp for argument parsi
n
g
commit
|
commitdiff
|
tree
2007-06-09
Sv
e
n Ver
d
oolaege
barvinok
_
enumerate_union_
s
eries_with_options: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaeg
e
basis_reduction_cdd
.
c
c
: get correct dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_red
u
ction_
g
lpk
.
c: corre
c
tly
s
e
t
type
o
f row
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
e
n
Ver
d
oo
l
aege
b
a
sis_reduction_glpk
.
c
:
chec
k
f
o
r
s
a
n
it
y
of solutio
n
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoo
l
aege
options:
mention def
a
ult and availa
b
l
e sol
v
ers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
S
v
e
n Ve
r
do
o
laege
polyhedron_sample: take options
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdo
o
l
aege
d
oc: more abo
u
t power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
Ve
r
d
o
olaege
doc: ty
p
o
commit
|
commitdiff
|
tree
2007-05-30
Sv
e
n Ve
r
do
o
laege
doc: re
p
eat Matthias' stopped Barvino
k
exp
e
riments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Ve
r
dool
a
ege
a
d
d barvinok_summate to
sum a
quasi-polynomia
l
ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
evalue
_
read: fix f
o
r top-level fractio
n
a
l
part
commit
|
commitdiff
|
tree
2007-05-14
Sven V
e
rdoolaege
b
e
rno
u
lli
.
c: Bernoulli
_
sum_e
v
alue:
redu
c
e r
e
su
l
ting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
en Verdoo
l
aege
be
r
noulli
.
c: perform nested sums approx
i
m
ation de
p
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdo
o
laege
a
d
d polynomial
approxim
a
tion based
on
n
ested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
util
.
c: e
x
t
ract for
_
each_lower_upper_bound f
r
om ParamLine
_
Length
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ve
r
doolaege
decomposer: use NTL to
invert matr
i
x rath
e
r than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
lattice_poi
n
t
.
cc
:
al
l
ow rays a
n
d v
e
rtex to ha
v
e been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaeg
e
co
u
n
ter: o
p
timize summin
g
over points in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
o
ola
e
ge
lattic
e
_po
i
nt
.
cc: avoid conversion bet
w
een NT
L
an
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
c
o
n
v
er
s
ion
.
cc: remove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoola
e
ge
e
v
alue
.
c: eva
l
ue_p
o
l
y
nomial
extracted from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
e
value
.
c: a
d
d ev
a
lue_nega
t
e
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
d
oc: a
n
o
te on the connec
t
io
n
between Tod
d
polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
doc: points in fund
a
piped: f
i
x typo
commit
|
commitdiff
|
tree
2007-05-10
S
ven
V
erdoolaeg
e
barv
i
n
ok
.
cc:
simplify dpoly_n constr
u
ctor
commit
|
commitdiff
|
tree
2007-05-10
Sv
e
n Verdoolaege
Remove "normalization" or p
o
wers in denominat
o
r on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven V
e
r
do
o
laege
decom
p
ose
r
.
cc: pa
s
s op
t
ions t
o
t
r
iangulate
_
cone
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdoolaege
barvinok_count: op
t
i
o
na
l
ly use expo
n
ential substitution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolae
g
e
co
u
nte
r
.
c
c
:
e
x
t
ract
e
d from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
ool
a
eg
e
dpoly::div: avoi
d
computation wi
t
h rat
i
ona
l
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
ven Ve
r
doolaege
dpoly: use
Value instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
o
ol
a
e
ge
doc:
f
ix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
add te
s
t for lattice point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
evalue_read
.
c: add eva
l
ue_r
e
ad_
f
r
om_
s
tr for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
evalue_read
_
from_file
:
don't modify var
_
list argument
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verdoolaege
evalue_re
a
d: read more general evalues
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
evalue_convert
.
c
c: add missi
n
g incl
u
de
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
c
onversi
o
n
.
h: ge
n
eralize ra
y
s2matrix2 to
zz
2
m
a
trix
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lat
t
i
c
e_
p
oint
.
h
:
m
a
ke self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
evalue_read
:
extract f
r
o
m
maxi
m
i
ze
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
enumerator: suppo
r
t
p
ri
m
al (half-
o
p
en) dec
o
m
positions
commit
|
commitdiff
|
tree
2007-05-02
S
ven V
e
rdoolaege
enumerator: handle (dua
l
)
s
t
opped Barvin
o
k deco
m
position
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
lattic
e
_point
.
cc: remove unused PD argu
m
ent
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
lattice_point
.
cc
:
e
x
trac
t
coset ge
n
eration
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_point
.
c
c: rename ce
i
l
_
m
od
t
o fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
la
t
tice_point
.
cc
:
use
s
ome helper functions
to simpl
i
f
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Ver
d
oolaege
l
a
ttice_
p
oint
.
c
c
:
imple
m
ent looku
p
-
table ver
s
ion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
move
m
ore
l
attice p
o
in
t
c
omputatio
n
s to lattice_point
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ba
r
v
i
nok
.
cc: lattic
e
_point: remove a special
case
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
d
oolae
g
e
doc
:
integer points in fundamenta
l
parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: ex
p
or
t
Matr
i
x_Transpositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
util
.
c: export Vecto
r
_Op
p
os
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
g
e
s
c
ale
.
c: move Param_Vertex_Common_Denomi
n
ator to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolae
g
e
e
v
a
lue
.
c:
a
dd evalue_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
lue
.
c: affine
2
evalue: s
k
ip ze
r
o coe
f
ficien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
e
value
.
c
: emul_poly
:
e
f
ficie
n
tly handle
case of m
u
ltiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaeg
e
bump
v
e
r
sion
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
V
e
rdoola
e
ge
doc
:
upda
t
e option
s
a
nd som
e
f
unction
commit
|
commitdiff
|
tree
2007-04-28
Sven
Ve
r
doolaeg
e
doc: documen
t
volume c
o
mputa
t
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
g
e
doc: more reports
explaining parts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaeg
e
bernste
i
n: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
doc: t
r
ansfor
m
a
tion of pa
r
amet
e
r
d
o
m
ain to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
bar
v
inok
.
cc
:
barvinok_count_f: av
o
id warning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
u
t
il
.
c: unimod
u
lar_com
p
lete: han
d
le c
o
m
ple
t
ion
o
f m
o
re
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok_enumerate
.
cc: handle all lines in -
-
series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Ve
r
doolaege
barvinok_en
u
merate
.
cc: series: plug
memo
r
y
leak
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verdoolaeg
e
doc: docu
m
ent left_inverse
commit
|
commitdiff
|
tree
next