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 Verd
o
olae
g
e
ge
n
fun
.
cc: s
h
o
r
t
_rat::print: correc
t
ly p
r
int polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
E
x
port series
as barvinok_en
u
merate_
s
eries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
r
e
move_par
a
meter_e
q
ualities: stop "removing" equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
series: leave
free
i
n
g
o
f P argument to calling function
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
la
e
ge
d
oc: do
c
ument imple
m
entation of the
p
r
o
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
add barvin
o
k_e
n
umer
a
te_e_series implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoolaege
g
e
nfu
n
.
cc: fix
and document paralle
l
p
o
ly
t
op
e
s cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only compil
e
zsolve if gcc 3
.
4 o
r
l
a
t
er
i
s
availab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
Move GiN
a
C-i
n
depe
n
dent p
a
r
t of lib
r
a
ry
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoola
e
ge
d
o
c: how to cou
n
t the n
u
mber of elements i
n
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
g
e
doc/implementation
.
tex: avoid multiply
d
efine
d
labe
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice
_
widt
h
.
c
:
try ver
t
ice
s
of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
d
o
c:
d
ocument integer h
u
l
l comp
u
tation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
hull
.
c:
a
dd all points found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doola
e
ge
Possible optimizations for generalized basis redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
rdoolaege
Supp
o
rt us
e
of
g
ene
r
alized basis reduction to co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
add P
o
l
yh
e
dron_Integer_M
i
nimum
f
or c
o
mputing the in
t
eg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc: document
generalized
b
asis
r
eduction bas
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
doc/barvinok
.
bib
:
a
dd mi
s
sing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: add
m
i
s
s
i
ng
in
c
lu
d
e of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
configure
.
i
n
: pass path of
G
MP installation to PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ve
n
Verdoolaege
c
on
f
igure
.
in:
only compile
libbarvino
k
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
Verdo
o
laege
Polyhe
d
ron_Reduced_Basis: do
n
't s
t
op
t
oo
early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laeg
e
compu
t
e_width
_
dire
c
tions: only
k
e
ep list o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
z
s
ol
v
e:
d
on'
t
install l
i
br
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
v
ersion
.
c
:
show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
r
d
o
ola
e
ge
configur
e
.
in: don't set wit
h
_{po
l
y,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ver
d
oolaege
Pol
y
h
e
d
ron_Sa
m
ple: be satisf
i
ed with a r
e
a
s
onable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
do
o
laege
c
o
ne_integer_hull: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basi
s
_
redu
c
tion:
k
e
ep
track of number of
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
options: mo
v
e --print-stats to
library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
l
a
ege
ber
n
ste
i
n: rework testing
f
ramework to n
o
t
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ve
r
d
oolaege
b
e
rnste
i
n:
a
dd piecewis
e
_l
s
t
:
:
i
s
_
equal
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
erdoolaege
support
newer versions
o
f Gi
N
aC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
ve
n
Verdo
o
laege
st
a
n
dar
d
_c
o
nst
r
aints: move
from topco
m
.
c to
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
polys
i
gn
.
h: remove
d
ependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
z
s
olve:
add banner
.
h
t
o
distribution
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Ve
r
doolaege
Polyhedron_Lattice_Width_Directions
:
p
r
int
p
rogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
ven Ve
r
doolaege
basis_red
u
ction_pip: abort on invalid
(e
m
p
t
y) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Ver
d
oolaege
READ
M
E: explain ho
w
to g
e
t
sub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
do
c
: doc
u
m
e
nt latt
i
ce width compu
t
ati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
s
ome
latt
i
ce
width tes
t
s
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
Polyhedron_Lattice_Width: decide on
f
acets to clo
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verd
o
olaege
add
Polyhedron_Lattice_Wid
t
h for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hi
l
bert
.
c: ad
d
Con
e
_I
n
te
g
er_
H
u
l
l for computin
g
v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
polysign:
add pi
p
-
ba
c
ked versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
ge
polysign: add constraints_o
p
t to co
m
pute
optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polys
i
g
n_cdd:
swit
c
h
to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
doolae
g
e
p
olysign_glp
k
: s
w
itch to use of Matr
i
x
r
epres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
doc: doc
u
ment compu
t
ati
o
n
o
f Hilbert bas
i
s o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
a
ege
Cone_Hilb
e
rt_Bas
i
s: use
s
t
a
n
da
r
d_constra
i
nts to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
U
s
e
zsolve to comput
e
Hil
b
ert
b
asis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compi
l
e zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
don't install headers an
d
executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
ool
a
ege
zsolve:
i
nitialize Backu
p
T
ime in ZSolveCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
z
solve: zsolveSystem:
a
dd
m
issing
v
erbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
oola
e
g
e
zsolve: override LIBS from top l
e
v
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aeg
e
add 4ti2-1
.
3
.
1+autoco
n
f-0
.
1
ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
add zsolve from 4ti2-1
.
3
.
1+a
u
toconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
param_
u
t
i
l
.
c: expor
t
bit_vector
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdoolaeg
e
t
o
pcom
.
c: extr
a
ct part of code fo
r
setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoo
l
aege
gen_fun
:
:Hadamard_product
:
print progre
s
s
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdo
o
laege
m
o
ve --
v
erbo
s
e option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
ool
a
ege
gen_fun
:
:
summate: handle full specia
l
izat
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
R
e
plac
e
incremental
i
nf
i
nite set
c
oun
t
er b
y
"
r
egul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
m
a
ke counter::add_falling_powers
s
tati
c
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
merge
(most of) commo
n
par
t
of count
e
r and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ic
o
un
t
er: handle
specializa
t
ion
of polynomial
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
icou
n
ter: don't bother "n
o
rmalizing" t
h
e exponen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
ex
p
ort
neg_left
_
h
ermite
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
basi
s
_red
u
ct
i
on_cdd:
c
heck
for possibly incorrect outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Pol
y
hedron_Sample: handle poly
h
edron becoming
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::ope
r
a
t
or evalue *: always retu
r
n a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun::operato
r
evalue *
:
r
e
m
o
v
e comme
n
ted out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
bar
v
inok_enumerate_e
.
c
c:
handle verification of
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
l
aeg
e
barv
i
nok
_
enumerat
e
_e:
o
p
tio
n
ally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oolaege
ba
r
vinok_
e
nu
m
erate_e: s
u
ppo
r
t verificatio
n
o
f g
e
nera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
i
n
o
k_en
u
merate_e:
s
upport
c
o
nversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
lattice
_
point
s
: another micro-opt
i
miz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
l
attic
e
_
p
o
ints
_
f
i
xed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
ge
n
_fun::add: context
o
f sum
should be u
n
ion of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvi
n
ok_enumer
a
te
:
use verify infra
s
t
r
ucture
f
or verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
genfun
.
cc: print_power: drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
count
_
points_e: fall
back t
o
count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
a
ege
Make
f
i
le
.
am: c
h
eck-
e
v
alue: pr
i
n
t name
of each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
v
erif
y
: add
c
heck_poly_p
r
int hel
p
e
r
function
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun: make s
u
re
c
o
ntext is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reduce
r
::redu
c
e: can
o
nicaliz
e
c
o
effici
e
nts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_rat::print:
c
orrectl
y
pri
n
t out terms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
bar
v
inok_s
e
ries: r
e
che
c
k
f
or equalities af
t
er comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaeg
e
export Ma
t
rix_R
e
a
d
for re
a
ding Matr
i
x from a stream
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
param_uti
l
.
c: add Param_Vertex_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
util
.
c
: s
u
p
porting_cons
t
raints: re
t
urn
bi
t
vector
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
polyl
i
b: upda
t
e
for
Matrix_Exten
d
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
optio
n
s
.
c: use
Polyhedron_Samp
l
e fo
r
c
ounting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
keep
track of
and use sa
t
ur
a
ting constraints in Param_Pol
y
h
e
dron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_gcd an
d
value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rnoulli_
s
um_evalue: only compute exac
t
s
u
m
if approx
i
ma
t
i
o
.
.
.
commit
|
commitdiff
|
tree
next