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
Merge branch 'master' into bernstein
2006-08-02
Sven
V
erdoolaege
Merg
e
branch 'master'
i
nto bern
s
tein
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoolaeg
e
occ
:
print parametri
c
v
e
rtice
s
of set using PolyLib
commit
|
commitdiff
|
tree
2006-08-02
S
ven Verdoolaege
oc
c
:
a
l
l
ow
p
o
lyn
o
mials in b
e
rnst
e
in maximization
t
o
.
.
.
commit
|
commitdiff
|
tree
2006-08-01
S
ven Ver
d
oolaege
M
e
rge branch 'master' into bernstein
commit
|
commitdiff
|
tree
2006-08-01
Sve
n
V
e
rdoolaeg
e
occ: add interface
t
o
b
a
r
vino
k
_lexsmalle
r
_
ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoo
l
aege
util
.
c: provide d
u
mm
y
barvinok_lexsmall
e
r_ev
w
hen LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Ver
d
oolaege
4c
o
ins:
c
omputes gen
e
rating function fo
r
4 co
i
n
F
r
o
benius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en Verdoolaege
gen_fun::Had
a
m
ard_product
:
apply
pa
r
ameter c
o
m
pression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
g
e
n
_
fun::su
b
stit
u
te: on
l
y pass in transfo
r
mation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdool
a
e
ge
scarf
.
cc: supp
o
rt more cases
o
f 3
(ind
e
pendent
)
constr
a
ints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olaeg
e
scarf
.
cc: support more
cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-27
S
v
e
n Verdoolaege
genfun
.
c
c: add gen_f
u
n::divide
method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
ge
n
fun
.
cc: another gen_f
u
n::summate me
t
h
od
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
infi
n
ite
_
icoun
t
er: an incremental
c
ounter for possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolaege
i
c
o
unter
:
move from ba
r
v
i
no
k
.
c
c
to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
bfenu
m
erator::
s
et_factor: plug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
ba
r
vin
o
k_enu
m
erate_
u
ni
o
n_se
r
ies: use g
e
n_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
genfun
.
cc: add
gen_fun::summate me
t
h
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
ge
n
_fun::Had
a
mard_pro
d
uct: optimize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erdo
o
laege
gen_f
u
n
:
:Hadamard_
p
rod
u
c
t: mak
e
first argum
e
nt
c
onst
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
polar_decompose
r
::de
c
ompose:
m
ake sure
ve
r
tices
h
a
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
np_bas
e
:
a
dd do
_
verte
x
_
con
e
method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
en_f
u
n::print:
allow
printing to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
bfcounter
.
cc:
move
s
ome
m
ore code
f
rom barvin
o
k
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
d
oolaege
gen_fun
.
h: short_rat: use QQ instead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdo
o
laege
N
T
L_QQ
.
cc: a rat
i
onal NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolae
g
e
verify_main
.
cc: sm
a
l
l
memo
r
y
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_
s
e
ries: move choice o
f
which gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
barv
i
nok
.
cc:
m
ove some fun
c
tionality into
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
barvi
n
ok
.
cc
:
mo
v
e Poly
h
edron a
r
g
ument t
o
star
t
method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaeg
e
barvinok
.
cc: move start and handle_polar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
gen_fun: add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdool
a
ege
gen_fun: ad
d
copy cons
t
ruc
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
z
z2values: make first
a
r
gum
e
nt const
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
o
o
laeg
e
zz2v
a
lue: make f
i
rst argum
e
nt const
commit
|
commitdiff
|
tree
2006-07-20
Sven Ver
d
ool
a
e
g
e
Polyh
e
d
r
o
n_is_infinit
e
: use
P
ol
y
h
edron_S
a
mple if available
.
commit
|
commitdiff
|
tree
2006-07-20
S
v
en
Verdoo
l
a
e
g
e
polyhedron_sample: compute
s
an integ
e
r
v
ector in
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
ven Verdo
o
la
e
ge
c
onfig
u
re
.
in: check
f
or glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
scarf
.
c
c
: simplex::
s
hrun
k
_polyhedron: o
n
ly
process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n V
e
r
doolaege
g
e
n
_
fun::add: perfor
m
triv
i
al reduct
i
o
n st
e
p
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verd
o
ola
e
ge
genfun
.
cc: reorder terms in nume
r
ator
commit
|
commitdiff
|
tree
2006-07-13
S
ven Verdoolaege
scarf
.
cc:
n
ormali
z
e_
m
atrix: simplify n
=
=3 case so
m
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
scarf
.
cc:
sup
p
ort some cases of 4 con
s
tra
i
nts
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Ve
r
doo
l
aege
barvinok_enumerate_e:
-
-p
r
int-al
l
for p
r
inting all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaeg
e
s
c
a
rf
.
cc: norma
l
ize_ma
t
rix: simpli
f
y n==3 ca
s
e
commit
|
commitdiff
|
tree
2006-07-10
Sv
e
n
Verdoo
l
aege
scarf
.
cc: project
o
ut 2 var
i
ables using Scarf co
m
plex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoola
e
ge
util
.
c: export
Extended
_
Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sv
e
n V
e
rdoo
l
aege
configure
.
in
:
m
ake
-
-
enable-f
r
act
i
onal the defau
l
t
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verdoolaege
barvinok_
c
ount: check
w
h
ether unb
o
unded polyhedra actu
a
lly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
Ve
r
doo
l
aege
polymake/configure
.
in: allow s
p
ecific
a
tion
of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sv
e
n Verdoolaege
reduce
_
doma
i
n:
d
eclar
e
variable a
t
st
a
r
t
of co
d
e
b
lock
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
remove_e
q
u
a
l
ities: stop removinf equalities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
e
n
Ver
d
o
olaege
barv
i
nok_count: stop co
u
ntin
g
if first factor
i
s
e
mpty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvin
o
k_coun
t
_
f
: check for
e
m
pt
i
ness of
P (again)
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdoolaege
b
a
rvin
o
k_count: tell PolyLib we are only intere
s
t
ed
.
.
.
commit
|
commitdiff
|
tree
2006-06-23
Sven Verdoolaege
M
e
rge
branch 'master' into
b
er
n
stein
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
ver
s
ion 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdoolaege
READ
M
E: document optiona
l
installation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verd
o
olaege
doc: do
c
u
m
e
nt Omega interfa
c
e
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
o
c: (minimally) document polymake cli
e
nts
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: further docume
n
t
b
arvinok_ehrha
r
t
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
document barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
doolae
g
e
doc: document
barvinok_e
h
r
h
art
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Ve
r
dool
a
e
g
e
doc: document some
o
ptions
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
doc: a
d
d
r
e
ference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
do
c
:
describe vertices based inpu
t
specification
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc:
add
s
u
bsections
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Ver
d
oolaege
use
"git describe" t
o
describe version
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n
Ve
r
doolae
g
e
add doc to distribution
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaeg
e
doc
:
warn t
h
at
t
h
e output may look different
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolaege
doc: ba
r
vinok_co
u
nt no longer
p
erform
s
m
a
nual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verd
o
olaege
d
oc: r
e
place "Appendix" by "
S
ection"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
r
e
flec
t
re
n
ame of cdd
2
polyli
b
.
pl t
o
l
atte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
e
ge
doc:
resolve un
d
efined references through m
y
thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
ge
doc: add title p
a
ge
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoo
l
ae
g
e
d
oc: us
e
r gui
d
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
rename cdd2polylib
.
pl
t
o
latt
e
2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoo
l
a
e
g
e
polym
a
ke/h_sta
r
_vector
.
cc: cl
i
ent t
o
compute
the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven V
e
rdoolaege
polymake/convert
.
cc: extract polymake_constra
i
nts2pol
y
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
ven Verdoolaeg
e
Mer
g
e branch 'master' into ber
n
stein
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n Verdoolae
g
e
util
.
c: e
x
p
o
rt
C
one_over_P
o
lyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
b
arvinok_ehrhart: compute ehrhart (quasi-
)
polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sv
e
n
V
e
rdoolaege
barvinok_count: allow polytope t
o
b
e specified by i
t
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaeg
e
ge
n
fun
.
cc: fix a
d
d_union
m
e
thod
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaege
barvinok_un
i
on
:
opt
i
o
n
ally print
g
enerating func
t
ion
commit
|
commitdiff
|
tree
2006-06-02
S
v
e
n
Verdo
o
laege
b
ar
v
inok_count: handl
e
infi
n
i
te polyhe
d
ra
w
i
t
h no i
n
t
ege
r
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
barvinok_
c
ount: s
t
op c
o
u
nting if one of the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
Verdoolaeg
e
evalue_frac2floor_in_domain: a
l
l
ow argume
n
t of
resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
ool
a
ege
u
til
.
c:
spe
c
ifically ind
i
ca
t
e empty sets
i
n
Polyhedron_ppr
i
nt
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n
V
erdoolaege
u
t
il
.
c: mov
e
align_mat
r
ix from
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdoola
e
ge
mat_u
t
il
.
cc: some useful function
s
extracted f
r
om genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolae
g
e
evalue
.
c: ex
p
ort
r
educe_eval
u
e_in_
d
omain
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalue
.
c:
r
e
name re
d
u
c
e_in_d
o
m
ain to
evalu
e
_range_re
d
uction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolae
g
e
barvinok
.
cc: remove ancient debuggin
g
code
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdoolaege
ev
a
lue
.
c: export evalue_f
r
ac2floor_in_domai
n
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
g
e
n_fun
:
:substitute: add more de
t
ai
l
ed e
x
plana
t
io
n
commit
|
commitdiff
|
tree
2006-05-24
S
v
en Verd
o
olaege
reduce_domain: handl
e
NULL CEq
commit
|
commitdiff
|
tree
2006-05-24
S
ven Ve
r
doolaege
barvinok
.
cc: move reduce_domain into separate
f
ile
commit
|
commitdiff
|
tree
2006-05-24
Sven Verd
o
olaege
u
t
il
.
c: add Polyhedron_ppri
n
t
commit
|
commitdiff
|
tree
next