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
evalue_read: fix for top-level fractional part
2007-05-25
Sve
n
Verdoola
e
ge
evalue_read: f
i
x for top-level fractional
par
t
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Ve
r
doolaege
bernoulli
.
c:
B
ernoul
l
i_sum_evalue: reduce res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
be
r
noulli
.
c: perform nested sums approxi
m
ation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n V
e
rdoolaege
a
dd polynomial
approximati
o
n
based o
n
nested sums
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
V
e
r
doolaeg
e
util
.
c: ext
r
act fo
r
_ea
c
h_lowe
r
_
upper
_
bound f
r
om ParamLine_L
e
ngth
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
decomposer: use
NTL to invert matrix rather than conver
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
Verdoola
e
ge
lattice_point
.
cc:
a
l
l
ow rays and verte
x
to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
counter
:
op
t
imize
summing over po
i
nts
i
n fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattic
e
_point
.
cc: avoid conve
r
sion
b
etween
N
TL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoo
l
a
e
g
e
c
o
nversion
.
c
c
:
remove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
eva
l
ue
.
c: ev
a
l
u
e_po
l
y
nomial extrac
t
ed from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoo
l
aeg
e
evalue
.
c
: a
d
d
evalue
_
negate
commit
|
commitdiff
|
tree
2007-05-13
S
ven
V
erd
o
olaege
d
oc: a note o
n
the connection between To
d
d polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doola
e
ge
doc: points in fundapiped: fix
t
y
p
o
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
V
e
r
d
ool
a
e
ge
b
arvinok
.
cc: sim
p
l
i
fy dpol
y
_
n
construct
o
r
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoo
l
aeg
e
Re
m
ove "n
o
rmalization" or powers in deno
m
inator
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sve
n
V
erdoolaege
decom
p
o
ser
.
cc: pass o
p
t
ions to trian
g
ulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
V
e
rdoolaege
barvinok_count:
o
ptionally use exponential substitu
t
ion
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
c
o
u
n
t
e
r
.
c
c: extracted fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
dpoly::d
i
v: avo
i
d computati
o
n with ration
a
l nu
m
bers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly: use Value
i
nstead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ve
r
doolaege
add te
s
t for l
a
tt
i
c
e point
c
om
p
utation
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaeg
e
evalu
e
_re
a
d
.
c:
add ev
a
lue
_
read_fr
o
m
_str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verd
o
olaege
evalue_r
e
ad_f
r
o
m_f
i
le: don'
t
modify var_lis
t
argument
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoo
l
ae
g
e
e
v
alue_read: read m
o
re general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
eva
l
ue_convert
.
cc
:
a
d
d missing in
c
l
u
d
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
lae
g
e
conversion
.
h: generalize r
a
ys2matrix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ver
d
oolaege
l
attic
e
_
p
o
i
n
t
.
h: make
s
elf-contained
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rdoolaege
e
v
alu
e
_
read
:
e
xtract from
m
axim
i
ze
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
ge
en
u
merato
r
: su
p
port primal (hal
f
-
o
pen)
decompo
s
itions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
enumerator:
handle (dual) stopped Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verd
o
olae
g
e
lattice_p
o
i
n
t
.
cc: remo
v
e un
u
sed PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latt
i
ce_point
.
cc: extr
a
ct coset genera
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rdoolaeg
e
lattice_point
.
cc: ren
a
me ceil
_
mod to fract
i
on
a
l
_part
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoo
l
aege
latti
c
e_point
.
cc:
use some help
e
r functions
to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
e
rdoolaeg
e
lattice_point
.
cc: implement lookup-t
a
ble version i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
m
o
ve
more la
t
tice point co
m
putations t
o
l
a
ttice_po
i
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaeg
e
barvinok
.
cc: lattice_poin
t
: r
e
move a sp
e
c
ial case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
doc: integer
p
oints
i
n
f
undame
n
tal parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
g
e
util
.
c: export
M
at
r
ix_T
r
ansposi
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
u
t
il
.
c: export Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rd
o
olaege
scale
.
c: move Param_Ve
r
tex
_
Common_Denomin
a
tor
t
o param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
evalue
.
c:
a
d
d evalu
e
_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
g
e
evalue
.
c: affine2e
v
alue: skip zer
o
coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
ev
a
lu
e
.
c
:
emul_
p
oly: efficiently ha
n
dle
c
ase
of mul
t
iplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
bu
m
p
ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
Verdool
a
ege
doc: update options and some fu
n
ction
commit
|
commitdiff
|
tree
2007-04-28
S
ve
n
Verdoolaege
doc: document volume com
p
ut
a
tion
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
V
e
rdoolae
g
e
doc: more repor
t
s
e
xplaining pa
r
ts o
f
barv
i
no
k
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdo
o
l
aeg
e
b
e
r
ns
t
ein: b
u
m
p
version
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaeg
e
doc:
transformati
o
n
of parameter domain to have re
v
lex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
barv
i
nok
.
cc: barvinok_coun
t
_f: avoid warning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rd
o
olaege
uti
l
.
c: unimodular_complete: handle completion of mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
laeg
e
barvinok_enumerate
.
cc: ha
n
dle all
l
ine
s
in
--
s
erie
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
a
ege
barvino
k
_enumerat
e
.
cc:
series:
p
lug memory
l
eak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaeg
e
doc: doc
u
m
e
nt left_inver
s
e
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verdoolaeg
e
d
oc:
r
e
m
o
v
e
ref
e
ren
c
e to old b
a
rvin
o
k
_
series appl
i
cat
i
o
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doolaege
doc: update
eval
u
e_bernstein_
c
oef
f
ic
i
ents
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdoo
l
aeg
e
barvinok/options
.
h: put
s
t
a
ts fir
s
t in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
barv
i
nok_max
i
mize
:
read_ev
a
l
ue:
supp
o
r
t relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaeg
e
bernste
i
n
.
cc: e
v
alu
e
_berns
t
ein_co
e
fficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
barvin
o
k_ma
x
imize: evalue
_
read: allow i
d
entifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Ve
r
doolaege
barvinok_
m
aximiz
e
: move --(bernstein-)recurse
o
ption
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
lib/argp: fix logic in
h
o
l_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
ge
barvinok_maxim
i
ze: allow
s
pecification of
t
he
variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verd
o
olae
g
e
barv
i
nok_maxim
i
ze: barf on
unexpected first
t
oken
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Ve
r
doola
e
ge
doc: more documents refering to the l
i
b
rary
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oola
e
g
e
eva
l
ue_convert
.
cc: evalue
_
coset: support rel
a
tions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
evalue
.
c: prin
t
_eva
l
ue: always print n
e
w
line
at
t
he
end
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Ver
d
oolaege
doc:
multiv
a
r
iate
quasi-polynomials as lists of
polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
evalue_
c
onver
t
.
cc: include "co
n
fig
.
h
"
to pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaeg
e
doc
:
index addi
t
ions
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc
:
triangul
a
tion
i
n p
r
i
mal space + s
o
me
t
ypo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
doc: document in
n
er_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: ref
e
r to K
o
eppe
a
rt
i
cle f
o
r s
i
mpler mot
i
v
ation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
doc: more publications (implicitly) r
e
fering to t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
c
o
nfig
u
re
.
i
n: add $(EXEEXT) to optional p
r
ograms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
v
en Verdool
a
ege
Makefi
l
e
.
am: make
su
r
e distribution con
t
ains
r
equ
i
r
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
wo
r
k around incomple
t
e namespace support in
old compiler
s
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
disable some features
i
f fdstream doesn't comp
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
barvinok_enumera
t
e
.
cc: a
v
o
i
d use of
f
dstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
laege
barvin
o
k_enum
e
ra
t
e
: do
n
't pr
i
n
t (non-existing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
e
d
omain
.
cc: a
v
o
id us
e
o
f
f
dst
r
eam
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
config
u
re
.
in: ch
e
ck
f
o
r
polylib/polyli
b
gmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaege
dec
l
are variable at start of code blo
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Makefile
.
am:
rebuil
d
l
i
br
a
rie
s
in s
u
bdirs
i
f
missing
commit
|
commitdiff
|
tree
2007-04-18
Sve
n
Verdoolaege
b
a
rv
i
no
k
_enumerate: re
c
heck for equa
l
i
ties a
f
te
r
"
v
a
r
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
Verdoolaege
doc:
a
voting
theory r
e
port that r
e
f
e
rs to the
l
i
b
ra
r
y
commit
|
commitdiff
|
tree
2007-04-15
S
v
en
Ver
d
o
olae
g
e
doc:
u
pdate primal Barvinok refe
r
ence
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
oolae
g
e
doc: add journal version o
f
improved deri
v
ation pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolae
g
e
volume
.
c: keep t
r
ack of
n
u
m
ber of simplices i
n
volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoola
e
ge
t
e
st_approx: test v
o
lum
e
computa
t
i
on variatio
n
s
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
doolaege
volume
.
c
: volum
e
_tri
a
ngulate:
u
se vertex instea
d
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oola
e
ge
v
o
lum
e
.
c: face
_
vertices: use Param_Inner_Pr
o
d
uct
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
e
rdoolaege
Call set_program_name b
e
fo
r
e calling
a
rgp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domain: explo
i
t that no ca
l
ler uses
P
olyh
e
d
ron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
lexmin: s
t
op using Polyhedron2Param_Sim
p
lifiedD
o
main
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
barvinok
.
cc: stop using
P
o
l
yh
e
dron2
P
ara
m
_Simpl
i
fiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
R
e
q
uire
a version of PolyLib that compute
s
correct
.
.
.
commit
|
commitdiff
|
tree
next