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
bernstein: minimal documentation
2006-10-25
Sv
e
n
V
erdoolaeg
e
bernstein: minimal docum
e
ntati
o
n
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verdoolaege
README:
b
er
n
stein
r
equires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
S
ven
Verdoolaege
doc: add reference to
b
ernstein tech
r
epor
t
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
Merge
b
ranch 'bern
s
tein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoola
e
ge
bern
s
t
ei
n
/src/TODO:
re
m
ove
;
everything
h
a
s
been
d
o
ne
commit
|
commitdiff
|
tree
2006-10-10
Sven V
e
rd
o
olaege
d
oc:
a
dd
a
n
o
ther
public
a
tion
that
r
efers to ba
r
vinok
commit
|
commitdiff
|
tree
2006-10-10
S
v
e
n
Verdoolae
g
e
L
LL:
use reduction parameter
1 by default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoola
e
ge
decomp
o
ser
.
cc: shor
t
_vector: allow speci
f
ication of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven
Ve
r
dool
a
ege
do
c
: a
d
d some
m
or
e
p
ub
l
i
c
at
i
ons that
r
e
f
er to barv
i
nok
commit
|
commitdiff
|
tree
2006-10-02
Sven Ver
d
oo
l
aege
evalue
.
c: eval
u
e_
d
en
o
m: decl
a
r
e
v
a
riable at sta
r
t of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdoolaege
eval
u
e
.
c: ex
p
ort evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdo
o
l
a
ege
scarf
.
cc:
h
an
d
l
e
case where four
c
onstraint
s
lea
d
to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoola
e
ge
ut
i
l
.
c:
c
o
mpre
s
s_variab
l
es: declar
e
va
r
ia
b
l
e
a
t
start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven Verdoolaege
eva
l
ue
.
c: c
o
py (and adapt
)
cop
y
r
ight sta
t
e
m
ent fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verd
o
olaege
do
c
: ad
d
some ref
e
rences to publicat
i
ons
commit
|
commitdiff
|
tree
2006-09-26
Sven Verdoolaege
lexmin
.
cc: reenable optimizatio
n
of che
c
k
i
ng domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaege
e
v
alue
.
c: c
l
ean up in_domai
n
commit
|
commitdiff
|
tree
2006-09-25
S
v
en
V
e
rdoolaege
ed
o
main
.
cc: add EDomain
:
:contains
commit
|
commitdiff
|
tree
2006-09-24
Sv
e
n Verd
o
olaege
l
e
x
m
in
.
cc: max_term::pri
n
t: print flo
o
rs explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Ve
r
doo
l
aege
l
e
xmin
.
cc: dis
a
bl
e
po
s
sibly
overz
e
a
lo
u
s
optimiz
a
tion
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
edoma
i
n
.
c
c
: remember "co
n
straint"
r
epresentati
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven
V
erdo
o
laege
reduced_basis: reset "negative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
lexmin
.
cc: move more code t
o
e
domain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
ege
e
d
omain
.
h: add EDomain_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Verdo
o
laege
lexmi
n
.
cc
:
defi
n
e
m
ax_term ov
e
r an EDomain rather
than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Ve
r
do
o
laege
reducer
.
h: add
virt
u
al destructo
r
to
np_base t
o
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
l
e
xmin
.
cc: ext
r
act o
u
t some code to
e
v
alue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sve
n
V
e
rdool
a
ege
options
.
c
:
p
ick
up definit
i
on
of
POL_
I
NT
E
GER from barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
V
erd
o
olaege
opti
o
nc
.
c
: move ch
o
i
ce
of w
h
i
ch
s
pecializat
i
on to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Ver
d
oolaege
omega/pars
e
r
.
l
: let flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: optionally skip ch
e
ck for e
m
pty domain
s
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaeg
e
evalue
.
c: reduce_evalue_in_d
o
main: reduce t
o
zero ev
a
lu
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: use barvinok_options
commit
|
commitdiff
|
tree
2006-09-20
S
v
en Verdoolae
g
e
introduce
ba
r
vi
n
ok_o
p
tions structure
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoolaege
lex
m
in
.
cc: compute generating functi
o
ns of
v
e
rtex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoo
l
aege
l
exmin
.
cc:
m
ov
e
so
m
e
c
o
d
e
a
r
o
und to prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
S
v
en Verdool
a
ege
evalue: declare
a
r
g
u
m
ent of ea
d
d and ev
a
lu
e
_copy c
o
nst
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
lex
m
in
.
cc: perform
s
ubstitution
im
m
ediat
e
ly on
e
ac
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n V
e
rdoolaege
README: add a
w
a
r
ning on (not)
u
sing shared libraries
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
e
r
d
o
olaege
piecewise
_
lst
:
drop the _
s
suffix in the
class
n
ame
commit
|
commitdiff
|
tree
2006-08-31
Sven
Ve
r
doola
e
ge
bernst
e
in/piecewise_lst
.
cpp:
a
dd
ad
d
(ex) method
commit
|
commitdiff
|
tree
2006-08-31
S
ven Verdoolaege
be
r
nstein
.
cc: export eva
l
ue2ex
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoo
l
aege
omega/pol
y
func
.
cc: avoid wa
r
n
i
ng
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
erdoolae
g
e
b
a
rvinok/
e
va
l
u
e
.
h: make
m
ore self-contai
n
ed
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
e
r
doolaege
Merge branch 'master' into b
e
rnstein
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h: change name of header define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoo
l
aege
evalue
.
h: make more self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
er
d
oo
l
a
e
ge
bf
c
ount
e
r
.
h
: undefin
e
divide
f
rom po
l
y
l
ib's ari
t
hmet
i
que
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verdoolaege
configure
.
in:
no long
e
r c
o
m
p
ile
s
h
a
red
l
i
bra
r
ies by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaeg
e
READM
E
: reflect that
-
-enabl
e
-fractional is now th
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Ver
d
oolaege
lex
m
i
n: remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdool
a
ege
gen_f
u
n::Had
a
mard_p
r
oduct: use unoptimized
v
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n Verdoola
e
ge
barvin
o
k_series: perform backsubstit
u
tion
a
lso if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sv
e
n Verdoolaege
ba
r
vinok_enumerat
e
_union_series: call core
of barvinok_series
commit
|
commitdiff
|
tree
2006-08-21
S
ven Verd
o
olaege
ut
i
l
.
c: rem
o
ve_equalities_p: correct check for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
g
e
n_fun: set context in no
va
r
iable
s
c
ons
t
ructor
commit
|
commitdiff
|
tree
2006-08-21
Sven
Verdoolaege
g
e
n_fun::Had
a
m
a
rd_prod
u
ct: don't
a
s
su
m
e equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sven Ve
r
doolaege
barvi
n
ok_un
i
on: take con
t
e
x
t
into
a
c
c
ount
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
p
olyto
p
e_scan: o
p
tio
n
ally ski
p
basis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
po
l
yt
o
pe_sca
n
: scan in reduced b
a
s
i
s
commit
|
commitdiff
|
tree
2006-08-16
Sven
Verdoolaege
pol
y
tope_scan:
s
cans t
h
e in
t
eger po
i
nts
in a poly
t
ope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
Merge br
a
nch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
install NT
L
_QQ
.
h
heade
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaeg
e
b
asis_
r
eduction
.
c: clea
n
up
GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rd
o
olaege
M
erge
b
ranch '
m
aster' into ber
n
stein
commit
|
commitdiff
|
tree
2006-08-13
S
v
en V
e
rdoolaeg
e
le
x
min
.
cc: d
o
n't
bother transform
i
ng
if comp
r
ess_
p
arm
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolae
g
e
l
ex
m
in
.
c
c
: fix u
s
e of compre
s
s_parms
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Ve
r
doo
l
ae
g
e
sample
.
c: fix r
e
move_r
a
y
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoo
l
aege
barvinok_count: cle
a
n up memory after sim
p
lifying const
r
a
i
nt
s
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoo
l
a
ege
README
:
update
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdool
a
e
g
e
omega/polyfunc
.
cc: ma
x
imize: simpl
i
f
y doma
i
n befor
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n Ve
r
doolaege
omega/pars
e
r
.
y: create new variableMap for e
a
ch poly
f
unc
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n
Verdoolae
g
e
omega/parser
.
y
:
f
ree mal
l
oc'ed memory (instead of
d
e
lete
.
.
.
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
Merge br
a
nch '
m
aster' i
n
to bernstei
n
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only pe
r
f
o
r
m lex
m
in te
s
t
s when lexmin has
b
e
e
n compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olae
g
e
some mo
r
e tests with
u
n
bounded
p
oly
h
e
d
ra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoo
l
a
ege
add so
m
e sm
a
l
l tes
t
s for lex
m
in
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoo
l
aege
lexmin: barf wh
e
n po
l
yhedro
n
contains lin
e
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdoolaege
lex
m
in: don't print sol
u
tion w
h
en
ve
r
ify
i
ng
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdo
o
laege
v
e
rify_m
a
i
n
.
cc:
clean up memory
commit
|
commitdiff
|
tree
2006-08-11
Sven
V
erdoolae
g
e
Merge br
a
n
c
h
'
m
aster' into bernstein
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n V
e
rdoo
l
aege
barvinok_
s
eri
e
s
: handl
e
fi
x
ed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
ge
n
_fu
n
: a
d
d cons
t
ruct
o
r for
generat
i
ng function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
e
r
doolaeg
e
barvinok
.
c
c
: remo
v
e_more_equa
l
itie
s
: hand
l
e
equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_fun::coefficient: reset the
n
umbe
r
of ro
w
s i
n
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven
Verdo
o
laege
lexmin
.
c
c
: use re
m
ov
e
_equalities c
o
nsistentl
y
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
util
.
c: compress_varia
b
l
e
s:
extr
a
cted fr
o
m lexmi
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexm
i
n: don't c
h
ec
k
anything if giv
e
n
ra
n
ge lies
ou
t
s
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: remove_equalities; take preimag
e
w
i
th r
e
t
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
lexmi
n
.
cc:
remo
v
e_equalities: extend retu
r
n
ed
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Verdoolae
g
e
lexmi
n
.
cc: i
n
_d
o
main: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
o
o
l
aeg
e
lexmin
.
cc:
r
emove some debugg
i
n
g
r
e
sidues
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdoola
e
ge
re
d
uc
e
_domai
n
:
co
m
pute conv
e
x
u
nion of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
d
o
olaege
lexmin
.
cc: in_domain:
a
lso
c
heck
other
parts
of
u
ni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdo
o
lae
g
e
lexmin:
in_domain: set val
u
es if
constra
i
n
t
s don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
lexmin:
p
lug some memory
l
e
aks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
lexmin: an experimental tool for compu
t
ing the para
m
etric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoolaege
add fdstr
e
am
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
evalue
.
c: f
l
oor2frac_r: pl
u
g memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolae
g
e
ba
r
vinok
.
cc: u
n
f
ringe: wo
r
k incr
e
mental
l
y
commit
|
commitdiff
|
tree
next