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
evalue.c: copy (and adapt) copyright statement from PolyLib's ehrhart.c
2006-09-29
Sven Ve
r
doolaege
ev
a
lue
.
c: c
o
py
(
and adapt) copyright st
a
te
m
ent
from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoola
e
g
e
doc:
a
dd
some
re
f
erences to pu
b
lications
commit
|
commitdiff
|
tree
2006-09-26
Sv
e
n Verdoolaege
lexmin
.
cc: reenable
o
pt
i
miza
t
ion of checking
do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdo
o
l
aege
evalue
.
c: clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
e
d
o
m
ain
.
cc: ad
d
EDomain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sv
e
n V
e
rdoo
l
a
e
ge
lexmin
.
cc: max_term::print
:
pri
n
t floors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Ve
r
d
oolaege
lexmin
.
cc: disable poss
i
bly overzealous opti
m
ization
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoo
l
aeg
e
edomain
.
cc: r
e
m
e
mber
"const
r
aint"
repr
e
sent
a
tion of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n
Verdoolaege
reduce
d
_basis: res
e
t "neg
a
tive widt
h
s" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoolaege
lexm
i
n
.
cc: move more code
to edomain
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdoolaege
edomain
.
h: add EDo
m
ai
n
_f
l
oor
abstraction
commit
|
commitdiff
|
tree
2006-09-22
S
v
e
n
Ver
d
oolaege
l
e
xmin
.
cc
:
def
i
ne ma
x
_term over
a
n
E
Dom
a
in rat
h
er t
h
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
ven
Ve
r
doolaege
reduc
e
r
.
h: add virtual destructo
r
to
np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
ven Verdoolaeg
e
lexmin
.
c
c: extract out some co
d
e
to evalue_uti
l
and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en
V
erdo
o
laege
options
.
c: pick
u
p defini
t
ion
of POL_INTEGER from barvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Verdo
o
l
aege
optionc
.
c: mov
e
c
hoice o
f
which specialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
omega/pa
r
ser
.
l:
l
e
t
flex define
yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdo
o
laege
lexmin
.
cc: optionally
s
k
ip
c
heck for empty domai
n
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
evalue
.
c: re
d
uce_evalue_i
n
_domain: reduce to zero
e
value
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
d
oolaege
l
e
x
m
i
n
.
c
c
: use barvinok_optio
n
s
commit
|
commitdiff
|
tree
2006-09-20
S
ve
n
Ve
r
doolaeg
e
introduce barvinok_o
p
tions
structure
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdo
o
lae
g
e
lexmin
.
cc: compute
generating functions of vertex
c
one
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
lexmin
.
cc
:
move some code a
r
ound to
prepare f
o
r n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sve
n
Ve
r
dool
a
ege
e
v
alue: de
c
lare
a
r
gu
m
ent o
f
eadd and evalue_cop
y
const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
lexmin
.
cc: perform substitution imme
d
i
a
tely on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdoolaege
README: add a
warning on (not)
u
s
ing shared l
i
braries
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoola
e
ge
evalue
.
h: change
n
ame of header
d
efi
n
e
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolae
g
e
evalue
.
h
: make mor
e
self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verd
o
ol
a
ege
bfcounter
.
h: un
d
efine divide from
polylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
configure
.
in: n
o
longer compil
e
sha
r
ed libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
aege
README: reflec
t
that --enabl
e
-frac
t
ional is no
w
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdo
o
la
e
ge
lexmin: remove
d
uplic
a
te unfringe
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Ve
r
doolaege
polytope_sca
n
:
o
p
tionally
ski
p
basis reducti
o
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_
s
can
:
scan in re
d
u
ced ba
s
is
commit
|
commitdiff
|
tree
2006-08-16
Sven
Verdool
a
e
g
e
polyt
o
pe_scan: scan
s
the integer points in
a
p
o
lytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Ve
r
doolaege
i
n
sta
l
l NTL_QQ
.
h
header
commit
|
commitdiff
|
tree
2006-08-13
S
ve
n
V
erd
o
olaege
basis_redu
c
tion
.
c: clean u
p
GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaege
lexmin
.
cc: don't bo
t
her
transforming if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
Verdoolaege
lexmin
.
cc:
f
i
x
use of compress_pa
r
m
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sample
.
c: f
i
x remove
_
r
a
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
barvinok_
c
o
unt:
cl
e
an up
me
m
ory af
t
er simplifyin
g
constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolae
g
e
R
EADME:
update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only perf
o
rm lexmin
tests when le
x
min h
a
s
been c
o
mpiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
some more tests
w
ith
unb
o
unded po
l
y
h
edra
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
Verdoolaege
a
dd some sma
l
l tests for
l
ex
m
in
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolae
g
e
lexmin: b
a
r
f
when polyhedron contains line
commit
|
commitdiff
|
tree
2006-08-12
S
ve
n
Verdoolaege
lexmin: do
n
't
p
rint solutio
n
when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven
Verdoolaege
v
e
rify
_
m
ain
.
cc: clean up memory
commit
|
commitdiff
|
tree
2006-08-10
S
ve
n
Ve
r
doolaege
barvi
n
o
k
_
s
e
r
ies:
h
andle f
i
xed
polytopes
commit
|
commitdiff
|
tree
2006-08-10
S
ven
V
erdoolaege
g
e
n_
f
un
:
add constructor for generating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
oolaeg
e
barvinok
.
cc: remove_more_equalities: handle equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoolaeg
e
ge
n
_
fu
n
::
c
oefficient: r
e
s
e
t the number
o
f rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
l
exmin
.
cc
:
use remove_equaliti
e
s consis
t
ently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
util
.
c: compres
s
_
v
ariables: extracted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verd
o
o
l
a
ege
lexmin: don't ch
e
ck anything if given range lie
s
outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdool
a
ege
lexmin
.
cc: remove_equali
t
ies; take preimage wi
t
h returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c:
remove_eq
u
aliti
e
s: extend returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
V
erdoolaege
lexmin
.
c
c: in_d
o
ma
i
n:
fix
t
ypo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remo
v
e some
d
e
bugging
r
es
i
d
u
es
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
red
u
ce_domain
:
com
p
ute con
v
ex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: i
n
_domain: also
c
heck other pa
r
ts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
:
in_domain: set
v
alues if
constr
a
ints
don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Verdoolaege
le
x
min: plu
g
som
e
memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoola
e
ge
lexm
i
n: an ex
p
erimental tool for computin
g
th
e
parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
r
d
ool
a
e
g
e
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
S
v
en
V
e
rdoolaege
evalue
.
c: floor2fra
c
_r: plug
m
emory leak
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n Verdoolaege
barvin
o
k
.
cc: u
n
fringe:
work incrementally
commit
|
commitdiff
|
tree
2006-08-06
Sve
n
Verdoolaege
evalue_frac2
f
l
o
o
r_in_d
o
m
a
in
:
plu
g
mem
o
ry leak
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
Pol
y
h
edron_Sa
m
p
l
e: allow
e
qualities in input polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
er
d
oolae
g
e
Polyhedr
o
n_Sample:
make su
r
e vertices are
a
vailab
l
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Ve
r
doolae
g
e
Polyhedron_Sample: simp
l
i
f
y
c
on
s
t
r
aint
s
a
f
ter cho
o
s
ing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyh
e
dron_Sample: ha
n
dle em
p
ty and 0D po
l
y
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
d
oolaege
sa
m
ple
.
c: alternative implemen
t
ation
of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
o
laege
s
ample
.
c: Polyhedron_Remo
v
eFixedColumns: handle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdo
o
l
aege
barvino
k
_coun
t
_f: check w
h
et
h
er p
o
lyh
e
dron is
u
nbounde
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oola
e
ge
barvinok_count: simplify c
o
nstraints
after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
r
e
du
c
ed_basis: support 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
reduced_basis: e
n
s
u
re
all
L
P solutions a
r
e non-neg
a
ti
v
e
commit
|
commitdiff
|
tree
2006-08-02
S
v
en V
e
rdoolaege
occ:
p
rint pa
r
amet
r
ic ve
r
tic
e
s
o
f se
t
usi
n
g PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdoolaege
occ: add interfa
c
e
to bar
v
inok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
uti
l
.
c: provide dummy barvinok
_
lexsmal
l
e
r_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
4coins
:
computes genera
t
ing function for 4
c
oin
F
ro
b
e
nius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erd
o
olaege
gen_fun::Hadamard_
p
rodu
c
t
: apply parame
t
er
c
ompressio
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoo
l
aege
gen_f
u
n::substitute: onl
y
pass
in transformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdoola
e
g
e
scarf
.
cc: s
u
ppor
t
more cases
o
f
3
(ind
e
p
endent) con
s
traints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
s
carf
.
c
c
: support more cases of 4 const
r
a
ints
commit
|
commitdiff
|
tree
2006-07-27
S
ve
n
Verdoolaege
genfun
.
cc: add gen_fun:
:
d
ivi
d
e
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n
V
e
r
doolaege
genf
u
n
.
c
c: another
gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
i
n
finite_icounter: an incremental counter for po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en
V
e
rd
o
o
l
aege
icou
n
te
r
: move fr
o
m bar
v
inok
.
cc to re
d
u
cer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olae
g
e
bfenumera
t
or::set
_
factor: plu
g
sma
l
l memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolae
g
e
barvi
n
o
k_
e
numerate_union_series
:
use gen_
f
un::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genf
u
n
.
cc: add gen
_
fun::s
u
mmate method
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
erdoolaege
ge
n
_f
u
n::H
a
damard_
p
rodu
c
t
:
optimiz
e
co
m
put
a
tion
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
gen_fun::
H
adamard_produc
t
: make first
argume
n
t const
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolae
g
e
p
olar_de
c
omp
o
ser::decompose: make
s
u
r
e
vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
eg
e
n
p
_
base: add do_vertex_cone
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
S
v
en V
e
r
doolaege
gen_fun::print:
allow printing to s
t
reams oth
e
r th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
b
fcounter
.
cc: m
o
v
e som
e
more
c
o
de fro
m
barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verd
o
ol
a
eg
e
ge
n
_
fun
.
h:
short_rat:
use QQ
i
nstead of pair of ZZs
commit
|
commitdiff
|
tree
next