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 Ve
r
doolaege
version
.
c: show us
e
of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
c
onfigure
.
in: d
o
n
't se
t
w
it
h
_{poly,p
i
p}lib_pr
e
f
i
x from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
P
o
lyhedr
o
n_Samp
l
e: be sati
s
fied wi
t
h
a reasonable
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
V
er
d
oola
e
ge
cone_integer_hull: o
p
tionally print stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
rdoolaege
ba
s
is_
r
ed
u
ction:
kee
p
track of num
b
er of LPs s
o
lved
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoola
e
g
e
o
p
tions: move
--
p
ri
n
t-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
erdoolaege
bernstein: rewor
k
te
s
ting f
r
a
m
ework to n
o
t dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ver
d
oolaege
bernstein: add piecewise_lst::is
_
e
qual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
sup
p
ort newer vers
i
on
s
of
G
iNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Verdoolaege
standar
d
_constraints: m
o
ve f
r
om topcom
.
c to pol
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ver
d
oolaege
polys
i
gn
.
h: remove depen
d
ency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ve
n
Verdoolaege
zsol
v
e:
add
b
anner
.
h to
d
istribution
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Ve
r
d
oolae
g
e
Po
l
yhed
r
on_Lattice_Width_Di
r
ec
t
ions: print p
r
ogr
e
ss
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n V
e
rdo
o
l
aege
basis
_
r
e
ductio
n
_p
i
p: abort
o
n
i
nva
l
i
d (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
README: expla
i
n h
o
w t
o
get s
u
bmod
u
le
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document l
a
t
tice wi
d
th c
o
m
putation
commit
|
commitdiff
|
tree
2007-11-02
S
ven
V
erdoolaege
some
l
attice w
i
dth te
s
ts fro
m
Jon Y
a
g
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
Polyhedron_Lattic
e
_Width:
decide on
f
acets to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoo
l
ae
g
e
add Polyhe
d
ron_Lattice_Width for com
p
uti
n
g
l
at
t
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Ver
d
oolaege
h
i
l
be
r
t
.
c: add Cone_Integer
_
Hull for
c
omputing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
laege
p
olys
i
gn: add pip-backed ve
r
sion
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolae
g
e
pol
y
s
ign
:
add constraints_opt to compute o
p
t
i
mu
m
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign
_
cdd:
s
witch t
o
use of M
a
t
r
ix rep
r
ese
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdo
o
laege
po
l
ysign_glpk
:
s
w
itch to use of Ma
t
rix
r
e
p
resentat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
doc: d
o
cument
c
o
mputation
of
Hilbert ba
s
is of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
aege
Cone_Hilbe
r
t_Basis
:
use stand
a
r
d_co
n
str
a
ints to
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoolae
g
e
Use
z
solve to compute Hilbert basis of
a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
comp
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oola
e
ge
zsolve: don't insta
l
l
headers an
d
e
xe
c
utabl
e
s
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
z
s
olve: initia
l
ize Backu
p
Tim
e
i
n
Z
S
o
l
veContext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve: zs
o
lveSystem:
a
dd
miss
i
n
g
verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: override LIBS from top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
a
d
d zsolve from
4
ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoolae
g
e
param_util
.
c:
export bit_ve
c
tor_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
doolaege
to
p
com
.
c
:
extract
p
a
rt
of cod
e
fo
r
setting up s
t
andard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdool
a
ege
gen_fun::Ha
d
amard_p
r
o
d
uc
t
: print progress indic
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
aege
move
--verbos
e
option
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_f
u
n::summat
e
: han
d
le full
spe
c
ia
l
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Re
p
lace incremen
t
al infinite set count
e
r by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
ake c
o
unter::add_
f
alling_
p
owe
r
s sta
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
merge (most of
)
co
m
mon part of coun
t
er and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
icounter: handl
e
special
i
zat
i
o
n of po
l
yno
m
ia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ic
o
unter: don't bother "
n
ormalizing" the
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ex
p
ort neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
o
laege
b
asis_reduction_cdd: che
c
k for possibly i
n
corr
e
ct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoola
e
g
e
Polyhedro
n
_Sample:
handle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::opera
t
or evalue
*
:
always return
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen_fu
n
:
:
operator evalue *: remove comm
e
nted out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
b
a
rvinok_enumerate_e
.
cc: handle verific
a
tion of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e: optionally p
r
int stats
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_enume
r
ate_e:
s
upport ver
i
fication of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_e
n
umera
t
e_e: s
u
pport con
v
er
s
ion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lat
t
ice_points: another mic
r
o-optimizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_poi
n
ts_fix
e
d: n
a
n
o
-
op
t
imization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen
_
f
un::
a
d
d
: context
o
f
sum
should
b
e u
n
ion of
contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
barvinok_enumerate: use v
e
rify
infrastructure f
o
r
verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc: pri
n
t_p
o
w
e
r: drop spaces ar
o
und "/" whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
count_p
o
int
s
_e: fall back to c
o
u
n
t_points if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Make
f
ile
.
a
m
: check-evalue: prin
t
name
of each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
v
e
rify: ad
d
c
h
eck_po
l
y
_
pri
n
t helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: m
a
ke sure c
o
nt
e
xt is alwa
y
s se
t
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
r
e
ducer
:
:
redu
c
e
:
canonicalize coe
f
f
i
cients in
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verd
o
o
l
a
ege
s
h
o
r
t
_rat::print: correct
l
y print out terms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
b
arvi
n
ok_series: re
c
heck for
e
qualities a
f
t
e
r compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
export Matrix_Rea
d
for reading Matr
i
x
f
r
o
m a strea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
param_util
.
c: add Param_Ve
r
tex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
u
t
il
.
c: su
p
porting_constraints: r
e
t
u
rn bi
t
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
polylib: update for Ma
t
rix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c
:
u
se Polyhedron
_
Sam
p
le for co
u
nt
i
ng
i
nfinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep t
r
ack of and u
s
e satur
a
ting constraints in Param_P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
m
o
ve value_gcd and value_
l
cm to polylib
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
Bernoulli_sum_eval
u
e: only compute
e
xact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
ola
e
ge
Bernoulli_sum_evalue:
s
um over variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: export evalue_
v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Pol
y
hedron_Exch
a
ngeC
o
lumns: nor
m
alize constraint
s
a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
e
x
por
t
Polyhedron_E
x
changeColumns
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdoolaege
evalue_poly
n
omial: optimize eva
l
u
a
t
i
o
n in zer
o
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
e
v
alue
.
c: emul:
h
andl
e
another special case
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
evalue
.
c: eadd: han
d
le some
special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
intr
o
duce an
d
use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoola
e
ge
evalue
.
c
: e
a
dd: micro-optimize ad
d
ition
of two rationals
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ve
r
d
oolaege
setting an appr
o
ximati
o
n meth
o
d now implies polynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvin
o
k_s
u
mm
a
te: optionally
u
se Bernoulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
B
ern
o
u
lli_
s
um_ev
a
lue
:
u
se
evalue
_
from_section_ar
r
ay
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
barvinok/polylib
.
h:
r
em
o
ve compatib
i
lit
y
w
i
t
h
older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
move Vector
_
Oppose t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
aege
polyto
p
e_scan:
r
e
en
a
ble --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all
_
equalities
:
ke
e
p removi
n
g equalities unti
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
e
n Verdoolaege
remove_all_equalitie
s
: handle
empt
y
poly
h
edr
o
n
detec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities
:
mino
r
code cl
e
an
-
up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
expor
t
Polyhedro
n
_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
po
l
a
r_signed_cone_cons
u
mer: clean up memo
r
y on inappropria
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoo
l
a
e
ge
Param_I
n
ner
_
P
r
od
u
c
t:
fix use of value_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sve
n
Verdoolae
g
e
doc: fix typo in M
i
c
hele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verd
o
olaege
Add missin
g
fil
e
s f
r
om polymake c
l
ient
to distrib
u
t
ion
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use gmp's gcd
ra
t
her than PolyLib'
s
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Ve
r
doolaege
poly
m
ake
/
R
EADME: me
n
tion --w
i
th-barvinok
c
onfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Ver
d
oolaege
polymake/Makefile
.
in: add
work-aroun
d
for
polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoo
l
aege
evalue
.
c
: print_
e
value:
a
lways prin
t
newlin
e
a
t
the
.
.
.
commit
|
commitdiff
|
tree
next