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
doc: consistent use of Kevin's initials
2008-03-24
Sve
n
Verdoolaeg
e
doc:
con
s
is
t
ent use of Kevin's initia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update now pub
l
ished
papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
laege
for_each_lower_upper_bound:
a
l
low absence
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
Rev
e
rt "e
a
dd
_
partitions: try to combine multipl
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdo
o
l
a
ege
e
v
a
lu
e
_read_partition: p
u
t
p
ar
t
itio
n
s back in th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue: reduce_evalu
e
: add
n
ote on some misse
d
opport
u
n
iti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
bernstein
.
cc: handl
e
input with unions + rela
t
ion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maxim
i
z
e
.
c
c: deal with u
n
ions in
i
n
p
ut during
verifi
c
ation
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
erdoolae
g
e
ev
a
lue_sub
s
titute
:
pro
p
erly
h
andle relations
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ver
d
o
o
laege
e
value
.
c: clean up emu
l
and e
a
d
d
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdoolaege
eval
u
e_read: correctly r
e
ad variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalu
e
_read:
a
ccept top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoola
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
e
n
Ver
d
o
olaege
evalue_backsubstitute: add required
m
o
d
ulo co
n
strain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verd
o
olaege
evalue
.
c: *_partitions
:
si
m
plify constr
a
ints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verd
o
o
l
a
ege
doc: more spe
c
ific information on buggy
cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
S
ven Verdoolaege
configure
.
in:
r
equire
cddlib
0
.
9
4
e by testi
n
g
for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdo
o
laege
confi
g
ur
e
.
in:
only compile occ if code_gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
b
arvin
o
k 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some
t
ests for implem
e
n
tation o
f
projection
t
heore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdool
a
ege
doc:
d
o
cument new op
t
ions
a
nd new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
olaege
AU
T
HORS
:
up
d
ate support info
r
mat
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
c
c:
s
hort_r
a
t::pr
i
nt: c
o
r
r
e
c
tly prin
t
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoo
l
a
e
g
e
Export s
e
r
ies as b
a
rv
i
n
ok_enumer
a
t
e_
s
erie
s
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remo
v
e
_
par
a
meter_e
q
ualitie
s
: stop "remo
v
i
n
g"
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolaege
series:
l
eave free
i
ng of P argument to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
d
oc: docum
e
nt
implementation of
t
h
e projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
add barvin
o
k_enumerate_e
_
s
eries implement
i
ng the projec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaeg
e
genfun
.
c
c
: f
i
x and docum
e
nt p
a
ralle
l
polytope
s
class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
Onl
y
co
m
pile
zsolve if gcc
3
.
4 or
l
ater is avai
l
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoo
l
aege
Move GiN
a
C-indep
e
ndent part of l
i
brary
to barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
polylib:
update
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdo
o
laege
doc: how to
c
ount the
numb
e
r of eleme
n
ts in possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdo
o
laege
doc/implementation
.
tex: avoid m
u
lti
p
ly def
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
rdoolaege
la
t
tice_width
.
c: try ver
t
ices of previous int
e
ge
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document in
t
e
g
er hull
computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
u
ll
.
c: add all p
o
ints fou
n
d
b
y s
a
mpling d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
P
o
s
s
ible opti
m
izations for ge
n
eralized basis red
u
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
Support use of gen
e
ralized basis re
d
uction to compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
a
dd Poly
h
edron_Inte
g
er_Min
i
mum for
com
p
uting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc: do
c
ument generalized ba
s
is
reduct
i
on
b
ased
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc
/
barvinok
.
b
i
b: add missing string
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
add mo
r
e mi
s
sing a
s
sert
.
h #
i
ncludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: add missing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoolaege
configure
.
in: pass pat
h
of
GMP in
s
tallation to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
c
o
n
f
igure
.
in: only c
o
mpile libbarvinok as a
s
t
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
rdoo
l
aege
Polyhedron_Reduced_
B
as
i
s:
don
'
t stop too early wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
eg
e
compute_
w
i
d
th_directions: only ke
e
p l
i
st of dist
i
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zso
l
ve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdo
o
laege
vers
i
o
n
.
c: show
u
se
of T
O
P
C
OM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
configu
r
e
.
i
n: don't set with_{poly,pip
}
lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
Polyhe
d
ron_Sam
p
le: be sati
s
fied
with a reas
o
nable cho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolae
g
e
cone_integ
e
r_hull: optionally
print st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
b
asi
s
_reduction: keep track of number of
L
Ps s
o
l
ved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Verdoolaege
options: move --print-stats
t
o
library
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
r
d
oolaege
bernste
i
n: r
e
w
o
rk
t
e
s
ting framewor
k
to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernste
i
n
:
add
piecewi
s
e_lst::is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
s
u
pport newer
versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
ven V
e
rdoola
e
ge
standard_cons
t
r
a
ints: move f
r
om topcom
.
c to
p
o
l
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdo
o
laeg
e
p
oly
s
ign
.
h
:
r
emove d
e
pendency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
zsolve:
a
d
d
ba
n
ner
.
h to
d
istribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Poly
h
edron
_
L
a
ttice_Widt
h
_Dir
e
c
t
ions
:
print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoolaege
basis_reduc
t
ion_pip: ab
o
rt on invalid (e
m
pty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
READ
M
E: e
x
plain how to
g
et submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oolaege
doc: document l
a
t
tice width computatio
n
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaege
som
e
lattice width test
s
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Ver
d
o
o
laege
P
o
l
yhedr
o
n_La
t
t
ice_Width: decid
e
on facets
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdoolae
g
e
a
d
d
P
o
l
y
h
e
dron_Lattice_Width for comp
u
ting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n Ve
r
doo
l
aege
hilbert
.
c
:
add
C
o
ne_Integer_Hull fo
r
computing v
e
r
ti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
p
ol
y
s
ign: add
p
ip-backed vers
i
on
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add constraints_op
t
to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdoolaeg
e
polys
i
g
n_
c
dd: switch t
o
use of M
a
tr
i
x
r
epresentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaeg
e
po
l
y
sign_
g
lp
k
: sw
i
tch to use of
Matr
i
x re
p
resentat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
doc: d
o
cument
computation o
f
Hil
b
e
r
t basis of a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Verdoo
l
aege
Cone_Hilbert_Basis: use
s
tandard_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
U
se zsolve to c
o
mpute
Hil
b
e
r
t basis o
f
a c
o
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
ege
z
s
olve: d
o
n't insta
l
l
head
e
rs and
e
xecu
t
a
bles
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsolv
e
:
i
n
i
tialize BackupTime
in ZSolve
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
olae
g
e
zsolve:
z
solveSyste
m
: add
m
issing
verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zsolv
e
:
overri
d
e LIB
S
from top leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
add 4ti2-1
.
3
.
1+autoconf
-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
a
d
d z
s
olve from
4
ti2-1
.
3
.
1
+
autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
ae
g
e
param_
u
til
.
c
: exp
o
rt
bi
t
_vec
t
or_count
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
aege
topcom
.
c: extract part of code for se
t
tin
g
up stan
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoolaege
g
en_fun::Hada
m
ard_product: p
r
int pro
g
ress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sve
n
Verdoolaege
m
ove -
-
verbos
e
o
ption
to librar
y
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdool
a
eg
e
gen_fun::summate: ha
n
d
le full
specialization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
Re
p
l
a
ce inc
r
emen
t
al infini
t
e s
e
t counter by "regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ma
k
e
counter
:
:
add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
merge (most of)
com
m
on
p
art o
f
cou
n
ter and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdool
a
e
ge
icounter: hand
l
e spec
i
a
lization of polynomial
s
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
i
c
ount
e
r: don't
bother "normal
i
z
ing" th
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
export neg_le
f
t_h
e
r
m
it
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
basis_re
d
uction
_
c
d
d: check for poss
i
bly inc
o
rrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaege
Polyhed
r
on_Sample: handle polyhedr
o
n becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_
fun::operator evalue *:
a
l
w
a
ys return a va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen_fu
n
::
o
perator evalue *: remove co
m
mented out deb
u
ggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_enume
r
ate_e
.
cc: handle
v
er
i
fication of
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
barv
i
nok_enumerate_
e
: optiona
l
ly print
s
t
ats
commit
|
commitdiff
|
tree
next