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
Verdo
o
lae
g
e
add Polyhedron_Integer_M
i
ni
m
um
f
or comput
i
ng the
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoo
l
aege
doc
:
documen
t
g
e
ner
a
lize
d
basis
r
educti
o
n based inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ver
d
oo
l
aeg
e
d
o
c/barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven
Ve
r
doolaege
add m
o
re missing assert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Ver
d
oo
l
aeg
e
evalue
.
c: add m
i
ssing includ
e
of all
o
c
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdoola
e
ge
config
u
r
e
.
in: pass path of GMP installat
i
on to
P
olyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
confi
g
ure
.
in: only
c
ompile libb
a
rvinok as a st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaeg
e
Polyhedr
o
n_Reduced_B
a
s
is: don'
t
st
o
p too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
c
o
m
pute_w
i
dth_dir
e
ctions: only k
e
ep l
i
s
t
of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoo
l
aege
zsol
v
e
: d
o
n
'
t
install library
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ve
r
doola
e
ge
versio
n
.
c: show use
of TOP
C
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaeg
e
configur
e
.
i
n: don't set with_{poly,p
i
p}lib_prefix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Verdool
a
e
ge
Pol
y
hed
r
on_Samp
l
e: be satisfied
wi
t
h a
r
e
a
s
onable
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integer_hul
l
:
optionally pr
i
nt st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
l
a
ege
bas
i
s_red
u
cti
o
n: k
e
ep track
of number of LPs sol
v
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
doolaeg
e
o
p
tions: move --print-stats to libr
a
ry
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
bernstein
:
r
ework tes
t
ing f
r
amework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verd
o
o
l
a
ege
bernst
e
in:
a
dd piecewi
s
e_lst::is_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdoolaege
supp
o
rt newe
r
v
ersions of GiNaC (>
=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
tandard_c
o
nstra
i
nts:
move from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
pol
y
sign
.
h:
remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oola
e
ge
zsolve: add banner
.
h t
o
distri
b
u
t
ion
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
ge
P
o
lyhedron_Lattice_W
i
dth_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
b
asis_re
d
uct
i
on
_
pip: abort on in
v
alid (e
m
p
t
y
) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n
Verdoolaege
RE
A
DME: explain ho
w
to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
d
oc: document lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
some lattic
e
wid
t
h tests from
Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n
V
erdoolaeg
e
Polyhed
r
on
_
L
a
ttice
_
Width: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
ool
a
ege
add Polyhedron_Lattice_
W
idth for
c
o
mputing latti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoola
e
ge
hilbert
.
c: add Co
n
e_Integer_H
u
ll
f
or computing v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign:
a
dd pi
p
-backed vers
i
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add cons
t
raints_o
p
t to compute optimum o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
do
o
l
a
e
g
e
polysign_cdd: s
w
i
t
ch to use of
M
atrix repr
e
s
e
n
t
a
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaege
pol
y
sign_gl
p
k: switch to use o
f
Matrix representa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
e
rdoolae
g
e
doc: do
c
ument comp
u
tation of Hilbert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
olaege
Cone_Hil
b
ert_B
a
sis: use standard_constraints to
a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verd
o
o
laege
Use zsolve to co
m
pute
Hi
l
bert basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoola
e
g
e
co
m
pile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoola
e
ge
zsolv
e
: don'
t
install headers an
d
e
x
ec
u
t
ables
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsol
v
e: initialize BackupTime in
ZSolveC
o
ntext
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oo
l
a
e
ge
zsolve: zs
o
lveSyste
m
: add missing verbosity c
h
ec
k
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Ve
r
d
o
olaege
zsolve: override LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laeg
e
a
d
d 4ti2-1
.
3
.
1+autoconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add zsolve fr
o
m 4ti2-
1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_uti
l
.
c: export bit_vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verd
o
olaege
to
p
com
.
c
:
extract
part of code for sett
i
ng up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
g
e
n
_fun::Hadamard_product: print
p
rogress
i
ndicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
aege
move --verb
o
se op
t
i
o
n to li
b
rary
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
la
e
g
e
gen_fun::summate: handle fu
l
l specializat
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
R
e
place
incremental infinite se
t
counter by
"re
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
make
c
ou
n
ter::add
_
falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
merge (most of
)
common
p
art o
f
cou
n
ter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
icoun
t
er:
h
a
ndle specializa
t
ion of pol
y
no
m
ials
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
ic
o
unter: don't bother "normalizin
g
" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export
n
eg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
basis_reduction_cdd: c
h
eck for possibly incor
r
e
ct out
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
ae
g
e
Polyhedron_Sample: ha
n
dle poly
h
edron becomin
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen_fu
n
::o
p
era
t
or
e
v
alue
*
:
always retu
r
n a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen_fun:
:
operator evalue *: remove commented out debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barv
i
n
o
k
_
enumerate_e
.
c
c
:
h
a
ndle verifi
c
ation of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erd
o
olaege
barv
i
n
o
k_enu
m
erate_e: optiona
l
ly print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
o
o
laege
barvinok_e
n
umer
a
te
_
e: s
u
pport ve
r
ification of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
barvinok_
e
numerate_e: support conversion of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
lattice_
p
oints
:
another micro-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
ege
la
t
tice_poi
n
ts_fi
x
e
d:
nano-opti
m
iza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_fu
n
::add: context of sum s
h
ould be uni
o
n of c
o
n
te
x
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
barvinok_en
u
mer
a
te
:
use ve
r
i
f
y in
f
ras
t
ructure for
v
e
r
ifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
f
un
.
cc: print_p
o
wer:
drop
spaces aroun
d
"/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laeg
e
count_points_e: fall
bac
k
to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
M
a
kefile
.
am: check-evalue:
p
r
i
nt na
m
e of e
a
ch test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ve
r
ify
:
a
dd check_poly_print help
e
r fu
n
ct
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
a
e
ge
gen_fun: make sure
context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
r
e
duc
e
r::reduce: canonicalize coefficients in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
shor
t
_rat::pr
i
nt: cor
r
e
ctly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oola
e
ge
barvinok_series: recheck for equalities after computin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
exp
o
rt Matrix_Read for reading
Mat
r
ix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
para
m
_util
.
c: add
P
a
ram_Vertex_D
o
m
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ut
i
l
.
c: sup
p
orting_constraints: r
e
tu
r
n bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
o
l
a
e
g
e
pol
y
lib
:
upda
t
e for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
o
ptio
n
s
.
c: use Polyhedron_Samp
l
e
f
o
r
count
i
ng infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of
a
nd use saturatin
g
constraints
in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
move val
u
e_gcd and
v
a
l
ue_lc
m
to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoola
e
ge
B
ernoulli_su
m
_evalue: o
n
l
y
comput
e
ex
a
c
t
sum if approximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaeg
e
B
ern
o
ulli_sum_ev
a
l
ue:
sum over variables with integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c: ex
p
ort
ev
a
lue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
Polyhedron_Exchan
g
e
Columns: normalize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
g
e
exp
o
rt P
o
lyhedron_E
x
chan
g
eC
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
evalue
_
p
o
ly
n
omia
l
: optimize
e
valuation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
e
va
l
ue
.
c
: emul: handle another s
p
e
ci
a
l
ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
e
value
.
c: eadd:
h
andle some special cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
a
e
ge
introduce a
n
d use evalu
e
_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
e
v
a
l
u
e
.
c:
eadd: micro-optimize additio
n
of two rationa
l
s
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
s
e
ttin
g
an approxi
m
a
t
i
on method now implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
o
o
l
a
ege
b
a
rvinok_summate: opti
o
nally use
B
erno
u
l
li/Fau
l
haber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
ernoulli_sum_e
v
al
u
e: use evalue_fr
o
m_sec
t
ion_arra
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok/polylib
.
h:
re
m
ove compatibility
w
ith old
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
m
o
v
e Vec
t
or_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
polyt
o
pe_scan: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdool
a
ege
remove_all_equalities: k
e
e
p
remo
v
ing
e
qua
l
i
ties
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n
Verdo
o
laeg
e
rem
o
ve
_
a
l
l_equali
t
ie
s
:
h
andle empty pol
y
hedr
o
n detected
.
.
.
commit
|
commitdiff
|
tree
next