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 Polyhedron_Sample and Polyhedron_Reduced_Basis
2006-10-27
S
ven
Verdo
o
laege
export
P
o
l
y
h
edron_Sample
and Polyhedron_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaeg
e
doc: rename
"
usa
g
e" sect
i
o
n
to
"
a
p
p
lications" section
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolaege
barvinok_optio
n
s: ren
a
me
e
mpti
n
es
s
_check to lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaeg
e
do
c
: docume
n
t
b
arvin
o
k_options
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoolaeg
e
sc
a
rf
.
cc:
e
x
port functi
o
n
s to libra
r
y
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
ool
a
e
ge
scarf
.
cc:
use
ba
r
v
inok_options in
s
tead of MaxR
a
ys
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdool
a
ege
barvinok/b
a
rv
i
n
ok
.
h: export _with_op
t
ion
s
versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdool
a
ege
ba
r
vinok_en
u
merate_e: r
e
move direct include
of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oola
e
ge
berns
t
ein:
mini
m
al docume
n
tati
o
n
commit
|
commitdiff
|
tree
2006-10-25
S
ven
V
erdoolaege
README:
b
e
rnstein
r
equir
e
s GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verd
o
o
laege
do
c
:
a
d
d
reference
t
o bern
s
tein techrep
o
rt
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdoo
l
aege
Merge branch
'
bernst
e
in'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoo
l
a
e
ge
bern
s
t
ein/src
/
TODO
:
remove; eve
r
ything has been
done
commit
|
commitdiff
|
tree
2006-10-10
Sven
V
er
d
oola
e
ge
doc
:
a
dd anoth
e
r public
a
tion th
a
t refers to barvino
k
commit
|
commitdiff
|
tree
2006-10-10
Sven Ver
d
oolaege
L
L
L: us
e
reduct
i
on par
a
met
e
r 1 by
default
commit
|
commitdiff
|
tree
2006-10-07
Sven V
e
rdoolae
g
e
de
c
ompo
s
er
.
cc: short
_
vec
t
or: allow
spe
c
i
fication of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven V
e
rdo
o
laege
d
o
c
:
add some more publi
c
ation
s
that
refer t
o
barv
i
n
ok
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
er
d
oolaege
evalue
.
c: eval
u
e_denom:
d
eclare variabl
e
a
t start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n Verdoolaege
eval
u
e
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
s
c
arf
.
c
c: h
a
ndle case w
h
ere four cons
t
r
aints lea
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
laege
u
til
.
c: co
m
press_vari
a
bles: declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
S
v
e
n
Verdoolaege
evalue
.
c: copy (an
d
adapt)
co
p
yright
statemen
t
from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verd
o
olaege
do
c
: add
s
o
m
e references to pub
l
ications
commit
|
commitdiff
|
tree
2006-09-26
Sve
n
Ve
r
doolaege
lexmin
.
cc: reenable
o
p
timization of checking doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
eva
l
ue
.
c: clean
u
p in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdool
a
ege
edomai
n
.
c
c
: add EDomain::
c
ontains
commit
|
commitdiff
|
tree
2006-09-24
Sv
e
n Verdool
a
ege
lexmin
.
cc
:
max_term::print: pr
i
nt
fl
o
ors
explicitl
y
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdool
a
ege
lexmin
.
c
c
:
disable possibly
o
verzeal
o
us opti
m
ization
commit
|
commitdiff
|
tree
2006-09-23
Sven
V
erdool
a
ege
edomain
.
c
c
: remember "constrain
t
" rep
r
esentat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Ve
r
doolaeg
e
re
d
uced_bas
i
s: reset
"
negative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven
Verdoolaege
lexm
i
n
.
cc: m
o
ve mor
e
c
o
d
e
t
o edomain
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
V
e
r
doola
e
ge
ed
o
main
.
h
:
add EDomain_floor
abstrac
t
ion
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
olaeg
e
l
e
xmin
.
cc:
d
efine
m
a
x_t
e
rm over an EDoma
i
n rat
h
er
than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verdoolaege
re
d
ucer
.
h: add
virtual destructor to
np_base
to
a
void
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
l
exmin
.
cc:
e
x
tract
o
ut some
code to evalu
e
_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
pt
i
o
ns
.
c
: pi
c
k up definition o
f
P
O
L_I
N
TEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoola
e
ge
optionc
.
c:
m
ove choice of w
h
i
c
h specialization
t
o
use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
om
e
g
a/par
s
er
.
l: l
e
t f
l
ex d
e
f
ine yyline
n
o
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lex
m
in
.
cc: optionally skip check for
empt
y
domains
commit
|
commitdiff
|
tree
2006-09-20
S
v
en
V
erdoolaege
e
value
.
c: reduce_eva
l
ue_in_d
o
main: reduce to zero ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n
V
erdoolaege
le
x
min
.
cc
:
use bar
v
ino
k
_op
t
i
ons
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n Verdoolaege
introduce
barvinok
_
options structure
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
le
x
min
.
c
c: compute generating functions
of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
lexm
i
n
.
cc
:
mo
v
e some code
around to p
r
epare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven
V
e
rdoola
e
ge
eval
u
e: declare argument of eadd and evalue_c
o
py
c
onst
commit
|
commitdiff
|
tree
2006-09-06
S
v
e
n Verdoolaege
lexmi
n
.
cc:
perform
s
ubstitution immediately on e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
README: add a warning on (not) using shared li
b
ra
r
i
es
commit
|
commitdiff
|
tree
2006-09-06
Sven Verd
o
olaege
p
iecew
i
se_lst: drop the
_
s
s
uf
f
ix in
the cl
a
ss name
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
bernstein/piecewise_
l
st
.
cpp: ad
d
add(e
x
) method
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n V
e
rdoolaege
bernstein
.
c
c
: export evalu
e
2
e
x
commit
|
commitdiff
|
tree
2006-08-31
Sve
n
Ver
d
oolaege
omega/poly
f
unc
.
cc: avoid wa
r
ning
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
oolaege
ba
r
v
i
nok/eva
l
ue
.
h: ma
k
e more self-contained
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoola
e
g
e
M
erge bra
n
ch 'ma
s
te
r
' into bern
s
tein
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
evalue
.
h
:
chan
g
e name of
h
eader define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h: m
a
ke more
s
elf-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
bfcounter
.
h: undefine div
i
de from p
o
ly
l
ib's arithmet
i
que
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
olaeg
e
configure
.
in
:
no l
o
nger
compile
s
h
a
red
librari
e
s by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
README: reflect that --enable-fractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lexmin: remove dupli
c
at
e
unf
r
inge
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
rd
o
olaege
gen
_
fun::H
a
damard_product:
u
se unoptimized version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Ve
r
doolaege
barvinok_se
r
i
e
s: perform backsubstitution a
l
so
if
a
ll
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven V
e
r
d
oolaege
barvi
n
ok_enumerate_u
n
ion_se
r
i
e
s:
c
a
ll core
o
f
barvino
k
_series
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdo
o
laege
util
.
c
:
remove_equalities_p:
c
or
r
ec
t
check for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
erd
o
olaege
ge
n
_fun: set c
o
n
text in no v
a
ri
a
bles c
o
n
s
tructor
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoolaeg
e
gen_
f
u
n
::Had
a
mard_product
:
don't assume equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Verd
o
ola
e
ge
barvinok_union: take context into account
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polyt
o
pe_s
c
an: optionally ski
p
b
asis r
e
duction
commit
|
commitdiff
|
tree
2006-08-16
S
v
en Verdoolaege
polytop
e
_s
c
an: scan in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoo
l
aege
polytope_sc
a
n
: scans
t
h
e int
e
ger p
o
ints in a polyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
Merge branch
'maste
r
' into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven Ver
d
o
o
laege
ins
t
a
l
l
N
T
L
_
QQ
.
h h
e
a
d
e
r
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
basis_reductio
n
.
c: clean up GLPK m
e
mory
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
V
erd
o
ol
a
ege
Merge branch 'mast
e
r' into bernste
i
n
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaege
lex
m
in
.
cc: don't bother transfor
m
ing if compre
s
s_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: fix use
of com
p
ress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sa
m
ple
.
c: fi
x
remove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
barvinok_cou
n
t: clean up memor
y
after simplifying constraints
commit
|
commitdiff
|
tree
2006-08-13
S
ven
Ve
r
d
o
olaege
REA
D
ME:
u
p
d
a
te
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdool
a
eg
e
o
meg
a
/
p
olyfunc
.
cc: ma
x
i
m
ize: s
i
m
p
l
i
fy domain before
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
S
ve
n
Verdo
o
laege
ome
g
a
/
parser
.
y: create new var
i
ableMap for
each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
omega
/
p
a
r
s
e
r
.
y: free
m
alloc'ed memory (inst
e
a
d
of delete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdool
a
e
g
e
M
erge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolae
g
e
only pe
r
form
l
exm
i
n tests when lexmin has been compil
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
ege
some more tests
with un
b
ounded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oola
e
ge
add some
small tests for
l
e
xmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oo
l
aege
lexmi
n
: ba
r
f when
polyhedro
n
c
o
ntains li
n
e
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
e
r
dool
a
ege
lexmin
:
don't print
solution when v
e
rifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verd
o
olaege
ve
r
ify_mai
n
.
cc: clean u
p
memory
commit
|
commitdiff
|
tree
2006-08-11
Sven Ve
r
doolaege
Merge branch
'm
a
ster' i
n
to bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoolaege
barvinok
_
series:
handle fixed
p
olyto
p
es
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
d
oolaege
gen_fun: add
constructor f
o
r g
e
nera
t
i
n
g f
u
n
ction wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok
.
cc
:
re
m
ove_more_equalities: handle equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
Ver
d
oolaege
ge
n
_fun
:
:coefficient: reset the numb
e
r
o
f
r
ows in t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
lexmin
.
c
c: use remove_equalitie
s
c
onsistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
dool
a
e
g
e
util
.
c: c
o
mpress_variables: extract
e
d from
lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
Verdo
o
laege
lexmin
:
don't che
c
k
an
y
t
hing if
given
r
ange lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laeg
e
lexmin
.
cc:
remove_equalities; take preimage with retu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c
: remo
v
e_e
q
ual
i
t
i
es:
e
x
te
n
d
r
eturned mat
r
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdool
a
ege
l
e
xm
i
n
.
cc
:
in_d
o
m
a
in: fix typo
commit
|
commitdiff
|
tree
2006-08-09
S
ven
Verdoola
e
ge
l
e
xm
i
n
.
cc: remove some debugging resi
d
ues
commit
|
commitdiff
|
tree
next