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
doc/barvinok.bib: add missing string
2007-11-21
Sven Verdo
o
laeg
e
do
c
/ba
r
vinok
.
bib
:
a
dd missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oo
l
aege
add m
o
re m
i
ssing ass
e
rt
.
h
#includ
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoo
l
aege
evalue
.
c: add missing
include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdoola
e
g
e
config
u
re
.
in: pass path of G
M
P installat
i
on to
Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
g
e
conf
i
gu
r
e
.
in: only compi
l
e
l
i
bbarv
i
nok
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Ver
d
oolaege
P
o
lyhedron_Reduce
d
_Basis: don't stop too e
a
rly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoolaege
compute_width_directions: only keep li
s
t of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
r
d
ool
a
ege
zsolve: don't
i
n
s
tall l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
r
d
oo
l
aege
version
.
c: show
use of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
er
d
oolaege
c
on
f
igu
r
e
.
in: d
o
n't set with_{poly,
p
ip}lib_prefix
f
ro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_Sample: be satisfie
d
with a
rea
s
o
na
b
le
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
cone_i
n
teger_
h
ull: optio
n
ally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doola
e
g
e
basis_reducti
o
n:
k
eep tra
c
k of number
o
f LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
options: mov
e
-
-p
r
int-stats to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoo
l
aege
bernstein: rework testi
n
g framew
o
rk to
not
depen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
ernstein: add pie
c
ewise_ls
t
::i
s
_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
V
erdoolaeg
e
su
p
port newer
version
s
of GiNaC (
>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
st
a
ndar
d
_con
s
tr
a
in
t
s: move
fr
o
m
t
o
p
com
.
c to poly
s
ign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ve
n
V
erdo
o
laege
polysign
.
h
:
remove depe
n
d
e
ncy on
l
e
xmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
zsol
v
e
:
add banner
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdool
a
ege
Pol
y
hedron_L
a
ttice_W
i
dth
_
Directions:
p
ri
n
t progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reducti
o
n_p
i
p: abor
t
on invalid (emp
t
y) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
R
EADME: explai
n
how
t
o get s
u
bmodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
d
oc: document la
t
ti
c
e widt
h
compu
t
ation
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoola
e
ge
some lattice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven
V
erdoola
e
ge
Polyhedron_Lattice
_
Width:
d
ecid
e
on fa
c
ets to
c
los
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolae
g
e
add
Polyh
e
dron_Lattice_Width for computi
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c:
add Co
n
e_In
t
eger_Hull for co
m
puting ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
a
ege
poly
s
ign: ad
d
pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add
c
on
s
t
rai
n
ts_opt to co
m
pute optimum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
o
o
lae
g
e
polysign_
c
dd:
s
witch
to use of
M
atrix
r
epresent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
ege
polysign_glpk: switch to use
o
f Matrix repres
e
nt
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
d
oc:
document computation of Hilber
t
b
a
sis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
Cone_Hilbert_Basis:
u
se standard_constr
a
in
t
s to
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
ege
Use zsolv
e
to compute
Hil
b
ert
b
asis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
laege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
zsolve: d
o
n't
i
ns
t
all heade
r
s and
e
xecutables
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
g
e
zsolve: i
n
itiali
z
e BackupTime
i
n ZS
o
lveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve:
zsolveSystem:
add mi
s
sing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
oolaege
zsolve: override L
I
BS from to
p
level
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ver
d
o
ol
a
ege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
V
erdoola
e
ge
add zs
o
l
v
e from 4ti2-1
.
3
.
1+autoc
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdo
o
l
a
ege
p
aram_util
.
c: export
b
it_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
to
p
com
.
c:
extract part of code
for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verd
o
ol
a
ege
gen_fun::Hadamard_product: pr
i
nt pro
g
ress
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
e
n
Verdoolaeg
e
mov
e
--verbos
e
option to librar
y
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::summate: handl
e
full specia
l
i
z
a
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
Re
p
lace i
n
c
r
emental infinite
s
e
t counter by "regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
make counter::add_falling_powers sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merg
e
(
m
ost of
)
c
ommon p
a
rt of counter
a
n
d tcou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ic
o
unt
e
r
: handle speci
a
liz
a
ti
o
n of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
ico
u
nter
:
d
o
n't bother "normaliz
i
ng" the ex
p
onent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
export
neg_left_hermi
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
basis_red
u
ction_c
d
d: check for po
s
sibly in
c
orrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
Polyh
e
dron_Sam
p
l
e
:
handle po
l
yhedron
b
ecomi
n
g empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoo
l
aege
ge
n
_fun::operator evalue *: alw
a
ys retu
r
n a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fu
n
::operator evalue *: remove commen
t
ed o
u
t debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_enum
e
rate
_
e
.
cc:
handl
e
v
e
rification of
p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_
e
numerate_e: optionall
y
p
rint stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doo
l
aege
barvinok_enumerat
e
_e: support veri
f
ication of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
b
a
r
vinok_
e
n
u
merate_e: suppo
r
t conv
e
rsi
o
n
o
f ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
lattice_points: another mic
r
o-op
t
im
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
eg
e
lattic
e
_
p
oints_fix
e
d: nano-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
g
en
_
fun::add:
contex
t
of sum should be unio
n
of co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvinok_enumerate: use verify infr
a
structure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
g
en
f
un
.
cc
:
pri
n
t_power: drop spaces
a
round "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
count_points_e: fall
b
a
c
k
to
count_points if t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
ol
a
ege
Ma
k
efile
.
am:
c
heck-evalue: print
name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify:
add check_p
o
ly_print helper f
u
n
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun: make su
r
e
context is
a
l
w
ays s
e
t
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
reducer::reduce:
c
anonic
a
lize coeffic
i
ents in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
short_rat::print: c
o
r
r
e
c
tly
p
rint out ter
m
s
wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
barvinok_seri
e
s
: reche
c
k for equalit
i
es after
c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoo
l
aege
expor
t
Matrix_Read
f
or r
e
ading Matr
i
x from a
s
t
rea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdool
a
e
ge
param_util
.
c: add Param_
V
ert
e
x_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
util
.
c
:
supportin
g
_constr
a
i
n
t
s
: return
b
it vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
p
olylib:
u
p
date f
o
r Matr
i
x_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use
P
olyhedro
n
_Sam
p
le for counting infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
keep track of and
u
s
e satur
a
ting constraints
i
n
Param
_
P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
o
la
e
ge
move val
u
e_gcd and valu
e
_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
Bernoulli_sum_evalue:
only compute exact sum
if appro
x
im
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli
_
sum_
e
value: su
m
over varia
b
les
w
ith integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: exp
o
rt evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhed
r
on_Exc
h
ang
e
Columns
:
n
o
rmalize con
s
t
r
aints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
export Pol
y
he
d
ron_Exch
a
ngeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polyno
m
ial: opt
i
mize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
evalue
.
c: em
u
l: handle a
n
ot
h
er special case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
e
value
.
c:
e
add: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdo
o
laege
introduce an
d
use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
evalue
.
c: eadd: m
i
cro-optimize ad
d
ition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
set
t
ing an app
r
o
x
i
m
ation method n
o
w impli
e
s po
l
ynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvi
n
ok_su
m
mate:
o
p
tionally use Ber
n
oulli/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdo
o
laege
B
e
rnoull
i
_sum_evalue: use eval
u
e_fro
m
_s
e
ction_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok/pol
y
lib
.
h: remove
c
ompat
i
b
i
lit
y
wi
t
h older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
move Vector
_
Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
p
olytope_scan: reenable --direct opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
emo
v
e_all_equali
t
ies: keep
r
e
moving
equa
l
i
ties
un
t
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
re
m
ov
e
_all_eq
u
alities: ha
n
d
l
e empty poly
h
edr
o
n
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdool
a
ege
remove_all_equalit
i
e
s: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoo
l
a
e
ge
export Polyh
e
dron_Matrix_View
commit
|
commitdiff
|
tree
next