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: define max_term over an EDomain rather than a Polyhedron
2006-09-22
Sve
n
Verdoolaege
lexmin
.
cc: define
m
ax_
t
erm
o
ver an E
D
omain rath
e
r than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
r
e
ducer
.
h
:
ad
d
virtual de
s
tr
u
c
t
or to np_base to
avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ver
d
o
o
laege
lexmin
.
c
c
: extract o
u
t some code to ev
a
lue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
options
.
c: pick u
p
definition of
P
OL_INTEGE
R
f
r
om barvino
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
ven Verdoolaege
o
p
tionc
.
c
: mov
e
choic
e
o
f which spec
i
aliz
a
ti
o
n
t
o use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
omega/pars
e
r
.
l: le
t
f
l
ex defin
e
yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
a
ege
l
e
x
min
.
cc:
o
p
t
i
ona
l
ly skip check for empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoola
e
g
e
e
value
.
c: reduc
e
_evalue
_
i
n
_domain: red
u
ce to z
e
ro evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
l
exmin
.
cc: use barvinok_o
p
tions
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoola
e
ge
introduce b
a
rvinok_
o
ptions stru
c
ture
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
e
r
d
oolaege
lexmin
.
cc:
compute generatin
g
functions of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verd
o
o
l
aege
l
e
x
m
i
n
.
cc: move
s
ome code around to prepare
f
o
r
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven
Verdoolae
g
e
evalue: d
e
clare argument o
f
eadd an
d
ev
a
l
ue_cop
y
const
commit
|
commitdiff
|
tree
2006-09-06
Sv
e
n V
e
rdoolae
g
e
lexmin
.
cc:
perfo
r
m substitution immediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdo
o
laege
README
:
add a warning o
n
(not) using shared librarie
s
commit
|
commitdiff
|
tree
2006-08-31
S
v
e
n
Ver
d
oo
l
a
ege
e
value
.
h: change n
a
me of heade
r
define
commit
|
commitdiff
|
tree
2006-08-31
S
v
en Verdoolaege
e
v
a
lue
.
h: m
a
ke more se
l
f-con
t
ained
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdoolaege
bfc
o
unter
.
h:
u
n
define d
i
vide
from polylib'
s
arithmet
i
qu
e
.
h
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
configure
.
i
n
: no lon
g
er compile
shared librarie
s
by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
e
n Verdoo
l
aege
RE
A
D
ME: r
e
flec
t
t
h
at --
e
nable-frac
t
ional
i
s
n
ow
t
he
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
l
exmin: remove duplicate
u
n
fringe
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Verdo
o
l
aege
polytope_scan: option
a
lly skip basi
s
redu
c
tion
commit
|
commitdiff
|
tree
2006-08-16
Sven V
e
rdoolaege
polytope_
s
can: scan
i
n
r
e
d
u
c
ed
b
as
i
s
commit
|
commitdiff
|
tree
2006-08-16
S
ven Verdoolaege
polyt
o
p
e
_
s
can: scans th
e
i
n
tege
r
points in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven
V
erdoola
e
ge
install
NTL_QQ
.
h
header
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
basi
s
_redu
c
tion
.
c: clean up GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolae
g
e
lexmin
.
c
c
: don'
t
bothe
r
t
rans
f
orming if co
m
p
res
s
_
parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdoolaege
l
exmin
.
c
c: fix use
of c
o
mpress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolae
g
e
sample
.
c:
f
ix remo
v
e_r
a
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoo
l
aege
barvinok_count: clean
u
p memory
after simplifying cons
t
rai
n
t
s
commit
|
commitdiff
|
tree
2006-08-13
Sven V
e
rdoolaege
README: updat
e
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaeg
e
only
p
erform lexmin tests when lexmin has been compiled
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erd
o
olaege
s
ome more
t
e
s
ts
w
ith unb
o
un
d
ed polyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven Ve
r
doo
l
aege
a
dd some small te
s
ts for lexmin
commit
|
commitdiff
|
tree
2006-08-12
S
ven
V
e
r
doola
e
g
e
l
e
xmin: barf
w
hen po
l
y
h
ed
r
on
c
ontains line
commit
|
commitdiff
|
tree
2006-08-12
Sv
e
n
V
erdoolaege
lexmin: don't p
r
int sol
u
tion when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven
V
e
r
doolaege
ver
i
fy_main
.
c
c:
clean up
memor
y
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
ba
r
v
i
nok_
s
e
r
ies: hand
l
e
f
ixe
d
polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
gen
_
fun: a
d
d constructor
for generating functio
n
with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvinok
.
cc:
r
e
m
o
v
e_
m
ore_equalities:
h
a
ndle eq
u
alitie
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
laege
gen_fun
:
:
c
oeffi
c
ie
n
t: res
e
t
the number of ro
w
s in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
ven Ver
d
oolaege
lexm
i
n
.
cc: u
s
e remove_
e
qualities consistentl
y
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
uti
l
.
c: compress_variables: extra
c
ted from
lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
lexmin: do
n
't
check anything if given range lies
o
u
tside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
ge
lexmin
.
cc: remove_equalities
;
take pre
i
mage with retur
n
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmin
.
cc: remo
v
e
_
equalities:
e
xt
e
nd
r
eturned
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
ve
n
Verdo
o
laege
lexmi
n
.
cc
:
in_doma
i
n
:
fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
V
erd
o
o
laege
lexmin
.
cc: remove some
de
b
u
g
ging
r
esidues
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
reduce_do
m
ain:
compute convex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmin
.
cc: in
_
d
o
main
:
also check
o
t
her parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: in_domai
n
:
set values if
c
o
nst
r
aints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
erdool
a
ege
lexmin: plug som
e
m
e
mory leaks
commit
|
commitdiff
|
tree
2006-08-08
S
v
en V
e
r
doolaege
lexmin: an e
x
perimental
tool for
computing
th
e
p
aram
e
t
ric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdo
o
laege
add fdstrea
m
commit
|
commitdiff
|
tree
2006-08-08
S
v
en
V
e
rdoolaege
evalue
.
c:
f
lo
o
r2frac_r: p
l
ug memo
r
y leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
doolaege
barvinok
.
cc:
u
nfri
n
g
e: work incr
e
mentally
commit
|
commitdiff
|
tree
2006-08-06
Sve
n
V
e
rd
o
ola
e
g
e
evalu
e
_frac2floor_in_do
m
ain: plug memory l
e
ak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
Poly
h
e
d
ron_Sample: allow equali
t
ies in i
n
put polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoola
e
g
e
Polyhedron_S
a
mp
l
e: make sure ver
t
ic
e
s are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
Polyhedron
_
Sam
p
le: simpli
f
y constra
i
nt
s
afte
r
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n Verdo
o
laeg
e
Poly
h
edron_Sample: han
d
le empty and 0
D
pol
y
h
edr
a
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
sample
.
c: alter
n
ative impl
e
mentat
i
on of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
sample
.
c
:
Polyhedron_R
e
moveF
i
x
e
dCo
l
u
m
ns
:
ha
n
dle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
barvinok_co
u
nt_f:
check whether poly
h
edron is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n
Verdoolaege
barvi
n
ok_c
o
unt: s
i
mp
l
ify con
s
traints a
f
ter
r
emoving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
la
e
ge
reduced_basis:
s
upport 1D polyt
o
pes
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Ve
r
doolaege
redu
c
ed_basis: ensure all LP solutions
a
r
e
non-
n
egative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaege
o
c
c: print parametri
c
vertices of set usi
n
g PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
o
c
c: add int
e
r
f
ace
t
o barvinok_
l
exs
m
aller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
ven Verdoolaege
util
.
c
: provide dumm
y
barvin
o
k_l
e
xsmaller_ev
w
hen
Le
x
Smaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolae
g
e
4coi
n
s: c
o
m
putes generatin
g
function fo
r
4
coin Fr
o
benius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
e
n
Verdo
o
laege
ge
n
_f
u
n
:
:Hadamard_pr
o
d
uct: apply pa
r
a
m
eter com
p
ression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Ver
d
o
o
laeg
e
gen_
f
un::su
b
st
i
t
u
t
e: onl
y
p
a
s
s in tr
a
ns
f
ormation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Verdoo
l
aege
scarf
.
cc: sup
p
o
r
t mo
r
e cases
o
f
3 (independent) constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoolae
g
e
scarf
.
cc: sup
p
ort
more cases of 4
c
onstraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
e
ge
genfun
.
cc:
a
dd gen
_
fun::div
i
de method
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
r
doo
l
aege
ge
n
fun
.
cc: another
g
en_fun
:
:
s
ummate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
o
olaege
i
n
finite_icounter
:
an incr
e
mental counter fo
r
pos
s
i
b
ly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
i
cou
n
ter: move from barvinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
d
o
olaege
bf
e
nu
m
erator:
:
set_f
a
ctor: plug small m
e
m
ory leak
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
ola
e
g
e
ba
r
vinok_en
u
merate_unio
n
_se
r
ie
s
:
use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genfu
n
.
cc: add gen_fun::summ
a
te method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ge
n
_fu
n
::Hadamard_product: optimize computa
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
gen
_
fun::Hadama
r
d_p
r
o
d
uct: ma
k
e first
a
rgument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
polar_de
c
o
mposer::decompose: make sure vertices hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolae
g
e
np_b
a
se: add do
_
vertex
_
cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun::print: allow printing to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
bfcounter
.
c
c: move
som
e
more code f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
aege
gen_fun
.
h: shor
t
_rat:
use QQ instead of pair of ZZ
s
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
NTL_QQ
.
cc:
a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
S
ven
Ver
d
oolaege
verify_main
.
cc:
s
m
a
l
l
memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
doo
l
aege
barvinok_series
:
move choice of which gf_base subclas
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
d
oola
e
ge
barvino
k
.
cc: move some
fun
c
t
ionality i
n
to
s
eparate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
b
a
r
vino
k
.
c
c
: move
P
olyh
e
dron argument t
o
start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
barvinok
.
cc: move
st
a
rt and ha
n
dle_
p
olar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Ver
d
o
o
laege
gen_fun: ad
d
shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
doolaege
gen_
f
un: add copy constructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
zz2values:
m
ake first argu
m
ent con
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
eg
e
zz2value: m
a
ke f
i
r
st
a
rgument const
commit
|
commitdiff
|
tree
2006-07-20
S
ven Verdoolaege
P
o
lyhed
r
on_is_infinite: use Polyhedron_Sample if avai
l
able
.
commit
|
commitdiff
|
tree
next