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
gen_fun::print: allow printing to streams other than cout
2006-07-26
Sven Ve
r
d
oolae
g
e
ge
n
_f
u
n::print: allow pr
i
nt
i
ng to streams oth
e
r t
h
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olaege
bfcounter
.
c
c
:
move
som
e
more code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laeg
e
g
en_fun
.
h
:
short_rat: us
e
QQ
inste
a
d
of
p
air of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
NTL_QQ
.
c
c: a rat
i
onal NT
L
t
y
pe
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olaege
verify_main
.
c
c: small memory c
l
e
an-up
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Ve
r
d
oolaege
barvin
o
k_serie
s
: move choice of wh
i
ch gf_base s
u
bc
l
ass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
barvinok
.
cc: move some functionality into s
e
parate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
barvin
o
k
.
cc: move
P
olyhedron argument to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verd
o
o
l
a
ege
bar
v
inok
.
cc
:
move start and handle
_
polar in
t
o
n
p_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
Verdoolaege
gen
_
fun: add
s
h
ift
meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
a
e
ge
g
e
n_
f
un:
a
dd c
o
py cons
t
ruc
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoola
e
ge
zz2
v
alues: ma
k
e
first argument const
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
V
e
r
d
oolae
g
e
zz2valu
e
: make first argument const
commit
|
commitdiff
|
tree
2006-07-20
S
ven Verdoola
e
ge
Polyhedro
n
_
i
s_infinite:
u
se Po
l
yhedron_Sample if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolae
g
e
polyhedron_sample: comput
e
s an integer
v
e
ctor
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven V
e
rdoolaege
config
u
r
e
.
i
n
:
check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
ca
r
f
.
cc: simple
x
::shrunk_polyhedron: only
p
r
o
ces
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun::add: perform
t
rivia
l
reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaeg
e
genfun
.
cc: reord
e
r terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
S
v
en
Verdoola
e
ge
scarf
.
cc: nor
m
alize_matrix:
simplify n==
3
case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
aege
scarf
.
cc:
s
uppo
r
t
s
ome
cases of 4 con
s
traints
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Ve
r
d
oolaege
ba
r
vinok_enumerate_e: --print-
a
ll for printing
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolaege
s
c
arf
.
cc
:
n
ormalize_matrix
:
simpli
f
y n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolae
g
e
scarf
.
cc: project o
u
t 2 variables u
s
ing
S
carf compl
e
x
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n Verdoolaege
u
t
il
.
c: export Extended_
E
ucli
d
commit
|
commitdiff
|
tree
2006-07-05
Sven
V
e
rdoolaege
con
f
ig
u
r
e
.
i
n
: make
-
-enable-f
r
actional the d
e
fault
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoola
e
ge
barvinok_c
o
u
n
t: check w
h
e
t
her unbounded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ve
r
d
o
olaege
p
olymake/con
f
i
g
ure
.
in: a
l
lo
w
sp
e
cification of lo
c
atio
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdo
o
laege
re
d
uce_
d
o
main: de
c
lare
v
ariable at star
t
o
f
cod
e
blo
c
k
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaeg
e
re
m
o
v
e
_equalities: stop removinf
e
qualities if in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
e
r
d
oolaege
barvinok_count: stop cou
n
ting i
f
first factor is empty
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Ver
d
oolaege
barvinok_
c
ount_f: check for
emptine
s
s
of P (
a
gain)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoo
l
aege
barvinok_count
:
tell PolyLi
b
we are on
l
y interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
R
EADME: docu
m
en
t
optional
installatio
n
o
f
Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: docum
e
nt Ome
g
a inte
r
face
commit
|
commitdiff
|
tree
2006-06-22
Sven Verd
o
ol
a
ege
doc: (m
i
nim
a
l
l
y) document polymake clients
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdo
o
laege
doc: furth
e
r docume
n
t barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdool
a
eg
e
document barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolaeg
e
d
o
c: do
c
u
m
ent barvinok_e
h
rhart
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
V
erdoolaege
doc: d
o
cument
s
ome opt
i
ons
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
do
c
: add reference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: describe vertices based i
n
put sp
e
cification
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolaeg
e
doc: t
y
po
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
doc: add subsections
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
use "g
i
t describe" to descri
b
e version
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaeg
e
a
dd doc to dist
r
ibution
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: warn
t
ha
t
t
he outpu
t
may l
o
ok di
f
fere
n
t
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
b
arvinok_
c
o
unt
n
o l
o
nger perform
s
manual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Verdoolaeg
e
d
oc: replace
"Appendix
"
b
y
"Section
"
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
doc: reflect rename of cdd2poly
l
i
b
.
pl to latte
2
pol
y
lib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven
Ver
d
oolaege
doc: resolve undefi
n
e
d references t
h
rough my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
do
c
:
a
d
d
tit
l
e page
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
o
c: us
e
r guide
commit
|
commitdiff
|
tree
2006-06-21
Sven
Ve
r
doolaege
r
e
name cdd2polyl
i
b
.
p
l
t
o
latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven
Verdoolaege
p
olymake/h_star_vector
.
cc:
client to compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
ven Verdoolaege
polym
a
ke
/
convert
.
cc: extr
a
ct polymake
_
con
s
tr
a
ints2pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
v
en
V
er
d
oolaege
util
.
c: export Cone_o
v
er_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoo
l
aege
barvinok_ehrhart: compu
t
e
e
hrhar
t
(
q
uas
i
-)p
o
ly
n
omia
l
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Verd
o
ol
a
ege
barvinok_c
o
u
n
t: allo
w
polytope to be
sp
e
ci
f
ied by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
S
v
en Verdoolae
g
e
genfu
n
.
cc
:
fix add
_
union metho
d
commit
|
commitdiff
|
tree
2006-06-13
Sven
Verdoolaege
bar
v
inok_uni
o
n
:
o
ptio
n
all
y
pri
n
t generating fun
c
tion
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
b
arvin
o
k_count: handle infinite pol
y
hedra
w
ith no
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoolaege
barvino
k
_count
:
stop counting
i
f
o
ne of the
fac
t
ors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
evalu
e
_
f
rac2f
l
o
o
r
_
in_dom
a
i
n: all
o
w argu
m
en
t
o
f
resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
util
.
c
: sp
e
cifically indicate empty se
t
s in Polyhedron
_
pprint
commit
|
commitdiff
|
tree
2006-06-02
S
v
e
n Verdoolaege
util
.
c:
move alig
n
_m
a
trix from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolaege
mat_ut
i
l
.
cc: some useful
f
u
nctions
extracted
f
r
o
m genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoolaege
evalue
.
c: exp
o
rt
redu
c
e_evalue_in_domain
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdo
o
laege
evalue
.
c:
re
n
ame r
e
du
c
e_
i
n_doma
i
n
t
o evalu
e
_range_
r
eduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
ba
r
vinok
.
cc: re
m
ove ancient
debugging code
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n
Verdoolaeg
e
evalue
.
c: expor
t
evalue_f
r
ac2floor_in_doma
i
n
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
ge
n
_fun::sub
s
tit
u
te:
add mor
e
de
t
ai
l
ed e
x
planation
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolae
g
e
reduce_domain: handle NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven Ver
d
o
o
lae
g
e
barvinok
.
cc: move red
u
ce_doma
i
n into separate fi
l
e
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
erdoolaege
util
.
c: add Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
l
attice
_
po
i
nt
.
cc
:
lattice points
computation
e
xtra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sv
e
n Verdoo
l
aege
conversio
n
.
cc: add values2zz and rays2 from barvi
n
o
k
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sve
n
Ve
r
doola
e
ge
ev
a
lue
.
c: a
d
d evalue_zero
commit
|
commitdiff
|
tree
2006-05-18
S
v
e
n
Verdoolae
g
e
d
ec
o
m
poser: ext
r
a
ct
out vertex_
d
ec
o
mpos
e
r
f
rom barvino
k
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Ve
r
doo
l
aege
barvinok
.
cc
:
extract out some func
t
i
o
na
l
ity into dec
o
mpo
s
er
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
S
v
e
n Verdoolaege
ut
i
l
.
c:
d
ocumen
t
Euclid f
u
ncti
o
n
commit
|
commitdiff
|
tree
2006-05-10
S
ven
V
erdoolaege
occ: plug s
o
me more (potentia
l
)
mem
o
r
y
le
a
ks
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdo
o
laege
o
cc: don't
use freed variable in er
r
or m
e
ss
a
ge
commit
|
commitdiff
|
tree
2006-04-10
Sven
V
erdoolaege
b
a
rvinok
.
cc:
a
dd s
o
me documentat
i
on to lattice poin
t
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven V
e
r
d
oola
e
g
e
barvinok_
e
nume
r
ate
_
uni
o
n: call
g
e
n
_fu
n
::add_union
commit
|
commitdiff
|
tree
2006-04-05
S
ve
n
Verdoolaege
g
en
_
fu
n
: a
d
d add
_
u
n
ion
m
ethod
commit
|
commitdiff
|
tree
2006-04-03
Sven Verd
o
o
laege
b
a
rvi
n
ok
.
cc: docu
m
ent Spl
i
tOnVar and remove some
r
edundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sv
e
n
Verdo
o
laege
r
e
m
o
ve
inappropriate
u
s
es of Po
l
yhedron2Pa
r
am_SimplifiedDomain
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaeg
e
version 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven
V
e
rdoolaege
cre
a
te cor
r
e
ct GIT_HEAD_ID in d
i
s
t
ribution
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
b
ar
v
inok_un
i
o
n
:
d
ocument input f
o
r
m
a
t
commit
|
commitdiff
|
tree
2006-02-21
Sv
e
n
Ver
d
oola
e
ge
Merge br
a
nch 'n
e
w_piplib'
commit
|
commitdiff
|
tree
2006-02-16
S
v
en Verdoolaege
only run test
s
that
r
equi
r
e piplib when
piplib
is ava
i
lable
commit
|
commitdiff
|
tree
2006-02-16
Sven
Verdoolaege
bar
v
inok_enumerate
_
e:
only link in ome
g
a libr
a
rie
s
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
S
ven Verd
o
olaeg
e
check for
p
ipl
i
b 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
some ex
a
mples
from Rachid to test barvinok_
e
numerate_e
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
add b
a
r
v
inok_u
n
ion
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoo
l
aege
add barvinok_enumerate_
u
nion functio
n
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
V
e
rdool
a
ege
gen_fu
n
: add H
a
damard_p
r
od
u
ct method
commit
|
commitdiff
|
tree
next