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
reduced_basis: reset "negative widths" to zero
2006-09-23
Sven Verdoolae
g
e
re
d
u
ced_basis: reset "negative
w
id
t
hs" to zero
commit
|
commitdiff
|
tree
2006-09-23
S
v
en Verdoolaege
lexm
i
n
.
cc: move more code to
e
d
o
m
a
i
n
.
c
c
commit
|
commitdiff
|
tree
2006-09-22
Sven V
e
rdoolaege
edomain
.
h:
a
dd EDomai
n
_fl
o
or
a
bstr
a
cti
o
n
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
lex
m
in
.
cc: define ma
x
_term over an ED
o
mai
n
rat
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Ve
r
doolaege
red
u
cer
.
h: add
vir
t
ual
destructor to n
p
_b
a
se to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoo
l
aege
lexm
i
n
.
cc: extract out
so
m
e
c
o
de to eva
l
u
e
_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven V
e
rd
o
ola
e
g
e
opt
i
ons
.
c: pick u
p
defi
n
it
i
on of POL
_
INTEGER f
r
om barvino
k
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoo
l
a
ege
o
p
t
ionc
.
c
:
m
o
ve choice o
f
which specialization t
o
us
e
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
om
e
ga/parser
.
l: let flex def
i
ne yylineno
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lex
m
in
.
cc
:
optio
n
all
y
skip check f
o
r
empt
y
domains
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
rdoo
l
aege
eval
u
e
.
c:
re
d
uce_evalue_in_domain:
r
educe to zero
ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexm
i
n
.
cc
:
use barvino
k
_options
commit
|
commitdiff
|
tree
2006-09-20
Sven
V
erdool
a
ege
in
t
roduc
e
barvi
n
o
k
_options struct
u
re
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdo
o
laege
lexmin
.
cc: com
p
ute generat
i
ng functio
n
s
of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
lexmin
.
c
c
:
move
some code ar
o
und
t
o
prepare for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Ve
r
doolaege
eval
u
e: declare argu
m
ent of eadd and e
v
alue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven V
e
rdoolaege
lexmin
.
cc: perform su
b
st
i
tution immediately on
each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sve
n
Verdool
a
ege
README: add a warning on (not
)
using
s
hared lib
r
ar
i
es
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdoolaege
evalue
.
h
:
change na
m
e of header define
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
lae
g
e
eva
l
u
e
.
h: make
more self-
c
ontained
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
bf
c
ounter
.
h: undefine d
i
vide from pol
y
l
ib's
arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdoo
l
aeg
e
c
o
nfi
g
ure
.
i
n: no
l
o
nger
compile s
h
are
d
librar
i
es
b
y
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
R
E
ADME: reflect t
h
at --enable-f
r
acti
o
nal is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven
V
e
rdo
o
laege
le
x
min: remove d
u
plicate unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolae
g
e
g
en_fun::Hadamard_pr
o
duct: use unoptimi
z
ed ve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdo
o
laege
barvinok
_
series: per
f
orm bac
k
su
b
stitution also if al
l
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
V
e
rd
o
o
laege
b
arvinok_enu
m
erate_union_se
r
ies: call core of bar
v
inok_series
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
util
.
c: remove_eq
u
alities
_
p: correct check
f
o
r
e
nd
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
ven V
e
rdool
a
e
g
e
g
e
n_fun: set
c
ontex
t
in
n
o
variables co
n
structor
commit
|
commitdiff
|
tree
2006-08-21
S
v
e
n V
e
rdoolaege
gen_fun::
H
adam
a
r
d_product: don't a
s
sume equ
a
li
t
ies
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sve
n
Verdoola
e
ge
barv
i
nok_
u
n
i
on: take contex
t
into account
commit
|
commitdiff
|
tree
2006-08-16
Sv
e
n Verdoola
e
ge
polyt
o
p
e
_scan: optio
n
a
l
ly skip ba
s
is
r
e
d
u
ction
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdo
o
l
a
e
g
e
polytope_scan
:
s
can in reduc
e
d basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Verdoolaege
pol
y
top
e
_scan: scans t
h
e
in
t
eger points in a polyto
p
e
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolaege
install N
T
L_QQ
.
h
he
a
der
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaege
basi
s
_
r
ed
u
c
t
ion
.
c: clean u
p
GLPK mem
o
r
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
o
l
a
ege
l
e
xmin
.
cc: do
n
't bother transfor
m
ing if comp
r
ess
_
parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoo
l
aege
lexmin
.
cc: fix use of compress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoola
e
ge
sample
.
c
: fix remove_
r
a
y
commit
|
commitdiff
|
tree
2006-08-13
Sven
Ver
d
oolaege
bar
v
inok_co
u
nt: clean up memory after simplifying c
o
nstraints
commit
|
commitdiff
|
tree
2006-08-13
S
ven Verdoolaege
R
E
ADME: u
p
d
a
te
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
only perform
lexmin
tes
t
s whe
n
l
exmin ha
s
been compil
e
d
commit
|
commitdiff
|
tree
2006-08-12
S
v
en Verdool
a
ege
s
ome more tests with unbounded poly
h
e
d
ra
commit
|
commitdiff
|
tree
2006-08-12
S
ven Verdoolaege
a
d
d
some small te
s
ts f
o
r lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sve
n
Verdoolaege
lexmin: barf when polyhedron contains line
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdoola
e
ge
l
e
xmin: don't prin
t
solution when verifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven Verdoolaege
v
e
rify_main
.
c
c: clean up
m
emory
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
barvino
k
_seri
e
s: handle fixed polytope
s
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
g
e
n
_
f
un:
a
d
d
constr
u
ctor fo
r
generat
i
ng
f
uncti
o
n
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
V
erdoolaege
b
arvinok
.
cc: remove_more_equalities: han
d
le equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdo
o
l
a
e
ge
gen_
f
un:
:
coefficient
:
reset the
n
umbe
r
of row
s
in th
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
V
e
rd
o
olaege
l
e
xmin
.
cc: use r
e
move_e
q
ual
i
ti
e
s consiste
n
tly
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Ver
d
oolaege
u
t
il
.
c:
c
o
m
press_variabl
e
s: extr
a
cted from lexmi
n
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
oolaege
lexmin: don
'
t check an
y
th
i
n
g if given range lies
o
utsi
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
l
e
x
m
in
.
cc: remove_equal
i
ties; take preimage w
i
th retu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lexmi
n
.
cc: remove_equali
t
ies: extend returned mat
r
i
x
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
lexm
i
n
.
cc: in_dom
a
in: fix
t
ypo
commit
|
commitdiff
|
tree
2006-08-09
S
v
en
V
erdoolaege
lexmin
.
c
c: remov
e
som
e
debugging resid
u
es
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
r
e
duce_domain: c
o
mpute convex union o
f
domain
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoo
l
aege
lexmin
.
c
c:
i
n_domain
:
also che
c
k other parts of union
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaeg
e
l
exmin: in_
d
o
m
ain
:
set values if constraints don
'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven V
e
r
d
o
olaege
le
x
m
in: plug
s
o
me me
m
ory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Ve
r
d
o
olae
g
e
lexmin: an exper
i
mental to
o
l
f
or c
o
m
p
uting the
parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaeg
e
add fdstream
commit
|
commitdiff
|
tree
2006-08-08
Sven V
e
rdoolaege
evalue
.
c: f
l
oor2frac_r: plu
g
memory
l
eak
commit
|
commitdiff
|
tree
2006-08-08
Sv
e
n
V
e
r
d
oolae
g
e
barvinok
.
cc:
u
nfri
n
ge: work incrementall
y
commit
|
commitdiff
|
tree
2006-08-06
S
ven Verdoo
l
aege
ev
a
lue_fra
c
2f
l
oor_in_domain: plug m
e
m
ory
l
eak
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoo
l
a
e
ge
Po
l
yhedron_Sample: allo
w
equali
t
ies i
n
input poly
h
edra
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
r
d
o
olaege
Po
l
yhedron
_
S
a
mple: ma
k
e sure
v
ertic
e
s
a
re available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
Polyhedron_Sample: simplify co
n
s
t
r
aints a
f
ter cho
o
s
in
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
e
rdoolaege
P
o
l
yhe
d
ron_Sampl
e
: han
d
le empty and
0
D p
o
l
y
hedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
s
a
mple
.
c: al
t
erna
t
ive implementation o
f
remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
sa
m
p
l
e
.
c: P
o
lyhedron_R
e
m
oveFixed
C
olu
m
ns:
ha
n
d
l
e
presen
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
b
a
rvinok
_
count_f: check wheth
e
r polyhedron
is un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
barvinok_
c
o
u
n
t: simplify
c
o
nstraints afte
r
removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
red
u
c
e
d_basis:
su
p
port 1
D
polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
r
educed_basis: ensure all
L
P
sol
u
tio
n
s
are
non-negativ
e
commit
|
commitdiff
|
tree
2006-08-02
Sven V
e
rdoo
l
aege
occ: print par
a
metric vertice
s
of s
e
t us
i
ng P
o
lyLib
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n
V
erdoolaeg
e
oc
c
:
a
dd int
e
rface to b
a
r
v
inok_
l
exsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Ver
d
o
o
la
e
ge
u
til
.
c: pro
v
i
d
e du
m
m
y barvin
o
k_
l
exsmaller_ev when LexSma
l
ler
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoolaege
4coins: computes
g
ene
r
ating
functi
o
n for 4 co
i
n Fr
o
benius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun
:
:Hadamard_product: apply
parameter compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoo
l
aege
gen_fun::
s
ubstitute
:
only pass in transformation m
a
trix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
oo
l
aege
scarf
.
c
c: supp
o
rt m
o
re
cases of 3 (i
n
depen
d
ent) constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
s
carf
.
cc:
s
up
p
ort more cases of 4 constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Ver
d
oolaeg
e
genfun
.
cc: add g
e
n_
f
un
:
:divide
method
commit
|
commitdiff
|
tree
2006-07-27
S
v
en
Verdoolaege
genfun
.
cc: another gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdoolaege
infinite_icounter:
an in
c
remental counter f
o
r
p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olaege
ico
u
nter:
m
o
v
e
f
rom barvinok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfenu
m
erator::
s
e
t
_factor:
plug small me
m
ory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
ba
r
vin
o
k_enumerate_union_
s
eries: use g
e
n_f
u
n::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
genfun
.
cc: add ge
n
_fu
n
::sum
m
ate method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen
_
fun::Hadamard_p
r
o
du
c
t: optimize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoo
l
ae
g
e
gen_fun::
H
adamard_produc
t
: make firs
t
argument const
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
p
o
lar_decomposer::decompose: make sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np
_
base: ad
d
do_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
gen_fun::prin
t
: allow printin
g
to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verd
o
olaege
bfcounter
.
cc: move so
m
e more code from bar
v
i
nok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
doola
e
ge
gen_fun
.
h: short_rat: use Q
Q
i
n
stead of
p
a
ir of ZZ
s
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
ol
a
ege
NTL_QQ
.
cc: a ra
t
io
n
al NTL t
y
pe
commit
|
commitdiff
|
tree
next