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: add copy constructor
2006-07-26
Sven Verdoolaege
gen_fun
:
a
dd copy c
o
nstructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2values
:
mak
e
firs
t
arg
u
men
t
const
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
z
z
2value: ma
k
e first arg
u
men
t
const
commit
|
commitdiff
|
tree
2006-07-20
S
ven Verdoo
l
aege
Polyhedron_is_infinite: use
P
olyhedron_Sample if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
poly
h
edron_sampl
e
: compu
t
es
a
n i
n
teg
e
r vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdoo
l
aege
co
n
fi
g
ure
.
in: chec
k
fo
r
g
lpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaege
scarf
.
cc: simplex::shr
u
nk_pol
y
h
e
dron: onl
y
process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolaeg
e
gen_
f
un::ad
d
: perform trivial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
l
a
ege
genfun
.
cc: reord
e
r terms in n
u
mera
t
or
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
V
erd
o
olaeg
e
scarf
.
cc:
n
ormalize
_
m
a
trix: si
m
pli
f
y n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoo
l
aeg
e
scarf
.
cc: support some cases
o
f 4 constr
a
ints
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolaege
barvinok_en
u
merate
_
e: --print-all for printin
g
all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
r
d
o
o
l
a
ege
scarf
.
cc: norma
l
ize_matrix: simp
l
i
f
y
n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaeg
e
scarf
.
c
c: pr
o
j
ect out 2 variables using Scarf
c
omplex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdo
o
laege
util
.
c: exp
o
r
t
Extended_E
u
c
l
id
commit
|
commitdiff
|
tree
2006-07-05
Sve
n
Verdool
a
ege
configure
.
in:
m
ak
e
--e
n
able-fr
a
ct
i
o
nal the def
a
ult
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Verdoolaege
bar
v
in
o
k_coun
t
: check
w
h
e
t
her unbounded polyhedra actua
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven V
e
r
doola
e
ge
p
o
lyma
k
e
/
c
o
nfigure
.
in: allow specification of locati
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Verdoolaege
reduce_domain: declare
v
a
r
ia
b
le
a
t start of c
o
de
b
lock
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
Verdoolaege
remove_equalities: stop
r
emovin
f
equalities if
i
nput
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n Verdoo
l
a
ege
b
arvinok_coun
t
: stop co
u
n
t
ing if first facto
r
is empty
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n Verd
o
ol
a
ege
ba
r
vinok_count_f:
check f
o
r
e
m
ptin
e
ss of P (a
g
ain)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvi
n
ok_cou
n
t:
t
e
l
l PolyLib we are only intereste
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdool
a
ege
README
:
document optional ins
t
allati
o
n
o
f Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ven V
e
rdoolaege
doc: document Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
do
c
: (minimally) document polymake cli
e
nts
commit
|
commitdiff
|
tree
2006-06-22
Sven Verd
o
ol
a
ege
doc: fur
t
her document b
a
rv
i
nok_ehrh
a
rt
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
d
oc
u
ment
barvinok_u
n
ion
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoo
l
aege
doc: document
b
arvinok_ehrh
a
rt
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdo
o
l
a
e
ge
do
c
: document some options
commit
|
commitdiff
|
tree
2006-06-21
S
ve
n
Verdoola
e
g
e
doc: a
d
d
r
eference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: descr
i
be v
e
rtic
e
s based
i
np
u
t
specification
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add s
u
bs
e
c
t
ions
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
us
e
"git describe
"
to describe versio
n
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n V
e
rd
o
olaege
a
d
d
d
o
c
to
di
s
tribution
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n Verdoolaege
doc: warn that the output may l
o
ok different
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Verdoolaeg
e
d
o
c: barvino
k
_count n
o
longer
pe
r
for
m
s man
u
al counting
.
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoolaeg
e
doc: replace "Appendix" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc
:
r
eflect
r
e
n
a
me of
c
dd
2
p
o
lylib
.
pl to latt
e
2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: resolve undefined r
e
ferences through my thesis
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verd
o
olaege
d
oc: a
d
d titl
e
page
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
doc
:
u
s
er guide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
ge
rename cdd2poly
l
ib
.
pl
t
o latte2polylib
.
p
l
commit
|
commitdiff
|
tree
2006-06-19
Sven
V
erdoo
l
aege
p
oly
m
ake/h_star
_
ve
c
tor
.
c
c: client to
compute the
h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven V
e
rdoolaege
p
olymake/convert
.
cc: extract polymake_constraints2pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdool
a
ege
uti
l
.
c
:
e
xp
o
rt C
o
ne_ov
e
r_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
barvinok
_
ehrh
a
rt: compu
t
e e
h
r
h
art (quas
i
-)polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Verdoolaeg
e
b
a
r
vinok_count: allow pol
y
to
p
e to be specified by it
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
S
v
en V
e
rdoolaege
genfu
n
.
c
c
: fix add_union method
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaege
b
a
r
vinok_u
n
i
o
n
:
optionally
print genera
t
ing
function
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Ver
d
ool
a
ege
barvinok_
c
ount: hand
l
e
infinite p
o
lyhedr
a
with no
i
nteg
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
barvin
o
k_
c
ount: st
o
p counti
n
g if one of
the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalue_frac2fl
o
o
r_in_domain
:
allow argume
n
t
o
f r
e
sulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
d
o
olae
g
e
util
.
c:
s
pecif
i
cally in
d
icate em
p
ty sets in Polyhedron_p
p
r
i
nt
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolae
g
e
util
.
c:
m
o
v
e align_matrix from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
mat_ut
i
l
.
cc:
some us
e
ful fu
n
ctions ext
r
a
c
ted from genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoo
l
a
e
g
e
evalue
.
c
:
e
xport re
d
u
ce_evalue_in_d
o
m
a
in
commit
|
commitdiff
|
tree
2006-06-02
Sven
Verdo
o
lae
g
e
evalue
.
c: r
e
na
m
e red
u
ce_in_d
o
main t
o
e
v
al
u
e_r
a
n
g
e
_
red
u
c
tion_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdoolaege
barvinok
.
cc:
remov
e
ancient debugging code
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
do
o
la
e
ge
eval
u
e
.
c:
e
xport evalue
_
frac2floor_in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
gen
_
fun::su
b
stitute: a
d
d mor
e
detailed explanation
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n
Ver
d
o
o
laege
r
e
duce_d
o
main: handle
NULL C
E
q
commit
|
commitdiff
|
tree
2006-05-24
S
ven
V
e
rdool
a
ege
barvinok
.
cc
:
move reduce_doma
i
n i
n
to separate file
commit
|
commitdiff
|
tree
2006-05-24
S
ven Verdoolaege
uti
l
.
c: a
d
d Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoo
l
ae
g
e
la
t
tice
_
p
o
i
n
t
.
cc
:
l
atti
c
e points computa
t
ion ext
r
a
c
ted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
conversion
.
c
c
: add values2zz and ray
s
2 from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdo
o
laege
e
v
alue
.
c: add evalue_
z
ero
commit
|
commitdiff
|
tree
2006-05-18
Sve
n
Verdoolaege
decomposer:
extra
c
t out ver
t
ex_dec
o
m
p
oser from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
b
arvinok
.
c
c: extrac
t
out som
e
f
unction
a
l
it
y
into decomp
o
s
er
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sv
e
n V
e
rdoolaeg
e
util
.
c: document Euc
l
id fu
n
ctio
n
commit
|
commitdiff
|
tree
2006-05-10
Sven
V
erdoo
l
aeg
e
occ:
p
lug so
m
e more (potential)
m
emory leaks
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdo
o
laege
occ: don't use
f
ree
d
variable
in e
r
ror mess
a
g
e
commit
|
commitdiff
|
tree
2006-04-10
Sve
n
V
e
r
d
o
olaege
barvinok
.
cc
:
add some documentation to
l
atti
c
e
poin
t
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
barvinok_enume
r
ate_union: call gen_
f
un::add_u
n
ion
commit
|
commitdiff
|
tree
2006-04-05
Sven Verd
o
o
laege
gen_fun:
a
dd add_u
n
ion met
h
od
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoolaege
b
a
rvinok
.
cc: docume
n
t
SplitOnVar
a
nd remov
e
some redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven
V
erdoola
e
g
e
rem
o
ve inappropriate uses of Polyhedr
o
n2Par
a
m_S
i
mplifie
d
Domain
commit
|
commitdiff
|
tree
2006-02-22
Sven
V
erdoolaege
versio
n
0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sv
e
n Verdoolaeg
e
create
c
orrect GIT_HEAD_ID
i
n distribution
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolae
g
e
barvin
o
k_un
i
on: docum
e
n
t input format
commit
|
commitdiff
|
tree
2006-02-21
Sven Verdo
o
laege
Merge branch '
n
ew_piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven
Verdoo
l
aege
only run tests
that r
e
quire pip
l
i
b when pi
p
lib is
a
vailable
commit
|
commitdiff
|
tree
2006-02-16
Sven Ve
r
dool
a
eg
e
b
a
rv
i
nok_enumerate_e: only
link in omega
libr
a
rie
s
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven
V
erdo
o
laege
check for pi
p
lib
1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven V
e
r
d
oolaege
some examples fr
o
m Rachid
to test
b
arvinok_enumerate_e
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verd
o
olaege
add
b
arvinok
_
uni
o
n
.
c
commit
|
commitdiff
|
tree
2006-02-15
S
ven V
e
rdo
o
l
a
ege
add barv
i
no
k
_enumerate_uni
o
n function
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaeg
e
gen_fun: add Hada
m
ard_product method
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
gen_fun::
o
pe
r
ator evalue *():
f
ix me
m
ory lea
k
s
.
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
Verdool
a
ege
genf
u
n
.
cc:print_power: remove spaces aro
u
n
d
"*"
i
n
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
barvi
n
ok
_
series: return empty gen_fun
f
or empty polytope
.
commit
|
commitdiff
|
tree
2006-02-14
S
ven Verd
o
olaege
barvinok_series:
r
emove u
n
use
d
variables
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolaege
barvinok
.
cc
:
ex
t
r
act
out some code common to generating
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolaege
barvinok
.
c
c: intr
o
du
c
e np_base, a base
c
lass for non
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
S
v
en Verdoo
l
aege
barvinok
.
c
c
: do virtual polar
_
decomposer
i
nhe
r
itance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sv
e
n Verdoolaege
b
a
rv
i
nok_series
:
re
m
ove
some more
equalities from the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Ver
d
oolaege
ch
e
ck for c
o
mpress_parms
fun
c
tion
commit
|
commitdiff
|
tree
2006-02-10
Sven V
e
rdoolaege
gen_fun
:
a
d
d substitute method
.
commit
|
commitdiff
|
tree
next