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 some tests for implementation of projection theorem
2007-10-25
Sven Verdool
a
ege
k
e
ep track of and
u
se s
a
turat
i
ng constra
i
nts in Param_P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
do
o
laege
move value_gcd and value_lc
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Bern
o
ulli
_
sum_eva
l
ue
:
only compute exact su
m
if
a
pproximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolae
g
e
Bern
o
ulli_sum_eval
u
e: su
m
over variables
w
ith intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
Polyhedron_Exchange
C
ol
u
m
n
s: norm
a
lize constraint
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Polyhedron_
E
xc
h
a
ng
e
C
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
eva
l
ue_polynom
i
al: optimize evaluati
o
n
i
n zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c: emul: handl
e
anoth
e
r
s
pecial case
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue
.
c
:
eadd: handle some
s
pec
i
al cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
intr
o
duce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue
.
c: eadd:
m
icro-
o
ptimize addi
t
ion of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setti
n
g an approxima
t
ion metho
d
now implies
p
ol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
ba
r
vinok_s
u
m
m
ate: option
a
lly
u
se
Bernoulli/Faulh
a
ber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
Bern
o
u
lli
_
s
u
m_e
v
alu
e
: us
e
evalue_from_sectio
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok/po
l
ylib
.
h: remove compa
t
i
b
i
lity w
i
th older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
move Vector_Oppos
e
t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
ege
po
l
ytope_scan:
r
eenable --direct
o
ption
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
e
rdoolaege
remove_all_
e
qualities: keep r
e
moving equalities
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
o
ol
a
ege
remove_all_e
q
ualitie
s
: handle empty poly
h
edron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verd
o
olaege
remo
v
e_al
l
_equalities: minor code clean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdo
o
l
a
ege
export Pol
y
hedron_Matr
i
x_Vie
w
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdo
o
laege
p
o
l
a
r_signed
_
cone_
c
ons
u
mer: clean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven
Verdoolae
g
e
Param
_
Inner_Product: fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Verdoolaege
doc:
fix t
y
po in Miche
l
e Vergne's n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
A
d
d missing files from polym
a
ke c
l
i
ent to di
s
tribution
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdool
a
ege
Use
gmp's gcd r
a
t
h
er t
h
a
n PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
po
l
ymake/README: mention --with
-
barvin
o
k co
n
figure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polym
a
ke/
M
ake
f
ile
.
in:
a
d
d w
o
rk-aroun
d
for polym
a
ke
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
ege
evalue
.
c:
p
rint
_
evalue: always p
r
int n
e
wline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
ven Ver
d
oolaege
options
.
c
: fix typo in --approxima
t
ion-method descr
i
p
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sven Ver
d
oo
l
aege
topcom: fix
h
euristic for selecting
row
s
to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaeg
e
barv
i
nok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdo
o
l
a
ege
M
e
rge
b
ranch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
D
o
c
u
m
e
nt
TOP
C
OM based chamber de
c
ompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TO
P
COM
chamber de
c
o
mpositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
O
ptionally use
T
OPCOM t
o
comput
e
chamb
e
r decompositi
o
ns
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
l
e
xmin: add (
p
r
otected) m
i
ssing a
l
go
r
i
th
m
include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdo
o
la
e
ge
Makefile
.
am: add
target
for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: up
d
ate vot
i
ng theory
r
eference
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaeg
e
d
o
cu
m
ent
ba
r
vinok_summate a
n
d
b
arvinok_ma
x
imize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: consistent
use of Barvinok's initials
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
e
g
e
b
a
rvinok_
s
ummat
e
:
c
o
r
rect
o
ptions descrip
t
ion
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoo
l
ae
g
e
Docume
n
t
Eul
e
r-Maclaurin based
s
u
mmation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolae
g
e
doc: change
e
x
a
mple environment
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add some hidden s
e
ctions to
t
a
ble of
c
ontents
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoola
e
ge
doc: another doc
u
men
t
refering to th
e
library
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
aege
a
dd some
tests for E
u
ler-Maclaur
i
n based summ
a
tion
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
Verdoolaege
Eu
l
er-Mac
l
aurin ba
s
ed summation fo
r
1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
Euler-Ma
c
lau
r
i
n based
s
ummation
f
or 2D problems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
ege
d
ecomposer
.
cc: avoid
u
se of half-open
cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoola
e
ge
b
arv
i
no
k
_summate: ver
i
fy solution
o
ver whole parameter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven
V
erdool
a
ege
i
n
t
r
oduce barvinok_summa
t
e as
a wrapper for ev
a
lue_sum
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaeg
e
add ev
a
lue_mul
_
div
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
doo
l
aeg
e
eva
l
u
e
_{d
i
v,mul}:
h
a
nd
l
e
some trivial
cases more
e
fficie
n
tly
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Ver
d
oolaege
lattice_p
o
i
nt: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoo
l
a
e
g
e
eval
u
e
.
c
: extract
commo
n
code for
c
o
nstr
u
ction b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdoolaege
v
olume
.
c: e
x
port Param_Polyhe
d
ron_Fa
c
et
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n Verdoolaege
add eval
u
e_mul
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Verdo
o
l
a
e
g
e
f
i
x
t
ype of evalue_polynomial argument
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdo
o
l
a
ege
support computation o
f
Berno
u
lli
p
olynomi
a
l
s
commit
|
commitdiff
|
tree
2007-09-08
Sv
e
n
V
erd
o
olaege
separate computation
of Berno
u
l
l
i
c
oefficient
s
and
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ver
d
oolaege
lattice_point
:
use P
a
ram_Verte
x
_
Common_Denominator
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verd
o
olaege
ma
k
e deco
m
po
s
er
.
h se
l
f-
c
ontained
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
reduce_domain:
a
void us
e
of macro parameter with
n
ame
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
expo
r
t evalue_dup
commit
|
commitdiff
|
tree
2007-09-08
S
v
e
n Verdoolaege
Use piplib d
u
ring basis redu
c
tion if no other LP solve
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven Ve
r
dool
a
eg
e
Use bu
n
dle
d
p
iplib
by
d
e
fault
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
V
erdoolaeg
e
a
dd piplib m
o
dule
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoola
e
ge
Use bundled PolyLib by default
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add
p
olylib s
u
bmod
u
le
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
b
erns
t
ein: allow linking again
s
t uninstalled
,
but bu
i
l
t
.
.
.
commit
|
commitdiff
|
tree
2007-09-03
Sven Verd
o
olaeg
e
ad
d
more missing asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-08-29
Sven Ver
d
oolaege
a
dd d
u
mmy imple
m
e
nta
t
ions of func
t
ions tha
t
d
e
pend
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoolaege
u
pdate "
C
ountin
g
w
i
th ra
t
ional
g
enerating fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sven Verdoola
e
ge
barvinok
.
cc
:
s
plit off part con
s
t
r
ucting gen
e
ratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-08-24
Sv
e
n Ver
d
oolaege
b
a
rvinok
.
c
c
: split off part de
a
l
i
n
g
w
ith existential
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sv
e
n Verdo
o
laeg
e
*
c
ounter: avoid
r
e
comp
u
tation
o
f denomi
n
a
tors when
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
co
u
n
t
er: re
m
ove redundant member
commit
|
commitdiff
|
tree
2007-08-16
Sven Verd
o
o
l
aege
chan
g
e
type of som
e
"sig
n
"s to int as they
c
an only
.
.
.
commit
|
commitdiff
|
tree
2007-08-16
Sven Verdoolaege
d
o
c: update Algor
i
thmica publication
commit
|
commitdiff
|
tree
2007-08-10
Sven Verdoola
e
ge
evalue
.
c:
m
ake par
a
met
e
r
names of type const char
.
.
.
commit
|
commitdiff
|
tree
2007-08-05
Sven Verdoolaege
sample
.
c: Polyhed
r
on_RemoveFixedColumns: c
o
rrectly
.
.
.
commit
|
commitdiff
|
tree
2007-07-31
Sven Verdo
o
laege
u
t
il
.
c:
rem
o
ve_
e
qual
i
t
i
es:
fix typo
commit
|
commitdiff
|
tree
2007-07-30
Sven Verd
o
olaeg
e
Param
_
Polyh
e
dron_
P
rint: prin
t
ever
y
thing to given f
i
le
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolaege
barvinok_enumerate_with_options: don't add context
.
.
.
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoo
l
aege
ba
r
vinok
.
cc: don't free P argum
e
nt in enumera
t
e
commit
|
commitdiff
|
tree
2007-07-29
Sven Verdoolae
g
e
remove_a
l
l_eq
u
alitie
s
:
a
l
so remove equ
a
lities in context
commit
|
commitdiff
|
tree
2007-07-29
Sven Ve
r
doolaege
volu
m
e
.
c:
a
void warni
n
gs
commit
|
commitdiff
|
tree
2007-07-27
Sv
e
n Verdo
o
l
a
ege
export
Param_Inner
_
Produc
t
commit
|
commitdiff
|
tree
2007-07-25
Sven Verd
o
olaege
barvinok_enumerat
e
.
cc: add min
i
mal check on i
n
put
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdoolaege
mor
e
p
r
ototype changes to c
o
nst c
h
ar *
commit
|
commitdiff
|
tree
2007-07-19
S
ven Verdoolaege
evalue:
p
rint_evalue: make pa
r
ameter names c
o
nst char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven V
e
rd
o
o
laege
Al
w
ays compil
e
polytope_
s
c
an
commit
|
commitdiff
|
tree
2007-07-11
Sven Ver
d
oolaege
polyt
o
pe_s
c
an: us
e
argp for arg
u
ment pars
i
ng
commit
|
commitdiff
|
tree
2007-07-05
Sven Ve
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Verdoolaege
configure
.
in: allow sp
e
cificati
o
n
o
f default prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdo
o
laege
consolidate cal
l
s to Polyhe
d
ron2Param_
D
omain
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
v
ol
u
me
.
c: fi
x
typo
i
n c
o
mme
n
t
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n
Ver
d
o
o
l
a
ege
M
ak
e
fil
e
.
am: add
$
(EXEEXT)
for cygwin
commit
|
commitdiff
|
tree
next