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
make counter::add_falling_powers static
2007-09-08
Sven Verdoolaege
a
dd pol
y
l
ib submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
ber
n
stei
n
:
a
l
l
ow li
n
kin
g
agai
n
st
uninstalled, but bu
i
lt
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add more mi
s
s
in
g
as
s
e
r
t
.
h
#
i
ncludes
commit
|
commitdiff
|
tree
2007-08-29
S
ven Verdoola
e
g
e
add dumm
y
implementation
s
of
f
unctions that depe
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
updat
e
"Counting with rational generatin
g
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoo
l
aege
barvinok
.
cc: split off part construc
t
ing generatin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sve
n
V
erdoolaege
barvinok
.
cc:
split off part dealing with
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven V
e
rd
o
olaege
*count
e
r
:
avo
i
d recomputatio
n
of denomina
t
ors when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
S
ven Verdo
o
laege
counter: remove r
e
d
u
ndant membe
r
commit
|
commitdiff
|
tree
2007-08-16
Sven
Verdoola
e
ge
chang
e
type of some "sign
"
s
to int as they c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sve
n
Verdoolaege
d
o
c: upda
t
e Algorithmic
a
publication
commit
|
commitdiff
|
tree
2007-08-10
Sven
Ver
d
oolaeg
e
evalue
.
c:
m
a
ke parameter n
a
me
s
of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sv
e
n
V
erdoolaege
sample
.
c
:
Polyhedron_RemoveF
i
xedColumns: co
r
rect
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
e
n
Verdoolaege
util
.
c: rem
o
ve_equalitie
s
: fix t
y
p
o
commit
|
commitdiff
|
tree
2007-07-30
Sven V
e
rdoolaege
Param_
P
ol
y
hedron_Print: print
e
ve
r
yt
h
ing to given file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
b
a
r
vinok_e
n
um
e
r
a
te_with
_
options: don't add con
t
ex
t
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven
Verdoolaege
barvin
o
k
.
c
c: don't free P ar
g
ume
n
t in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven
V
erdoolae
g
e
remove_all_equalities
:
a
l
so remove equalities i
n
context
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
volu
m
e
.
c: avo
i
d warnings
commit
|
commitdiff
|
tree
2007-07-27
Sven Verdoolaege
e
x
p
ort
Pa
r
am_Inner
_
Produ
c
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verdoolaege
bar
v
inok_enume
r
a
te
.
cc: ad
d
min
i
mal c
h
eck on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
mo
r
e prototype
c
hanges to cons
t
c
ha
r
*
commit
|
commitdiff
|
tree
2007-07-19
Sven
Verd
o
o
laege
evalu
e
: print_evalue: make p
a
ramet
e
r names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdoola
e
g
e
Always
c
o
m
pile
p
olytope_scan
commit
|
commitdiff
|
tree
2007-07-11
Sven
Verdoola
e
g
e
polytope_scan: use argp for argument
par
s
ing
commit
|
commitdiff
|
tree
2007-07-05
S
v
e
n
Verdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolae
g
e
c
o
n
f
igure
.
in: a
l
low specif
i
c
a
tion of default
prefi
x
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sv
e
n Verdoolae
g
e
consol
i
date ca
l
ls to Polyhedron2
P
a
r
a
m
_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
vol
u
me
.
c:
fi
x
typo
i
n com
m
e
n
t
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdool
a
ege
Makefile
.
am
:
a
d
d $(EXEE
X
T) for
c
ygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
Makefile
.
am:
force
r
e
b
uild libraries in
s
u
b
di
r
s
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdo
o
laeg
e
o
nly
t
e
st barvinok_
m
aximize if it has
been/ca
n
be created
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
ola
e
ge
barvinok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oolaege
t
e
stli
b
.
cc: work
a
r
o
und i
n
complete namespace support
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verd
o
olaege
scale
.
c: enumerate_n
a
rrow_fla
t
e
d: don
'
t
s
i
mplify constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
d
eclar
e
vari
a
bles a
t
st
a
rt
o
f
code
b
lock
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoola
e
g
e
d
oc:
upd
a
te documentation of options
and some functi
o
ns
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Po
l
yhed
r
on
_
Sample: fact
o
r polyhedron
i
f possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Poly
h
edron_Samp
l
e
:
c
o
mpute vertice
s
of 1
D
p
o
lyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
lae
g
e
Polyhedr
o
n_
S
ample: re
m
o
v
e
a
ll equaliti
e
s from p
o
ly
h
ed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdo
o
l
a
ege
add p
o
s
s
ibility
t
o use GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
e
ge
Pol
y
hedron
_
Sample: postpone removal of rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdool
a
ege
Polyhedron_Sample: use lp solver for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
lexmin: move choice o
f
lp solve
r
to u
s
e outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
polysign
.
h:
u
se co
r
rec
t
name of PL_p
o
lyhedron_aff
i
ne_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
barv
i
nok_enumerate: plug memory leak
in Bern
o
ulli approxim
a
ti
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
b
arvinok_enum
e
rate_e_r: don't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoolaege
e
v
alue
_
frac2polynomial:
recheck
e
value after
e
v
a
lue_split_
d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
ut
i
l
.
c: Line_Length:
don't g
e
t confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Makefile
.
am: stop a
f
ter
first failed
test
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n V
e
r
doolaege
bernstein:
carry throu
g
h
vari
a
ble renam
i
ng to deb
u
gg
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
ber
n
s
tein: don't a
s
sume input polynomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
S
ven
V
er
d
oolaege
eva
l
ue_
r
ead
.
c: cor
r
ect constness of name in para
m
eter_
n
ew
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
e
r
d
o
olaege
evalue_read: accept co
n
stant m
u
lt
i
ple of variabl
e
withou
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
S
v
en Ver
d
oolaege
evalue
.
c: evalue_sum: better handling of negative values
commit
|
commitdiff
|
tree
2007-06-15
Sven Ver
d
oolaege
evalue
.
c: reo
r
der_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoola
e
ge
evalue: dec
l
a
r
e first ar
g
ument of emul const
commit
|
commitdiff
|
tree
2007-06-14
S
ven Verdoolaeg
e
evalue
.
c: emul
:
don
'
t use ex
p
lic
i
t_complement o
n
arguments
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoolaege
a
dd a test for evalue_split_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
De
v
os@elis
.
.
.
find_fracti
o
nal_with_max_
p
er
i
ods: i
n
itialize
l
ocal
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sv
e
n Verdoolae
g
e
evalue
.
c
:
evalue_spli
t
_periods:
m
ake sur
e
se
l
ec
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
ven V
e
rdoolaege
evalue
.
c
: po
l
ynom
i
al_pr
o
jection: use evalue_extrac
t
_a
f
f
i
ne
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doolae
g
e
add a test for barvino
k
_max
i
mize an
d
barvino
k
_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
e
rdoolaege
barvin
o
k_s
u
mmate: support ver
i
fication of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
eva
l
u
e
.
c: eva
l
ue
_
sum: split
i
nto orthants +
s
ome
refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
rd
o
olae
g
e
bar
v
inok_union
:
use argp for ar
g
ument pars
i
n
g
commit
|
commitdiff
|
tree
2007-06-09
Sve
n
Ve
r
doolaege
ba
r
vi
n
ok_enumerate_unio
n
_
se
r
ies_with_options: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolaege
ba
s
is
_
re
d
u
c
t
i
on_cdd
.
cc
:
get corre
c
t dual
solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolae
g
e
basi
s
_
r
eduction_
g
l
pk
.
c
:
correctly
set type of
r
ows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ven Verdoolaege
b
asis_
r
educt
i
on_gl
p
k
.
c: check for
s
anity of
solu
t
i
o
n
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
ege
o
ptions: mention
d
e
faul
t
and availab
l
e
s
olvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rdoolaeg
e
po
l
yhe
d
r
o
n_sample: take options
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
erdoolaege
doc: more abo
u
t power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Ve
r
doolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sv
e
n
V
er
d
oolaeg
e
do
c
:
repea
t
Matthias' s
t
oppe
d
Barvinok
experi
m
ents
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven V
e
rd
o
olaege
a
dd barvinok_summate to sum a q
u
asi-polynom
i
a
l ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoo
l
ae
g
e
eva
l
ue_read: fix for top-level fracti
o
n
al part
commit
|
commitdiff
|
tree
2007-05-14
Sven
Verdoolaege
b
e
rnou
l
li
.
c: B
e
rnoulli_sum_ev
a
lue
:
reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdo
o
laege
bernoulli
.
c: perform nested
sums approxim
a
tion depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n
V
er
d
oolae
g
e
add polynomial a
p
proximat
i
on based
on
nested sum
s
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
util
.
c: extra
c
t for_e
a
ch_lower_upper_bound fro
m
Pa
r
a
m
Li
n
e_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolae
g
e
decomp
o
ser: use N
T
L t
o
inv
e
rt matrix rather than converin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_point
.
cc: allow rays and vertex
t
o
h
a
ve b
e
en
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
c
ounter: o
p
timize s
u
mmin
g
over points in fu
n
dap
i
pe
d
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
l
a
ttic
e
_point
.
cc: avoid conversion between
NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolae
g
e
convers
i
on
.
cc: remove rays2mat
r
ix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
eval
u
e
.
c:
evalue_po
l
ynomial
e
xtracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erd
o
ola
e
ge
eva
l
ue
.
c: add e
v
alue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rd
o
olaege
doc: a note
on the c
o
nnection bet
w
e
en Todd poly
n
omi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoola
e
ge
doc:
p
o
ints in fundapi
p
ed: fix typ
o
commit
|
commitdiff
|
tree
2007-05-10
Sven Ve
r
doolaege
barvi
n
ok
.
cc
:
sim
p
lify
d
p
oly
_
n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolae
g
e
Remove
"nor
m
alizat
i
on" or p
o
wers in denom
i
nator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sv
e
n V
e
rd
o
olaege
decomposer
.
c
c: pass options to tri
a
ngulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
v
en V
e
r
doo
l
aege
barvinok_count: opt
i
on
a
lly use
e
xponential substitution
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
oolaege
cou
n
ter
.
cc: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
dpo
l
y::div: avoid
computati
o
n with ra
t
i
ona
l
nu
m
bers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laege
dpoly: use Va
l
ue in
s
tead
o
f ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoo
l
aege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
add test for
lattice point computa
t
ion
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
o
laege
evalue_read
.
c: add eva
l
ue_
r
ead_from_
s
tr
f
or
r
eading
.
.
.
commit
|
commitdiff
|
tree
next