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
polytope_scan: use argp for argument parsing
2007-07-11
Sv
e
n V
e
rdoolaege
polytope_sc
a
n: use
a
r
g
p f
o
r
a
rgume
n
t parsin
g
commit
|
commitdiff
|
tree
2007-07-05
Sven
V
erdoola
e
ge
d
o
c: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
conf
i
gure
.
in: allow specifica
t
i
o
n of def
a
ult prefi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdoolaege
c
o
nsol
i
dat
e
calls to Polyhedr
o
n2
P
aram_D
o
m
a
in
commit
|
commitdiff
|
tree
2007-07-03
Sven Verd
o
o
laege
volume
.
c:
f
i
x
typo in comment
commit
|
commitdiff
|
tree
2007-07-01
Sven Ve
r
do
o
laege
M
a
kefile
.
am: add $(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
M
a
kefile
.
a
m: force rebuild librar
i
es in su
b
dir
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verd
o
o
l
aege
o
nly test barv
i
n
o
k_maxi
m
ize if
i
t ha
s
bee
n
/c
a
n
b
e create
d
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoo
l
aege
b
a
rvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laeg
e
testlib
.
cc: w
o
r
k
a
round incomplete nam
e
space
s
upport
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
s
c
ale
.
c: enumerate_n
a
rro
w
_flated:
don't
s
implify constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ve
r
doola
e
ge
declare variab
l
es at s
t
art
o
f code block
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verd
o
ola
e
ge
doc:
u
p
date
d
ocumentation
o
f op
t
ions and some function
s
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolae
g
e
Polyhedron_Sa
m
ple: factor p
o
lyhe
d
ron if possibl
e
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
P
o
lyhedron_
S
ample: compute vertic
e
s of 1
D
p
o
lyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolae
g
e
Pol
y
hedr
o
n_Sample
:
r
e
move all equal
i
ties
f
rom poly
h
ed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
laege
a
d
d poss
i
bility to use
G
LPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyh
e
dron
_
Sam
p
le: postpone removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
laege
P
olyhedron_Sample: use lp solv
e
r
for finding
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdo
o
laeg
e
lexmin:
m
ove choice of lp solver to use outsid
e
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
polysign
.
h: use correct name of P
L
_poly
h
edron_affine_sig
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
b
a
rvinok_enumera
t
e: p
l
ug
memory leak
i
n Bernoul
l
i
app
r
oximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
a
r
vinok_enumer
a
te_e_r
:
don't assume A
d
d
C
onstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
evalue_f
r
ac2p
o
lynomial:
r
e
check evalue after eva
l
ue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
util
.
c: Line_Le
n
gth: don'
t
get confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Mak
e
file
.
a
m
: stop after f
i
rs
t
failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven
Ve
r
d
oo
l
aege
bernstein: carry
t
hrough
v
ariable ren
a
ming
to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaeg
e
ber
n
stein: don't assume i
n
put polynomial has
b
e
en expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
ev
a
lue_r
e
ad
.
c: c
o
rrect constn
e
ss o
f
nam
e
in
p
ar
a
meter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ve
n
Verdoola
e
ge
evalue_read:
accept constant mu
l
tiple of variab
l
e with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ver
d
oolaeg
e
evalue
.
c
:
e
value_sum: b
e
tte
r
handling
of negative va
l
u
es
commit
|
commitdiff
|
tree
2007-06-15
Sven
V
er
d
o
o
la
e
ge
evalue
.
c: reorder_terms: fi
x
typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
ev
a
lue: declar
e
f
irst argument o
f
e
m
ul const
commit
|
commitdiff
|
tree
2007-06-14
S
v
en
V
erdoolaege
evalue
.
c:
emul: don't
u
se explicit
_
c
o
mpleme
n
t on
arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
e
rdoolaege
a
d
d a
t
e
st
for eva
l
ue_
s
pli
t
_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
D
e
vos@elis
.
.
.
f
i
nd_frac
t
ional_with_max_periods:
i
nitialize local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoo
l
aege
evalu
e
.
c
: e
v
alue_split_periods: m
a
k
e
sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
erdoolaege
evalue
.
c
: polynom
i
a
l_projectio
n
:
use
e
value_ex
t
ract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
add a test for b
a
rvinok
_
maximize and
b
a
r
vinok_summ
a
te
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
erdool
a
ege
b
a
r
v
inok_sum
m
at
e
: support verificat
i
on of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolae
g
e
evalue
.
c:
e
value_sum: spl
i
t into orthants + some r
e
factoring
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
Verdoo
l
aege
barv
i
n
o
k_union: us
e
argp for argum
e
nt parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoola
e
ge
barvinok_enumer
a
te_union
_
seri
e
s_with
_
o
ption
s
:
f
i
x typ
o
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolaege
b
a
s
i
s_reduction_cdd
.
cc: get
correct dual sol
u
t
ion in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Ve
r
do
o
laege
bas
i
s_
r
educ
t
ion_glpk
.
c: correct
l
y
set type of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
b
a
sis_reducti
o
n_glpk
.
c:
check for sanity o
f
solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolae
g
e
o
ption
s
: men
t
ion defaul
t
a
nd ava
i
labl
e
solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
pol
y
hedron
_
sample
:
take option
s
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Ve
r
doolaege
do
c
:
more about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
erd
o
ol
a
e
ge
doc:
t
y
p
o
commit
|
commitdiff
|
tree
2007-05-30
Sven V
e
r
doolaege
doc: repea
t
Ma
t
thias' stopped Ba
r
v
in
o
k experim
e
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
add barvi
n
o
k
_summate to
sum a
quasi-polynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
evalue_read: f
i
x for
top-level fractio
n
al
p
art
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
V
e
rd
o
o
laege
b
e
r
n
o
ulli
.
c: Bernoulli_sum_evalue:
r
educe
r
esult
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
en Verdool
a
ege
bernoulli
.
c
:
perform
n
ested sums app
r
oximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
add polyno
m
ial appr
o
x
i
mation b
a
sed on nested
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
util
.
c:
e
xt
r
act for_each_lower_upper_bound fr
o
m ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
decomposer: us
e
NTL to i
n
v
e
rt matrix rather than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
er
d
o
ola
e
ge
lattice_point
.
cc: allow ray
s
a
nd vertex
to have be
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
counter: optimize summing o
v
er
points in fu
n
dapiped
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoola
e
ge
lattice_po
i
nt
.
cc: a
v
oid
con
v
ers
i
on between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
c
onversion
.
cc: remove rays2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
evalue
.
c
:
e
v
al
u
e_polynomial extracted from bar
v
inok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c
: a
d
d evalue_
n
egat
e
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoola
e
g
e
doc: a n
o
te on the connect
i
on betwee
n
T
odd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
doc: points
in fu
n
dapi
p
ed:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2007-05-10
S
ven Verdoolaege
barvinok
.
cc: simplify dp
o
ly
_
n
constru
c
tor
commit
|
commitdiff
|
tree
2007-05-10
S
v
en Verdoolaege
Remove "norma
l
ization" or powe
r
s
in den
o
minato
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
deco
m
poser
.
cc
:
p
ass optio
n
s
t
o
triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
ba
r
vinok_coun
t
: optionally
use exponential substituti
o
n
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdo
o
laege
counter
.
cc: extracted from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoolae
g
e
dpoly
:
:div: avoid com
p
utati
o
n with rational numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoo
l
ae
g
e
dpoly: use Va
l
ue ins
t
ead of
ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
doc
:
fix typ
o
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ve
r
doolaege
add test for lat
t
ice poi
n
t
c
omputation
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
olaege
evalue_read
.
c
:
add evalue_read_
f
rom_
s
tr for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
evalu
e
_read_from_file:
don't
m
odify var_list argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolae
g
e
evalue_rea
d
: read
more ge
n
eral evalues
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ve
r
doolaege
evalue_convert
.
cc:
a
dd m
i
ssing in
c
lud
e
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
erdoola
e
ge
conversion
.
h: ge
n
eralize ray
s
2mat
r
ix
2
to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattic
e
_point
.
h: make
s
elf-contai
n
ed
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Verdoolaege
eva
l
u
e_read: e
x
tract from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
ge
e
n
umerator: support
pr
i
mal
(
half
-
o
pen) decompositions
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ve
r
d
o
olaege
enumerator:
hand
l
e (du
a
l) stopped B
a
rvinok de
c
ompo
s
itio
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
oo
l
a
ege
l
at
t
ic
e
_point
.
cc: remove
u
nused PD argument
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Verdoolaege
latti
c
e
_point
.
cc: extr
a
ct cos
e
t generation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latti
c
e_point
.
cc: rename
c
eil
_
m
o
d to
fr
a
ctional
_
pa
r
t
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verdoolaeg
e
lattic
e
_po
i
n
t
.
cc: use some h
e
lp
e
r functio
n
s to simp
l
i
fy
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
rdoolaege
l
attice_p
o
int
.
cc:
i
m
p
lement look
u
p-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
doolaege
move more lattice p
o
i
n
t
computations to lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdool
a
ege
barvinok
.
c
c: lattice
_
point
:
remove a special ca
s
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
do
c
: int
e
ger points in
fundamental para
l
lelep
i
ped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
u
t
il
.
c:
export
M
atrix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaeg
e
util
.
c: export Vector_O
p
pose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ol
a
ege
sc
a
le
.
c: mo
v
e Param_V
e
rtex_C
o
mmon_
D
eno
m
in
a
tor
to pa
r
am_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eva
l
ue
.
c: add evalue_add_con
s
tant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
evalue
.
c: aff
i
ne2eval
u
e: skip z
e
ro
coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
evalue
.
c
:
e
mul_p
o
ly: e
f
fici
e
n
t
ly
h
a
nd
l
e ca
s
e of mult
i
plicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
o
o
l
aege
doc:
update options and some fu
n
c
t
ion
commit
|
commitdiff
|
tree
next