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
doc: add some references to publications
2006-09-28
S
ven Verdoolaege
doc: add some references
to p
u
b
licati
o
ns
commit
|
commitdiff
|
tree
2006-09-26
Sv
e
n
Verdoolaege
lexmin
.
cc: reenable
o
p
timization
of checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
v
en
V
erdoo
l
a
e
g
e
e
v
alue
.
c
: clean up in_domain
commit
|
commitdiff
|
tree
2006-09-25
Sven
V
erdoo
l
aege
edo
m
ain
.
cc:
a
dd EDomain::contains
commit
|
commitdiff
|
tree
2006-09-24
Sven
Verdoolaege
lexmin
.
cc: max
_
term::print: prin
t
f
l
oors explic
i
tly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
S
ven Verdoolaege
l
e
xmin
.
c
c
: dis
a
ble p
o
ssibly overz
e
a
l
ou
s
o
ptimizat
i
on
commit
|
commitdiff
|
tree
2006-09-23
Sv
e
n Verdoolaege
edomain
.
cc
:
remember
"constra
i
nt" r
e
pr
e
sentat
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
reduced_basi
s
: res
e
t "negative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verd
o
o
l
ae
g
e
lexmin
.
cc:
move
m
ore code to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verd
o
o
l
aege
e
domain
.
h: add EDomain_
f
l
o
or abs
t
raction
commit
|
commitdiff
|
tree
2006-09-22
Sven
Ver
d
oolaege
lexm
i
n
.
cc: d
e
fine max_term over an EDomain rat
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
reducer
.
h: add vi
r
tua
l
dest
r
uctor to
n
p_base t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
Ver
d
oolaege
l
e
xmin
.
c
c: extract ou
t
some code to eva
l
ue_util an
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
options
.
c:
pick up
definition of POL_INTEGER
f
rom barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
optio
n
c
.
c: move
c
ho
i
ce of which specialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolae
g
e
omega/par
s
er
.
l:
let
f
lex defin
e
yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verdoola
e
g
e
lexmin
.
c
c
: optionally skip check fo
r
em
p
ty
dom
a
ins
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
ev
a
lue
.
c: reduce
_
evalu
e
_in_domain: redu
c
e to
zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
Ver
d
o
o
la
e
g
e
lexmin
.
cc
:
u
s
e barvinok
_
option
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
olaege
i
ntr
o
duce barvinok_
o
pti
o
ns st
r
ucture
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verdo
o
laege
lexmin
.
c
c:
comput
e
generating functions of vertex co
n
es
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sve
n
V
erdoolaege
lexmin
.
cc: mov
e
some
c
o
d
e around
t
o pr
e
p
a
re for ne
w
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven
V
er
d
oolaege
e
value: decla
r
e argument of eadd an
d
ev
a
lue_copy cons
t
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdool
a
ege
lexmi
n
.
c
c: perform subst
i
tution
i
mm
e
d
i
a
tely on
e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Ve
r
do
o
laege
RE
A
D
M
E: add
a warning on (not) using shared
l
i
b
ra
r
ies
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoo
l
aege
evalue
.
h: change name of header define
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
er
d
oolaege
ev
a
lue
.
h: ma
k
e m
o
re sel
f
-
c
onta
i
ned
commit
|
commitdiff
|
tree
2006-08-26
Sven
Ver
d
oolaege
b
fcoun
t
e
r
.
h: undefine divi
d
e
from polyl
i
b's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sve
n
Verdoolaeg
e
config
u
re
.
in: no longer compile shared libra
r
ie
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
e
rdoolaeg
e
README: refl
e
ct that --e
n
a
ble-fractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
olae
g
e
lexmi
n
: remove duplicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_fun:
:
Hadamard_p
r
o
duct: use u
n
optimized version
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
ve
n
Verdoolae
g
e
ba
r
v
in
o
k_s
e
r
i
es: perf
o
rm backsubstitution also
i
f
al
l
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
barv
i
nok_enumerate_u
n
i
on_seri
e
s
:
call core
o
f barvinok
_
s
eries
commit
|
commitdiff
|
tree
2006-08-21
Sven Ver
d
oolaege
util
.
c: remove
_
eq
u
a
lities_p: cor
r
ect check for end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sve
n
Verdoo
l
a
e
ge
gen_fun: set
c
o
ntext
i
n
no variables
c
onstructor
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
ge
n
_fu
n
:
:
H
adam
a
rd_product:
don't assume equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sv
e
n Verd
o
olaeg
e
b
a
r
v
inok_u
n
io
n
: t
a
ke context into
a
c
coun
t
commit
|
commitdiff
|
tree
2006-08-16
S
v
e
n
V
e
rdo
o
laege
polyt
o
pe_s
c
an: option
a
lly skip basis r
e
ducti
o
n
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_scan:
s
c
an
in redu
c
ed basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polytope_sca
n
:
s
cans the intege
r
points in a
p
o
lytope
commit
|
commitdiff
|
tree
2006-08-14
Sve
n
Verdoola
e
g
e
i
n
stall NTL_QQ
.
h
hea
d
er
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laege
basis_reduction
.
c: c
l
ean up
G
LPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
lexmin
.
cc: don
'
t
bot
h
e
r
transformin
g
i
f com
p
res
s
_
pa
r
ms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaege
l
exmi
n
.
cc: fix
u
se of
c
o
mpress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaege
sample
.
c
:
fix remove_ra
y
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoolae
g
e
barv
i
nok_count:
clean
up memory
a
fter
simplifyin
g
constraints
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Ve
r
doo
l
aege
REA
D
M
E: update
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n Verdoolaege
on
l
y
pe
r
fo
r
m lex
m
in
t
ests wh
e
n le
x
min
h
as
b
e
e
n compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
s
ome
m
or
e
tests with unbounded p
o
lyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdool
a
e
ge
add some small tests for le
x
min
commit
|
commitdiff
|
tree
2006-08-12
S
v
en
V
e
rdoolaege
lexmin: barf wh
e
n polyhed
r
o
n
co
n
tains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doolae
g
e
lexmin
:
don't
prin
t
sol
u
tion when ver
i
f
y
i
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Verd
o
olaeg
e
ve
r
ify
_
main
.
cc: c
l
ean up me
m
ory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
laege
barv
i
nok_series: ha
n
dle f
i
xed polyt
o
p
e
s
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen_
f
un
:
add cons
t
ructor for generatin
g
function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en
V
er
d
o
olaeg
e
ba
r
vinok
.
cc:
r
e
move_more_eq
u
alities: ha
n
dle e
q
uali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
olaege
gen_
f
un::coefficie
n
t: reset th
e
nu
m
ber of
rows in
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoola
e
ge
l
exmin
.
c
c: use re
m
ove_eq
u
al
i
ties consistently
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
doolaege
util
.
c
:
com
p
ress_variab
l
e
s:
e
xtr
a
c
t
e
d
fr
o
m lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verd
o
olaege
le
x
m
in: don't check anyt
h
i
ng if
g
iven
r
ange
l
ies o
u
ts
i
de
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doola
e
ge
lexmin
.
c
c
: r
e
m
o
ve_
e
quali
t
ies; take preimage with retu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaege
lexmin
.
cc: remove_equal
i
ties: e
x
tend r
e
turned
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc:
i
n_d
o
main:
fix t
y
po
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
V
erdoolaege
lexmin
.
cc: rem
o
v
e some debugging
r
esidues
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolae
g
e
reduce_domain: com
p
ute convex u
n
ion of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
min
.
c
c
:
in
_
domain: also
c
h
e
ck other parts of union
commit
|
commitdiff
|
tree
2006-08-09
S
ven V
e
r
doolaege
lexmin:
i
n_domain: set v
a
l
ues if constraints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
l
e
x
min
:
p
l
ug so
m
e memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verd
o
olae
g
e
lexmin: an
experimental t
o
ol for computing the
p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoolaege
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
eva
l
ue
.
c: floor2frac
_
r
:
p
lug memory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
barvino
k
.
cc: unfringe: work in
c
rementally
commit
|
commitdiff
|
tree
2006-08-06
S
ven V
e
rdoolae
g
e
evalue_frac2
f
loor
_
in_domain: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sample: allow equ
a
lities in i
n
p
u
t poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
V
erdoolaege
Polyhedron_Sample
:
ma
k
e
sure
v
erti
c
e
s
a
re available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
Polyhedron_Sample:
simplif
y
const
r
ai
n
ts after cho
o
sing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
l
a
e
ge
Polyhedro
n
_Sam
p
le: handle empt
y
a
n
d 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
rd
o
ol
a
ege
sample
.
c: al
t
e
rnative im
p
le
m
entat
i
on of re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
sample
.
c: P
o
l
y
hedron_
R
e
moveFixe
d
C
olumns: h
a
ndle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoola
e
ge
barvin
o
k
_
c
o
unt_f: check w
h
et
h
er polyhedron is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
barvinok_count: sim
p
lify constra
i
nt
s
after remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
d
ool
a
ege
reduc
e
d
_
basis: support 1D pol
y
top
e
s
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
V
erdoolaege
r
educed_b
a
sis: ensu
r
e
all LP solu
t
i
o
n
s a
r
e non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoola
e
ge
occ: p
r
i
n
t parame
t
ric vertic
e
s o
f
set using
P
olyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolae
g
e
occ: add i
n
terfa
c
e
t
o
b
a
rvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdo
o
l
a
e
ge
util
.
c
: provide dummy bar
v
ino
k
_lexsmall
e
r_ev
w
hen Lex
S
m
a
ller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: computes generating functio
n
for 4 coin F
r
o
b
enius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ve
n
Ver
d
ool
a
e
ge
g
e
n
_fun::Hadam
a
rd_produ
c
t: a
p
ply para
m
ete
r
c
o
m
p
r
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verd
o
olaege
gen_fun::
s
ubstitute: only
p
a
ss in tr
a
n
s
f
o
rmati
o
n matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
scarf
.
cc:
s
upport more cases of 3 (i
n
dependent
)
constraints
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Ver
d
o
olaege
sc
a
rf
.
cc: sup
p
ort more
ca
s
es of 4 constra
i
nts
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdoolaege
gen
f
un
.
cc: add gen
_
fun:
:
divide
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
Sve
n
V
er
d
oolae
g
e
genfun
.
c
c: a
n
other ge
n
_fu
n
:
:
s
ummate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
in
f
i
nite
_
icount
e
r: an incremental cou
n
ter for possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olae
g
e
icoun
t
er:
m
o
ve f
r
om bar
v
inok
.
cc to
r
educer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
bfen
u
mer
a
tor::set_fa
c
tor
:
plug small memo
r
y leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bar
v
inok_e
n
umerate_union_serie
s
: use gen_f
u
n
:
:summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
rdoolaege
g
enfun
.
cc: add
g
en_fun::summate metho
d
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ver
d
oolaege
g
e
n_fun::
H
ad
a
mard_pr
o
duct
:
optimize
com
p
utation of
.
.
.
commit
|
commitdiff
|
tree
next