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
version.c: show use of TOPCOM
2007-11-08
Sven Verdool
a
ege
v
er
s
ion
.
c: sho
w
u
se of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in
:
don't set with_{poly
,
pi
p
}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ver
d
ool
a
ege
Pol
y
hedron_S
a
mple:
b
e satisfi
e
d with a reasonable cho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Ver
d
oolaege
con
e
_
i
n
teger_hull:
optio
n
ally print st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n V
e
rd
o
olaege
basis
_
r
eduction: keep track of nu
m
ber
of LPs
s
olved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdool
a
ege
option
s
: m
o
ve --print-stats
to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
berns
t
ein
:
rework
t
e
s
ting
f
ramework to not depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
ber
n
stein: add piecewise_lst:
:
is
_
e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdool
a
ege
support newer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolae
g
e
s
tandard_
c
ons
t
raint
s
:
mo
v
e from
topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
polys
i
gn
.
h: rem
o
ve d
e
pen
d
e
n
cy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
o
o
laeg
e
zso
l
ve: add banner
.
h to
d
istribut
i
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolaeg
e
Polyhedr
o
n_Lattice_Width
_
Directions
:
print progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
basis_redu
c
tion_pip: abort on invalid (empty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
README: explain ho
w
to get
sub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n
Ver
d
o
olaege
doc
:
document lattice
w
idth computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
som
e
lattic
e
width tests from Jon
Yagg
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven
Ve
r
doolaege
Polyh
e
dron_Lattice_W
i
dth:
d
ecide o
n
f
a
cets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aeg
e
add P
o
lyhedron_Lattice_Width
f
o
r
comp
u
ting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Ver
d
oolaege
hil
b
ert
.
c: a
d
d Cone_Integer_Hull for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaeg
e
p
o
l
y
sign: add
p
ip-bac
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysig
n
: add constraints_opt to compu
t
e
o
ptim
u
m over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Ver
d
oo
l
aege
polysign
_
cdd: sw
i
tch to use of
M
atrix repre
s
enta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
oolae
g
e
polysign_glpk: sw
i
tch to
u
se
o
f Matr
i
x rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc:
d
ocum
e
nt
c
omputation of Hil
b
ert b
a
sis
of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone
_
Hilbe
r
t_Basis: use standard_
c
onstrai
n
ts to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use
z
solv
e
to c
o
m
p
ute Hilbert
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
compi
l
e z
s
o
lve
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsolve:
don
'
t install headers and
executable
s
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
o
l
aege
zsolve
:
initialize
BackupTime in
Z
S
olveContext
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
oolaege
zsolve: zsolveSystem: add missing verbosit
y
c
heck
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zsolve: override LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
ege
add 4ti
2
-
1
.
3
.
1+autoconf-0
.
1
b
a
n
n
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zsolve f
r
om
4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
para
m
_util
.
c: export bi
t
_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c: extr
a
c
t
part of code for se
t
tin
g
up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hadamard_product
:
print progr
e
s
s indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n V
e
r
d
oolaege
move
--verbose o
p
tion to libr
a
ry
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::
s
ummate: hand
l
e
f
ull spe
c
i
a
lization
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdo
o
lae
g
e
Replace increm
e
ntal infinite set counter
by
"re
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter::add_falling_powers st
a
tic
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
l
aege
merge (most of)
common
part
o
f counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
icounte
r
: handle specializa
t
ion of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laeg
e
icounter:
d
on't bother "normalizi
n
g
"
t
he expon
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
r
d
oolaege
export neg_left_
h
ermite
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
basis_reduction_cdd: check for pos
s
ibly incorrect
o
utp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Polyhedron_Sample: h
a
ndle polyhedron bec
o
ming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
g
e
n_fun::op
e
rator evalue *: al
w
a
ys
r
eturn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
g
en_fun::operator
e
v
alue *: re
m
o
v
e co
m
m
ented out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
barvinok_en
u
me
r
ate_e
.
cc: handle v
e
rification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arv
i
nok_enum
e
rate_e:
o
ptionall
y
print
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
ba
r
v
i
nok_enu
m
e
r
ate_e: support verificat
i
on of gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvin
o
k_enumerate_e: suppo
r
t c
o
nver
s
ion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
l
a
ttice_points: ano
t
h
e
r
micro-op
t
imizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
lattice_poi
n
ts_fixed: n
a
n
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
gen_fun
:
:add: context of sum
s
h
o
u
ld be unio
n
of c
o
nt
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
bar
v
i
nok_e
n
u
merate: use verify infrastructure for ver
i
fying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfu
n
.
cc:
p
rint
_
p
o
w
er: drop spaces a
r
ound "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
c
o
u
nt_point
s
_
e:
fall b
a
c
k to
c
o
u
n
t_points i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
ool
a
ege
Mak
e
f
ile
.
am: chec
k
-evalue: p
r
int name of each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add
ch
e
ck_poly_pr
i
nt help
e
r functio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
l
a
ege
gen_fun: make sure co
n
text i
s
always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reduce
r
::reduce: canoni
c
ali
z
e
c
oef
f
i
c
ients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
short_rat::prin
t
: correctly print
o
u
t te
r
ms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_series: recheck for
eq
u
alities aft
e
r com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laeg
e
export
M
atrix_Read
for reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
e
g
e
pa
r
am_
u
ti
l
.
c: add P
a
ram
_
Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
util
.
c: su
p
porting_constra
i
nts:
return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
p
olyli
b
: updat
e
for Matr
i
x_
E
xten
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
opt
i
on
s
.
c: use Polyhe
d
ron
_
Sample for countin
g
infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
keep track of and
u
se saturating con
s
traints in Param
_
P
olyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
mov
e
value_
g
cd
a
n
d
val
u
e_lcm to
po
l
ylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
Bernoul
l
i_sum_evalue: on
l
y comput
e
exact
s
u
m
if
a
ppr
o
x
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Bernoulli_sum_evalue: sum ove
r
variables w
i
th
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
eva
l
u
e
.
c:
export e
v
alue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
l
yhedron_Exc
h
a
ngeCo
l
umns:
n
ormalize constraints afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
export Polyhedron_E
x
changeC
o
l
um
n
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
evalue_polynomial:
o
ptimize evalu
a
t
io
n
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
e
v
alue
.
c: emul: handle anoth
e
r s
p
ecia
l
c
ase
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
ev
a
lu
e
.
c: eadd:
h
a
n
dle s
o
me spe
c
ial
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
o
l
a
e
ge
introduce and use evalue_f
r
e
e
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
e
r
doolaege
eva
l
u
e
.
c:
e
add: micro-optimize add
i
tion of
t
w
o
r
a
tionals
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
se
t
tin
g
an
a
pp
r
o
x
imation
method now impli
e
s
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvi
n
ok_summate: optional
l
y use
B
e
r
noul
l
i/Fa
u
lhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rnoulli_s
u
m_evalue: use
eva
l
u
e_from
_
s
e
ctio
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
ino
k
/pol
y
lib
.
h: remove
com
p
atibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdo
o
laege
move Vecto
r
_
Oppose
t
o PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
o
lytope_
s
can: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoolaege
remo
v
e_all_equali
t
ies: keep removing
equalities unti
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
r
e
m
ove_all_equ
a
lities:
handle empty p
o
lyh
e
d
r
on de
t
e
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoola
e
ge
remove_all_equalities: minor cod
e
clean
-
u
p
commit
|
commitdiff
|
tree
2007-10-20
S
ven Ve
r
doo
l
aege
expor
t
Polyhedron_Matrix
_
View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
Verdoola
e
ge
polar_s
i
gn
e
d_cone_con
s
umer: clean up mem
o
ry on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
ven Verdoolaege
Param_I
n
n
e
r
_
P
r
o
d
uct: fi
x
use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sve
n
Verdoolaege
doc: fix t
y
po
in Michele Vergne's
n
am
e
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdool
a
ege
Add missing files fro
m
polym
a
ke client to distribu
t
ion
commit
|
commitdiff
|
tree
2007-09-21
S
v
en
V
erdo
o
laege
Use gmp's g
c
d rather than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
poly
m
ake/
R
EADME: mention --wi
t
h-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
doolaege
polymake/Mak
e
file
.
in: add work-around for polym
a
ke 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
V
erd
o
o
l
a
eg
e
evalue
.
c: print_e
v
alue: always print newli
n
e at the
.
.
.
commit
|
commitdiff
|
tree
next