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
Sv
e
n Verdoola
e
ge
barv
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
testlib
.
cc: work aroun
d
incomplet
e
names
p
a
c
e
s
u
pport
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaeg
e
scale
.
c
:
e
nu
m
erate_narrow_flated:
d
o
n't
s
i
mplify con
s
trai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
de
c
l
are
v
a
r
iables at start of
co
d
e block
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
doc: update doc
u
m
entation of o
p
ti
o
ns and some functions
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
laege
Polyhedron_Sa
m
p
l
e: fac
t
or po
l
yhed
r
on if possible
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
erdoolaege
Polyhedron_
S
a
m
ple: compute verti
c
es of 1D
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verd
o
olaege
Polyh
e
dron_Sa
m
pl
e
: remove
all equali
t
ies fro
m
polyhed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaeg
e
add possibility
to use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oolaege
Poly
h
edron_Sample: po
s
tpone removal
of rays
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sa
m
ple: use lp solver fo
r
findin
g
ra
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdool
a
ege
lexmin: move c
h
oice of lp solver to
use outsi
d
e bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysign
.
h
: use correct
n
ame of PL_poly
h
e
d
ron_a
f
fine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
barvi
n
o
k_
e
num
e
rate: plug
memory leak i
n
Ber
n
o
ull
i
approximation
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
b
arvi
n
ok
_
e
n
umerate_
e
_r: don't assume
A
ddConstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
erdoolaege
e
v
alue_
f
ra
c
2poly
n
omi
a
l:
recheck
evalue after e
v
alu
e
_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ve
r
doola
e
ge
u
t
i
l
.
c
:
Line_Lengt
h
: don't get
confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdo
o
lae
g
e
Makefile
.
a
m: stop
after first fa
i
led test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
bernstei
n
: carry thr
o
u
g
h
variable
renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
r
doolaege
berns
t
ein: don't assume input polyn
o
mial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read
.
c: corr
e
ct constness of name in paramet
e
r_
n
ew
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue
_
read: a
c
c
e
pt c
o
nstant multiple
of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
V
e
r
doola
e
ge
evalue
.
c: eval
u
e
_
s
um: bet
t
er
h
andling of n
e
gativ
e
values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
ev
a
lu
e
.
c: re
o
rder_terms: fix ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdo
o
laege
evalue: d
e
c
l
a
re first argument of
emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue
.
c
:
emul: don't use explicit_c
o
mplem
e
n
t
on
arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdo
o
laege
add
a
test for evalue_split
_
periods
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c:
e
value_split_period
s
: mak
e
sure
s
elec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: polynomia
l
_projecti
o
n
: use
evalue_
e
xtract
_
affine
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
V
e
r
d
oolaege
add a
t
e
s
t for b
a
rvinok_m
a
xi
m
ize and ba
r
vin
o
k
_
summat
e
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n
Verdoolaeg
e
barv
i
nok_summate: support v
e
rificati
o
n of
r
esults
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
e
value
.
c: evalue_
s
um:
s
p
lit
i
n
to orthan
t
s
+ some refactor
i
ng
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doolaege
barvin
o
k_u
n
i
o
n: us
e
arg
p
for ar
g
ument parsin
g
commit
|
commitdiff
|
tree
2007-06-09
Sven
V
er
d
oolaege
barvinok_enumerate_
u
n
ion_series_w
i
th_options
:
fix t
y
po
commit
|
commitdiff
|
tree
2007-06-07
S
ven Verdoola
e
g
e
basis_reduc
t
ion_cdd
.
cc: get c
o
r
rect dual solut
i
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ve
n
Verdoolaege
basis_reduction_glpk
.
c
:
c
orrectly set
t
ype o
f
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoola
e
ge
basis_reduction_glp
k
.
c
:
c
heck f
o
r sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven
Ve
r
doolaege
options: mention default
and available
s
olvers
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
Verdoolaege
po
l
yhed
r
on_sample: take
o
ptions
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n
V
erdoolaege
doc: more
a
bout power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Ve
r
do
o
laege
doc: t
y
p
o
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdo
o
laege
d
oc:
repeat Matthias'
s
topped
B
arvinok experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ver
d
oolaege
ad
d
b
a
rvinok_summate
t
o
sum a q
u
asi-polynom
i
al over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolae
g
e
ev
a
lue_read: f
i
x for t
o
p-l
e
vel fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Verdool
a
eg
e
bernoulli
.
c: Bernoulli_su
m
_evalue: redu
c
e
resu
l
ting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
Ve
r
doolaege
bernou
l
l
i
.
c: perform nested
s
ums ap
p
roximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Ver
d
oolaege
a
dd polynomial appr
o
ximation base
d
on n
e
s
te
d
su
m
s
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
u
t
il
.
c: ext
r
act for_each_lo
w
er_upper_bound
f
r
o
m
ParamLine_Le
n
gth
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verd
o
olaege
decomposer:
u
s
e NTL t
o
inv
e
rt matrix rather
than c
o
nvering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdo
o
laege
lat
t
i
ce_point
.
cc: allow rays and v
e
rtex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
c
ounter:
o
ptimize summing
o
ve
r
p
o
ints
i
n
f
u
ndapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
lattice_point
.
cc: avoid
conversion betwe
e
n
N
TL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
c
o
nversion
.
cc: rem
o
ve r
a
ys2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
evalu
e
.
c
:
e
va
l
ue_polynomia
l
e
x
tracted from
b
a
rv
i
nok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
evalue
.
c: add evalue_negat
e
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
V
erd
o
olaege
doc: a note on the conn
e
cti
o
n betwe
e
n Todd polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
doc: points in fundapiped: f
i
x typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaeg
e
barvi
n
o
k
.
cc
:
simplif
y
dpo
l
y_n constru
c
to
r
commit
|
commitdiff
|
tree
2007-05-10
Sven Verd
o
o
l
aege
Remove "normalization
"
or pow
e
rs in de
n
omina
t
or on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven
Verdoolaeg
e
decomposer
.
c
c
: pass
opti
o
n
s
to triang
u
late
_
cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
doolae
g
e
bar
v
inok_coun
t
:
opt
i
onal
l
y use expo
n
ential su
b
stitu
t
io
n
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoola
e
ge
c
ou
n
t
e
r
.
c
c
:
e
x
t
r
acted fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoo
l
aege
dpo
l
y::d
i
v: avoid comp
u
tation with rational numb
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly: use
Value instead o
f
ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdo
o
laege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
add
tes
t
for la
t
t
i
ce point com
p
u
t
a
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
e
v
a
l
u
e_read
.
c:
a
dd evalue_read_f
r
om_st
r
for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
d
oola
e
ge
evalue_r
e
ad_from_file: don't modify
var_list argume
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verd
o
ola
e
ge
evalue_read
:
read more general e
v
alue
s
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
d
o
olaege
ev
a
lu
e
_
c
onvert
.
cc:
ad
d
missing include
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdo
o
laege
conversion
.
h: generaliz
e
r
a
y
s2matrix
2
to zz2
m
atrix
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
l
a
ttice_point
.
h: make self-
c
ontained
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
doolaege
evalue_
r
e
a
d: extra
c
t
from
m
a
x
i
m
ize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
enu
m
erator: supp
o
rt primal (half
-
o
p
e
n
)
decompo
s
ition
s
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
enumerato
r
: handle (dual) stopped Ba
r
vinok
deco
m
position
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
lat
t
ice_point
.
cc: remove unused PD argumen
t
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ve
r
doolaege
l
atti
c
e_poi
n
t
.
cc: extract coset
g
eneration
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
l
aege
latt
i
ce
_
point
.
cc
:
renam
e
ceil_mod to fractio
n
a
l
_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
g
e
latt
i
ce
_
po
i
nt
.
cc:
use
s
ome helper functions t
o
simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ve
r
doolaege
la
t
tice_point
.
cc: implement lo
o
kup-ta
b
l
e
ver
s
ion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ve
r
doolaege
m
o
ve more lat
t
ice point computations
t
o lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
b
arvinok
.
cc: lattice_
p
oint: remo
v
e a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
doc
:
int
e
ger poin
t
s in
fu
n
d
a
mental
p
arallele
p
ip
e
d:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoo
l
aege
util
.
c: export
Matri
x
_Tr
a
n
sposi
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c
:
e
x
port Vec
t
or
_
Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
scale
.
c: move Param_Vertex_Common_Denominat
o
r
t
o
p
a
r
a
m
_
util
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaeg
e
evalu
e
.
c
: add evalue_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
ev
a
lue
.
c: affine2ev
a
lue: skip zero c
o
efficie
n
ts
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalu
e
.
c: emul_poly: efficiently handle c
a
s
e of
mu
l
tiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdo
o
laege
bump
v
ersion
commit
|
commitdiff
|
tree
2007-04-28
Sven
Ver
d
oolaege
d
o
c
:
update opt
i
o
ns and some functi
o
n
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verd
o
olaege
doc: docum
e
nt
v
olum
e
computat
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
oc: more
rep
o
rts explaining par
t
s of
b
a
rvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bernste
i
n:
bump
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
doc: t
r
ansformat
i
on of par
a
meter doma
i
n to
h
ave revle
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verd
o
olaege
barvi
n
ok
.
cc: bar
v
inok_count_f: avoid warning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
ut
i
l
.
c
:
unimo
d
ular_complete: handle completio
n
of
m
ore
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaege
bar
v
inok_enumerate
.
cc: ha
n
dle all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oolaege
b
a
rvi
n
o
k_enumerate
.
cc: series: plug memor
y
leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc:
d
ocume
n
t l
e
f
t_i
n
v
e
rse
commit
|
commitdiff
|
tree
next