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
add 4ti2-1.3.1+autoconf-0.1 banner
2007-09-08
S
v
en Verdool
a
ege
l
attice_point: use Param_Ve
r
tex_Comm
o
n_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
make decomposer
.
h
self
-
c
o
nt
a
ined
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
r
e
d
uce_d
o
main: avoid use of macro
p
arameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
a
e
ge
Use piplib du
r
ing bas
i
s reduction if no oth
e
r LP solve
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bu
n
dl
e
d piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
add
p
iplib m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
Use bu
n
dled P
o
lyLib by de
f
ault
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
add p
o
l
y
li
b
submodu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bernstein: all
o
w
l
i
n
king agai
n
st
u
nin
s
talled, but built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolae
g
e
add more missing assert
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2007-08-29
Sv
e
n
Verdoola
e
ge
add dummy implementations of function
s
that depend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Ve
r
doolaege
update "C
o
u
n
t
i
ng with rational generating fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
en Verdoola
e
g
e
barvino
k
.
cc: split off part constructing
g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
Verdoolaeg
e
b
a
rvinok
.
cc: spli
t
off part
dealing with existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdoolaege
*cou
n
te
r
: avoid recom
p
utation
of d
e
nomi
n
at
o
r
s
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoo
l
a
ege
c
o
unter:
remove redundant mem
b
er
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
change type o
f
s
o
me "sign"s to int as they ca
n
only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoola
e
ge
doc:
u
pdate A
l
gorithmica pub
l
ication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
e
value
.
c:
m
ake p
a
r
am
e
te
r
names of
t
ype const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c: Polyhedron_RemoveFixedColumns: correctl
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
en Verdoolaege
util
.
c: remove_equalities:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven
V
erdoo
l
a
ege
Param_Polyhedron
_
Print:
print everyt
h
ing to
g
iven file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verd
o
olaege
barvinok_enumerate_with_
o
ptions: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven V
e
rdoolaege
barvinok
.
cc: don't
f
ree
P
argument
in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
l
a
ege
remove_all_equal
i
ties
:
a
lso
r
emov
e
equ
a
lities
i
n
context
commit
|
commitdiff
|
tree
2007-07-29
Sv
e
n Verdoo
l
aege
volume
.
c
: a
v
oid warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Ve
r
do
o
laege
e
x
port Param_Inner_Product
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
barvinok_enumerate
.
cc: add minimal check on
i
npu
t
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoo
l
ae
g
e
m
ore protot
y
pe changes
to const char *
commit
|
commitdiff
|
tree
2007-07-19
S
ven V
e
rd
o
olae
g
e
evalue: pr
i
nt_e
v
alue: make
p
arameter names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n Verdoolaeg
e
Alwa
y
s co
m
pile p
o
lytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sv
e
n Verd
o
o
la
e
ge
polytope_sc
a
n: u
s
e
arg
p
for argumen
t
p
a
r
sing
commit
|
commitdiff
|
tree
2007-07-05
Sven Verdoolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Verdoolaege
c
onfigure
.
in: allow specification of de
f
ault prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven
V
erd
o
o
lae
g
e
consolidate call
s
to Poly
h
e
d
ron2Param_
D
omai
n
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n
V
erdo
o
la
e
ge
volume
.
c: fix typo
i
n comm
e
nt
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdool
a
ege
Mak
e
file
.
am: add $(EXEEXT)
for c
y
gw
i
n
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am:
f
orce
rebuild libra
r
ies in subdirs if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven
V
erdoola
e
ge
only tes
t
b
a
rvinok_ma
x
imi
z
e if it has be
e
n/
c
a
n be created
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verd
o
olaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolae
g
e
t
e
stlib
.
cc: work around incomp
l
et
e
namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
scal
e
.
c: enumerate_narrow_flated: d
o
n't simplify constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
rdoolaege
declare variables
a
t
start of c
o
de block
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
d
o
c:
update docu
m
entation of options and som
e
func
t
ions
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
Pol
y
hedron_Sample:
f
ac
t
or polyhed
r
on if
p
ossible
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
r
doolaege
Polyhedr
o
n_S
a
mple: compute vertices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
Polyhedron_Sample:
remove all equalities from polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
rdoolaege
add possibility
to use GLPK as LP so
l
v
er
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Ve
r
doolaege
Polyhedron
_
Sample: postpone remo
v
al of rays u
n
til we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
Polyhe
d
r
o
n_Sample: use lp
sol
v
er for finding rang
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolae
g
e
lexmin
:
mov
e
choice
of lp solver to use
o
utside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
polys
i
gn
.
h: use correct nam
e
of
P
L_polyhed
r
on_affine
_
sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
r
d
oolaege
b
arvinok_
e
nu
m
erate
:
plug
mem
o
ry leak in Bernoulli approx
i
mation
commit
|
commitdiff
|
tree
2007-06-30
S
ve
n
Ve
r
dool
a
ege
b
arvinok
_
enu
m
erate_e_r: don't assume AddConstraint
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
evalue_frac2polyno
m
ia
l
: recheck evalue af
t
er ev
a
l
ue
_
split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
eg
e
util
.
c: Line_Length: don't
g
et
c
on
f
used by
positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
Makefile
.
am: stop after fir
s
t
f
ailed tes
t
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
bernstei
n
: carry thr
o
ugh
v
aria
b
le
ren
a
ming
to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdoolaege
b
e
r
nstei
n
: don't assume input polynomial ha
s
been expand
e
d
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
dool
a
eg
e
evalue_r
e
ad
.
c:
correct con
s
t
n
ess of name in para
m
eter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ve
n
Ver
d
oo
l
ae
g
e
evalue_read
:
accept
constant multiple of
variable
without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ver
d
oolaege
evalue
.
c: evalue_sum:
better
han
d
ling o
f
n
egative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
evalue
.
c
:
reorder_
t
erms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
evalue: declare fi
r
st arg
u
ment of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
do
o
l
a
ege
evalue
.
c:
e
m
ul: don't use expli
c
it_comple
m
e
n
t on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven V
e
rdoolaege
add a
test for eva
l
ue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Hara
l
d
.
D
e
vos@elis
.
.
.
find_fraction
a
l_with_ma
x
_peri
o
ds: initia
l
i
ze local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdoola
e
ge
eva
l
ue
.
c: evalue_spli
t
_periods: make
s
u
re select
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en Verd
o
olaege
evalue
.
c:
p
olynomial_projection
:
use
evalue_
e
xtract_affine
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoo
l
aege
a
d
d
a test for
b
ar
v
i
nok
_
maximiz
e
and barv
i
nok
_
s
umm
a
te
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barv
i
nok_summate:
s
u
ppor
t
v
e
rific
a
t
i
o
n
of re
s
ul
t
s
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
e
r
d
oolaege
evalue
.
c
:
evalue_sum
:
split into orthan
t
s + s
o
me ref
a
ctorin
g
commit
|
commitdiff
|
tree
2007-06-10
S
v
en Verdoolaege
barvinok
_
u
n
ion: use argp for argument
parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
barvin
o
k_enum
e
r
a
te_union_series_with_optio
n
s
: f
i
x typ
o
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
b
asis_reduction_cdd
.
c
c
:
get c
o
rrect dual
s
olution i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
olaege
basis_re
d
uction_g
l
p
k
.
c:
corr
e
ctly set typ
e
of
r
ows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ven Verdoolaege
b
a
sis_
r
eduction_g
l
p
k
.
c
: ch
e
ck for sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rd
o
ol
a
ege
options: m
e
n
t
ion default and availa
b
le solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdoola
e
ge
polyhedron_sam
p
le: take option
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
doc:
more about
p
ower
s
ums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdool
a
ege
doc: t
y
po
commit
|
commitdiff
|
tree
2007-05-30
Sv
e
n V
e
rdoolaege
doc:
r
epeat Mat
t
hias' sto
p
ped Barvinok exp
e
r
i
m
en
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdo
o
laege
add
b
arvinok_summate to
sum
a
quasi-p
o
ly
n
omial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ver
d
oo
l
aege
evalue_read: f
i
x for top-level
f
r
a
c
tional par
t
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Ve
r
d
oolaege
b
e
rnoulli
.
c: Bernoulli_sum_evalue: reduce r
e
sulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
Verd
o
olaeg
e
bernoulli
.
c
:
perform
nes
t
e
d
sums ap
p
r
o
x
i
mat
i
on depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
ad
d
polynomia
l
approximation b
a
s
e
d o
n
nes
t
ed
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
o
olaege
util
.
c: extract for
_
each_lower_upper_bound from Par
a
mLine_Le
n
gth
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verdoolaege
decomp
o
ser
:
us
e
NTL to inve
r
t matrix rather tha
n
convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
V
e
r
d
oolaege
l
attice_point
.
cc: allow rays and ver
t
ex
t
o ha
v
e bee
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
c
ounter: optimiz
e
summing o
v
er points in
f
un
d
apip
e
d
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
la
t
tice_point
.
c
c
:
avoid conversion betwe
e
n
NTL an
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conver
s
ion
.
c
c
: remove r
a
ys2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdoolaege
e
v
alue
.
c:
evalue_polynomial extracted from barvi
n
ok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
evalue
.
c: a
d
d evalue
_
neg
a
te
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc: a no
t
e
o
n the connectio
n
between
Todd poly
n
om
i
als
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n V
e
rdoolaege
d
oc: po
i
n
ts in fundapiped:
fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoola
e
ge
barvinok
.
cc: simplif
y
dpoly_n const
r
uc
t
or
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Remo
v
e "normalization"
o
r
powers in
den
o
minator on
.
.
.
commit
|
commitdiff
|
tree
next