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
lattice_point.cc: add ceiling function
2008-01-16
Sven Verdoolaege
Only compile zsolve if
g
c
c 3
.
4 or
lat
e
r is avail
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move GiNaC-independent part of library to
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
polyli
b
:
updat
e
commit
|
commitdiff
|
tree
2007-11-22
Sven
Ve
r
doo
l
aege
doc: how to count the number of el
e
men
t
s
in
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdool
a
ege
doc/imple
m
e
nt
a
t
ion
.
tex:
a
void multiply d
e
fined lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_width
.
c: try vertices of pr
e
viou
s
integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ver
d
oo
l
a
ege
doc: doc
u
ment integer hull compu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
h
u
l
l
.
c
:
add all po
i
nts found by sam
p
ling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
r
dool
a
ege
Possibl
e
o
p
timizations f
o
r general
i
zed basis redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
ool
a
ege
Supp
o
rt
u
se of generalized basis reductio
n
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
oolaege
add
P
olyhedron_Intege
r
_Minim
u
m for com
p
uting t
h
e integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verd
o
olaege
doc:
d
ocum
e
nt generaliz
e
d b
a
s
i
s redu
c
tio
n
base
d
inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdool
a
e
g
e
doc/
b
ar
v
inok
.
bib: add missing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
e
rdo
o
laege
a
d
d m
o
r
e
missing
as
s
ert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: add
m
issing include of allo
c
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdo
o
laege
c
onfigure
.
in: pass p
a
th of GMP installation to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doo
l
aege
co
n
figu
r
e
.
in: only compi
l
e libbar
v
i
n
ok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhed
r
on_Reduced_Basis:
d
on't sto
p
too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
o
olae
g
e
c
omp
u
te_width_directions: o
n
ly keep
l
ist o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve: d
o
n't instal
l
library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: sho
w
use of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolae
g
e
con
f
igure
.
in: don'
t
set wi
t
h
_{poly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
Po
l
yhe
d
r
o
n_Sample: be
s
atisf
i
ed with
a
reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_int
e
ger
_
h
u
ll: opti
o
n
a
l
ly
print sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
b
a
sis_re
d
u
cti
o
n
:
k
eep track of number of LPs
s
olved
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
opti
o
ns: move
-
-print-stats t
o
library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
bernstein: rework te
s
ting framework to not
d
epend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoola
e
ge
bernstein: add piecewise_lst
:
:is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdo
o
laege
supp
o
rt newer versions of GiNa
C
(>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaeg
e
sta
n
dard_c
o
nstr
a
ints
:
move fr
o
m topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
p
o
lysig
n
.
h:
r
e
m
ove dep
e
ndency o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verdoolaege
zsolv
e
: add ban
n
er
.
h t
o
distri
b
ution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
g
e
Polyhedron
_
L
a
ttice_Width_Directions:
p
ri
n
t progr
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en V
e
r
doolaege
b
a
sis_reductio
n
_
p
i
p: a
b
ort on invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
R
EADME: explain how to get submodu
l
es
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
d
o
c: docume
n
t latti
c
e wi
d
th c
o
mpu
t
ation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
lae
g
e
some
l
att
i
c
e
wi
d
th
t
ests fr
o
m Jon
Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_L
a
tt
i
ce_Width: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
a
d
d
P
olyhedron_Lat
t
ice_Width f
o
r c
o
m
puting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add Cone_Int
e
ge
r
_Hul
l
for com
p
uting vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
polysign: add p
i
p-backe
d
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
lae
g
e
p
o
lysi
g
n: add constraints_opt t
o
co
m
p
ute o
p
timu
m
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polys
i
g
n_cdd: swi
t
ch to use of Matr
i
x rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
doolaege
po
l
ysign_glpk: switch to
u
s
e of Matrix
representat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olae
g
e
doc: document computation o
f
Hilbert
b
asis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
Cone_Hilbert_
B
asis: use st
a
ndard_constra
i
nt
s
to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
Use zso
l
ve
to
compu
t
e
H
ilbert basis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
compil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
g
e
zso
l
ve: don
'
t inst
a
ll
he
a
d
ers a
n
d executables
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
z
solve
:
i
n
it
i
alize BackupTime
i
n
ZSolveCont
e
xt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsol
v
e: zsol
v
eSystem: add
missin
g
verbosity check
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
z
solve: override LI
B
S
f
rom top le
v
el
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
add 4ti2
-
1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
add zsolve from 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
param
_
util
.
c
: exp
o
rt b
i
t_vec
t
or_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topc
o
m
.
c: extra
c
t
part of code
f
o
r setting up sta
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ver
d
oolaege
gen
_
fun:
:
H
adamar
d
_
p
roduct: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en Ve
r
dool
a
ege
move
--ver
b
ose option to
library
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oo
l
aege
g
en_fun::summate: handle full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Replace incr
e
men
t
al
i
n
fin
i
te set counter by "reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
m
ake counter:
:
a
dd_falling_
p
owers st
a
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
laege
merge (most
o
f) comm
o
n
p
art of counter
and tcoun
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
o
l
aege
icounter:
handle spe
c
iali
z
ation
o
f
po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounte
r
: don't bother "normalizi
n
g"
the exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
e
xport neg_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
basis_r
e
duction_cdd: ch
e
ck for p
o
ssibly in
c
o
rrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
lyhedron_
S
ample: handle
polyhedron becoming em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
g
en_
f
un
:
:operator evalue *: always re
t
u
rn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
g
en
_
fun::operat
o
r
e
va
l
ue
*: r
e
move commented out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdool
a
ege
barvino
k
_enumera
t
e_e
.
cc:
h
a
nd
l
e ver
i
fication of
p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_enumerate_e: optionally
p
rint stats
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
barv
i
nok_e
n
umerate
_
e:
suppo
r
t verification o
f
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
barvinok
_
enumerate_e
:
support conversion of
ge
n
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
latt
i
ce
_
points:
a
nother micro-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
l
a
ttic
e
_points_fixed: nano-opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
g
en
_
f
un::add:
c
ontext of sum shou
l
d
be
u
nion
o
f contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
ola
e
g
e
b
arv
i
n
o
k
_
enumerate: use verif
y
infrastruc
t
ure for
v
e
r
ifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
g
enfun
.
cc:
p
ri
n
t
_
power: drop
spaces a
r
ound "/" w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
count_points_e: fall back
t
o
co
u
nt_
p
oints if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
Mak
e
f
i
le
.
am: che
c
k-evalue: print na
m
e of e
a
ch test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
ve
r
ify: add check_po
l
y_pr
i
n
t helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: make sure
c
ontext is a
l
ways set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
reducer::
r
e
duce: canonicalize coeff
i
cients in
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
short
_
rat::print: cor
r
ectly print out terms w
i
th a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
b
a
r
vinok_se
r
i
es: re
c
heck
f
o
r eq
u
alities afte
r
computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
exp
o
rt Mat
r
ix_R
e
a
d for reading Matr
i
x from a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c:
add Para
m
_V
e
rtex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c
:
s
uppo
r
t
i
ng
_
con
s
traints
:
return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
polylib:
u
pdate for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
opt
i
ons
.
c: use Polyhedron_Sa
m
ple for counting infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
k
e
e
p
t
rack of and use satur
a
ti
n
g c
o
ns
t
raints i
n
P
a
ram_Polyhedr
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
move valu
e
_gcd and val
u
e
_
lcm to
p
olylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
a
e
ge
B
ernoulli_sum_evalue: only
compute e
x
act su
m
i
f
appro
x
ima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Be
r
nou
l
li_s
u
m
_
ev
a
lue: sum over variables with i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
eval
u
e
.
c
: export evalu
e
_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
Polyhedron_ExchangeColumns
:
normalize constraints aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
p
ort
P
olyhedr
o
n_Exch
a
ngeCol
u
mns
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
evalue_polynom
i
al: optimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaeg
e
eva
l
ue
.
c
: emul: hand
l
e a
n
other sp
e
ci
a
l cas
e
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
eva
l
ue
.
c
:
eadd: handle some special
c
ases
commit
|
commitdiff
|
tree
next