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
count_points_e: fall back to count_points if there are no existentials
2007-10-25
Sv
e
n Verdoolaege
c
o
unt_poin
t
s_e: fall
back to co
u
nt_
p
oints if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoo
l
aeg
e
Makefile
.
am: c
h
eck-ev
a
lue: prin
t
n
ame of e
a
ch te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
verify: add chec
k
_pol
y
_pr
i
nt hel
p
er
function
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
ge
n
_fun
:
make s
u
re context i
s
always se
t
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
reducer::redu
c
e: canonicalize c
o
effi
c
ie
n
ts i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
sho
r
t_rat::print: co
r
rectly print out term
s
with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
b
arvinok_s
e
ries: recheck for equalities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
aege
export M
a
trix_R
e
a
d for reading Matrix from a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
o
l
a
e
g
e
param_
u
til
.
c: add Par
a
m_Vertex
_
Do
m
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
util
.
c: sup
p
ort
i
ng_constra
i
nts
:
return bit vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polyl
i
b: update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
o
p
tions
.
c
:
use P
o
l
y
hedron_
S
ample for count
i
ng infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep
track of and use sat
u
r
a
ting
c
onstr
a
ints in Param_
P
olyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
move valu
e
_gcd a
n
d
va
l
ue_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
B
ernoul
l
i_su
m
_evalue: only comp
u
te exact su
m
i
f
a
p
p
roxim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
B
e
rn
o
ul
l
i_sum_evalue: sum o
v
er variables with int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdool
a
ege
P
o
lyhed
r
on_Ex
c
han
g
eColu
m
n
s
: nor
m
alize constraint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
export
P
o
l
yhedron
_
Ex
c
h
angeC
o
lum
n
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
eva
l
ue_po
l
y
n
o
mial: optimize
e
va
l
uation i
n
zer
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
evalue
.
c: emul: handle another special c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
e
value
.
c: eadd: han
d
le some speci
a
l c
a
ses
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
intr
o
du
c
e and u
s
e
eva
l
ue
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
evalue
.
c: eadd: mi
c
ro-optimize ad
d
ition of two ra
t
ionals
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
settin
g
an approx
i
m
a
tion method now implies polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
barv
i
n
ok_sum
m
ate: optionall
y
use Bernoulli
/
F
aulhabe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
B
e
r
noulli_sum
_
evalue: u
s
e
ev
a
lue_f
r
om_section_arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
bar
v
inok/poly
l
ib
.
h:
r
emove compatibility w
i
t
h older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vect
o
r_Oppose to
P
olyLib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
po
l
ytope_sc
a
n: reenabl
e
--dire
c
t option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities: keep removing eq
u
alities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n Ver
d
oolaege
rem
o
ve_a
l
l
_equalities:
h
andle empty polyh
e
dron
d
etect
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
remove_all_equalit
i
es: mi
n
or code c
l
ean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaege
export Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
S
v
en V
e
rdoolaege
polar_
s
igned_con
e
_
c
o
ns
u
me
r
: clean up m
e
mor
y
on inappropr
i
at
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ve
r
doolaege
Pa
r
am_Inner_Pr
o
duct: fix use
o
f
v
alue_
l
c
m
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Verdoola
e
ge
doc: fix
typ
o
in
Mich
e
le
V
ergn
e
'
s name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Add
m
issin
g
fi
l
es from poly
m
ake
c
l
i
ent to distrib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolae
g
e
Use gmp's gcd rather than
P
o
lyL
i
b
's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
polymak
e
/README: mention
--with-barv
i
nok configu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
V
erdoola
e
ge
polymake/Ma
k
efile
.
in: add wo
r
k-around for
polym
a
ke
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
e
v
alue
.
c:
print_evalue: always print
newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
e
n
Verdoola
e
ge
options
.
c: fi
x
typo in --
a
pproximat
i
on-method description
commit
|
commitdiff
|
tree
2007-09-15
Sven V
e
rdoolaege
topcom: fix
h
eur
i
stic for
select
i
ng rows to use a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvino
k
0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
Merge branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
Document TOPCOM
ba
s
ed chamber
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
test
T
OPCOM
chamber
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
r
doolaege
O
p
tionally use TOP
C
OM to comp
u
te
c
hamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
S
ven Ve
r
doolaege
lexmin: add (pro
t
e
c
ted) missing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
Makefile
.
am: add
t
a
r
get for c
r
eating dist
wi
t
h git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
doc: update votin
g
the
o
ry r
e
f
er
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdoolaege
docu
m
ent barvinok_su
m
m
ate and bar
v
i
n
o
k
_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aeg
e
d
oc: consistent use o
f
Barvin
o
k's i
n
i
ti
a
ls
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n
Verd
o
olaege
ba
r
vinok
_
summate: c
o
rrect
o
ptions description
commit
|
commitdiff
|
tree
2007-09-10
Sven Ver
d
ool
a
ege
Docu
m
ent
Euler
-
Maclaurin based su
m
matio
n
commit
|
commitdiff
|
tree
2007-09-10
Sven V
e
rdool
a
ege
doc
:
c
hange examp
l
e en
v
ironment
commit
|
commitdiff
|
tree
2007-09-10
S
v
e
n
V
erdoolaege
doc: add some hidden
sections
to table o
f
con
t
e
n
ts
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
doc: anoth
e
r document referin
g
to
the
library
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Ver
d
oolaege
add some tests for Euler-M
a
cla
u
rin based
summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
Euler
-
Maclaurin
b
a
sed sum
m
at
i
o
n
f
or
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
e
rdoo
l
aege
Euler-M
a
claurin based
s
u
m
matio
n
for 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
d
oo
l
aeg
e
deco
m
p
oser
.
c
c:
avoid use of half-open c
o
nes
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n V
e
rdoolaege
barvinok
_
su
m
ma
t
e: verify solution over who
l
e
p
arame
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n
Verdoolaege
introduce barvinok
_
summate as
a
wra
p
per for e
v
alue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doola
e
ge
ad
d
eval
u
e
_
mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
r
d
oolae
g
e
eval
u
e_{div,mu
l
}: hand
l
e
s
ome trivial c
a
ses more efficiently
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verd
o
o
lae
g
e
lattice_point: export fractional
_
p
a
r
t
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
e
v
al
u
e
.
c: e
x
t
ract common code for constructi
o
n b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
v
olume
.
c
:
export Param_Polyhedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
aege
a
d
d e
v
alue_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ve
r
doolaege
fix
typ
e
o
f
eval
u
e_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Verdoolae
g
e
support computation of Bernoulli polynomials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoo
l
aege
separate
co
m
putat
i
on of Bernoulli
c
oeff
i
cients an
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
Ver
d
oolae
g
e
lat
t
ice_point: use P
a
ram_Vertex_Commo
n
_De
n
ominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
ge
make decomposer
.
h self
-
cont
a
ined
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_domain: avoid
use o
f
macro
p
arameter with name
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
export evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
Use piplib
during b
a
s
is
r
edu
c
t
i
on if no
o
ther LP solvers
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoo
l
aeg
e
Use bund
l
ed piplib by default
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doolaege
add piplib modu
l
e
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaeg
e
Use bu
n
d
l
ed Po
l
yLib by default
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add polylib
submodule
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
bernstein: allow link
i
ng agai
n
st uninstall
e
d
,
b
ut built
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verdoolaege
add mo
r
e missing asser
t
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-08-29
Sv
e
n Verdo
o
lae
g
e
add dummy implemen
t
ations of functions
t
h
at depe
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven
Verdoo
l
aege
update "Co
u
nting wit
h
rationa
l
gen
e
rating function
s
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven V
e
rdoolaege
b
a
rv
i
nok
.
cc:
split o
f
f par
t
constructing generating
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
S
v
e
n
Verdoo
l
aege
barvinok
.
cc: s
p
lit o
f
f
p
art deal
i
ng with
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Ver
d
oolaege
*cou
n
ter: av
o
id reco
m
putat
i
o
n
of denomi
n
at
o
rs when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdool
a
eg
e
counte
r
: remove
redund
a
nt member
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
r
doo
l
a
e
ge
cha
n
ge typ
e
o
f some
"sign"s
t
o
int as they
c
a
n only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven
V
e
rdoolaege
doc: update A
l
g
orithmica public
a
tio
n
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoolaege
ev
a
lue
.
c: m
a
ke
p
a
rameter names of
t
y
pe const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c: P
o
lyhedron_R
e
moveFixedColumns: co
r
rectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
S
v
e
n
Verdoo
l
aege
util
.
c: remov
e
_eq
u
alities: fix
typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verdool
a
ege
Param_Po
l
yhedron_Print: print
eve
r
ythin
g
to
give
n
file
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdo
o
laege
barvin
o
k_enumerate_with_options: do
n
't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
S
ven Verdool
a
e
g
e
barvinok
.
cc: don't free P argument in enumerate
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolaege
rem
o
ve_all_equalities: a
l
so remove equalities
i
n context
commit
|
commitdiff
|
tree
next