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
genfun.cc: add gen_fun::summate method
2006-07-26
Sven Verdo
o
laege
genfun
.
c
c
:
a
dd
gen_fun:
:
summate met
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolae
g
e
gen_fun::H
a
damard_product: o
p
tim
i
ze computat
i
on
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun:
:
Hada
m
ard_produ
c
t: mak
e
f
i
rst argument const
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
laege
p
olar_d
e
co
m
p
oser:
:
decompose:
m
ak
e
sure
v
ertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoo
l
aeg
e
np_base:
add do
_
vert
e
x_c
o
ne method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
erdoolae
g
e
gen_fun::
p
rin
t
: allow pri
n
ting to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfcount
e
r
.
cc: move some m
o
re code from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
gen_fun
.
h: sh
o
rt_ra
t
: use Q
Q
instead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NTL_QQ
.
cc: a
rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
ve
r
ify_main
.
cc: smal
l
m
emory cle
a
n-up
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
barvinok_series: move
choice
o
f
w
hich
gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdool
a
eg
e
barvi
n
ok
.
cc: move some functional
i
ty into
s
eparat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdool
a
ege
barvinok
.
cc:
move Polyhedr
o
n argument to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
barvinok
.
cc: move start
and h
a
ndle_polar i
n
to np_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ve
r
do
o
la
e
ge
gen_fun:
a
dd sh
i
ft method
commit
|
commitdiff
|
tree
2006-07-26
S
ven V
e
rdoolaege
gen_
f
un: add
copy constructor
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
zz
2
va
l
ues: make first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoo
l
aege
z
z
2va
l
ue:
make fi
r
st argument const
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n Ve
r
d
ool
a
e
g
e
Poly
h
edron_is_inf
i
nite:
u
s
e Po
l
yhe
d
ron_Sa
m
ple
if
a
vailable
.
commit
|
commitdiff
|
tree
2006-07-20
S
v
en Ver
d
oolaege
po
l
yhedro
n
_sample:
c
omputes an i
n
teger vector
in
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sv
e
n V
e
rdoolae
g
e
co
n
f
igure
.
i
n
:
check fo
r
glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaeg
e
scar
f
.
c
c
:
simplex::sh
r
unk_poly
h
edron:
only pr
o
cess
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun::add:
p
erf
o
rm
t
r
ivial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaeg
e
ge
n
fun
.
cc
:
reorder terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: normalize_matrix
:
si
m
p
lify n==3 case s
o
me
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc
:
support some cases of
4 co
n
straints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvino
k
_enumerate_e: --p
r
int-all f
o
r printing
all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
o
l
aege
scarf
.
cc: normalize_matrix: simplify
n=
=
3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven
V
e
r
doolaege
scarf
.
c
c: pro
j
e
c
t
out 2 vari
a
bles using Scarf
c
omplex
commit
|
commitdiff
|
tree
2006-07-08
Sven V
e
rdoola
e
ge
util
.
c: exp
o
rt Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verd
o
olaege
configure
.
in: make --ena
b
le-fra
c
tiona
l
the def
a
ult
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
erdoolaege
barvinok_cou
n
t
: check whether u
n
b
o
u
n
ded
poly
h
ed
r
a actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
erdoolaege
polymake/configure
.
in: allow specification of lo
c
ation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
e
r
d
o
olaege
reduce_domain: dec
l
are vari
a
ble at start of co
d
e bl
o
ck
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdoolaege
r
e
m
o
v
e
_
equalities: stop removinf equaliti
e
s
if
input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvinok_count:
s
top counting i
f
first factor is em
p
t
y
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdoolaege
bar
v
inok_count
_
f: check for
e
m
p
tiness
of P (
a
gain
)
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
e
rdoolaeg
e
b
arvin
o
k_count: t
e
ll Pol
y
Lib w
e
a
r
e only intereste
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verd
o
olaeg
e
version
0
.
2
1
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
README:
d
ocument
o
p
t
i
o
n
al installation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
e
rdoolaege
doc
:
document Omega
interf
a
ce
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
Ver
d
ool
a
ege
doc: (minima
l
ly) document polymake c
l
ients
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdo
o
laeg
e
doc: further documen
t
barvinok_
e
hrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
document
b
arvinok_un
i
o
n
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdo
o
lae
g
e
doc
:
document barvinok_ehr
h
a
r
t
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Ve
r
doolaege
doc: do
c
ument som
e
options
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
e
rdoolaege
doc: add reference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
d
o
c: d
e
s
c
ribe vert
i
ces based input specific
a
tion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: ty
p
o
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
d
o
c: add subsections
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
use "
g
it describe" to de
s
cri
b
e
v
ersi
o
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
add
d
o
c to distributi
o
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
ege
doc: warn that the ou
t
put may
l
ook
d
ifferent
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaeg
e
do
c
: bar
v
in
o
k
_
cou
n
t no longer perf
o
r
m
s m
a
n
u
al counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: replace "Appendi
x
" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Verdool
a
ege
doc:
r
ef
l
ect rename of c
d
d2polyli
b
.
pl to latte2polyli
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc: resolve unde
f
ined references through my th
e
si
s
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoola
e
ge
do
c
: add title pa
g
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
ege
doc: user guid
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
ren
a
me cdd
2
polyl
i
b
.
pl to latt
e
2po
l
yli
b
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven
V
erdoola
e
ge
p
olymake/h_star_vector
.
cc:
c
lient t
o
co
m
pute the
h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sve
n
V
e
rdool
a
e
g
e
polymak
e
/convert
.
cc: extrac
t
p
olym
a
k
e_
c
onstraint
s
2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
v
en Verdoo
l
aege
util
.
c: export
C
one_over_Polyhed
r
on
commit
|
commitdiff
|
tree
2006-06-18
Sven Ve
r
dool
a
ege
b
a
r
v
inok_eh
r
hart: compute ehrhart (
q
ua
s
i-
)
p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sv
e
n Verdoolaege
ba
r
vinok_
c
oun
t
: allow polytope to be specified by
i
ts
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
barvinok_count: handle infinite polyhe
d
ra with n
o
integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
b
a
rvinok_coun
t
: stop counting if
o
n
e of the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n
V
e
rdoolae
g
e
evalue_f
r
ac2floor_in_domain: al
l
ow argument
o
f resul
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
doolaege
util
.
c: specific
a
lly indi
c
ate
e
mpty
sets in Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
u
til
.
c
: move al
i
gn_ma
t
rix from ba
r
v
i
nok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoolaege
m
at
_
u
t
i
l
.
cc
:
s
o
m
e useful funct
i
ons extracted f
r
om gen
f
un
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Ver
d
oo
l
aege
evalue
.
c
:
e
xport redu
c
e_evalue_in
_
domain
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
evalue
.
c: rena
m
e reduce_i
n
_do
m
ai
n
t
o
evalue_rang
e
_re
d
uction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdo
o
l
a
ege
barvinok
.
cc: remove anc
i
ent debugg
i
ng code
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
evalue
.
c: export evalue_frac2floor_i
n
_domai
n
commit
|
commitdiff
|
tree
2006-05-24
S
ven Verdoolaege
gen_fun::substitute: ad
d
m
o
re detailed explanation
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
reduce
_
domain: handle NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
barvinok
.
cc: move red
u
c
e_dom
a
in into separate
file
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoo
l
aege
u
til
.
c: add Po
l
yhedron_p
p
rint
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
l
a
ttice_point
.
c
c
:
l
a
ttice p
o
int
s
computation extracted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
c
o
nversion
.
c
c
:
ad
d
value
s
2
z
z
and rays2 fr
o
m barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoo
l
aege
ev
a
lu
e
.
c: add eval
u
e_zero
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
de
c
omposer: extr
a
ct out
v
ertex_d
e
composer from barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
barv
i
n
o
k
.
cc: extr
a
ct ou
t
some
functionality into decomposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Verd
o
o
l
aege
u
til
.
c: docum
e
n
t
Eucl
i
d f
u
ncti
o
n
commit
|
commitdiff
|
tree
2006-05-10
Sven
V
erd
o
olaege
oc
c
:
plug some m
o
re (potential)
m
em
o
ry leak
s
commit
|
commitdiff
|
tree
2006-05-10
S
ve
n
Verdoolaeg
e
occ: don't u
s
e freed variable in
e
r
r
o
r message
commit
|
commitdiff
|
tree
2006-04-10
Sven V
e
rdoolaege
b
ar
v
inok
.
cc: add so
m
e
docume
n
tatio
n
to lattice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoo
l
aege
barvinok_en
u
merate_union: c
a
ll gen_fun::add
_
union
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
gen
_
f
u
n
: a
d
d add_union
m
ethod
commit
|
commitdiff
|
tree
2006-04-03
Sven
V
erdo
o
lae
g
e
ba
r
v
i
nok
.
cc: document SplitOnVar and re
m
ove
s
ome r
e
du
n
dant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven
V
erdoolaeg
e
remove inappro
p
riate us
e
s
o
f Po
l
yhe
d
ron2
P
aram_
S
implified
D
oma
i
n
commit
|
commitdiff
|
tree
2006-02-22
Sven Ver
d
oolaeg
e
version 0
.
2
0
commit
|
commitdiff
|
tree
2006-02-22
Sven Verd
o
olaege
c
rea
t
e correct GIT_HEAD_ID in
distribution
commit
|
commitdiff
|
tree
2006-02-22
Sven
Verdoolae
g
e
barvinok_un
i
o
n
: document inp
u
t format
commit
|
commitdiff
|
tree
2006-02-21
Sven
Verdoola
e
ge
Me
r
ge bra
n
ch
'
new_
p
iplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Ver
d
oola
e
ge
only run t
e
sts that require
pi
p
lib wh
e
n
p
ipli
b
is availab
l
e
commit
|
commitdiff
|
tree
2006-02-16
Sven Ver
d
oolaege
barvinok_enumerate_e: on
l
y link i
n
omega librari
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoo
l
a
ege
check for pipli
b
1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
S
v
en
V
e
rdoolaege
some exampl
e
s from Rachid to
t
est barvinok_enum
e
rate_
e
commit
|
commitdiff
|
tree
next