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
normalization.c: extract standard_constraints from polysign.c
2007-11-07
Sven Verdoolaege
bern
s
t
e
i
n:
rework tes
t
ing frame
w
ork to
n
ot depe
n
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
bern
s
tein: ad
d
piecewise_lst::is
_
equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdo
o
lae
g
e
supp
o
rt newer versions
of GiN
a
C (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdool
a
e
g
e
s
t
an
d
ard
_
constraints: move from topco
m
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rd
o
olaeg
e
polysign
.
h: rem
o
ve dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve:
add banner
.
h to dis
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdool
a
ege
Polyhe
d
ron_Lattice_Width_Directio
n
s: print
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoolaege
basis_reduction_pip: abort on inv
a
l
id
(
e
m
pt
y
) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
READ
M
E: explain
h
ow
t
o get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoo
l
aege
doc:
d
o
cume
n
t lattice width
comp
u
tation
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
some
la
t
tice width tests
fr
o
m J
o
n
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolae
g
e
Polyhedron_Lat
t
ice_Width: decide on fa
c
ets to
clo
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolae
g
e
add
Polyhedron_L
a
ttic
e
_Width for
c
o
mputin
g
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verd
o
olaege
h
i
l
b
e
r
t
.
c: a
d
d Cone_Integer_Hull for computing verti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
ege
polysign: a
d
d pip-backed ve
r
sion
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Ve
r
doola
e
ge
polysign: add
co
n
str
a
ints_opt to compute
optimum
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdool
a
ege
polysign_cdd: s
w
itch
to
u
s
e of Mat
r
i
x rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
polysig
n
_glpk:
s
witch to us
e
of M
a
trix repres
e
n
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
doc: docum
e
nt computation o
f
Hilber
t
basis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
Cone_Hilb
e
rt_Basis: use
standard_constraints to
a
v
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
do
o
l
a
ege
Use z
s
olve to compute Hilbert ba
s
is
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
doola
e
ge
compile zsol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't install headers and executab
l
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zs
o
lve: initialize
B
ackupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: zsolveSys
t
em:
a
dd missing verbosity ch
e
ck
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
oolaeg
e
zsolve: override LI
B
S from top le
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdo
o
l
a
ege
add 4ti2-
1
.
3
.
1
+
a
utoco
n
f-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Verdoolaege
add zsolve from 4ti2-1
.
3
.
1+au
t
oconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
param_uti
l
.
c: expo
r
t bit_vec
t
or
_
count
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdoolaege
to
p
com
.
c:
extra
c
t part o
f
code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
Verdoolaege
gen
_
fun::Ha
d
amar
d
_product: print progress i
n
dicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoola
e
ge
move --verbos
e
option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun::summat
e
: handle full
sp
e
cialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace incr
e
mental
i
nf
i
nite set
c
o
unter by "
r
e
g
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
make counter::add_fall
i
ng_powers sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge
(most of) common
part of
c
ounter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
icou
n
t
e
r
:
handle
sp
e
ci
a
lizatio
n
of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
i
c
o
u
nte
r
: don't bother
"normal
i
zin
g
" the e
x
p
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Ve
r
doolaege
expor
t
neg_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
b
a
sis_reduction_cdd: check for
possibly in
c
o
r
rect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
r
d
oolaege
P
olyhedr
o
n_Sample: handle polyhed
r
on becoming
em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoo
l
aege
gen_fun::ope
r
ator eva
l
ue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fun::operator
e
value *: remove commented ou
t
de
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
barvinok
_
enumerate_e
.
cc: handle verificatio
n
of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enumerate
_
e: optionally p
r
i
nt stats
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
ola
e
ge
barvinok_enumerate_e:
s
upport
veri
f
i
c
a
tion of
g
e
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oola
e
ge
barvinok_
e
numerate_e: su
p
port conversi
o
n
o
f gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_poi
n
ts: an
o
ther micro-optim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
la
t
tice_points_fixed: nano-
o
ptimiz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olae
g
e
g
en_
f
un::ad
d
: context of su
m
should
b
e union of co
n
text
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
enumerat
e
: use v
e
rify infrastruc
t
ur
e
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
g
e
nfun
.
c
c: print_
p
ow
e
r:
drop
spaces
a
round "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
count
_
points_e: fall
b
ack to coun
t
_points if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Makefile
.
am: check-e
v
alue: print name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
verify
:
add chec
k
_po
l
y_p
r
int helper function
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
l
ae
g
e
ge
n
_
f
un: m
a
k
e sure c
o
ntext
i
s always set
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
redu
c
er::r
e
duce: canonicalize coefficients in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
short_rat::prin
t
:
correctly pri
n
t out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvino
k
_
s
eries:
r
echec
k
for e
q
ualities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Matrix_Re
a
d for
rea
d
i
n
g
M
atrix fro
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
param_u
t
il
.
c
:
add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
uti
l
.
c
:
supporting_c
o
nstraints: ret
u
rn
b
it vector
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
polylib: update for Ma
t
r
ix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
options
.
c: use Po
l
yhedron
_
Sample fo
r
coun
t
i
n
g infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
keep track of and u
s
e saturating constraints in Pa
r
am_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
move value_gc
d
and value_lc
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
d
oolaege
Berno
u
l
li_sum_evalue: only
compute exact
s
u
m
i
f approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
Be
r
noulli_s
u
m_eval
u
e:
sum
o
ver variabl
e
s wit
h
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
eval
u
e
.
c:
export evalu
e
_var
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
doolaege
Poly
h
edron_ExchangeCo
l
umns
:
n
o
r
malize
c
onst
r
ai
n
t
s
after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
export Pol
y
hedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
evalue_polynomia
l
: optimize
e
valuati
o
n in z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c:
e
mul:
h
andle anot
h
e
r special
case
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
evalue
.
c: e
a
d
d: hand
l
e some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
in
t
roduc
e
a
n
d use eva
l
u
e_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e
.
c
:
ead
d
:
m
icro-
o
ptim
i
z
e
addition of two ra
t
io
n
als
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
setting an approximation method now implies p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvino
k
_summate: optionally u
s
e Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
Ber
n
oulli_sum_
e
value:
u
se
ev
a
lu
e
_
f
rom_sect
i
on_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/
p
olylib
.
h: remove c
o
m
p
at
i
bility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
m
o
ve
Vect
o
r_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
po
l
ytope_scan:
reen
a
ble --di
r
ect opti
o
n
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rd
o
olaege
re
m
ove_all_equaliti
e
s: k
e
ep
r
emov
i
ng equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolaege
remove_all_equalit
i
es: ha
n
d
l
e empt
y
pol
y
hedro
n
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
laege
r
emove_all_equalities: minor co
d
e clean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export Polyhedron_
M
at
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaeg
e
pol
a
r
_
s
igned_cone_consumer: c
l
e
a
n
up memory on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Ve
r
doolae
g
e
P
a
ram_Inner_P
r
oduct: fix use o
f
v
a
lue_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
do
c
: f
i
x typo in Mi
c
hele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
o
laege
A
d
d
m
i
s
sing
files f
r
o
m
p
olymake
c
l
i
e
nt
t
o distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's gcd rather than
PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
rdo
o
laege
p
o
lymake/README: mention --
w
i
th-b
a
rvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolaege
polym
a
ke
/
M
akefile
.
in: add work-
a
round for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n
Verd
o
olaege
eval
u
e
.
c: print_
e
val
u
e
:
alwa
y
s
print
n
e
wline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ve
r
doolaege
op
t
ion
s
.
c: f
i
x
typo in --a
p
p
roximation
-
metho
d
descriptio
n
commit
|
commitdiff
|
tree
2007-09-15
Sven Ver
d
ool
a
ege
t
opcom:
f
i
x
heuristic for s
e
l
ecting rows to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Ver
d
oo
l
aege
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Ve
r
doolaege
M
e
r
ge branch
't
o
pco
m
'
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Docume
n
t TOPCO
M
based
c
hamb
e
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
test TOPCOM
c
hamber decomposition
commit
|
commitdiff
|
tree
next