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
Polyhedron_Sample: be satisfied with a reasonable choice for the first direction
2007-11-08
Sven Verd
o
olaege
Poly
h
edron_Sample: be satisfied wit
h
a
r
e
a
sonable c
h
oic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
cone_integer
_
hull: o
p
tion
a
lly print
stats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
basi
s
_
reduct
i
on:
keep
t
rack of numb
e
r of LP
s
s
olved
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verd
o
o
l
aege
options: move -
-
print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
e
r
n
s
t
e
in: rew
o
rk
testing fram
e
work to no
t
d
e
pend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
bernst
e
in: add piecewis
e
_ls
t
:
:
i
s_equa
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
V
erd
o
olaege
standa
r
d_constr
a
ints: m
o
ve from topc
o
m
.
c to polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoola
e
ge
polysign
.
h: remo
v
e depen
d
ency on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
d
o
olaeg
e
z
s
olve: add b
a
nner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
laege
Polyhe
d
r
o
n_
L
at
t
ice_Width
_
Dire
c
tions:
print
p
ro
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n
Verdoolaege
b
a
sis_r
e
ducti
o
n
_
pip: abort
o
n invali
d
(emp
t
y)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Ver
d
o
olaege
R
E
ADME: expla
i
n
how to get subm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
do
c
: document lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
S
ve
n
V
e
rdoolaege
some lattice width tests from Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoo
l
aeg
e
P
o
lyhedron_La
t
tice_
W
i
d
th: dec
i
de on fac
e
t
s
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolae
g
e
ad
d
Poly
h
e
d
ron_Lattice
_
W
idth f
o
r
computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
hi
l
b
e
r
t
.
c: add Cone_Integer_Hull for computing
vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
ool
a
ege
polysign
:
ad
d
p
ip-backe
d
version
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verdoolaege
po
l
y
s
i
gn: a
d
d
c
onstraints_opt to compute op
t
i
m
u
m over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
p
o
lysign_cdd: switch to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
p
o
lys
i
gn
_
glp
k
: swit
c
h to use of
Matrix re
p
resentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
d
oc: docum
e
nt compu
t
ation
o
f Hilbert
basis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
Co
n
e_Hilbert_Basis: use s
t
a
n
dard_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
Use
zs
o
lve to
compute Hilbert basis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
o
olaege
z
sol
v
e: don't in
s
ta
l
l headers and exec
u
t
ables
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
olaege
z
s
olve:
i
n
itialize BackupT
i
m
e
i
n ZSolveCont
e
xt
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zso
l
ve:
zsolveSystem:
a
dd missing v
e
rbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
eg
e
zs
o
lve
:
override LIBS fr
o
m top level
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
add
zsolve
f
rom 4ti2-1
.
3
.
1
+
autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
laeg
e
param_util
.
c:
e
xport bit_v
e
ctor_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
topcom
.
c: extract
p
art of cod
e
f
o
r setting up sta
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en Verdoolae
g
e
gen_fun::Hadamard
_
produc
t
:
print progr
e
ss indi
c
ator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven V
e
rdoolaege
mo
v
e --verbose op
t
ion to library
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
gen_fun::s
u
mmate: handle full
specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
R
e
place
i
n
cremental inf
i
nite set count
e
r by
"
regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
m
a
ke c
o
u
n
ter::
a
dd_f
a
lling_pow
e
rs stati
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
merge (
m
ost of) c
o
mmon
part of counter
a
n
d tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olae
g
e
icounter: ha
n
dle specializati
o
n
of pol
y
nomial
s
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
icounter: don't b
o
t
her "n
o
rmal
i
zing" the exponen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg
_
left_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_
r
educt
i
on_cdd: check for poss
i
bly incor
r
ect o
u
tp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedr
o
n_Sample: handle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
l
aege
ge
n
_fun::operator evalue *: alw
a
ys ret
u
rn
a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun
:
:oper
a
tor evalue
*: r
e
move comm
e
nted o
u
t
d
eb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvinok_enumerate_e
.
c
c: h
a
ndle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvin
o
k
_
enume
r
ate
_
e: optiona
l
ly p
r
int stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rd
o
ol
a
ege
barvinok_enu
m
erate_e: suppor
t
ve
r
ifica
t
ion
o
f g
e
n
e
r
a
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_
e
numera
t
e_e: support conv
e
rsion of gen
e
r
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
lattice_points: an
o
th
e
r micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaeg
e
lat
t
ice_po
i
nts
_
f
ix
e
d:
nano-o
p
timizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olae
g
e
gen_fun::add:
context of sum shoul
d
be union of c
o
ntext
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_enume
r
ate: use
v
e
r
ify
infrast
r
uctu
r
e for veri
f
y
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
lae
g
e
genf
u
n
.
cc: prin
t
_p
o
wer: drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
coun
t
_
p
o
i
nts_e: fall
b
a
ck to c
o
unt_points if ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Makefile
.
am: check-eva
l
ue: pri
n
t name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
veri
f
y: add
c
h
e
ck_poly_print he
l
per funct
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun: ma
k
e sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
reduce
r
::reduce:
canoni
c
alize coeffici
e
nt
s
in
ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
h
o
r
t
_
r
a
t::print: correctly print
o
ut terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
b
arvinok_series: r
e
check for equal
i
ties
a
fter computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verd
o
olaege
export Matrix_Read for
r
eading Matrix f
r
om a
stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
param_util
.
c: a
d
d Pa
r
a
m_Ver
t
e
x_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
u
til
.
c: supporting_constrai
n
ts: return bit v
e
c
t
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
p
o
lylib: upda
t
e for Matrix_Ext
e
n
d
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
options
.
c: use Polyhedron_Sample fo
r
counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
keep track of and
use
s
atur
a
ting constraints in
Pa
r
am
_
Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
ove value_gcd a
n
d value_lcm to pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_su
m
_
e
value: on
l
y co
m
pute exact sum if
a
pprox
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoul
l
i_sum_e
v
alue: sum over variables
w
ith integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
e
value
.
c: e
x
port evalu
e
_
v
a
r
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Polyhedron_Exch
a
ngeColumns: normalize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
po
r
t Pol
y
hedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_p
o
lynomial: opt
i
mi
z
e evaluatio
n
in zero
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoo
l
aege
e
value
.
c
:
e
m
ul: handle another specia
l
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oo
l
aege
eval
u
e
.
c: ead
d
: handle some spe
c
ial
c
ases
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
i
ntroduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
ev
a
lue
.
c: eadd: micro-o
p
timize addition of two rat
i
o
n
a
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
setting an appr
o
ximation metho
d
now implies po
l
ynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_summate: optionally use B
e
rnoulli/Fa
u
l
h
abe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
Bernoull
i
_sum
_
e
val
u
e:
u
s
e evalue_
f
rom
_
se
c
tio
n
_a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
barvinok/pol
y
lib
.
h: remove compatibi
l
ity with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
move Vector_Oppo
s
e to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
po
l
yto
p
e_sc
a
n:
reena
b
l
e --direct option
commit
|
commitdiff
|
tree
2007-10-20
S
v
en V
e
rdool
a
ege
remo
v
e
_
a
l
l_equalities: keep removing equaliti
e
s until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolae
g
e
remove_all_equal
i
ties: handle empty pol
y
hedron d
e
t
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoolaege
rem
o
ve
_
all_equalities:
minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
Ve
r
doolaege
exp
o
r
t
Polyhed
r
on_Mat
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
polar_signed_cone_consume
r
:
c
lean up me
m
o
r
y
o
n
inappropria
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdo
o
laege
Param_Inner_Product: f
i
x
u
se of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
V
erdoolaege
doc:
fix
typo in M
i
c
h
ele Verg
n
e's nam
e
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
Add missing f
i
l
es fro
m
polymake clie
n
t to dis
t
ribution
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaeg
e
Use gm
p
's gcd rath
e
r than
P
olyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
ege
polymake/REA
D
M
E
: m
e
ntion --with-bar
v
inok conf
i
gure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
l
a
eg
e
pol
y
make/Ma
k
e
f
ile
.
in:
add work-aro
u
n
d for
p
ol
y
make 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
e
value
.
c: pri
n
t
_
e
value: always
print
n
e
w
line at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdo
o
l
a
ege
o
p
tions
.
c: fix typo
i
n --approximation-method descrip
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sve
n
Ve
r
doo
l
aege
topcom: fix
heuristic for se
l
ecting ro
w
s
to
u
se as
.
.
.
commit
|
commitdiff
|
tree
next