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
some lattice width tests from Jon Yaggie
2007-11-02
Sven Verdoolaege
some lattice width
tests
fr
o
m
Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolaege
Polyhedron_
L
a
ttice
_
Wi
d
th: d
e
cide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhedron_Lattice
_
Width for co
m
puting la
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Ver
d
oolaege
hi
l
bert
.
c: add C
o
ne_Integer_Hull
f
or computing
v
ert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
d
o
olaege
polysign: add pip-ba
c
k
e
d version
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
po
l
ysign: add const
r
aints_opt to compute optimum
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
polysi
g
n_cdd: s
w
itc
h
t
o use
o
f M
a
trix representa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_glpk
:
s
w
it
c
h to use o
f
M
a
trix rep
r
e
s
e
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
d
oc: document
c
omputatio
n
of Hilbert basis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
Cone_Hilber
t
_Basis:
use standard_const
r
a
ints
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
olaege
Use zsolve t
o
compute Hilbert
b
a
sis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolae
g
e
co
m
p
i
le
z
solve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
l
a
ege
zs
o
l
v
e: don'
t
insta
l
l headers
and executables
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
z
solve: initialize Backu
p
Time in Z
S
olveContext
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
doo
l
a
ege
zs
o
lve: zsolveSyst
e
m: add miss
i
ng verb
o
si
t
y ch
e
ck
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
ool
a
ege
zsolve:
o
verride LIBS from
top leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
a
d
d 4ti2-1
.
3
.
1+autocon
f
-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoola
e
ge
add
zsolv
e
fr
o
m
4
ti2
-
1
.
3
.
1+autoc
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c: export bit_vector
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
to
p
c
om
.
c: extract
p
art of code
f
o
r s
e
t
ting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
erdoola
e
ge
gen_fu
n
:
:
Hadamar
d
_pro
d
uct: print progress
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoolaege
move
-
-
v
e
r
bose
o
ption to li
b
rary
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doo
l
aege
gen_fu
n
::summate: handle full sp
e
cia
l
i
z
at
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
R
e
p
lace inc
r
emental infinite set counter b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter::add_falling
_
power
s
static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most of) common part of cou
n
ter
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoola
e
ge
icounter: h
a
n
d
le
speciali
z
at
i
on
o
f
p
o
l
ynomial
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
icounte
r
: d
o
n't bot
h
er "nor
m
a
lizing" the
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
p
ort neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
la
e
ge
basis_reduction_c
d
d:
check
fo
r
possibly inc
o
rrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
Polyhedron_Sample: hand
l
e polyhedron be
c
omi
n
g emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
gen_fun::operator evalue *: a
l
ways return a v
a
l
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
g
e
n_fun:
:
ope
r
a
tor evalue *: re
m
o
ve commented out
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvinok_enumer
a
te_e
.
cc
:
handl
e
ve
r
ificati
o
n of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
barvinok_enumerate
_
e:
o
pt
i
onally print s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_
e
numerate
_
e: supp
o
r
t verificat
i
on
o
f generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_enumerate_e: suppo
r
t conve
r
sion of g
e
nerat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
lattice_points: a
n
other micro-
o
ptimiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
l
a
ttice_p
o
int
s
_fi
x
ed: nano-optim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
ge
n
_f
u
n::add: co
n
text o
f
sum shoul
d
b
e unio
n
of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
b
arvinok_enum
e
rate: use verify infrastructure
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
g
enfun
.
cc: print_power:
d
r
op
s
paces around "/" whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
count_points_e:
f
all ba
c
k to count_point
s
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
e
ge
M
a
kefile
.
a
m:
c
hec
k
-evalue: p
r
int n
a
me of
e
ach
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
ve
r
ify: add check
_
poly_print helper fu
n
c
ti
o
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
gen_fun: make sure conte
x
t
i
s alw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
r
e
ducer::reduce: canonica
l
ize co
e
ffi
c
ients in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
short
_
ra
t
::
p
rint
:
correctly print out terms
w
it
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ba
r
v
inok_series:
recheck for equal
i
t
i
es a
f
ter com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
port Mat
r
ix_Read
for reading M
a
trix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
para
m
_util
.
c: add Param_V
e
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c
:
supporting_
c
onstra
i
n
t
s:
r
eturn
bit vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: updat
e
for M
a
trix_E
x
t
end
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
options
.
c
:
use Polyhedron
_
Sample
for co
u
nting
infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
keep track of and us
e
saturating
constraints
i
n P
a
ram_
P
ol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
m
o
ve value_gcd a
n
d value_
l
cm
t
o
polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
B
e
rn
o
ulli_sum_eva
l
ue: only compute exact sum
if ap
p
r
oxima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
Bernoull
i
_s
u
m_evalue: sum over varia
b
les
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
la
e
ge
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Poly
h
ed
r
on_ExchangeColu
m
n
s: normal
i
z
e constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdo
o
laege
export Polyhedron_
E
x
cha
n
ge
C
olum
n
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
e
v
alue_polynomial: optimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
evalue
.
c:
emu
l
: han
d
l
e
another special case
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doo
l
a
e
g
e
evalue
.
c:
e
add
:
ha
n
dle some spec
i
al case
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdoolaege
introduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
ev
a
lue
.
c: ead
d
: micro-optim
i
ze ad
d
ition of
t
w
o
ra
t
i
onals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
setting a
n
a
p
proximation method
n
ow impli
e
s
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
g
e
barvinok_summa
t
e: optionally
u
se Ber
n
o
ulli/Fau
l
h
aber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
Be
r
noulli_s
u
m_ev
a
lue: use
e
v
a
l
ue_
f
rom_se
c
tion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ver
d
ool
a
ege
barvin
o
k/po
l
ylib
.
h: remove c
o
m
p
a
tibility
w
ith old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
move Vector_Oppose to
P
o
lyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
polytope_scan: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_a
l
l
_equa
l
i
ties: keep removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove
_
all_
e
qualiti
e
s: han
d
le
e
m
p
ty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdool
a
e
g
e
remove_all_equalities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolae
g
e
export Polyh
e
dron_M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
Verdool
a
ege
polar_
s
igned_con
e
_consumer: clean up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n Verdoola
e
ge
Para
m
_I
n
ner_Product: fix use
of valu
e
_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
d
o
c: fix typo in Michele Ve
r
gn
e
'
s
name
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdool
a
ege
Add missin
g
files fro
m
polyma
k
e
client to distr
i
bution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Us
e
gmp'
s
gcd rather tha
n
PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
pol
y
make/
R
E
A
DME:
m
e
n
tion --with-barvinok con
f
igure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdo
o
laege
polymake/Makefile
.
in: add work
-
around fo
r
polym
a
k
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
ool
a
ege
evalue
.
c
:
p
rint_evalue:
a
lways
prin
t
new
l
in
e
at
t
he
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
en Verd
o
olaege
options
.
c:
f
ix t
y
po in --app
r
oxi
m
ati
o
n-m
e
t
hod d
e
scription
commit
|
commitdiff
|
tree
2007-09-15
S
v
en Verdoolaege
top
c
om: fix h
e
uristic for
s
electing r
o
ws to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verd
o
o
l
a
eg
e
M
e
rge branch
'
topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
D
ocumen
t
T
O
PCOM based
chamber deco
m
position
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
r
d
oolaege
t
est TOP
C
OM chamber deco
m
p
osition
commit
|
commitdiff
|
tree
2007-09-11
S
ven Ve
r
doolaege
Optionally u
s
e
T
OPCOM
t
o
com
p
ute chamber d
e
comp
o
s
i
ti
o
ns
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
le
x
m
in: add (protecte
d
)
m
issing algor
i
thm i
n
c
l
ude
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Mak
e
file
.
am: add ta
r
get
for crea
t
ing dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
S
ven
Verdoolaege
doc: update v
o
ting the
o
r
y re
f
er
e
nce
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoo
l
a
ege
d
ocument barvinok
_
summate and bar
v
i
n
ok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
oc: consiste
n
t
u
se of
B
arvinok's
i
ni
t
ials
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
erdoolaege
barvinok_summate
:
correct options description
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdo
o
laege
D
o
cument
E
u
l
er-Maclaurin ba
s
ed summation
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
e
rdoola
e
g
e
doc: change
example e
n
vir
o
nment
commit
|
commitdiff
|
tree
2007-09-10
Sve
n
V
erdoolaege
doc: add some hidden
sections t
o
table of
cont
e
nts
commit
|
commitdiff
|
tree
next