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
Export series as barvinok_enumerate_series and use it in Hadamard_product
2008-01-16
S
ven Verdoola
e
ge
Export series as
b
arvinok_enum
e
rate_ser
i
es and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdo
o
l
a
ege
remove_p
a
rameter
_
equalities:
stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
s
e
r
i
es: leave freeing of
P
argum
e
n
t
t
o calling f
u
nctio
n
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oola
e
ge
d
o
c
:
document implementation of the pro
j
ection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
o
l
aege
a
d
d barvino
k
_
e
n
u
merat
e
_e_series im
p
lement
i
n
g the projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
gen
f
un
.
cc: fix and d
o
c
u
m
ent paral
l
el
p
oly
t
o
pes clas
s
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
Mov
e
GiNaC-i
n
dependen
t
part of lib
r
ar
y
to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoo
l
a
ege
p
o
lylib:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to coun
t
the number of
e
le
m
ents in possib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdo
o
laege
doc/implemen
t
a
tion
.
t
e
x
: avoid m
u
ltiply defined l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
l
att
i
ce_width
.
c: try vertices of previ
o
u
s
integer
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: do
c
u
m
ent i
n
teger hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
hull
.
c
:
add all
points found by sampl
i
n
g directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
Possible optimizations
f
or generali
z
ed ba
s
is
re
d
uc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
oolaeg
e
Support use o
f
generalized basis
reducti
o
n to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
add Polyhe
d
ron_Integer_Minimum for comp
u
ting
t
he
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: d
o
cument general
i
ze
d
basis
reduction based intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc/ba
r
vinok
.
bi
b
: a
d
d missing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more missing a
s
sert
.
h
#
i
n
clud
e
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
c
o
n
f
igure
.
i
n
: only compil
e
li
b
b
arvino
k
as a
stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
Polyhedron_Reduced_
B
asis
:
don
'
t
s
top too earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdo
o
laege
comp
u
te_w
i
dth_directions:
only
k
eep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
ege
zsol
v
e: do
n
'
t
install libr
a
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
versi
o
n
.
c
: show use
of
T
OPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
con
f
igure
.
in: don
'
t set with_{poly,pip}lib_
p
ref
i
x f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Verdoolaege
Pol
y
hedron_Sample:
b
e satisfied
w
it
h
a reasonable
c
h
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ver
d
ool
a
ege
cone_integer
_
hull:
opti
o
nally
p
rint s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdool
a
ege
basis
_
reduction: keep tra
c
k of
number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
opt
i
ons: move
-
-print-sta
t
s
t
o library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
l
a
ege
bernstein: rework
t
esti
n
g
f
r
amewor
k
to not dep
e
n
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
bernstein: add
piecew
i
s
e
_lst
:
:is_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aeg
e
suppo
r
t
newer version
s
of G
i
Na
C
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoolaege
standard_constr
a
ints:
m
ove
from topcom
.
c to polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
po
l
ysign
.
h: remove dependency
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
g
e
zso
l
v
e:
a
d
d bann
e
r
.
h to distributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoola
e
ge
Polyhedron_Lat
t
i
c
e_Width_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
rdoolaege
basis_reductio
n
_p
i
p:
ab
o
rt on inv
a
l
id (emp
t
y)
i
npu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: explain h
o
w to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
d
oc: docu
m
ent
l
atti
c
e width comp
u
tation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdool
a
e
ge
s
o
me lat
t
ice wi
d
th tests from
Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n
Verd
o
olaege
Polyhedron_Lattice_Width:
d
e
ci
d
e on
facets t
o
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoola
e
g
e
add
Polyhedron_La
t
tice_
W
idt
h
for
c
om
p
uting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
l
aege
hilbert
.
c: add Cone_In
t
e
ger_
H
u
ll for computing
vertice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
olaege
po
l
y
s
ign:
a
dd pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
p
olysign: a
d
d con
s
traints_opt to
c
ompute o
p
tim
u
m over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polys
i
gn
_
c
d
d:
switch to use
of Matrix re
p
resentat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
dool
a
eg
e
po
l
y
sign_glp
k
: swit
c
h to use of M
a
trix repre
s
e
n
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
doc: doc
u
ment
c
o
m
puta
t
ion
of Hilbert basis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
Cone_Hilbert_Basis: u
s
e standard_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
e
r
d
oolaege
Use
zsolve to compu
t
e Hilbert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
compi
l
e zs
o
l
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve: d
o
n't install hea
d
ers and e
x
e
cutabl
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
z
s
olv
e
: i
n
itialize BackupT
i
me in ZSolve
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zs
o
lve:
zs
o
lv
e
Sy
s
tem: a
d
d
m
issing verbosity
c
heck
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: over
r
ide LIB
S
from
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
aege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
a
d
d zsolve from 4ti2-1
.
3
.
1+autocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
param_util
.
c: expo
r
t bit_vector
_
cou
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
olaege
to
p
com
.
c
: extr
a
ct part of code for setti
n
g up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hadamard_product: print p
r
ogress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
Ve
r
doolaege
move --verbose o
p
t
ion to libra
r
y
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
gen_fun::summate: ha
n
d
le full speciali
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
R
ep
l
ac
e
incremental i
n
finite
s
et c
o
unter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
make counter::add_falling_po
w
ers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
m
e
rge (most of) commo
n
part o
f
counter and tcoun
t
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
eg
e
i
c
o
u
nter: handl
e
s
p
ec
i
aliza
t
ion of po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
icounte
r
:
don't bother "n
o
rmalizing" the expo
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
export
neg_left_he
r
mite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaeg
e
basis_reduction_cdd: chec
k
for possibly incor
r
ect ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
P
o
lyhe
d
ron
_
Samp
l
e: h
a
ndle
polyhedron b
e
comi
n
g emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
gen_fun
:
:
o
perat
o
r evalue *: always ret
u
rn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aeg
e
gen
_
f
u
n
::op
e
rator
evalue *:
r
emov
e
commen
t
ed out deb
u
g
ging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
barvinok_
e
numerate_e
.
cc: handle v
e
rifica
t
i
on of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvino
k
_enume
r
a
t
e
_e
:
opt
i
onally prin
t
stats
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_en
u
merate
_
e
: support v
e
rification
of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_
e
numerate_e: support
conversion of
g
e
n
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
la
t
tice_points: another micro-opt
i
mi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
la
t
tice_point
s
_fix
e
d: n
a
no-opt
i
mizat
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen
_
fun::add: context of sum sh
o
uld be union of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rd
o
olaege
ba
r
vino
k
_enumerate: us
e
verify in
f
rastructur
e
for verif
y
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
o
l
a
ege
genfun
.
cc: prin
t
_power: d
r
op space
s
around
"
/
"
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_e: fall back to count_points if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
M
a
kef
i
le
.
am: check-evalue: print name
of eac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: add check_pol
y
_pri
n
t
h
elper function
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
ge
n
_fun: m
a
ke sur
e
conte
x
t is
al
w
a
y
s
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
re
d
ucer::r
e
duc
e
:
ca
n
o
n
i
c
alize
c
oefficien
t
s in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
shor
t
_rat::p
r
int: correc
t
ly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
b
a
rvinok_series:
r
e
check
for equalities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Mat
r
ix_
R
ead for read
i
ng Ma
t
rix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
o
l
aege
param_u
t
il
.
c: add P
a
ram_Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
e
g
e
uti
l
.
c:
s
upport
i
n
g_c
o
n
straints: return bit v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
polyl
i
b: u
p
date for Ma
t
rix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
optio
n
s
.
c: use P
o
lyhe
d
ron_Sam
p
le for cou
n
t
i
ng infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
k
eep track of and
use
saturating con
s
traints
in Par
a
m_Po
l
yhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
o
ve value_gcd and value
_
l
cm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_sum_e
v
alue:
only compute exac
t
sum
if ap
p
roxima
t
io
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Bernoulli_sum_evalue: sum ove
r
va
r
iabl
e
s wi
t
h intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
evalue
.
c: ex
p
ort e
v
alue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_ExchangeC
o
lumns: normal
i
ze
c
ons
t
raints
afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
export Polyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
next