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 Polyhedron_Integer_Minimum for computing the integer minimum of a polyhedron
2007-11-21
Sve
n
Verdool
a
ege
a
dd
P
olyhedron_
I
nteger_
M
in
i
m
um for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: docu
m
e
n
t gene
r
a
l
i
z
ed
b
asis re
d
uction
ba
s
ed int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
do
c
/barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaege
a
dd more
missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verd
o
ol
a
ege
configure
.
i
n
:
o
nly compile li
b
bar
v
inok a
s
a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
Polyhedron_
R
educed_Basis: don't stop too
earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_
w
idth_directions: only
k
eep
list of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
z
s
olve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
version
.
c: show u
s
e of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: don't set with_
{
poly,pip}lib_
p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoo
l
a
e
g
e
P
olyhedron_Sa
m
ple: be sati
s
fied with a reasonab
l
e
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone
_
in
t
eger_hul
l
: optionally prin
t
sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
basis_r
e
duction: keep
t
ra
c
k
o
f
number of LPs
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
rdo
o
laege
options: mov
e
--prin
t
-stats
to
library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaeg
e
bernstein:
rework testi
n
g frame
w
ork to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
bernstein
:
a
d
d
p
iecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdoolaege
s
upport
newer v
e
rsions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdo
o
l
a
ege
standa
r
d
_con
s
tr
a
i
n
ts: mov
e
from topcom
.
c to polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h:
r
emove depende
n
cy
o
n lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoo
l
ae
g
e
zso
l
ve: add
banner
.
h
t
o distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolae
g
e
Polyh
e
dron_Lattice_Width_Dir
e
ctions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
basis_re
d
uction_p
i
p: abo
r
t on invalid (e
m
pty) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
README: explain how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: do
c
u
m
ent
l
attice width
c
omp
u
tation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
Verdoolaege
some
lattice width test
s
f
rom Jon Yaggi
e
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolaege
Polyhedron_Lattice_Width: dec
i
de on facets
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add
Polyhed
r
on_
L
attic
e
_Width for
computi
n
g
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
h
ilbert
.
c
:
add C
o
ne_Int
e
ger_Hull
f
o
r
co
m
puting
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polysign: a
d
d
p
ip-backed ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolae
g
e
polysi
g
n
:
ad
d
const
r
aints_opt
to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_cdd: switch
t
o use of M
a
trix
rep
r
es
e
ntatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
polysign_glpk: switch to use of
M
atrix r
e
pres
e
nta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdool
a
ege
d
oc: docu
m
e
n
t co
m
putation of Hilbert basis
of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoola
e
g
e
Co
n
e_Hilb
e
r
t
_B
a
sis: use standa
r
d_const
r
ain
t
s
t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Us
e
zs
o
lve t
o
compute Hilber
t
bas
i
s of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oolaege
zso
l
v
e
: don't install headers a
n
d ex
e
cutables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolae
g
e
z
s
olve: initia
l
iz
e
B
ac
k
upT
i
me in ZSolveContex
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
zsolve
:
zsolveSyst
e
m: add mis
s
ing verbosity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: override LI
B
S
fr
o
m top level
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Ve
r
doolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1
b
anner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
add zsol
v
e from 4ti
2
-1
.
3
.
1+autoconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
p
a
ram_uti
l
.
c:
e
xport bit_vector_c
o
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c: extract
p
art of
code
f
or setti
n
g up standar
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hadamard
_
pr
o
duc
t
: p
r
int progress in
d
icator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
g
en_
f
un::
s
ummate: h
a
ndle full specia
l
iza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace i
n
cremen
t
al
i
nfinit
e
set counter
b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
mak
e
counter::add_falli
n
g
_
pow
e
r
s
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
merg
e
(most of) common pa
r
t of counter and tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
count
e
r: handle s
p
ecialization of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
oolaege
i
c
ounter: don
'
t bother "
n
ormalizing" th
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_red
u
ct
i
on_cdd
:
chec
k
for
p
ossibly incor
r
ec
t
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
Polyhedron
_
Sa
m
p
le: handle po
l
yhedr
o
n becomi
n
g
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
laege
g
en_fun::operator eva
l
ue *:
alwa
y
s return
a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdool
a
ege
gen_fun::operat
o
r e
v
a
lue *: re
m
ove com
m
en
t
ed out
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvinok
_
enumerate_e
.
cc: handle verification of
p
r
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_enum
e
rate_e: optionally pri
n
t st
a
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_enumerate_
e
: su
p
port ve
r
i
f
ication
of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
barvinok_enumerate_e: supp
o
rt
conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
l
a
ttice_po
i
nts: another micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
la
t
t
i
c
e
_po
i
nts_
f
ixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_fun::add: context
o
f sum sho
u
ld be
u
nio
n
of context
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_
e
numerate:
u
se verify in
f
rastruc
t
ure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
g
e
nfun
.
cc:
p
r
i
nt_power: drop
spaces
a
ro
u
nd "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
c
o
unt_p
o
ints_e: f
a
ll
b
ack to count_points i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
do
o
l
aege
Makefil
e
.
am: c
h
eck-evalue: pr
i
nt name of each t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
verify: add check_po
l
y_print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun: make
sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
re
d
ucer::red
u
ce: canonica
l
ize c
o
e
f
f
i
c
ients i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
short_
r
at::print: co
r
rectly print
ou
t
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
o
laege
barvinok_series: recheck
f
o
r
equ
a
liti
e
s after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
expo
r
t Matri
x
_Re
a
d fo
r
read
i
ng Matrix f
r
om a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
param
_
util
.
c: add Param_
V
e
rtex_Dom
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
l
a
ege
util
.
c: suppo
r
ti
n
g_constraints: ret
u
rn bit
v
ector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
polylib: update
for
Mat
r
ix_Exten
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: use
Polyhedron_Sample for
counting infin
i
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
keep
t
rack of and
u
se sat
u
rating con
s
trai
n
ts in Pa
r
am_Polyhedro
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdool
a
ege
move value_gcd an
d
v
a
lue_lcm to p
o
lylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
B
e
rno
u
lli_sum_evalue: only compu
t
e exact sum if appr
o
xi
m
atio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Bernoulli_sum_ev
a
lu
e
: sum ove
r
varia
b
les with int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
evalue
.
c: export evalue_
v
ar
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
P
olyhe
d
ron_E
x
chan
g
e
Colum
n
s: normaliz
e
constraints af
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
o
o
laege
export Pol
y
he
d
ron_
E
x
changeCol
u
mns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
evalue_pol
y
nomial
:
o
p
timize
evaluation i
n
ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
ev
a
lue
.
c
:
em
u
l:
h
a
ndle
a
n
oth
e
r special case
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue
.
c: eadd: handle s
o
me spe
c
ial cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
introduce and use evalue_f
r
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoo
l
aege
evalue
.
c: eadd: micro-optimize additio
n
of two ration
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
setting an
a
pprox
i
mation method now implies po
l
yno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
barvin
o
k_summate:
optionally use Berno
u
lli/
F
aulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Bernou
l
li_sum_e
v
a
l
ue: use eval
u
e_from
_
s
e
ction_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
/
polylib
.
h: remove compatibilit
y
with o
l
der
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vec
t
or_Oppose
to Poly
L
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
polytope_scan
:
r
e
en
a
ble --d
i
r
ect o
p
tion
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
rem
o
ve_all_
e
q
u
alities: keep
removing eq
u
a
liti
e
s until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Ve
r
d
o
olaege
remove_all_equalities: handl
e
empty polyhedron detect
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
remov
e
_all_equalities:
m
i
no
r
code cl
e
a
n
-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
g
e
e
xport Polyhedron_Matrix_Vi
e
w
commit
|
commitdiff
|
tree
next