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
edomain.h: add EDomain_floor abstraction
2006-09-22
Sven Ver
d
oolaege
ed
o
main
.
h: add
EDom
a
in_f
l
o
o
r abstraction
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
ege
lexmin
.
cc
:
de
f
i
ne max_term over an E
D
o
main ra
t
he
r
than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoolaege
reducer
.
h: add v
i
rtual d
e
structor to np_
b
ase to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Ve
r
do
o
laege
lexmin
.
cc: extract out some code to e
v
alue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
r
doolaege
options
.
c: pick
up defi
n
ition
of
P
OL_I
N
TE
G
ER fr
o
m barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Verd
o
o
laege
optionc
.
c: move choice of wh
i
ch speciali
z
a
t
ion to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ve
r
doolaeg
e
o
m
e
g
a/
p
ar
s
er
.
l: let fl
e
x de
f
i
n
e y
y
lineno
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdoolaege
l
e
xmin
.
cc: opt
i
on
a
lly ski
p
check for empt
y
domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
a
e
ge
evalu
e
.
c: reduce_eval
u
e_in_domain: reduce to zero eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven
Verdool
a
ege
lex
m
in
.
cc: use
b
arv
i
nok_option
s
commit
|
commitdiff
|
tree
2006-09-20
Sven Ve
r
doolae
g
e
introduce barvin
o
k_options s
t
ructure
commit
|
commitdiff
|
tree
2006-09-20
S
ven Ver
d
oolaeg
e
lexmin
.
cc: comput
e
generating f
u
n
c
ti
o
ns of ve
r
t
ex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc:
m
ove
some
c
ode around to prepare fo
r
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaege
evalue: dec
l
are ar
g
ument o
f
ead
d
a
n
d evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
l
exmin
.
cc: perform substitution imm
e
diately on
e
ach
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven
Verd
o
olaeg
e
R
E
ADME: ad
d
a warning on (not) using sha
r
e
d
libraries
commit
|
commitdiff
|
tree
2006-08-31
Sven
V
e
rdoolaege
evalue
.
h: ch
a
nge name of header define
commit
|
commitdiff
|
tree
2006-08-31
Sv
e
n Verdool
a
ege
e
v
alue
.
h: make more self-co
n
ta
i
ned
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
e
r
do
o
lae
g
e
bfco
u
nter
.
h: undef
i
ne
divide from polylib's
a
rithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verd
o
o
laege
configur
e
.
in
:
no lon
g
er compile shared
lib
r
aries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolae
g
e
REA
D
M
E
: reflect that --enable-
f
ractional is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sv
e
n Verd
o
olaeg
e
lexmin: rem
o
ve duplicate unfring
e
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
poly
t
ope_scan:
optionally
s
kip basis redu
c
tion
commit
|
commitdiff
|
tree
2006-08-16
Sven
V
erd
o
o
l
aege
p
o
lytope_scan: scan in reduce
d
basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
polyto
p
e
_
scan: s
c
ans the
int
e
ger
points in a polyt
o
pe
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdo
o
lae
g
e
in
s
tall NTL_QQ
.
h head
e
r
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
basis_redu
c
tion
.
c
:
clean up GLPK
m
e
m
o
ry
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n Verdool
a
e
ge
le
x
min
.
c
c: don't bother transforming if com
p
ress
_
pa
r
m
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laege
lexmin
.
cc
:
f
ix
use of co
m
p
r
e
ss_pa
r
ms
commit
|
commitdiff
|
tree
2006-08-13
Sv
e
n
V
erdool
a
ege
sampl
e
.
c:
f
ix remove_
r
ay
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
V
er
d
oolaege
barvinok_count: clean up
m
emor
y
a
f
t
e
r
simplif
y
ing constraint
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Ver
d
oolaege
R
EA
D
ME: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verd
o
olaege
on
l
y perf
o
rm le
x
min tests when l
e
xmi
n
h
a
s been compil
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
some
m
ore te
s
ts
w
ith unbounded
p
olyhedra
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdo
o
l
aeg
e
add so
m
e small tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexmin: ba
r
f
w
hen
polyhedron conta
i
ns lin
e
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n
V
e
rd
o
ola
e
ge
lexmin:
d
on't print sol
u
tio
n
whe
n
verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdool
a
ege
verify_main
.
cc
:
clean up memory
commit
|
commitdiff
|
tree
2006-08-10
S
ven Verdoolae
g
e
barvinok_s
e
rie
s
: ha
n
d
le f
i
xed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verdoolaege
gen_fun: add construc
t
or for ge
n
er
a
t
i
ng function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
barvinok
.
cc: remove_mo
r
e
_
equalities: han
d
le equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verdoo
l
aege
gen_fun::coefficient: reset the number o
f
rows in t
h
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en V
e
rdool
a
ege
lexmin
.
cc: u
s
e remove_equalities consis
t
ently
commit
|
commitdiff
|
tree
2006-08-10
Sven Ver
d
o
o
laege
util
.
c: c
o
mp
r
ess_
v
aria
b
les: extracted fro
m
lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
V
e
r
d
oolaege
lexmin: don't check anything if given r
a
n
ge
lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
erdoola
e
ge
l
e
x
m
in
.
cc:
r
emove_eq
u
a
liti
e
s; take
pre
i
m
ag
e
with retur
n
ed
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
l
e
xmin
.
c
c
: remove_eq
u
alities: extend returned m
a
tri
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
rd
o
o
laege
lexmin
.
cc: i
n
_domain:
f
ix typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
cc: remove some debugging resi
d
ues
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdool
a
e
ge
red
u
ce_domain: com
p
ute conve
x
u
nion of dom
a
i
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
min
.
c
c
:
in_do
m
a
i
n
:
also check othe
r
pa
r
ts of union
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoola
e
ge
lex
m
in: in
_
domain: set values
if
constrain
t
s don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lex
m
i
n: plug some memor
y
l
eaks
commit
|
commitdiff
|
tree
2006-08-08
S
ven Ver
d
oo
l
aege
le
x
m
i
n
:
an expe
r
ime
n
tal
t
ool
f
or computing t
h
e pa
r
ametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven
V
e
rdo
o
laeg
e
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoo
l
aege
e
v
a
l
ue
.
c: f
l
oor2
f
rac_r
:
plug
memory
leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
oolaege
barvinok
.
cc: unfringe: work
i
ncre
m
entally
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdool
a
ege
evalu
e
_frac2floo
r
_in_
d
omain: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
Polyhedron_Sam
p
le: allow
e
qualities in input polyhed
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
Polyh
e
d
ro
n
_Samp
l
e: ma
k
e sure vertice
s
are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en V
e
rdoolaege
Polyh
e
d
ron_Sam
p
le: simpl
i
fy constr
a
ints after choos
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedron_Sample: h
a
nd
l
e
empt
y
and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
sample
.
c: alternative implementa
t
ion
o
f rem
o
ve_ray
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoola
e
ge
sampl
e
.
c
:
P
o
lyhedron
_
R
e
mo
v
eFixedColumns: h
a
n
dle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
ba
r
vinok_count_f: check
w
heth
e
r
polyhedron is unbounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
g
e
b
a
rvinok_count: simplify
con
s
trai
n
ts af
t
er removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdo
o
l
aege
red
u
ced_basis: suppo
r
t
1D
polytope
s
commit
|
commitdiff
|
tree
2006-08-03
S
v
en
Verdoolae
g
e
r
educed_basis: ensure all LP
s
olutions are non-negat
i
ve
commit
|
commitdiff
|
tree
2006-08-02
S
ven Verd
o
o
laege
occ: print pa
r
ametric vertices of
s
e
t using Pol
y
Lib
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n
Verdo
o
laege
occ: add
i
nterface to barvinok_l
e
xsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Verd
o
olaege
u
t
il
.
c
: provide
d
ummy b
a
r
v
inok_lexsmaller_ev wh
e
n LexSm
a
ller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoola
e
ge
4coins: comp
u
tes generat
i
ng funct
i
on
for 4 coin Fro
b
enius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
er
d
oo
l
a
ege
gen_fun::Hadamard_product: a
p
ply p
a
r
ameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
gen_fun:
:
substitute: only pass in tran
s
formatio
n
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
scarf
.
cc:
support
m
ore cases of 3 (in
d
epend
e
n
t) constraints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdo
o
laege
sc
a
r
f
.
cc: supp
o
rt more cases of 4
constrai
n
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verd
o
olaege
genfun
.
cc: add
g
e
n_fu
n
::d
i
v
i
d
e
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
S
v
e
n Verdo
o
laege
gen
f
u
n
.
cc: a
n
othe
r
g
en_fun::su
m
mate me
t
ho
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolaege
i
n
f
inite_icount
e
r: an increment
a
l counter for p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven
Ve
r
doo
l
a
ege
ic
o
unter:
move from bar
v
inok
.
c
c
to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
bf
e
numerator::
s
et_facto
r
:
p
lug small memor
y
leak
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
er
d
o
olaege
ba
r
vinok_enumer
a
t
e
_union_series: us
e
gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genfun
.
cc: add g
e
n
_fun::
s
u
m
mate method
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdo
o
l
a
ege
gen_fu
n
::Hadamard_p
r
o
duct:
optimize
c
omputation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
olaege
gen_fu
n
::Hadamard_pr
o
duc
t
: make
f
i
r
st argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
po
l
ar_decomp
o
ser::decompose: make sure verti
c
es ha
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_base:
a
dd do_vert
e
x_cone met
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
g
e
n_fun::p
r
int:
a
llow
p
r
inting to
streams othe
r
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoo
l
aege
bfco
u
nter
.
c
c: move some
more code from b
a
rvino
k
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_
f
un
.
h: short_rat:
u
se QQ i
n
stead
o
f pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NTL_QQ
.
c
c: a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
verif
y
_main
.
cc: small m
e
mory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ve
r
doolaege
barvinok_series: mo
v
e choice of which gf_base subclas
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaeg
e
barvinok
.
cc: move
s
ome f
u
nctionality int
o
separat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdool
a
ege
barvinok
.
cc: m
o
v
e
Polyhedr
o
n argument
t
o start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
barvinok
.
cc: move start
a
n
d
handle_pol
a
r into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
gen
_
fun: add
shift method
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolae
g
e
ge
n
_fun:
a
dd
co
p
y
const
r
uctor
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
zz2values:
m
a
ke firs
t
argument c
o
n
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2va
l
ue:
m
ake
first argument co
n
st
commit
|
commitdiff
|
tree
next