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
omega/parser.l: let flex define yylineno
2006-07-13
Sven Verd
o
o
l
aege
scarf
.
c
c
: norm
a
lize_
m
atrix: simplif
y
n
=
=
3
c
a
se some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdoola
e
ge
scarf
.
cc:
s
u
ppo
r
t som
e
cases
of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verd
o
olaege
b
a
r
v
inok_enumerate_e: --print-all
for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
scarf
.
cc: normalize_mat
r
ix
:
s
impl
i
fy n==3
c
ase
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
cc: project out 2 variables using Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoo
l
aege
ut
i
l
.
c: exp
o
rt Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Ver
d
oo
l
ae
g
e
c
o
nfi
g
u
r
e
.
in:
m
ake --enable-fraction
a
l the default
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n
V
er
d
o
olaege
barvinok_count: check
w
h
et
h
er
unbounded polyhedra actu
a
lly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Verdo
o
laege
polymake/
c
onf
i
gure
.
in: allo
w
speci
f
icat
i
on of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdool
a
ege
r
educe
_
domain: declare variable at start of c
o
de bloc
k
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
remove_e
q
u
a
li
t
i
e
s: sto
p
removinf
e
qualities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
o
o
laege
barvinok_count: stop
c
ountin
g
i
f
first f
a
c
t
o
r
is empt
y
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvinok_count
_
f: check
f
or
emptiness of P (a
g
ain)
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Ver
d
oolaege
barvinok
_
count
:
te
l
l P
o
lyLib we are o
n
ly interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verd
o
olae
g
e
v
ersion
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolaege
README: document optional instal
l
ation o
f
Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
d
oc: document
O
mega inter
f
a
ce
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
doc: (m
i
nimally) docu
m
e
n
t polymake cli
e
nts
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: fur
t
her document b
a
rvino
k
_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
document barvinok_uni
o
n
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
o
c
:
do
c
ument bar
v
inok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
ege
d
o
c: docume
n
t some options
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc:
a
dd reference for NTL
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Ve
r
d
oolaege
d
o
c
:
d
e
s
cribe vertices based input specificatio
n
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolae
g
e
doc:
typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add
subsect
i
ons
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n
V
e
rd
o
olaege
use
"git des
c
r
i
be
"
to describe versi
o
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
add doc t
o
distribu
t
i
o
n
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n
Verdool
a
e
g
e
doc
:
warn
t
h
a
t
the ou
t
put may
l
ook
d
i
f
ferent
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
ege
doc: b
a
rvinok_cou
n
t n
o
lo
n
ger performs manu
a
l
countin
g
.
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
doc: replace
"
Appendix" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verd
o
olae
g
e
doc: refl
e
ct rename of cdd2polylib
.
pl to
latte2pol
y
l
ib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc: resolve undefined references throu
g
h my
t
hesi
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add title pa
g
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc:
user guid
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
rename cdd2
p
o
l
y
li
b
.
pl to latte
2
polyl
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sv
e
n Ve
r
do
o
laege
pol
y
make
/
h
_s
t
ar_
v
e
ctor
.
cc:
c
lient
to co
m
p
u
te
t
he h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
polym
a
k
e
/
c
onver
t
.
cc: extract polymake_constrain
t
s2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sve
n
Ver
d
oolaeg
e
util
.
c: export
Cone_over_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sve
n
Verdoolaege
barv
i
n
o
k_ehrhart: com
p
ute
e
h
r
hart (qu
a
si-)p
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
S
v
e
n
V
e
rdoolaege
barvinok_
c
ount: allow polytope to b
e
specified b
y
its
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdool
a
e
ge
barvinok_c
o
un
t
:
h
a
n
d
l
e infinite polyhedra with no in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
o
o
laege
barv
i
nok_count: stop counting if one of the facto
r
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalue_frac2fl
o
or_in_domain: allow argum
e
nt of resul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
util
.
c:
s
pecific
a
lly ind
i
cate emp
t
y sets in
Po
l
yhedron_ppr
i
nt
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
ut
i
l
.
c
:
move
a
lign_matrix from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolaege
ma
t
_util
.
cc: so
m
e use
f
ul functions e
x
tracted
f
ro
m
genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdoolaege
evalue
.
c: export reduce_evalue_in_domai
n
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoolaege
eval
u
e
.
c: rename redu
c
e_in_dom
a
in to evalue_range_redu
c
t
i
on
_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
barvin
o
k
.
cc: remo
v
e anci
e
nt
d
ebu
g
gin
g
code
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolae
g
e
ev
a
lue
.
c
: ex
p
ort eva
l
ue
_
frac2floor_in
_
d
o
m
a
in
commit
|
commitdiff
|
tree
2006-05-24
Sven
Verdoo
l
aege
ge
n
_fun::substi
t
ute: add more de
t
ai
l
ed e
x
planation
commit
|
commitdiff
|
tree
2006-05-24
Sven V
e
rdoolaege
reduce_domain
:
handle NU
L
L
CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
erdool
a
ege
barvino
k
.
cc: move
r
educe_domai
n
into separate fil
e
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
util
.
c: add
Pol
y
h
edron
_
ppri
n
t
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolae
g
e
lattice_point
.
cc:
lat
t
ice points computation
extract
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sve
n
V
e
rdoolaege
con
v
ersion
.
cc: add values2zz and rays2
f
rom barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sve
n
Verdoolaege
evalue
.
c:
a
dd evalu
e
_zero
commit
|
commitdiff
|
tree
2006-05-18
S
ve
n
Verdoolaege
dec
o
mposer
:
ext
r
act
o
ut vertex_deco
m
pose
r
from
b
arvinok
.
c
c
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
b
a
rvinok
.
cc: extract out some f
u
ncti
o
nal
i
ty into d
e
c
omposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
S
ven V
e
rdoolaege
u
t
i
l
.
c:
docume
n
t Euclid function
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdo
o
laege
occ
:
plug som
e
more (
p
otential) memo
r
y leak
s
commit
|
commitdiff
|
tree
2006-05-10
S
v
en Verdoolaege
occ: do
n
't use freed variable in error message
commit
|
commitdiff
|
tree
2006-04-10
Sven Ver
d
oolae
g
e
ba
r
vi
n
ok
.
cc: add
some documenta
t
ion to lattice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
S
v
e
n
V
e
r
do
o
laege
b
arvinok_en
u
mera
t
e_union: ca
l
l
gen_fun::
a
dd_union
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
gen_fun: add add_union
meth
o
d
commit
|
commitdiff
|
tree
2006-04-03
S
v
en Verdoolaege
barvinok
.
cc: document
S
plitOnVar
and re
m
ove some red
u
nd
a
nt
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoo
l
a
e
ge
r
e
move ina
p
propriat
e
u
s
es of Polyhedron2Param_Simplifie
d
Do
m
a
in
commit
|
commitdiff
|
tree
2006-02-22
Sven Ve
r
d
o
olaege
v
er
s
i
on 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven
V
e
r
d
ool
a
ege
cr
e
ate correct GIT_HEAD_ID in dis
t
r
ibution
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
b
arv
i
nok_union: document input for
m
at
commit
|
commitdiff
|
tree
2006-02-21
Sven Verdoolaege
Merge
b
ranch 'new
_
piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sve
n
Verdoolaege
only run
t
ests
that require pipl
i
b when
piplib is availab
l
e
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoo
l
aeg
e
b
a
rvino
k
_enumerate_e: only
li
n
k
i
n
omega libraries
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdo
o
laege
c
h
eck for p
i
plib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
S
v
en V
e
rd
o
ol
a
ege
some examples from Rachid to test barv
i
nok_enum
e
r
at
e
_
e
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
add barv
i
nok_union
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven Ve
r
doolaege
a
dd ba
r
vin
o
k
_
enumerate_un
i
on functio
n
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoola
e
ge
gen_fun: add Hadam
a
rd_pr
o
duct m
e
t
h
od
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
ge
n
_fun::
o
pera
t
or evalue
*
(
): fix
me
m
o
r
y leaks
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
genfun
.
cc:prin
t
_powe
r
: remove spaces
around
"*"
i
n
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Verd
o
olae
g
e
barvinok_
s
eries:
r
etur
n
empty gen_fun f
o
r empty poly
t
ope
.
commit
|
commitdiff
|
tree
2006-02-14
Sven V
e
rdoolaege
barvinok_series: remove
u
nu
s
e
d
v
ariables
.
commit
|
commitdiff
|
tree
2006-02-14
Sv
e
n Verd
o
olaege
barvinok
.
c
c
: extrac
t
out some code com
m
on to generatin
g
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdo
o
la
e
ge
barvinok
.
c
c: introduce np_base, a base class
for non
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolaege
barvinok
.
cc: do
vir
t
ual pol
a
r_decompose
r
inh
e
r
i
tance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
S
ve
n
Verdoolaege
barvinok_
s
eries: remo
v
e some
mo
r
e
equalities from the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Verdoola
e
ge
check f
o
r compress
_
parms fu
n
c
t
ion
commit
|
commitdiff
|
tree
2006-02-10
S
ven Verdoolaege
gen_fun:
a
dd substit
u
te method
.
commit
|
commitdiff
|
tree
2006-02-09
S
ven Ve
r
doolaege
barvinok/gen
f
un
.
h: a bit more document
a
tion
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdoola
e
ge
ad
a
pt determinati
o
n
of git HEAD to recent
git ve
r
sions
commit
|
commitdiff
|
tree
2006-02-08
Sven
V
erd
o
olaege
verif
y
_
main
.
c
c: fix typo that would let ch
e
c
k_series
.
.
.
commit
|
commitdiff
|
tree
2006-02-08
Sven Verdoolaege
ve
r
ify_main
.
cc: al
s
o
p
rint explici
t
function wh
e
n ve
r
bose
commit
|
commitdiff
|
tree
2006-02-08
Sven
Verdo
o
laege
gen_fun::add: norm
a
lize
c
oefficien
t
s
commit
|
commitdiff
|
tree
2006-01-29
Sven Verdoolaege
test
ba
r
vinok_en
u
merate_e --omega
commit
|
commitdiff
|
tree
2006-01-29
Sve
n
Verdoolaege
barvin
o
k
_
enumerate_
e
: only provide
--pip option if
.
.
.
commit
|
commitdiff
|
tree
2006-01-29
S
v
en Verdool
a
ege
b
a
rvinok_enumerate_e
.
cc: memory clean up
.
commit
|
commitdiff
|
tree
2006-01-28
S
ven Verdoolaege
integra
t
e verif_ehrhart_e
i
n
to ba
r
v
inok_enumerate_e
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
ba
r
vinok_e
n
umerate_
e
:
renam
e
--range optio
n
to --range
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoo
l
aege
b
a
rvi
n
ok_enumer
a
te_e
:
optionally u
s
e ome
g
a to
simplif
y
.
.
.
commit
|
commitdiff
|
tree
next