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: clean up in_domain
2006-09-25
Sven Verdoolaeg
e
ev
a
lue
.
c: clean up in_do
m
ain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdoolaeg
e
edom
a
in
.
cc: a
d
d EDomain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sv
e
n Verdool
a
ege
lexmin
.
cc: max_term::print: print
floors explicitly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verd
o
o
la
e
ge
lexmin
.
cc: disable po
s
sib
l
y
overzealous op
t
imization
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n Verdoolae
g
e
edo
m
ain
.
c
c
: reme
m
ber "co
n
straint" rep
r
esentation o
f
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
S
ven
V
e
r
doola
e
ge
redu
c
ed_basis: res
e
t
"
ne
g
ative widths"
to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaeg
e
l
e
xmin
.
cc: move
m
o
re code to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rdoo
l
aege
edomain
.
h: a
d
d E
D
omain_floor abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lexmi
n
.
cc: define ma
x
_term ove
r
a
n
EDomain rather than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Ver
d
o
o
laege
reducer
.
h: add vir
t
ual destruc
t
or
to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Verdoolaege
l
exmin
.
cc: extract o
u
t some code to eval
u
e_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Verdoolaege
options
.
c: pick up
d
efinitio
n
of POL_INTEGER from barvi
n
o
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdo
o
laege
optionc
.
c: move
choice o
f
which
specializatio
n
t
o
use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
do
o
l
a
ege
omega/parse
r
.
l: let flex define yylin
e
no
commit
|
commitdiff
|
tree
2006-09-20
S
ven
Ver
d
oo
l
ae
g
e
lex
m
in
.
cc: optionally skip check
for empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
evalue
.
c: reduc
e
_eval
u
e_in_domain: re
d
uce to zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Ver
d
oolaege
l
exmin
.
cc: use barvi
n
ok
_
o
p
tions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaeg
e
introduce barvinok
_
options structur
e
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n Verdoolaege
l
exmin
.
cc: compute gene
r
atin
g
functions of ver
t
ex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
V
erdoolaeg
e
lexmin
.
cc: move some code arou
n
d to prepar
e
fo
r
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sv
e
n Verd
o
ol
a
e
g
e
eva
l
u
e
: declare argument of
eadd and e
v
a
lu
e
_cop
y
const
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Ver
d
oolaege
le
x
min
.
cc: perform
s
ubstitu
t
ion immediatel
y
on
eac
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdo
o
laege
README: add
a wa
r
nin
g
on (n
o
t)
u
sing s
h
ared
l
ibrarie
s
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaeg
e
eva
l
ue
.
h
:
change
name of header define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h: make more self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdoolaege
bfcounter
.
h: u
n
define divide
f
r
om p
o
lylib'
s
ar
i
thmet
i
qu
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
en
Ve
r
d
oolaege
configure
.
in: no longer com
p
ile share
d
libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
olaege
README:
reflect
th
a
t --enable-fractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
ven Verdoolaege
lexmin: remov
e
duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-16
S
v
e
n
Verdoolaege
p
o
lyto
p
e_scan: opt
i
on
a
lly
s
kip basis redu
c
ti
o
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
doolaege
polytope_s
c
an:
s
can in re
d
uced
basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_sca
n
:
scans the in
t
eger points in a polyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdool
a
ege
i
nsta
l
l
N
TL_
Q
Q
.
h
h
e
a
d
e
r
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
V
erdoo
l
ae
g
e
b
a
sis_re
d
uction
.
c: clean up GLPK me
m
ory
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
e
rdoolae
g
e
lexm
i
n
.
cc: don't bother t
r
a
nsfor
m
ing i
f
compress_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
V
erdo
o
lae
g
e
lexm
i
n
.
cc: f
i
x u
s
e of compress_pa
r
ms
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
s
a
mple
.
c: fix remove
_
ray
commit
|
commitdiff
|
tree
2006-08-13
S
ve
n
Ve
r
doolaeg
e
b
arv
i
nok_
c
ount:
clean up m
e
m
or
y
a
f
ter
s
implifying co
n
straints
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
o
l
a
e
ge
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
only perform le
x
min t
e
s
ts
when lexmin has
been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
s
ome more
tests
wit
h
u
n
boun
d
ed po
l
y
hedra
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
add
s
ome small tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
Verd
o
olaeg
e
lexmin: barf when polyhedron conta
i
ns line
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
lexmin: don't print solu
t
i
o
n
when
v
erif
y
ing
commit
|
commitdiff
|
tree
2006-08-11
S
ven
Verdoolae
g
e
verify_ma
i
n
.
cc: clean up me
m
o
ry
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvin
o
k_series:
h
andle fixed p
o
lytopes
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
V
erdoolaege
gen_fun:
a
dd co
n
s
t
ructor for ge
n
erating func
t
ion with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
ba
r
vinok
.
c
c: remove_more_
e
qualitie
s
: handle equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
Verdoolaege
gen_fun::coefficient: reset the number of rows in th
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ve
n
Ve
r
doolaege
lex
m
in
.
cc: use remove_eq
u
alities consistently
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolaege
util
.
c:
c
ompress
_
vari
a
bles: extracted fro
m
lex
m
in
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lex
m
in: don't check anything if given range lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolae
g
e
lexmin
.
cc: remove_equali
t
ies; take
preimage w
i
th returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
o
l
a
e
ge
lexmin
.
cc:
remo
v
e_e
q
ualities: extend retu
r
n
ed matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
lexmi
n
.
c
c
: in_domain:
fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c: rem
o
ve some debu
g
ging residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
r
e
duce_domain: compute convex
union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc: in_domain: al
s
o check
o
ther
parts
o
f union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
ae
g
e
lexmin
:
in_do
m
ain: set value
s
if c
o
nst
r
aints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexm
i
n: plug some memory le
a
ks
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
erdoola
e
g
e
lexmin:
a
n
exper
i
mental tool for computing the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
ad
d
fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdoolaege
eval
u
e
.
c:
fl
o
or2frac_r: plug m
e
mo
r
y leak
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoolaege
ba
r
vinok
.
c
c
: un
f
ringe: w
o
r
k in
c
rementally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verd
o
olaege
evalue_frac2flo
o
r_
i
n_domain: plug memory l
e
ak
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoo
l
a
ege
P
olyhedr
o
n_Sample: allow equalities in input polyhedr
a
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
P
o
ly
h
edron_
S
a
m
ple: ma
k
e
sure vertices are a
v
ailable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
P
o
lyhedron_Samp
l
e:
s
im
p
lify constr
a
i
nts after c
h
oosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
er
d
oolaege
Poly
h
edron_Samp
l
e: handle em
p
ty and
0
D
polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
l
a
e
ge
sample
.
c:
a
lterna
t
ive i
m
plementation of r
e
move_ray
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoola
e
ge
sample
.
c: Polyhed
r
on_Remove
F
ixedColumns:
h
a
ndle
presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven V
e
r
doolaege
b
arvinok_count_f: check whether poly
h
edro
n
is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
d
o
olaeg
e
barvi
n
ok_count: simplify constraints afte
r
re
m
oving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_basis: support 1D
p
olytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduc
e
d_b
a
sis: ensure all
L
P solutions
a
r
e non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
o
c
c
: pr
i
nt parametric vertices of set using
Poly
L
ib
commit
|
commitdiff
|
tree
2006-08-01
Sven Ve
r
d
oolae
g
e
occ: add inter
f
ace to b
a
rvinok_l
e
xsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolae
g
e
util
.
c:
p
rovide dummy ba
r
vinok
_
lexs
m
aller_e
v
when L
e
xSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: computes generating functio
n
for 4 coin Froben
i
us
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
g
en_fun::Hadamard_product: apply param
e
ter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
oolaege
g
e
n_f
u
n:
:
subs
t
itut
e
: o
n
ly pass in transformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
scarf
.
c
c: support more cases of 3
(
independe
n
t
) constr
a
i
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven V
e
r
doolaege
sca
r
f
.
cc:
support more cases
o
f 4
constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
genfun
.
cc: ad
d
gen_fun
:
:divide metho
d
commit
|
commitdiff
|
tree
2006-07-27
S
v
e
n Ver
d
oo
l
aege
ge
n
fun
.
cc: another
gen_fun::summ
a
te method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
lae
g
e
i
n
finite_icounter: an
i
ncremental counter fo
r
possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
icounter: move f
r
o
m
barvinok
.
cc to
reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
olaege
b
fenumerator::set_factor
:
plug small memory lea
k
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_enumerat
e
_union_series:
use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoolaege
genfun
.
c
c: add gen_fun
:
:summate met
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
ola
e
ge
gen_fun
:
:Ha
d
a
m
ard_prod
u
ct: optim
i
ze computat
i
on
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoola
e
g
e
g
en_
f
u
n
:
:
Hadamard_produc
t
:
make
f
irst argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
pol
a
r
_
d
ec
o
mpos
e
r::decompose: make su
r
e vertices hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n Verdoo
l
aege
n
p
_b
a
se: add do
_
v
e
r
tex_con
e
method
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
g
e
n_fun:
:
p
rint: allow printi
n
g to stre
a
ms ot
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
bfcou
n
ter
.
cc: mo
v
e some
mo
r
e co
d
e from barvi
n
ok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ver
d
oolaege
gen
_
fun
.
h: short_rat: use
Q
Q instead of pair
o
f
ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolae
g
e
NTL_QQ
.
cc: a ra
t
io
n
al NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
v
e
r
i
fy_main
.
c
c
:
s
mal
l
m
e
mory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
b
a
rvinok_seri
e
s
:
mo
v
e choice of
w
hich gf_bas
e
subclass
.
.
.
commit
|
commitdiff
|
tree
next