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
support newer versions of GiNaC (>= 1.3.8)
2007-11-07
Sven Verdoolae
g
e
s
upport newer ve
r
s
i
ons of GiNaC
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
standard_
c
onstraints: mo
v
e from top
c
om
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: rem
o
ve
dep
e
n
d
ency on lex
m
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
zsolve: a
d
d bann
e
r
.
h to d
i
stributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Pol
y
hedr
o
n
_
Latti
c
e_Wid
t
h_Dir
e
ctions: pri
n
t progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
ge
basis_reduction
_
pi
p
:
abo
r
t
on invalid (empty) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
README: exp
l
ain ho
w
to get sub
m
odul
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
doc: docu
m
e
n
t lattice wid
t
h c
o
mputation
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
some la
t
tice width tests fr
o
m Jon Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolaege
Pol
y
hedron_Latti
c
e_Width: dec
i
de
on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
add Pol
y
hedron_Lattice_Width for com
p
uting lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
h
i
l
bert
.
c: add
Co
n
e
_
Integer_Hull for co
m
puting vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
ege
pol
y
sign: ad
d
pip-backed vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
doolaege
pol
y
sign: add cons
t
r
a
ints_opt to com
p
ute optim
u
m
ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laeg
e
polysign
_
cdd: switc
h
to use of
M
a
t
rix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
ege
pol
y
s
i
gn_glpk: switch to use of Matrix
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
laeg
e
doc: document com
p
utat
i
on of H
i
lbert
b
asi
s
of
a
c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
Con
e
_Hilbert_Bas
i
s
: use standa
r
d_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
Use zsolve to comp
u
te H
i
lbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
la
e
ge
zsol
v
e: don't
i
nsta
l
l
headers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
doolaege
z
s
o
l
ve: i
n
itialize
B
ack
u
p
T
ime i
n
Z
S
olveCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaeg
e
zsolve:
z
sol
v
eSystem: add mis
s
ing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
erdoolaege
zsolve: override LIBS
f
rom t
o
p level
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
add 4ti2
-
1
.
3
.
1+autoconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zsolve fr
o
m
4
ti2-
1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
param_
u
til
.
c
: e
x
p
o
rt b
i
t
_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdo
o
laeg
e
t
opcom
.
c: e
x
tract
p
a
rt of c
o
de for setting up st
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaeg
e
g
en_fu
n
::Hadamard_prod
u
ct: pr
i
nt
p
rogress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
mov
e
--verbose o
p
t
i
o
n
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
gen_fun::summate: han
d
le full
specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
l
aege
Replace incre
m
ent
a
l infinite set count
e
r by "reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
make counter::add_fall
i
ng_powers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
merge (mo
s
t of)
c
o
m
mon part of coun
t
er and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
icounter
:
h
andl
e
specializatio
n
of po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdool
a
ege
ico
u
nter:
d
on't
b
other "normalizing
"
the e
x
ponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
ex
p
ort neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
basis_reducti
o
n_cdd:
c
h
eck for po
s
s
i
bly incorrect
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_Sample
:
handle poly
h
edr
o
n becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rd
o
o
l
aege
gen_fun::operator e
v
alue
*
:
always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
gen_fun::ope
r
ator evalue
*
: remove commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
barvinok_enumerate
_
e
.
c
c: hand
l
e verif
i
ca
t
ion of p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvinok_
e
n
u
merat
e
_e: o
p
tionally pri
n
t
st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvin
o
k_enum
e
rate
_
e: support ver
i
ficat
i
o
n
o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
b
a
rvino
k
_
e
numera
t
e
_
e: support
conversi
o
n
o
f g
e
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
lattice_points: another micro-optimizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
l
a
tt
i
ce_points
_
fi
x
ed: nano-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
do
o
la
e
ge
gen_fun::add: con
t
e
xt of s
u
m
s
hould be union
of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
r
d
oolae
g
e
b
arvi
n
o
k
_enumer
a
te: use
verify in
f
rastructure
f
o
r verify
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolae
g
e
genfun
.
cc:
p
rint
_
power: drop s
p
aces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdool
a
e
ge
c
o
un
t
_poi
n
ts_e: fall back to count_poi
n
ts if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: check
-
evalue: print name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_poly
_
print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
g
e
n_fun: make sure con
t
ex
t
is alway
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rd
o
olaege
red
u
cer::reduce: can
o
nicalize
c
oefficien
t
s
i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
short_rat
:
:print: cor
r
ectly prin
t
out terms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok
_
series: re
c
hec
k
for
equ
a
l
ities
a
fter
c
ompu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Matrix_Re
a
d for reading Ma
t
rix from a stream
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
param_util
.
c: add
P
a
ram_Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
uti
l
.
c: supporting_
c
o
n
straints: return
b
it vector
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
polylib: updat
e
for Mat
r
ix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
a
e
ge
o
ption
s
.
c:
use Polyhedr
o
n
_Sample for cou
n
tin
g
i
nfinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
ke
e
p track of and use satura
t
i
ng constra
i
nts in
P
aram_Poly
h
edron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doo
l
aege
move value_gcd and value_lcm to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Be
r
n
ou
l
l
i
_sum_e
v
a
l
ue: only
c
ompute exact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Be
r
noulli
_
sum_evalue:
s
um over variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalu
e
.
c:
e
xpor
t
evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Poly
h
edron_Ex
c
hangeCo
l
u
m
ns:
n
o
rm
a
lize
constraints af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
export Poly
h
e
d
ron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aeg
e
evalue
_
polynomial
:
optimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue
.
c: em
u
l:
h
andle another
s
pec
i
al case
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue
.
c: eadd: hand
l
e
s
ome special cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
intro
d
uce and use evalu
e
_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalu
e
.
c: eadd: micro-optimi
z
e addition of two
ra
t
ionals
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
settin
g
an approximation method now
impl
i
es p
o
l
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rd
o
olaege
barvinok
_
summa
t
e: optionally use Be
r
n
o
ulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
Bernoulli_sum_evalue: u
s
e
evalue_
f
rom_s
e
ction_a
r
r
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
b
arvinok/polylib
.
h
:
r
e
m
o
v
e
co
m
pati
b
ility wi
t
h ol
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
m
ove
V
ector_Oppose
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
polytope_sc
a
n
:
reen
a
ble --direct
o
ption
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n Verdo
o
laege
r
emove_all_equa
l
ities:
k
ee
p
r
e
moving equalities
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdool
a
ege
r
emove_a
l
l
_
equalities: handle e
m
p
ty
p
olyhedr
o
n de
t
ected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolae
g
e
r
e
m
ove_all_equal
i
ties: minor code
clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
e
x
port Po
l
y
hedron_Matrix_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolae
g
e
polar_signed_cone_
c
onsumer: clean up
m
emory on
i
napprop
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven V
e
rdoolae
g
e
Pa
r
am_Inner_Product: fix use of
v
a
l
ue_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sv
e
n Verdoolaege
doc
:
f
ix typo in Michele Verg
n
e's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
o
olaege
A
d
d missing
f
i
les from
p
o
l
ym
a
ke client
t
o dis
t
r
ibution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's gcd r
a
ther th
a
n
P
olyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
Ver
d
ool
a
ege
po
l
ymake/README: men
t
ion --with-barvinok
conf
i
gure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
polyma
k
e/Ma
k
efile
.
i
n
: add
w
ork
-
around for polyma
k
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
e
rdoolaege
evalu
e
.
c: print_evalue: always print newl
i
n
e at
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
e
n
V
erdoolaege
options
.
c: fix typo in --appro
x
imati
o
n-method descri
p
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sven V
e
rdoolaege
topcom: fix
h
euristic
fo
r
selecting
r
o
w
s
to
use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
barvi
n
ok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
S
v
en Verdoolaeg
e
Me
r
ge bra
n
ch 'to
p
c
om'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
Document TO
P
COM based ch
a
m
ber decomposi
t
ion
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdo
o
lae
g
e
test TOPCOM
cha
m
ber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaeg
e
Op
t
io
n
a
l
l
y use
T
O
PCOM to
compu
t
e chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
l
e
x
min: add (protected) missing algor
i
th
m
inclu
d
e
commit
|
commitdiff
|
tree
next