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 V
e
rdoola
e
ge
version
.
c: s
h
ow use of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ver
d
o
olaege
configure
.
in: don't set with_{poly,pip}li
b
_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven V
e
r
d
oolaege
Poly
h
edron_Sample: be satisfie
d
wi
t
h
a
reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaeg
e
con
e
_integer
_
hull: opt
i
on
a
lly print s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Verdoolaege
basi
s
_reduc
t
ion: keep tra
c
k of number
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ve
r
doolaege
options: move --
p
rint-
s
tats to lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
bernstein: rework testing framework t
o
not dep
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
o
o
lae
g
e
bernstein: ad
d
piecewise_lst::
i
s_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
u
pport newer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erd
o
o
lae
g
e
s
tandard_con
s
t
r
a
i
nts: move from to
p
com
.
c
to polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
p
o
l
y
s
i
gn
.
h: remove dependency on
l
exmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
z
s
ol
v
e: a
d
d banner
.
h
to distrib
u
tion
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
P
o
lyhedron_Lattice_Width_Dire
c
tion
s
: print prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en
V
erdool
a
ege
b
a
s
is_reduct
i
on_pip: abor
t
o
n i
n
valid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: exp
l
ain
how to
get sub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oolae
g
e
d
o
c: document l
a
ttice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
o
l
a
ege
some lattice width
tests fr
o
m
Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
V
er
d
oo
l
aege
Polyhe
d
ron_Latt
i
ce_Width: decide
on face
t
s t
o
clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
a
dd
P
olyhedron_Latti
c
e_Width for computing
l
a
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c: add Cone_Integer_Hul
l
for
computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
pol
y
s
i
g
n
:
add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add
constraints_opt to
c
omp
u
te o
p
t
imum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
doolaege
polysign_cdd
:
switch to us
e
o
f
M
atrix
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
oo
l
ae
g
e
polysign_glpk: switch to use o
f
Matr
i
x represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdool
a
ege
doc: doc
u
m
ent c
o
mputat
i
o
n o
f
Hilbert ba
s
is of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
Cone_Hilbert_
B
a
s
is: use standard_constraints to
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Use zsol
v
e to comput
e
Hilbert
b
asis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verd
o
olaege
compile
zso
l
ve
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdool
a
ege
zsolve: don't ins
t
all headers and execut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
o
o
laege
zsol
v
e
: initialize Backup
T
ime in
ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
er
d
oolaege
zs
o
l
v
e: zsolveSystem: add m
i
ss
i
ng
verbos
i
ty c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsolve
:
o
verride
L
IBS f
r
om top level
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
add 4ti2-1
.
3
.
1+au
t
oconf-0
.
1
b
anner
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaeg
e
add zsolve from
4
ti2-1
.
3
.
1+a
u
t
oconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
p
a
r
am_util
.
c: export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
ege
t
o
pc
o
m
.
c: extrac
t
part of code for setti
n
g
up stan
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ver
d
o
o
laege
gen_fun::Hada
m
ard_product: pri
n
t
progress indi
c
a
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Ve
r
doolaege
mov
e
--verbose optio
n
to
l
ib
r
a
r
y
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
gen_fun::summate: handle full spe
c
iali
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
e
ge
Re
p
l
a
c
e
i
ncremental infin
i
t
e
set
counter by "regu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
m
a
k
e co
u
nt
e
r::add_
f
a
lli
n
g_powers s
t
atic
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
merge (most of) common
p
a
r
t
of c
o
unter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdool
a
ege
icoun
t
er
:
ha
n
d
l
e specializ
a
tion of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
icounte
r
: don
'
t
b
o
th
e
r
"
normalizing"
the exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
export neg
_
l
e
ft
_
hermit
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
ba
s
is_reduct
i
o
n_cdd
:
check for possibly inc
o
r
rect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
l
yhed
r
on_Sample:
handle polyhedron becoming e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator
evalue *: always return a va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun::opera
t
or eva
l
ue
*
: remove c
o
mmente
d
out de
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdool
a
e
g
e
barvin
o
k_en
u
mer
a
te_e
.
c
c
: handle v
e
ri
f
i
cati
o
n of p
r
ob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvi
n
ok_e
n
umera
t
e_
e
: optionally pr
i
nt
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
barvino
k
_
enumerate
_
e:
sup
p
ort ver
i
fication of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
b
arv
i
nok_enu
m
e
rate_e: sup
p
ort conversion
o
f gener
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
lattice_points: another micro
-
opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
lat
t
ice_points_fixed: nan
o
-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
gen_fun::a
d
d: cont
e
x
t of sum should be
u
nion of cont
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
b
a
r
vi
n
ok_en
u
m
erat
e
:
use verify
i
n
f
r
a
s
tructure for verify
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen
f
un
.
cc:
p
rint_power: drop
s
paces ar
o
und
"/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_poi
n
ts_e: fall b
a
ck to count_poi
n
ts if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Makefil
e
.
am: check-evalue: pr
i
nt name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
verif
y
: add check_po
l
y_print hel
p
er func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_fun: ma
k
e sure context is always se
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
reducer::reduce: canonica
l
ize
coef
f
icients in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oo
l
aege
sh
o
rt_rat::print: correct
l
y print out t
e
rms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_series
:
r
e
chec
k
for equalities aft
e
r comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
export Matrix_Read for reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
er
d
oolaege
p
aram_
u
til
.
c: add Param_Vertex_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
u
til
.
c: supporting_constraints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
p
olylib: u
p
da
t
e for Matrix_Exte
n
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
o
p
ti
o
ns
.
c
:
us
e
P
olyhe
d
ron_Sample f
o
r co
u
nting inf
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
keep track of and use saturating co
n
straints
in Param_
P
olyhedro
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
move value_gcd and value_lcm
t
o p
o
lylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
Bern
o
ul
l
i_sum_evalue: only co
m
pute exact sum if approximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
Berno
u
lli_sum_evalue: su
m
ove
r
variables
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
lae
g
e
evalue
.
c:
export eva
l
ue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
P
o
l
y
hedron_Ex
c
hang
e
Co
l
umns:
n
ormali
z
e
constraints
a
fte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
e
xport
Poly
h
edron_Ex
c
hangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
g
e
evalu
e
_pol
y
nomial: optim
i
ze evaluation
i
n
z
e
ro
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
eva
l
u
e
.
c: emu
l
: handle another spe
c
ial
c
ase
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oola
e
ge
eval
u
e
.
c: eadd
:
han
d
le s
o
me s
p
e
c
ial c
a
s
e
s
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoola
e
ge
intr
o
duce and use evalue_f
r
e
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c
:
e
a
dd:
m
icro-optimize a
d
dition
o
f
two
rationals
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
o
o
laege
setting
an
a
p
p
r
o
ximation metho
d
now implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verd
o
olaege
barvinok_summate:
optiona
l
l
y
use Bernoulli/Faulhab
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
Berno
u
lli_sum_evalue
:
use
e
v
a
lu
e
_
from_sec
t
io
n
_a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
barvinok/polylib
.
h:
r
emove compatibil
i
ty with
o
lder
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
move Vector_Opp
o
se t
o
PolyLib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoo
l
aege
poly
t
ope_scan: reena
b
le --direct
o
ption
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
l
a
ege
r
emove_all_equalities: keep removing equalities until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_al
l
_equalities: handle em
p
ty polyhedron
detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaeg
e
remove_all_equ
a
l
ities: minor cod
e
c
lean
-
up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
export
P
olyhedron
_
M
at
r
ix_View
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n Ve
r
doolaege
polar_
s
igned_cone_consumer: c
l
e
a
n up
m
emory on in
a
p
propri
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Par
a
m_Inner_Product: fix use of valu
e
_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sve
n
Ve
r
doolaege
d
oc: fix
t
ypo in Miche
l
e
Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
Ad
d
m
i
s
sing file
s
from polymake
c
l
ient
to distri
b
ution
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
V
e
rdoolaege
Use gmp's gc
d
r
a
ther than Pol
y
Lib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
polym
a
ke/README: menti
o
n --with
-
barv
i
nok config
u
re
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
S
v
e
n
Verdoolaege
polymake
/
Mak
e
f
i
le
.
in:
a
dd work-aroun
d
fo
r
polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdo
o
laege
evalue
.
c
: print_evalue: always print n
e
w
l
i
ne at the
.
.
.
commit
|
commitdiff
|
tree
next