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
genfun.cc: short_rat::print: correctly print polynomials (no denominator)
2008-01-16
Sven Ver
d
oolae
g
e
genfun
.
cc: sh
o
rt_rat
:
:
p
r
int: correctly p
r
int po
l
ynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
E
xport series as barvinok_
e
n
u
me
r
ate
_
series an
d
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaeg
e
re
m
ove_parameter_eq
u
alities: stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: leave f
r
eeing of P a
r
gu
m
ent to
call
i
n
g
func
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
doc: document implementation o
f
the projection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add
barvinok_enumerate_e_ser
i
es implementing the proj
e
c
tion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
g
e
nfun
.
cc: fix and docume
n
t
pa
r
a
llel
polytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolaege
O
nly compile zsolv
e
if
g
cc
3
.
4 or later is availab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aeg
e
Move GiNaC
-
i
n
dependent
p
art of
li
b
ra
r
y to b
a
rvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
ool
a
ege
poly
l
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaege
d
oc
:
h
ow to count the number of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoo
l
a
ege
doc
/
implementat
i
on
.
t
ex: avoi
d
multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ve
r
doolaege
lattice_width
.
c:
t
ry ver
t
ices of prev
i
ous int
e
ge
r
h
u
ll
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc: docume
n
t integ
e
r
h
ull co
m
putati
o
n
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Ver
d
oolaege
h
ull
.
c: add all points
f
ound by sampling
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdool
a
ege
P
o
ssible optimizations for g
e
ne
r
alized basis
r
eductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdool
a
e
ge
Support
use of gener
a
l
ized ba
s
is
re
d
uc
t
ion to compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
add Polyh
e
dron_I
n
t
eger_Minim
u
m
f
o
r
com
p
uting the intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
do
o
l
aege
doc: document generalized basis red
u
c
t
i
on based
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaeg
e
d
o
c/ba
r
vinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aege
ad
d
more missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
ool
a
ege
evalue
.
c: ad
d
m
i
ssing inc
l
ude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
co
n
f
igure
.
in: pass path of GMP installati
o
n
to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
conf
i
gure
.
i
n
: only c
o
mpile libb
a
rvinok
as a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
Polyhedron_R
e
duced_Basis: don't stop too
early w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
c
o
mpute
_
w
idth_direct
i
ons: onl
y
k
e
ep list o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve
:
do
n
't
inst
a
ll li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
d
o
o
l
aege
version
.
c:
show u
s
e of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
onfigu
r
e
.
in: d
o
n't
set
with_{
p
o
l
y
,pip
}
lib_
p
re
f
ix f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
Polyhedron_Samp
l
e: be sa
t
i
sfied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdool
a
ege
cone_integer_hull: option
a
l
l
y
p
r
i
nt sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
basis_reduct
i
on: keep track of n
u
mber of LPs s
o
lved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
optio
n
s: mov
e
--print-stats to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
Ve
r
doo
l
aege
bernstein: r
e
work
testin
g
f
r
a
m
ew
o
r
k
to no
t
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
r
d
oolaege
bernstein: add piece
w
ise_lst:
:
i
s_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
sup
p
ort
newer
v
e
rsio
n
s
o
f GiN
a
C (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
oolaege
standard_cons
t
r
aint
s
: m
o
ve f
r
om topcom
.
c
to p
o
lysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
pol
y
sign
.
h: re
m
ove
dependency
o
n lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
zsolve: add bann
e
r
.
h to dist
r
ibution
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoolaeg
e
Po
l
yhedron_Lattice_Wi
d
th_D
i
rections:
print
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
e
rdoola
e
g
e
basis_reducti
o
n_pip: abort on i
n
vali
d
(empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoola
e
ge
README
:
explain how to
g
et sub
m
odule
s
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
d
o
c: document lattice width co
m
put
a
ti
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
Verdool
a
e
g
e
some la
t
tice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaeg
e
P
olyhedr
o
n_Lattice_Wid
t
h: decide on
f
acets
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven
V
er
d
o
o
laege
add Polyhedro
n
_Lattice
_
Width for computing la
t
ti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Ve
r
doolaege
hilbert
.
c: add Cone_In
t
ege
r
_Hu
l
l for
computing
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdoolae
g
e
polysign: a
d
d pip-backed vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
e
rdoolaege
po
l
y
s
ign:
a
dd c
o
nstraints_
o
pt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
pol
y
sign_cdd:
s
witch t
o
u
s
e of Matrix
r
e
pres
e
n
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doo
l
aege
polysign_glpk: sw
i
tch to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: document computati
o
n
of Hilbert basis of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
Cone_Hi
l
bert_Basi
s
: use stan
d
ard_const
r
ain
t
s to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
Use zsolve
to compute Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
comp
i
le zsol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
erdool
a
ege
zsolve: don't inst
a
ll headers and exe
c
utables
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdo
o
laege
zsolve: initia
l
ize
BackupTime
i
n ZS
o
lv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
olaege
zsolve:
zso
l
veSystem: add missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: override LIBS
f
rom top lev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
add 4ti2-1
.
3
.
1+autoconf-0
.
1
b
a
n
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
dool
a
ege
add zsol
v
e fro
m
4ti2
-
1
.
3
.
1
+
autocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
p
aram_util
.
c
:
e
x
port bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
V
erd
o
olaege
t
o
p
c
om
.
c: e
x
tract par
t
of code for setting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en Ver
d
oolaege
gen_fun::
H
adamard_pr
o
duct: pri
n
t pro
g
r
e
ss
i
ndica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbo
s
e opt
i
on to l
i
brary
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
ge
n
_fun::summate
:
h
andle full
s
peci
a
lization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
Rep
l
ace incremen
t
al infinite
s
et cou
n
te
r
by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oo
l
aege
m
ake cou
n
ter
:
:add
_
fallin
g
_powers
stat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
m
erge (most of) co
m
mon part of
cou
n
t
e
r
a
nd tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
laege
i
c
o
u
nter: handle spec
i
al
i
zation of
polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
icoun
t
er: d
o
n'
t
bother "n
o
rmal
i
zing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
xport neg_left_he
r
mite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
basis_reduction_cdd: check for possibly incorre
c
t ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaeg
e
P
olyhedron
_
Sample: ha
n
dle polyhedro
n
becom
i
n
g empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
gen
_
fun::
o
per
a
t
or evalu
e
*: al
w
ays retu
r
n
a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::operator eval
u
e
*: remove
c
o
mmented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ba
r
vinok_enume
r
ate_e
.
cc: handle v
e
r
ification o
f
pro
b
le
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
bar
v
ino
k
_enumerat
e
_e: optio
n
ally
print st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
olaege
barvi
n
ok_enumerate_e:
support verif
i
cation of
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
o
laege
b
a
rvinok_enu
m
erate
_
e:
s
upport
c
onvers
i
on
o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
lattice_points:
a
nother micro
-
o
ptimizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
lattice_points_f
i
xed: nano-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
rdoo
l
aege
g
e
n_fun::add: context
o
f sum should be union of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
b
arvinok_enum
e
rate: use verify infrastructure for verify
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
genfun
.
cc: pr
i
n
t_power: drop spaces
a
round
"
/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
count_poin
t
s
_e: fall back
t
o c
o
u
n
t
_points
i
f there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolae
g
e
Mak
e
f
ile
.
am:
c
he
c
k
-evalue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
verify: add check_poly_prin
t
helper function
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoola
e
ge
gen_
f
un: make sure context is alw
a
ys
set
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoola
e
g
e
redu
c
er:
:
redu
c
e
:
c
anonicalize coefficients i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
short_rat::print: cor
r
e
ctly
print out te
r
ms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_se
r
ies:
recheck fo
r
equalities af
t
e
r
computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
export Matrix_Read for readi
n
g Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
par
a
m_u
t
il
.
c
: add Param_Vertex_D
o
ma
i
n
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Ver
d
oolaege
util
.
c:
s
upporting_constraint
s
: return bi
t
vector
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
p
olylib: upda
t
e for Matr
i
x_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
o
ptions
.
c
: use Polyhedron_Sample f
o
r countin
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track
o
f
a
nd use saturating constraints in
P
a
ram
_
P
olyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
move v
a
lue_gcd and value_lc
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
B
e
rnoulli_sum_evalue: only compute exac
t
sum if app
r
oxima
t
io
.
.
.
commit
|
commitdiff
|
tree
next