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
lexmin.cc: move more code to edomain.cc
2006-09-23
Sven Verdoola
e
ge
lexmin
.
cc:
m
o
v
e
more cod
e
to e
d
omain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
doolaege
edomain
.
h
: add EDomain_floor abstr
a
ction
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
doo
l
aege
lexmin
.
cc: define max_te
r
m ove
r
an EDomain r
a
ther than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
e
rdo
o
lae
g
e
r
e
ducer
.
h
:
add virtual
de
s
tructor
t
o np_base to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
v
en
V
erdoolaeg
e
lexmin
.
cc: ext
r
act
o
ut some code to evalue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoola
e
ge
options
.
c:
pick u
p
d
e
fin
i
tion of POL_INTEGER fro
m
barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
rdo
o
laege
optio
n
c
.
c: m
o
ve choic
e
of whi
c
h
specialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
o
m
e
g
a
/parse
r
.
l:
let flex def
i
n
e
yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexm
i
n
.
cc: optionally
skip check for empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaeg
e
evalue
.
c: reduce_evalue
_
in_d
o
m
ain:
reduce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
olaege
lexmin
.
cc: u
s
e
ba
r
v
i
nok
_
options
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdool
a
ege
i
n
trodu
c
e b
a
rvinok
_
o
p
t
ions structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
c
c
:
compute genera
t
ing
f
unctions
of vert
e
x co
n
es
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rd
o
olaege
le
x
min
.
cc
:
move s
o
me
c
ode ar
o
und to pre
p
are for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven V
e
rdoolaeg
e
evalue: decla
r
e argument of
eadd
and evalue_copy
c
onst
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
lexmin
.
c
c
:
perform
subs
t
it
u
tion im
m
ediate
l
y on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoo
l
aege
READM
E
: add a warn
i
ng on (not) using shared
libra
r
ies
commit
|
commitdiff
|
tree
2006-08-31
Sven V
e
rdoolaege
evalue
.
h
:
cha
n
ge name
o
f header def
i
ne
commit
|
commitdiff
|
tree
2006-08-31
Sven Ver
d
o
o
laeg
e
evalue
.
h: ma
k
e
more
s
elf
-
contained
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
olaege
b
fcounter
.
h: undefine div
i
d
e
f
rom polylib's
a
rit
h
meti
q
ue
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
conf
i
gure
.
i
n
: no l
o
nge
r
comp
i
le shar
e
d librar
i
e
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven V
e
rdoolaege
README: re
f
l
e
ct that --
e
nable-fractional is now
th
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoo
l
a
e
g
e
le
x
mi
n
: remove duplicate unfr
i
nge
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n V
e
rd
o
olaege
p
o
lytope_scan: o
p
t
ionally sk
i
p basis
red
u
ction
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
er
d
o
o
l
aege
polytope_sca
n
: sca
n
i
n reduced
b
a
s
i
s
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
e
rdoo
l
aeg
e
polytope_scan: scans
t
he integer points in a polyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
S
v
e
n
V
erdoolaege
install NTL_QQ
.
h
header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaeg
e
basis_reducti
o
n
.
c: clean
u
p
GLPK mem
o
ry
commit
|
commitdiff
|
tree
2006-08-13
S
ven Ve
r
doolaeg
e
lex
m
in
.
cc: don't bother tr
a
ns
f
orming if compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexm
i
n
.
cc: f
i
x us
e
of compres
s
_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Ve
r
doolaege
sample
.
c: fix remove_ray
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolaege
barv
i
nok_c
o
unt: clean up memory after s
i
mp
l
ifying co
n
stra
i
nts
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
ege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
only perform l
e
x
m
i
n
t
ests when lexmin has
been compi
l
ed
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdo
o
laeg
e
some more te
s
ts with unbounded p
o
lyhedr
a
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doo
l
aege
add some sm
a
ll t
e
sts for l
e
xmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Ver
d
oolaege
l
exmin: barf when polyhe
d
ron con
t
ains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdool
a
e
ge
lexmin
:
don't pri
n
t s
o
l
u
t
ion when
verifying
commit
|
commitdiff
|
tree
2006-08-11
S
v
en Verdoolae
g
e
veri
f
y_
m
a
i
n
.
cc: cl
e
an up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdool
a
e
g
e
barvinok_series: handle fixed polyto
p
es
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolae
g
e
gen_f
u
n:
a
dd constr
u
ctor for
g
ene
r
a
t
ing function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
Ve
r
doolaege
barvinok
.
cc: remove_mor
e
_e
q
uali
t
i
e
s: han
d
le eq
u
alitie
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
d
oo
l
aege
g
e
n_fun::coeffici
e
nt: reset the number of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaege
lexmin
.
cc:
u
se rem
o
ve_eq
u
alities consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
util
.
c
: compr
e
s
s
_
v
ariables: extracted from
l
ex
m
in
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: don
'
t che
c
k anythi
n
g
i
f gi
v
en
r
ange lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rdo
o
la
e
ge
lex
m
in
.
c
c:
remove_equalities; take
p
reimage with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
Verdoola
e
ge
lexmin
.
cc: rem
o
ve_equalities
:
exte
n
d returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
lexmin
.
cc: in_d
o
m
a
in: fix ty
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
o
o
l
aege
lexmin
.
cc
:
remove some debugging resi
d
u
es
commit
|
commitdiff
|
tree
2006-08-09
S
ven V
e
rdoolaege
reduce_domain
:
compute convex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
l
e
x
m
in
.
cc: in_domain: also c
h
eck o
t
her parts
o
f union
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n Ve
r
doolaege
lexmin: in_doma
i
n: s
e
t values if co
n
straints d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: plug s
o
me
m
e
mory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdo
o
laege
lexmin
:
an
e
xp
e
ri
m
ental to
o
l
fo
r
c
o
mputing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
add
f
d
stream
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
Ve
r
do
o
lae
g
e
evalue
.
c:
f
l
oor2frac_r:
p
lug
m
emory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
olae
g
e
ba
r
v
inok
.
c
c
: u
n
fringe:
w
ork incremental
l
y
commit
|
commitdiff
|
tree
2006-08-06
Sv
e
n Verdoolae
g
e
evalu
e
_frac2floor_in_domain: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoola
e
ge
Polyhedron_Samp
l
e: a
l
low equa
l
iti
e
s
i
n input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
Polyhedron_Sample: make sure vertices are availa
b
le
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Pol
y
hedron_Samp
l
e: simpli
f
y constraints after ch
o
osing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
Polyhedron_Sample: handle empty and
0
D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
s
ample
.
c: alterna
t
ive imple
m
entation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
sample
.
c: Po
l
yhedron_Remove
F
ix
e
dColumn
s
: handle pres
e
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
barv
i
nok_cou
n
t_f: che
c
k whether polyhedron is unb
o
unde
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
barvinok
_
count: sim
p
lif
y
c
onstraints after removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
r
educed_
b
a
sis: support
1
D pol
y
topes
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
r
dool
a
ege
r
e
duce
d
_
basi
s
: ens
u
re all
L
P s
o
lutions are non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven
V
erdoolaege
occ: pr
i
nt parametric vertices of set us
i
ng PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
Verdoolaege
o
c
c: a
d
d int
e
r
f
ace to barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Ve
r
doolae
g
e
util
.
c: provi
d
e dummy barvinok_lexsmal
l
er_ev when LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n
V
erdoolaege
4coins: comput
e
s ge
n
e
rating func
t
i
on
for 4 c
o
in Fr
o
b
e
n
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
gen_fu
n
::
H
adam
a
rd_product: app
l
y paramet
e
r com
p
ression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::substitute: on
l
y
pass in transformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
scarf
.
c
c
: support
m
ore cases
o
f 3 (
i
ndependent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
rdoolaege
sc
a
rf
.
cc: support more cases of 4
constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
r
dool
a
eg
e
genf
u
n
.
cc: add gen_fun::divide me
t
hod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genf
u
n
.
cc: another gen_fun:
:
summate m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n
Verd
o
o
laege
i
nfini
t
e_icou
n
ter
:
an
i
n
cremental count
e
r
f
or
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
Verdoolaege
icounter: move
from ba
r
vinok
.
c
c
to reduc
e
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven
Verdoolaege
bfe
n
umerator::set_factor: p
l
u
g s
m
a
ll m
e
mor
y
leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvin
o
k_enumerate_union_
s
eries: use gen_
f
un::su
m
m
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
genfun
.
cc: add
gen
_
fun::sum
m
ate metho
d
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
olaege
gen_fun::Hadamard
_
product: optimize computat
i
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
gen
_
fun::Ha
d
amard_product: m
a
ke first arg
u
ment const
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
polar_d
e
comp
o
ser::dec
o
mpos
e
: make sure
v
er
t
ic
e
s hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaeg
e
n
p
_
base: add do_
v
ertex_con
e
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
g
e
n_fun::print: al
l
ow printing to stre
a
ms o
t
her t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bf
c
ounter
.
cc: move s
o
me
m
ore code fr
o
m barvino
k
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun
.
h:
short_rat: us
e
QQ in
s
tead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
NTL_QQ
.
c
c
:
a ra
t
ional
N
T
L
typ
e
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
verify_m
a
in
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
dool
a
ege
bar
v
inok_series: move c
h
oice of w
h
ich gf_ba
s
e s
u
bclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc: move so
m
e fun
c
ti
o
na
l
ity into sep
a
rate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
barvinok
.
cc
:
move Polyhed
r
on ar
g
u
m
ent to start
m
ethod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven
Verd
o
olaege
barvinok
.
c
c
: mo
v
e
s
tart and handle
_
p
o
l
a
r
into np
_
base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
ge
n
_
f
un: add sh
i
ft method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
gen_fun: add copy constructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2values: make
fir
s
t argument const
commit
|
commitdiff
|
tree
next