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
Sven V
e
rdoolaeg
e
lexmin
.
cc: define max_term ove
r
an EDomain
rather
t
h
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
Ve
r
doolaege
reducer
.
h
:
a
dd virtu
a
l destructor
t
o np_
b
as
e
to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erd
o
o
l
aege
lexm
i
n
.
cc:
extract ou
t
some
c
ode to ev
a
lue_u
t
il and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Verdoolaege
options
.
c: pick up definitio
n
of POL_
I
NTEG
E
R from bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
optionc
.
c: mo
v
e ch
o
ic
e
of
wh
i
ch
specializati
o
n to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Ver
d
oolaeg
e
omega/pars
e
r
.
l: let flex def
i
ne yylin
e
no
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc:
option
a
lly skip
c
heck fo
r
empty do
m
ains
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oolaege
eval
u
e
.
c: reduce_evalue_in_domain: re
d
uc
e
to
z
ero e
v
a
lue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sv
e
n
Ver
d
oolaege
lexmin
.
c
c:
use barv
i
nok_options
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n
Ver
d
oolaege
introduce barvinok_op
t
ions structure
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
lexmin
.
cc:
c
ompute generating funct
i
ons of vertex cones
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
ven V
e
rdoolaege
lexmin
.
cc: move some
c
o
de aro
u
nd to pre
p
are for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sve
n
Verdoolae
g
e
e
value: declare argument of ea
d
d an
d
evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
Sven
V
erdool
a
eg
e
lexmin
.
cc: p
e
rform substitution i
m
m
ediately on each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
Sven Ve
r
doolaege
READ
M
E: add a
w
arn
i
n
g
on (no
t
)
using shared libraries
commit
|
commitdiff
|
tree
2006-08-31
Sven Verdo
o
laege
evalue
.
h:
c
ha
n
ge
name of header d
e
fine
commit
|
commitdiff
|
tree
2006-08-31
Sven Verd
o
olaege
eva
l
ue
.
h
:
ma
k
e more self-contained
commit
|
commitdiff
|
tree
2006-08-26
Sven
Verdoolaege
bfcount
e
r
.
h
: undefine divide
f
rom polylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
configure
.
in
:
no longer
compile shared libraries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
README: reflect that --enabl
e
-
f
ra
c
tion
a
l is now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
lex
m
in: remove duplicat
e
unfringe
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoolaege
gen_
f
un
:
:Hadamard_produc
t
: use
u
noptimized ve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verd
o
o
l
aege
barvinok_series: perform backsubstitution also if all
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven Verdoo
l
aege
barvinok
_
e
numerate_uni
o
n_series: ca
l
l
core
of b
a
rvinok_series
commit
|
commitdiff
|
tree
2006-08-21
Sven Ve
r
d
o
olaege
util
.
c:
r
e
move_equali
t
ies_
p
:
c
orrect chec
k
f
o
r end
.
.
.
commit
|
commitdiff
|
tree
2006-08-21
Sven
Verdoolaege
g
e
n
_fun:
set context in no variables constructor
commit
|
commitdiff
|
tree
2006-08-21
S
v
en Verdoolae
g
e
gen_fun::
H
a
damard_p
r
oduct: d
o
n
'
t
a
ssume equalities
.
.
.
commit
|
commitdiff
|
tree
2006-08-20
Sv
e
n Verdoolaege
b
a
rvinok_
u
nion: take context int
o
account
commit
|
commitdiff
|
tree
2006-08-16
S
v
e
n Verdoo
l
a
ege
polytope_s
c
a
n:
o
ptio
n
ally sk
i
p basis
reduction
commit
|
commitdiff
|
tree
2006-08-16
S
v
e
n Verdoolaege
po
l
ytope_scan: scan in reduced basis
commit
|
commitdiff
|
tree
2006-08-16
Sven Ve
r
doolaeg
e
polytope_scan: scans the inte
g
e
r
p
o
i
n
t
s in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sv
e
n
Ve
r
doolaege
install NTL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laeg
e
bas
i
s_reduction
.
c
:
c
le
a
n
u
p
GLPK memory
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
lexmin
.
c
c
:
don't
bother transforming
i
f
c
ompres
s
_parms
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sve
n
Verdoolaeg
e
le
x
min
.
cc:
f
ix use of
c
ompress_parms
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdool
a
ege
sample
.
c: fix
re
m
ove_ray
commit
|
commitdiff
|
tree
2006-08-13
Sven
V
erdoolaeg
e
barvin
o
k_co
u
n
t
: clean up memory after simp
l
ifying constra
i
n
t
s
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Ve
r
doolae
g
e
README:
u
pdate
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoo
l
aege
only perform lexmin t
e
sts when lexmin has been compile
d
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdool
a
ege
s
o
me m
o
re tests
with un
b
o
un
d
ed polyhe
d
ra
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
add some small tests for lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
lexm
i
n: barf wh
e
n polyhedron
c
ontains line
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoola
e
ge
lexmin:
d
o
n't print solution when verifying
commit
|
commitdiff
|
tree
2006-08-11
Sven Ve
r
doo
l
ae
g
e
verify_
m
ain
.
cc: clea
n
u
p
m
emory
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Verd
o
o
laege
ba
r
v
i
nok_s
e
ries
:
handle fixed polyto
p
es
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoolaege
gen_fun: a
d
d construct
o
r for
g
en
e
rating fun
c
tion wit
h
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sve
n
Ver
d
oo
l
a
ege
b
arvinok
.
c
c
: remove_more_equalities: han
d
le equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
en Verdoolae
g
e
g
e
n
_fun::coe
f
ficient: reset the n
u
mber of
r
ow
s
i
n
the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
lexmin
.
c
c: use rem
o
v
e
_
equalities consistentl
y
commit
|
commitdiff
|
tree
2006-08-10
S
v
en V
e
rdoola
e
ge
u
til
.
c:
comp
r
e
s
s_vari
a
bles: ext
r
acted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
S
v
e
n
Verd
o
ol
a
e
g
e
l
exmin
:
don't check
a
n
y
thing if giv
e
n range l
i
es ou
t
side
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdool
a
e
g
e
l
exmin
.
cc: remove_equalities; ta
k
e
preima
g
e with ret
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
le
x
min
.
cc: remove_equalit
i
e
s
: ex
t
end returned matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
e
xmin
.
cc: in_domain: f
i
x typo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaeg
e
lexmi
n
.
c
c
:
r
emove some
debuggin
g
res
i
dues
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdoolaege
reduce_d
o
main: compute
c
onvex union of
domain
commit
|
commitdiff
|
tree
2006-08-09
S
v
en Verdoolaege
lex
m
in
.
c
c: in_do
m
a
i
n
:
also check ot
h
e
r
p
ar
t
s of union
commit
|
commitdiff
|
tree
2006-08-09
Sven
V
erdo
o
laege
lexmi
n
:
in_domain: set values if con
s
traints do
n
'
t
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin: plug some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoola
e
ge
lexmin: an e
x
perime
n
ta
l
tool for c
o
mputing
the parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaeg
e
add fdstrea
m
commit
|
commitdiff
|
tree
2006-08-08
Sve
n
Verdo
o
laege
evalue
.
c: floor2frac_
r
: p
l
ug m
e
mory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
olaege
barvinok
.
cc: unfringe: work incr
e
menta
l
ly
commit
|
commitdiff
|
tree
2006-08-06
Sv
e
n
V
erdo
o
laeg
e
evalue_
f
rac2floo
r
_in
_
domain:
p
l
ug m
e
mory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoola
e
ge
P
o
l
y
h
e
d
ron_Sa
m
ple
:
allow equalities in input polyhed
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoolaege
Poly
h
edron_Sample: make sure ve
r
t
i
ces are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
Polyhedron_Sample: simplify constraints after
choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Ver
d
ool
a
e
g
e
P
o
lyhedron_Sample: handle empty and
0
D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
sample
.
c: altern
a
tive i
m
p
l
ementation of remove_r
a
y
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoo
l
aege
sample
.
c: Pol
y
hedro
n
_RemoveFixedColu
m
n
s: h
a
ndle presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
o
o
laege
barv
i
n
o
k_co
u
nt_f:
c
heck whether polyhedron is un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
V
e
rdoolaege
barvinok_co
u
nt
:
simpl
i
fy con
s
tr
a
i
n
ts
a
fter rem
o
v
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolae
g
e
reduced_
b
asis: suppo
r
t 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
reduced_basis:
ensure
all LP so
l
ution
s
are non-
n
egativ
e
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoo
l
aege
occ: print
p
arametric ve
r
tices of s
e
t
using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdo
o
laege
occ: add interface
t
o barvino
k
_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolae
g
e
util
.
c: provide dummy barvinok_lex
s
m
aller_e
v
when LexSmall
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdool
a
ege
4coins:
computes g
e
nerating function f
o
r
4
c
o
in Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
gen_fu
n
::H
a
damard_pro
d
uc
t
:
ap
p
ly parameter
c
ompr
e
s
s
ion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Verdoo
l
a
e
g
e
gen_fun::su
b
s
t
itu
t
e: only pass in tra
n
s
formatio
n
ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
s
carf
.
c
c: supp
o
rt more
cases
of 3 (independe
n
t)
constrain
t
s
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoo
l
a
e
ge
s
c
a
r
f
.
cc:
s
u
ppor
t
m
ore cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
S
ven Ve
r
dool
a
ege
g
enf
u
n
.
cc: ad
d
gen_
f
un::d
i
vide m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
e
rdo
o
laege
genfun
.
cc: ano
t
her gen_fun::summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
infi
n
ite_
i
c
o
unter: an
i
n
crem
e
n
tal co
u
nter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Ve
r
doolaege
icounter: mov
e
f
rom barvino
k
.
cc to re
d
ucer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
erdoolaege
bfenumerator::set_factor: plug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verd
o
o
l
a
ege
barvinok_enumera
t
e
_
union_series: use gen_fun::sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
nfun
.
cc: ad
d
gen_fun::
s
ummate method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun::Had
a
mard_product: optimize computation o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun::Hadama
r
d_product
:
make first
argumen
t
const
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoola
e
ge
polar_dec
o
mposer::decompos
e
: make
sure vertices ha
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
np_base: add
d
o_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
gen_fu
n
::print: allow printing to str
e
ams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
bfcounter
.
c
c
: move some more co
d
e from barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaeg
e
g
e
n_f
u
n
.
h:
short_rat: use QQ instead of
pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NTL_QQ
.
c
c:
a
r
a
tional NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
a
e
ge
verify_
m
ain
.
cc:
s
mall memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n V
e
rdoolaege
b
ar
v
inok_s
e
ries: move cho
i
ce o
f
which gf_base sub
c
la
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
c
c
:
m
ove
s
o
m
e fun
c
t
ionality into separat
e
.
.
.
commit
|
commitdiff
|
tree
next