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 Verdo
o
laege
g
en_fun::print: allow print
i
ng
to streams other th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
b
f
coun
t
e
r
.
cc: move som
e
more code from barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
gen_f
u
n
.
h:
sh
o
r
t_
r
at: use QQ instead of pair of
Z
Zs
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Ver
d
oolaege
NTL_QQ
.
cc
:
a ratio
n
al
NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oo
l
aege
verify_main
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
barvinok
_
s
e
ries:
m
ove c
h
o
i
ce of which gf_base s
u
b
c
l
ass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
V
erdoolaege
bar
v
inok
.
cc: move
s
ome functionality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
barvin
o
k
.
cc:
m
ove Polyhedr
o
n argume
n
t to s
t
art
met
h
od
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
b
arvinok
.
cc: move star
t
and handle_pol
a
r into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_
f
un: add shif
t
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
gen_fun: add copy constructor
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
z
z2value
s
:
make first argument
c
onst
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaeg
e
zz2value: mak
e
first argum
e
nt co
n
st
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdool
a
ege
Polyhed
r
on_is
_
i
nf
i
nite: use Poly
h
edron_
S
ampl
e
if availa
b
l
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sve
n
Verdoolaege
polyhed
r
o
n_
s
ample: computes an
i
n
te
g
er vector i
n
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
ven
V
er
d
oo
l
aege
co
n
figure
.
i
n: check fo
r
glp
k
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdool
a
ege
scarf
.
cc: simpl
e
x:
:
shrunk_polyhed
r
on: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolaege
g
en_
f
un:
:
add: pe
r
f
o
r
m
triv
i
al reduct
i
on step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
aege
g
enf
u
n
.
c
c:
r
eorder terms in
numerator
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolae
g
e
scarf
.
cc
:
normalize_
m
atrix:
simplify n==3 case so
m
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
o
laeg
e
scarf
.
cc: s
u
ppo
r
t some cases of 4 con
s
traints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laege
b
arvinok_enumerat
e
_e: --print-all f
o
r
print
i
n
g all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdoolaege
scarf
.
cc: normalize_matrix: simplify n==3
case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolae
g
e
scarf
.
cc: proj
e
ct out 2
v
a
riables
u
sin
g
Scarf comple
x
commit
|
commitdiff
|
tree
2006-07-08
Sven V
e
rdo
o
laege
uti
l
.
c: export Ex
t
ende
d
_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdoolaege
c
o
nfigure
.
in: ma
k
e --enable
-
fractiona
l
the defa
u
lt
commit
|
commitdiff
|
tree
2006-06-29
Sven Ve
r
doolaege
barvinok_count
:
check whe
t
he
r
unbo
u
nded po
l
yhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
Verd
o
o
l
aege
polymake
/
configure
.
in: allow speci
f
icatio
n
of locat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven V
e
r
d
o
o
laege
reduce_domain:
d
eclar
e
v
a
riable at st
a
rt of code block
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoolaeg
e
remove
_
equalities: stop removinf
equalit
i
es
i
f
i
nput
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rd
o
olaege
barvinok_
c
ou
n
t: stop counting if first fa
c
t
or
is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
olaege
ba
r
vinok_c
o
unt_f: che
c
k for emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
S
v
en V
e
rdoolae
g
e
bar
v
i
nok_count: t
e
ll
P
o
l
yL
i
b we
a
re
only intereste
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
README
:
document optional installation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaeg
e
d
oc: do
c
u
m
ent O
m
ega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
doc: (minimally) docum
e
n
t
po
l
ym
a
ke
c
li
e
n
ts
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
doc:
f
urther document ba
r
vinok_ehrha
r
t
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
laege
document barvinok_
u
n
ion
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
doc: document barv
i
no
k
_ehr
h
a
rt
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdo
o
laege
doc
:
document some
options
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
a
e
ge
doc: add re
f
erenc
e
for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
doc: descri
b
e vertices based in
p
ut
spe
c
ification
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Ve
r
doolaege
doc:
t
yp
o
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
doc: add subsections
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolae
g
e
use "git descri
b
e" to des
c
ribe version
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolaeg
e
add doc t
o
distribution
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: wa
r
n that the
o
utput
may look different
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
V
e
rdoo
l
aege
doc: barvinok_count no
l
o
nge
r
p
e
rforms manual coun
t
i
n
g
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oola
e
ge
doc: replace "Appe
n
dix" by
"
S
ection"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olae
g
e
doc: reflect
rename of cdd2polylib
.
pl to lat
t
e2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc: resolve undefined re
f
eren
c
es throu
g
h m
y
th
e
sis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
oc:
add title
p
age
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdo
o
laege
doc: user guide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
ge
r
e
n
am
e
cdd2polylib
.
p
l
to latte2polyli
b
.
p
l
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoo
l
aege
pol
y
make/h_star
_
v
e
ctor
.
c
c: client to compute
t
h
e h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sve
n
Ver
d
o
o
laege
polymak
e
/convert
.
cc: ext
r
a
ct
p
o
lymake_const
r
ain
t
s2po
l
y
l
ib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n Verdoolaege
u
t
il
.
c: export Cone_over_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdo
o
laege
barvinok
_
ehrh
a
rt: compute
ehrhart (qua
s
i-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Verdoola
e
ge
barvinok_c
o
u
nt: al
l
ow p
o
lytope
to be specified b
y
its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdo
o
l
aege
genfun
.
c
c
: fix add_
u
n
i
on
method
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaege
barvin
o
k_unio
n
:
o
p
t
i
o
n
ally print gen
e
rating
f
unction
commit
|
commitdiff
|
tree
2006-06-02
S
v
en
Verdo
o
l
aege
b
a
rvinok_count:
h
and
l
e inf
i
nite polyhedra w
i
th no inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
barvinok_count:
s
top counting i
f
one
o
f the fa
c
tors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoo
l
ae
g
e
evalue_frac2floo
r
_i
n
_
d
omain:
allow
argument o
f
resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
util
.
c:
s
pecifica
l
l
y
in
d
i
cat
e
e
mpty sets
i
n Polyhedron_ppri
n
t
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n
V
erdoolaege
uti
l
.
c: move
a
lig
n
_matr
i
x f
r
om bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolaege
m
a
t_util
.
cc: s
o
me useful functions ext
r
acted f
r
om g
e
nfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdoolaege
evalue
.
c
:
e
x
port red
u
ce_
e
v
a
lue
_
i
n_domai
n
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoo
l
aege
eval
u
e
.
c
:
rename
r
educe_in_dom
a
i
n
to
evalue_ra
n
ge_redu
c
tion_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
ba
r
vinok
.
cc
:
remove ancient
d
e
bugging
c
ode
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoola
e
ge
ev
a
lue
.
c: ex
p
ort
e
value_frac2floor_in_domain
commit
|
commitdiff
|
tree
2006-05-24
S
v
en Verdo
o
laege
gen_fun::substit
u
te: add more detailed expl
a
nation
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
reduce_domain
:
handl
e
NULL C
E
q
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
barvinok
.
cc: move reduce_domain into separate file
commit
|
commitdiff
|
tree
2006-05-24
S
v
en Verdoolaege
u
ti
l
.
c: add Polyhe
d
ron_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven Ver
d
oolaege
latt
i
c
e_
p
o
i
nt
.
cc: lattice po
i
nts computation ext
r
act
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Ve
r
do
o
laege
conversion
.
cc:
a
dd
va
l
ues2z
z
an
d
r
a
ys2 from
ba
r
v
i
nok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoo
l
aege
eval
u
e
.
c: add
evalue_ze
r
o
commit
|
commitdiff
|
tree
2006-05-18
Sven Ver
d
oolaege
decomp
o
ser: extrac
t
out
v
ertex_decompos
e
r fro
m
barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-05-18
Sv
e
n V
e
rdoolaege
barvin
o
k
.
cc:
e
xtract
o
ut
s
ome func
t
ion
a
lity into decomposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sve
n
Verdoolaege
util
.
c: document
E
ucl
i
d function
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolae
g
e
occ: plug some
m
ore (pote
n
tial) memo
r
y
l
eak
s
commit
|
commitdiff
|
tree
2006-05-10
S
ven Verdoolaege
occ: don't use freed v
a
riable in error message
commit
|
commitdiff
|
tree
2006-04-10
Sven Verdoolaege
barvinok
.
cc: add some documenta
t
i
o
n
t
o lattice po
i
nt
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
S
ven
Ve
r
doolaege
barvino
k
_enumerate_union: call gen_f
u
n::add_un
i
on
commit
|
commitdiff
|
tree
2006-04-05
Sve
n
V
e
rd
o
ol
a
ege
gen_fun: add add_u
n
i
o
n metho
d
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoolae
g
e
barvinok
.
c
c
: document Spli
t
OnVar
and
remove s
o
m
e redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven V
e
rd
o
olaege
r
e
m
ove inap
p
ropria
t
e
u
ses of Polyhed
r
on2Param_
S
implifiedDomain
commit
|
commitdiff
|
tree
2006-02-22
Sven
Verdoo
l
aege
versi
o
n 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
creat
e
correc
t
GIT_HEAD_I
D
in dist
r
ibution
commit
|
commitdiff
|
tree
2006-02-22
Sven Verd
o
o
lae
g
e
barv
i
nok_union: do
c
ument
input format
commit
|
commitdiff
|
tree
2006-02-21
Sv
e
n Verdoolaege
Merge
bran
c
h '
n
ew_piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sv
e
n Verdoolae
g
e
only run tests that require piplib wh
e
n piplib is
avai
l
a
b
le
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
barvinok_enumerate_e: only
link
i
n omega
l
ibraries
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
check for p
i
p
lib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven Ver
d
oo
l
aege
some examples from Rachid to test bar
v
in
o
k_enumerate_e
commit
|
commitdiff
|
tree
2006-02-15
Sven V
e
rdo
o
l
a
e
ge
add barv
i
nok_u
n
i
on
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven Ver
d
oolaege
add b
a
r
vino
k
_
e
n
umerate_un
i
on
function
commit
|
commitdiff
|
tree
2006-02-15
Sv
e
n Verdoolaege
gen
_
fu
n
: add Hadamard_product me
t
hod
commit
|
commitdiff
|
tree
next