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
Sven Verdoo
l
aege
p
o
lysign
.
h: remov
e
dep
e
ndenc
y
o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: a
d
d
banner
.
h
to d
i
stribution
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
rdoola
e
ge
Polyhedro
n
_
Lattice_
W
idth_Dir
e
c
t
ions
:
print prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolaege
basi
s
_reduction_pip: abor
t
o
n invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaege
READM
E
:
explain how to get submodu
l
es
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
doc: d
o
cumen
t
lattice wi
d
t
h
computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
s
o
me l
a
tti
c
e w
i
d
t
h tests fr
o
m
J
o
n Yaggi
e
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedron_Lattice_Width: d
e
cide o
n
facets t
o
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
l
a
e
g
e
a
dd Polyhedron_La
t
tice
_
Wi
d
th for com
p
u
t
ing l
a
ttice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven
Verdool
a
ege
hilb
e
rt
.
c: add
Cone_Integer_Hull for c
o
mputing
vert
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add p
i
p
-
b
acked version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polys
i
g
n
:
add co
n
straints_opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
po
l
ysign_cdd: switch to use
of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_glpk:
s
witch to us
e
of Ma
t
rix represen
t
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: document c
o
mputation
o
f Hilbert
b
asis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hilbert_Basi
s
: use standard
_
cons
t
r
a
i
n
ts
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
Us
e
zsolve to co
m
pute Hilber
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
rdo
o
l
a
e
ge
com
p
ile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaege
zsolve: don'
t
i
n
stall headers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
e
r
do
o
l
aege
zsolve:
i
n
i
tialize
Backu
p
Time in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: z
s
olveSystem: add missing ve
r
bosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
zsol
v
e: override LIBS
from top l
e
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-1
.
3
.
1+autoco
n
f-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zsolv
e
f
ro
m
4t
i
2
-
1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
ae
g
e
para
m
_util
.
c: export bit_vect
o
r_c
o
unt
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolae
g
e
topc
o
m
.
c: extract
p
art
o
f code
f
or s
e
tting up standar
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en Verdoola
e
ge
gen_
f
u
n:
:
Hadamard_produ
c
t: p
r
int pro
g
ress indicato
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoola
e
ge
move --verbose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun:
:
summate: handle f
u
ll s
p
eciali
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoola
e
ge
Replace incremental i
n
fini
t
e s
e
t
counte
r
b
y
"regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdool
a
ege
make counter::add_f
a
lli
n
g
_
p
ow
e
r
s
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
merge (mos
t
of) common part of c
o
u
n
t
er and tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ic
o
unter: h
a
ndle sp
e
cia
l
i
z
a
t
ion of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
c
o
u
nter: don't bother "n
o
rmalizing"
the expo
n
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
expo
r
t neg_l
e
ft_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bas
i
s_reduct
i
on_cdd:
check
for p
o
ssibly incorrect
ou
t
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Po
l
yhedron_Sam
p
le:
h
and
l
e
polyhedro
n
beco
m
i
n
g em
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen_fun::op
e
rator evalue *: al
w
ays
r
e
t
u
rn a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ver
d
o
olaeg
e
gen_fun::opera
t
or evalue *: remo
v
e commented out
d
ebugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
barvinok_enu
m
erate_e
.
cc: hand
l
e v
e
rification of prob
l
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
b
a
r
vino
k
_enumerate_e:
optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_enumer
a
te_e: supp
o
rt ver
i
ficatio
n
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
barvinok_e
n
umerate_e
:
suppor
t
c
o
nv
e
rsion of generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
lattice_
p
oi
n
ts: another micro-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
lattice_poin
t
s
_
f
ixed: nano
-
optimization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
e
g
e
ge
n
_fun::add:
c
ontext of
s
um should
b
e
un
i
on of con
t
exts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barvinok_e
n
umerate: use v
e
rif
y
infrast
r
u
c
ture for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
genfun
.
c
c
: print_power:
drop spaces a
r
ound "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
count
_
p
o
ints_e: fall back to c
o
unt_points
i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Make
f
i
l
e
.
am
:
check-evalue:
print n
a
me of eac
h
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_pol
y
_
print helper
funct
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
ge
n
_f
u
n: make sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::redu
c
e:
c
a
n
o
nicalize
c
oefficien
t
s in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
short_
r
at::print:
c
orrectly pr
i
nt out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
b
a
rvinok_series: recheck for
e
q
u
alities after c
o
mputin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
export Ma
t
r
ix_Read for readi
n
g Mat
r
i
x from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
param_util
.
c: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
uti
l
.
c: supporting_constraints:
r
eturn bit vector
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
poly
l
ib: update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
e
ge
options
.
c: use Po
l
yhedron_Samp
l
e for counti
n
g i
n
finite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdool
a
eg
e
keep
t
rack of
and
use saturating constraints
i
n
Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
m
o
ve val
u
e_gcd and v
a
lue_lcm to
p
olylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
B
ernoul
l
i_su
m
_
evalu
e
: only compu
t
e
e
xact
sum
if app
r
o
xim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
Bern
o
ul
l
i
_
s
u
m_e
v
alue: sum over variable
s
w
ith integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
u
e
.
c: ex
p
ort
e
value_var
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
P
ol
y
hedron_Excha
n
g
e
Columns: normaliz
e
c
o
nstraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
exp
o
rt Polyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e_polynomial: optimize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
evalu
e
.
c: em
u
l: han
d
le anot
h
er
s
peci
a
l
case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
ev
a
lue
.
c
:
eadd:
han
d
le some
s
p
ecial cases
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
introd
u
c
e an
d
use ev
a
l
u
e_fr
e
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: eadd:
m
icr
o
-optimize addition of t
w
o rationals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
se
t
ting
a
n approximation method now im
p
lies p
o
l
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
barvinok_summate: opt
i
onally use Berno
u
lli/Fau
l
haber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernou
l
li_sum_e
v
alue: use e
v
a
lu
e
_from_section_
a
rray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
d
o
olae
g
e
barvinok/polyl
i
b
.
h: remove compati
b
ili
t
y with
o
lder
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
move Vecto
r
_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
polytope_scan: reenable --di
r
ect optio
n
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all
_
equalities: keep removing equalit
i
es unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven V
e
rdoolae
g
e
remov
e
_all_equalities: handle e
m
pty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n Verd
o
o
laege
remove_all_equalities: mi
n
or code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erd
o
olaege
export Polyhedron_Matrix
_
V
i
e
w
commit
|
commitdiff
|
tree
2007-10-16
Sven Ve
r
doolaege
pola
r
_
s
igned_cone_cons
u
mer
:
clean
u
p memo
r
y on
i
nappropr
i
ate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
S
ve
n
V
e
r
d
oolaege
P
a
ram_Inner_Product: fix use o
f
value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven
V
erdoolaege
doc: fix typo i
n
Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oolaege
A
d
d missing file
s
from polymake clien
t
t
o distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
Use gmp's gcd r
a
t
her tha
n
PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verdoolae
g
e
p
olym
a
k
e
/README: mentio
n
--with-
b
arvinok co
n
figure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n V
e
rdo
o
l
aeg
e
polymake/Makefile
.
in: add wo
r
k-ar
o
und fo
r
polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdoolaege
evalue
.
c: print_eval
u
e:
a
lways print new
l
in
e
at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
option
s
.
c
: fix typo in
-
-
a
pproximatio
n
-m
e
t
hod
d
escription
commit
|
commitdiff
|
tree
2007-09-15
S
ven Verdoolaege
topc
o
m: fix heurist
i
c for sele
c
ting rows to use
as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoola
e
g
e
ba
r
vin
o
k 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdo
o
laege
Merge
b
ranc
h
't
o
pcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oo
l
aege
Document TOPCOM bas
e
d chamber
d
ecomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
test T
O
PCOM cha
m
ber
de
c
ompositi
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verd
o
olaege
Opt
i
o
na
l
ly
use TOPCOM t
o
comput
e
chamber
d
ecompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin
:
add (
p
r
otected
)
missing algorithm includ
e
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaeg
e
Makefi
l
e
.
am: add tar
g
e
t
f
or creating di
s
t with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Ve
r
doolaege
doc: u
p
date voting theo
r
y reference
commit
|
commitdiff
|
tree
next