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
polysign.h: remove dependency on lexmin.h
2007-11-07
S
ven Verdoola
e
ge
polysi
g
n
.
h:
r
emove depende
n
cy on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdool
a
eg
e
zsolve: add banne
r
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
Polyhedron_Lattic
e
_Width_Directions: pr
i
nt prog
r
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n
Verdoolaege
basis_reductio
n
_
p
ip: abort
on invalid (em
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
READ
M
E: explain how to ge
t
submod
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
d
o
c: documen
t
l
attic
e
width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
o
ola
e
ge
some
la
t
t
i
ce width tests from Jon Yaggi
e
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyh
e
dron_Lattice
_
Width: decide on facets to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdool
a
ege
add Polyhedron_Lattice_
W
idth for computing
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n
V
e
rdoolaege
hilbe
r
t
.
c: add Cone_Integer_Hull
f
or
c
omputing ver
t
ice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
pol
y
s
ign: add pip-ba
c
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolae
g
e
polysign: add cons
t
raints_op
t
to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
pol
y
sign_cdd: s
w
i
t
ch
to use of
Matri
x
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
p
oly
s
i
gn_gl
p
k: swi
t
ch to use of Matrix r
e
pres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
l
aeg
e
doc: d
o
c
u
ment computat
i
on of Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoola
e
ge
Cone_Hil
b
ert_Bas
i
s: use sta
n
d
a
rd_constra
i
nts to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
d
oolaeg
e
Use zsol
v
e to com
p
ute Hilbert ba
s
is of
a
co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
c
ompil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
zsolve: don't
install
headers and execu
t
ables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
g
e
zsolve
:
initialize Backu
p
Time i
n
ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsolveSystem:
add missing ve
r
bosity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: over
r
ide LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
rdool
a
ege
ad
d
4ti2-1
.
3
.
1
+autoconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
z
solve
fr
o
m 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
ool
a
e
g
e
param_util
.
c: expo
r
t bit_vector
_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
to
p
co
m
.
c: ext
r
act part of cod
e
for setting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hadamard_
p
ro
d
uct: print progress indica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
e
n
Verdoolae
g
e
mo
v
e -
-
verbose
option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen_fun::summate: handle
f
ull specialization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
l
aege
Repl
a
ce incremental inf
i
nit
e
se
t
co
u
nter by
"
regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
mak
e
counter::add_f
a
lli
n
g
_
pow
e
rs sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
mer
g
e (most of) common p
a
rt of counter and
t
coun
t
er
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
i
c
ounter: handle
spe
c
ializa
t
ion
o
f poly
n
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
icounter: don't bot
h
er "normalizing" the exponent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
e
x
port
n
eg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
basis_reduction_cdd: check for pos
s
ibly incorrect out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
Polyhedron_Sample:
handl
e
polyhed
r
on
b
e
coming
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
gen_fun::opera
t
o
r e
v
alu
e
*
:
a
l
ways return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen_fu
n
::operator evalue *: remove commen
t
ed out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvinok_enumerate_e
.
cc: handle verification
of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
ola
e
ge
b
arvinok
_
enume
r
at
e
_e
:
optionally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_enumera
t
e
_e: suppo
r
t verification
o
f
gene
r
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
l
a
ege
barvinok_en
u
merate_e: support conversion of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
l
a
ttice_point
s
: another micro-op
t
i
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_points_fixed: n
a
n
o-optimiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun::ad
d
: context of sum shoul
d
b
e
union o
f
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
barvi
n
o
k
_e
n
umerate: use veri
f
y infrastructure f
o
r verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
gen
f
u
n
.
cc: print_power: drop space
s
around "/"
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoo
l
aege
count_points_
e
: fall back to cou
n
t
_
points
i
f there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
Makefile
.
am: check-eva
l
ue: print
n
ame of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
verify
:
add
check_pol
y
_print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
gen_fun: ma
k
e sure cont
e
xt is alw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::reduce: canonicalize co
e
fficients
i
n each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
sh
o
rt_rat::prin
t
: correc
t
ly print out terms wit
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_series: recheck for
e
qualities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
l
aege
export
Matrix_Read for reading
M
atrix
f
ro
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
param_util
.
c: add Para
m
_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
util
.
c: supporting_constraint
s
: retur
n
bit
vector
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
p
olyli
b
: update
for Matrix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
op
t
ions
.
c: use Polyhedron
_
Sample for
counting in
f
i
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
keep track of and
u
se sa
t
urating c
o
nstra
i
n
t
s in Param
_
Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
doola
e
ge
move value_gcd and va
l
u
e_
l
cm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
Bernoulli_su
m
_evalue: only compute e
x
act sum if app
r
oximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
Be
r
noulli_sum_eval
u
e: sum over v
a
riable
s
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Polyhedron_Ex
c
h
angeColumns:
n
ormalize
constraints a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export Po
l
yhed
r
o
n
_ExchangeC
o
lum
n
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rd
o
olaege
e
val
u
e_polynom
i
al
:
optim
i
ze evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c:
emul: h
a
ndle ano
t
her sp
e
cial
c
ase
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
evalue
.
c: eadd: handle some
s
pecial ca
s
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olae
g
e
introduce
a
nd
u
se evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
e
v
a
lue
.
c: eadd: micr
o
-optimize a
d
dition of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
se
t
ting an approximat
i
on method now implies polyn
o
m
ia
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
barvino
k
_summat
e
: optionally
u
se
B
ernoulli/Fa
u
lhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_su
m
_eva
l
ue: use
e
valu
e
_from_section_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
b
arv
i
nok/polylib
.
h: rem
o
ve compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vector_Oppose to Po
l
yLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
p
olyt
o
pe_scan: ree
n
able --direc
t
o
p
ti
o
n
commit
|
commitdiff
|
tree
2007-10-20
S
ven Ve
r
doolaege
remove_
a
l
l
_equalities: keep removing equ
a
lities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolae
g
e
r
emove_all_equa
l
i
ties: handl
e
empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
e
m
o
v
e
_all_equalit
i
es
:
minor code cl
e
an-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
e
x
po
r
t Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
pola
r
_signed_cone_consu
m
er: clean up
memory on inapprop
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven
V
e
r
doolaege
Par
a
m_Inner_Prod
u
c
t: f
i
x use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaeg
e
doc: fix t
y
po in Miche
l
e Vergne's na
m
e
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
Ad
d
missi
n
g files from pol
y
ma
k
e client to dist
r
ib
u
tion
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolaege
U
s
e
g
m
p
's gcd rather
t
han PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
polymake/
R
E
ADME: mention --with-barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
polymake/
M
akef
i
le
.
i
n
: add work-
a
round for polym
a
ke 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
Verdoolaege
evalue
.
c: print_evalue: always
p
rint newline at t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
V
erdoolaege
options
.
c: fix typo i
n
--ap
p
roximation-met
h
od
d
escr
i
ption
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom: fix heurist
i
c fo
r
selec
t
ing row
s
to use
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
bar
v
i
n
ok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
a
ege
M
erge
branch 'topc
o
m'
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
r
do
o
laege
Document TOPCO
M
based chamb
e
r
decompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
t
e
st T
O
PCOM
c
h
amber decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
Optional
l
y use
T
OPCOM to
co
m
pu
t
e
chamber decompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
r
d
oolaege
lexmin: add (protected) m
i
ssing algorithm include
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoo
l
aege
Makefi
l
e
.
a
m
: a
d
d target
for creating di
s
t
w
i
th
git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: update voting the
o
ry reference
commit
|
commitdiff
|
tree
next