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
scarf.cc: export functions to library
2006-10-27
Sve
n
Verdoolaege
s
c
arf
.
cc:
e
xport functions to li
b
rary
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Ver
d
oolaege
scarf
.
cc
:
use
b
a
rvinok_o
p
tions instead of MaxRay
s
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdool
a
ege
bar
v
i
n
ok/barvinok
.
h:
exp
o
rt _wit
h
_opti
o
ns versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolae
g
e
barvinok_e
n
umerate_e
:
remove direct inc
l
ud
e
of p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
ven V
e
rdoolaeg
e
bernst
e
in:
m
inimal
docu
m
e
n
tation
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolae
g
e
README: ber
n
stein req
u
ires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdool
a
ege
d
oc: a
d
d
reference to bernstein techrep
o
r
t
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n Verdool
a
eg
e
Me
r
ge
b
r
a
nch 'bernstein
'
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verdoolaege
bernstein/src/TODO:
r
emove
;
everything has b
e
en
done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoo
l
aege
doc: add ano
t
her publica
t
ion th
a
t
r
efers to b
a
rvinok
commit
|
commitdiff
|
tree
2006-10-10
Sve
n
Verdoola
e
ge
LLL:
use
r
e
d
uc
t
ion parameter 1 by d
e
fault
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
d
e
c
ompose
r
.
cc
:
short_vector: allow sp
e
ci
f
ication
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
S
v
en Verdoolaege
doc: add some more p
u
bl
i
cation
s
tha
t
refer to
barvino
k
commit
|
commitdiff
|
tree
2006-10-02
Sven
Ver
d
o
ol
a
ege
evalue
.
c: eval
u
e_denom: declare var
i
able
at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
ev
a
l
ue
.
c:
e
xport eva
l
u
e_denom
commit
|
commitdiff
|
tree
2006-10-02
S
v
en Verdool
a
ege
s
c
a
rf
.
c
c
: handle ca
s
e where four constrain
t
s
l
ead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sve
n
Verdoolaeg
e
u
t
il
.
c:
compress_varia
b
le
s
:
declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaeg
e
ev
a
l
ue
.
c
: copy (and ad
a
pt) copy
r
ig
h
t statement
f
rom
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven
Verdoolaege
doc
:
add
som
e
references t
o
pub
l
ications
commit
|
commitdiff
|
tree
2006-09-26
Sven
V
erdoo
l
aege
lexmin
.
cc: reena
b
le optimiza
t
ion of checking
d
omains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoola
e
ge
e
value
.
c: c
l
ean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sv
e
n
Verdoolaege
edomain
.
cc: add EDomain
:
:contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc: max_term::print: print floors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc:
d
isable possibly overzea
l
ous opti
m
iz
a
ti
o
n
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
ed
o
ma
i
n
.
cc
:
remember "const
r
aint
"
r
epresentation
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven
V
e
rdoolaege
r
e
du
c
ed_
b
asis:
r
eset
"
negative width
s
" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolae
g
e
lexmi
n
.
cc: mo
v
e more c
o
de to
e
d
o
m
ain
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
oolaege
e
d
omain
.
h: add ED
o
main_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Verdoolae
g
e
lexmin
.
cc: define ma
x
_
t
erm over an ED
o
main ra
t
her than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoolaege
re
d
uc
e
r
.
h: add
virtual destruct
o
r
to np_base
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmin
.
c
c
: extr
a
ct out some
code to evalue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
doolaege
options
.
c: pick up definition o
f
PO
L
_
I
N
TEGER from barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaeg
e
optionc
.
c: move choice
of which special
i
zation to us
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
rdoolae
g
e
omeg
a
/parser
.
l: let
f
l
ex
d
ef
i
n
e yy
l
in
e
no
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
c
c: opt
i
on
a
lly skip check
f
or empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n
Verd
o
olaege
evalue
.
c: reduce_evalue_in_domain: redu
c
e
to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaeg
e
lexmin
.
cc: use bar
v
i
nok_
o
ptions
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
int
r
o
d
uce bar
v
i
n
ok_options structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
l
exmin
.
cc: compute gen
e
rating functi
o
ns of v
e
rtex c
o
ne
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Ver
d
oolaege
lexmin
.
c
c
: move
some code
aroun
d
to pr
e
pare
f
o
r new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven V
e
rdoolaege
evalue:
declare argument of eadd a
n
d evalue_copy c
o
nst
commit
|
commitdiff
|
tree
2006-09-06
Sven V
e
rdoolaege
lexmi
n
.
cc: perfor
m
s
u
bs
t
itution immedi
a
t
e
ly on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Ve
r
doolaege
README
:
add a warning on (not)
us
i
ng shared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
erdoolaege
piece
w
i
s
e_lst: drop the _s suffix in the class nam
e
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
ber
n
stein/pi
e
c
e
wise_lst
.
cpp:
a
d
d
add(ex) met
h
o
d
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Ve
r
d
o
ola
e
ge
bernstein
.
c
c
: export evalue2ex
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdoola
e
g
e
omega/polyfunc
.
cc: avoid
war
n
ing
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
laege
b
a
r
v
inok/evalue
.
h: mak
e
more
self-contai
n
ed
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoolaege
Merge branch
'
master' i
n
to berns
t
ein
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdoolaege
evalue
.
h: change name of
h
ea
d
e
r
define
commit
|
commitdiff
|
tree
2006-08-31
S
ven Ve
r
doolaege
evalue
.
h: make more se
l
f-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
bfcoun
t
er
.
h: unde
f
i
n
e
divi
d
e from polyl
i
b's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
aege
configure
.
in:
n
o longer
comp
i
l
e
shared libra
r
ie
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Ve
r
doolaege
README: reflect th
a
t --enab
l
e
-fractional
is now th
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdo
o
laeg
e
le
x
min:
rem
o
v
e duplica
t
e
u
n
fr
i
nge
commit
|
commitdiff
|
tree
2006-08-21
Sven Ver
d
oo
l
aeg
e
gen_fun::Hadamard_produc
t
: use unoptimiz
e
d
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdoolaege
barvinok_se
r
i
es: perform backsubstitu
t
ion also if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n
Verdoolaege
barvinok_enumerate_union_seri
e
s: cal
l
c
o
re
of barvin
o
k_ser
i
es
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoola
e
ge
util
.
c: r
e
m
o
v
e_equalities_p: correct check
f
or
end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
ven
V
erdoolaege
gen_fun: set context in
n
o variab
l
es c
o
ns
t
r
u
c
t
o
r
commit
|
commitdiff
|
tree
2006-08-21
S
ven Ve
r
dool
a
ege
gen_fu
n
::
H
adamard
_
product: don't assume equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
S
ven Verdoolaeg
e
b
arvinok_u
n
ion:
take contex
t
into account
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
Ve
r
d
oolaege
polytope_sc
a
n: optionally sk
i
p basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoo
l
a
ege
polytope_scan: sc
a
n
in red
u
ced
b
asis
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
V
e
rdoolaege
polytope_scan: scans the in
t
eger
point
s
i
n a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Ver
d
oolaege
Merge
b
ranch
'
master' into bern
s
tein
commit
|
commitdiff
|
tree
2006-08-14
Sven
Verdoola
e
ge
install NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
S
v
en
Verdoo
l
aege
basis_reduct
i
o
n
.
c:
c
lean u
p
G
LPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdool
a
ege
Merge bra
n
ch
'
ma
s
te
r
'
into
bernstein
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoolaege
lexmin
.
c
c
:
don't bother tr
a
nsform
i
ng if comp
r
ess_p
a
rms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
ve
n
Ver
d
oolaege
lexmin
.
c
c: fix use
of
compress_pa
r
m
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
sample
.
c: fix remove_r
a
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
barv
i
nok_count: clean
up memory after simplifying
constraints
commit
|
commitdiff
|
tree
2006-08-13
Sven
Verdoolaege
READ
M
E: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdo
o
laege
omega/
p
o
l
yfunc
.
cc: maximize: simplify dom
a
in bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
S
ven
Verdoolaege
omega/parser
.
y:
c
rea
t
e
n
ew variab
l
eMap fo
r
each polyfunc
commit
|
commitdiff
|
tree
2006-08-12
Sven V
e
rd
o
o
laege
omega/par
s
er
.
y: free malloc
'
ed memo
r
y (ins
t
ead of del
e
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
Merge branch 'master' into bernst
e
in
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only perfo
r
m lex
m
in
t
ests when lexm
i
n ha
s
bee
n
compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
some mor
e
tests with unb
o
u
nded polyhedra
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verd
o
olaege
ad
d
some small te
s
ts f
o
r lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: bar
f
whe
n
polyhedron c
o
ntain
s
line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: d
o
n't print
s
ol
u
t
i
o
n when
ver
i
f
y
i
ng
commit
|
commitdiff
|
tree
2006-08-11
Sven V
e
r
d
o
o
laege
verify_main
.
cc: clean up mem
o
ry
commit
|
commitdiff
|
tree
2006-08-11
Sv
e
n Verdoola
e
g
e
M
e
rge branch 'master
'
into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
aege
barvinok_
s
er
i
es: handle f
i
xed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoola
e
ge
g
e
n_f
u
n
: add constr
u
c
t
or for generating
funct
i
on with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaeg
e
barvinok
.
cc: remove_more_eq
u
alities: handle e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
o
laege
g
en_fun::coefficie
n
t: reset th
e
number
of rows
i
n
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
V
e
rdoolaege
lexmin
.
c
c
:
u
se remov
e
_equalities consist
e
ntly
commit
|
commitdiff
|
tree
2006-08-10
S
ven V
e
r
d
oo
l
aege
util
.
c: compress_v
a
riables
:
extrac
t
ed f
r
om lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: don't
c
heck anything if given range lie
s
outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n V
e
rdo
o
laeg
e
lex
m
i
n
.
cc
:
remove_equalities; take pr
e
image with ret
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
V
e
r
d
o
o
laeg
e
lexmin
.
cc: rem
o
ve_equalities: exten
d
returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
doolaege
lex
m
in
.
cc: in_domain:
f
ix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remo
v
e some debugging residues
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
reduce_domai
n
: comput
e
convex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoo
l
aege
lexm
i
n
.
cc: in_
d
omain: als
o
check othe
r
parts o
f
union
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erd
o
olaege
lexmin: in_
d
omain: set
v
alues if con
s
traints d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexm
i
n: plug some memory leaks
commit
|
commitdiff
|
tree
next