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
occ: add interface to barvinok_lexsmaller_ev
2006-08-01
Sven Verdoolaege
oc
c
: a
d
d interface
t
o barv
i
nok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
er
d
oo
l
aege
ut
i
l
.
c
: provide dummy barvinok_lexsmalle
r
_ev when
L
exSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoo
l
a
ege
4coins: com
p
u
t
e
s generatin
g
f
unct
i
on for
4 coin
F
robenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_
f
un::Hadama
r
d
_
p
r
oduct: appl
y
parameter compressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdool
a
ege
gen_fun::substi
t
u
te:
o
n
ly pass in
t
r
ansformation matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Verdoolaege
scarf
.
cc: support more cases
of 3 (independent) constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
scar
f
.
cc: suppo
r
t more cases of 4 constr
a
ints
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Ver
d
o
olaeg
e
genfun
.
cc: add ge
n
_fun::div
i
d
e
meth
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
e
g
e
g
e
nf
u
n
.
cc: another gen_fun::summate met
h
od
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdool
a
eg
e
infinit
e
_icounter: an incr
e
ment
a
l co
u
nter
f
or possib
l
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n
Verdoolaege
icounter:
m
o
v
e
fro
m
bar
v
inok
.
cc to reduc
e
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoola
e
ge
bfenumerator::set_f
a
ctor: plug small
m
e
mory
l
eak
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
ola
e
ge
barv
i
nok_enum
e
r
a
te_un
i
on
_
serie
s
:
use gen_fun::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdool
a
ege
gen
f
un
.
cc: add gen_f
u
n::summa
t
e method
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
gen_fun::H
a
dam
a
rd_product: optimize co
m
putati
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
ge
n
_
f
un:
:
Hadamard_pr
o
duct: ma
k
e first
a
rg
u
ment const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olae
g
e
pol
a
r_decomposer::decompose: make
sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
e
r
d
oolaeg
e
np_base
:
a
d
d do_ver
t
e
x_cone m
e
thod
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
V
e
rdoolaege
gen_fun::p
r
int: allow p
r
inti
n
g to
s
treams
other tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfcounter
.
cc: move some
more code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaeg
e
gen_fu
n
.
h
:
short_ra
t
: use
QQ instead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
NTL_
Q
Q
.
cc: a r
a
tional NTL ty
p
e
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
verify_mai
n
.
cc: small memory clean
-
u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoola
e
ge
barvin
o
k_
s
e
ries: move
choice of wh
i
ch g
f
_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoola
e
ge
barvinok
.
cc: move some fun
c
tionality
i
nto separat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdo
o
laege
barvi
n
ok
.
cc
:
move Polyhedro
n
argument to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaeg
e
barvinok
.
cc: move s
t
ar
t
a
nd
h
andle
_
p
olar into
np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: add shift me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: a
d
d copy const
r
uct
o
r
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
zz
2
valu
e
s: make first arg
u
m
e
nt const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
zz2value: make first
argu
m
ent cons
t
commit
|
commitdiff
|
tree
2006-07-20
Sven
V
erdool
a
ege
P
olyh
e
dron
_
is_infinite: use Polyhedron_
S
ample if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Ve
r
doolae
g
e
pol
y
hedro
n
_samp
l
e: c
o
mputes an
integer v
e
c
tor in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven V
e
rdoolaege
configure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdoolaege
s
carf
.
c
c
: simple
x
::s
h
runk_polyhed
r
on: onl
y
process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verd
o
olaege
gen
_
fun::add: p
e
rform trivi
a
l r
e
d
uction step
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdo
o
laege
genfun
.
cc:
reorder t
e
rm
s
in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n
Ver
d
oolaege
scarf
.
cc: no
r
m
a
l
ize_matrix:
s
i
m
pli
f
y n==3 ca
s
e some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
la
e
ge
sca
r
f
.
c
c
: support some cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
aege
barvi
n
o
k
_enumerate_
e
: --prin
t
-al
l
for printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n Ver
d
oolae
g
e
scarf
.
cc: norma
l
ize_matrix: simp
l
ify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven
V
erdo
o
laege
s
carf
.
cc:
p
roject ou
t
2 variables using S
c
arf compl
e
x
commit
|
commitdiff
|
tree
2006-07-08
Sv
e
n Verdoolaege
u
t
i
l
.
c: export Ext
e
n
ded
_
Euclid
commit
|
commitdiff
|
tree
2006-07-05
S
ven V
e
r
doolaege
config
u
re
.
in
:
make
-
-enable-
f
ractiona
l
the
d
efault
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
barvinok_cou
n
t: c
h
e
c
k
whe
t
her
u
nbounded polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
p
olyma
k
e
/
c
onf
i
g
u
r
e
.
in: allow
s
p
eci
f
ication of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
ven Ve
r
d
o
olaeg
e
reduce
_
domain:
d
eclare variable at s
t
ar
t
of co
d
e block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdool
a
e
g
e
remove_equa
l
ities: stop removinf equa
l
it
i
e
s
if inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barv
i
nok_co
u
nt: s
t
op countin
g
if
f
irst factor is empty
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Ve
r
d
ool
a
ege
barv
i
nok_count_f: check for emp
t
iness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
doolaeg
e
barvinok
_
c
ount: tell PolyLib we
are only interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
ver
s
ion 0
.
2
1
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Ve
r
do
o
laege
R
E
A
DME: d
o
c
ument op
t
ional installation o
f
Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
oc: documen
t
Omeg
a
i
nterfa
c
e
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
r
do
o
laege
doc: (min
i
mally) document polymake clie
n
ts
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verd
o
ola
e
ge
do
c
: further document ba
r
vin
o
k_eh
r
h
a
rt
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
e
rdo
o
laeg
e
d
oc
u
me
n
t barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
Sven
Ver
d
oolaeg
e
doc: docume
n
t ba
r
vinok_
e
h
rhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
g
e
doc: d
o
cument some options
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
doc: add referen
c
e for
N
TL
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdool
a
ege
doc:
describe vertices b
a
sed
in
p
ut s
p
ecifica
t
ion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: ty
p
o
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
ege
doc:
a
dd subsect
i
o
ns
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
use "git
d
escribe" to desc
r
ibe
v
ersion
commit
|
commitdiff
|
tree
2006-06-21
S
ven V
e
rdoolaege
add d
o
c to distr
i
but
i
on
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdo
o
laege
doc: warn that the output
m
ay loo
k
di
f
f
erent
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doo
l
aeg
e
doc: barv
i
nok_count no longer per
f
orms manual
c
o
unting
.
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
V
e
r
d
oolaege
d
oc: re
p
lace
"
Ap
p
end
i
x"
b
y
"Section
"
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolae
g
e
doc: refle
c
t rename
of cdd2polylib
.
pl to latt
e
2po
l
y
l
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verd
o
o
l
a
ege
doc: resolve undefined refere
n
ces through my
t
hesis
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdool
a
ege
doc: add title
p
age
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: use
r
g
u
ide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
rename cdd2polylib
.
pl t
o
la
t
te2p
o
lylib
.
p
l
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdool
a
ege
polymake/h_star_vect
o
r
.
c
c:
cli
e
nt
to comp
u
te the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Ver
d
oolaege
p
o
lyma
k
e/co
n
v
e
rt
.
cc: extract polymake_cons
t
raints2
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
ven Verdoolaege
u
t
il
.
c: export
C
o
ne_over_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven
V
er
d
o
olae
g
e
barvinok_ehrhart: com
p
u
t
e
e
hrha
r
t (quasi-)polyn
o
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sve
n
Verdoola
e
ge
b
a
rvi
n
ok_count: al
l
ow polytope
to be s
p
ecified by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaeg
e
genfu
n
.
cc: fix add_union m
e
thod
commit
|
commitdiff
|
tree
2006-06-13
Sve
n
V
e
rdo
o
laege
barvi
n
ok_union
:
o
p
tionally print generating function
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verd
o
olaege
b
arvinok_count: ha
n
dle infinite polyhedra
w
ith no integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdool
a
ege
barvin
o
k
_count: stop
counting if one of the fa
c
tors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
doolaeg
e
evalue_f
r
ac2floor_i
n
_domain: allow argument of re
s
u
l
ting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdo
o
l
aege
uti
l
.
c:
specifically indicate empty sets in Pol
y
hedron_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolaege
util
.
c
:
move align_matrix
from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verd
o
o
l
aege
mat_ut
i
l
.
cc:
s
ome
u
sef
u
l functions
extracted from genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
d
o
olaege
evalue
.
c: e
x
port
r
e
d
uce_eva
l
ue_in
_
d
omai
n
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
e
v
a
l
u
e
.
c: rename reduce
_
in_d
o
main to evalue_r
a
n
g
e_redu
c
tion_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoolaege
barvinok
.
c
c
: remov
e
ancient debugging code
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdool
a
ege
e
v
alue
.
c: export eva
l
u
e
_frac2floor_in_
d
omain
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdool
a
eg
e
gen_fun::substitute
:
add more detailed explanation
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
red
u
ce_
d
omain: handle NULL
CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven
Verdoolaege
b
a
r
vi
n
o
k
.
cc: move reduce_domain
i
nto sepa
r
ate fil
e
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
erdoolaege
util
.
c:
a
dd
Polyhe
d
ron_ppr
i
nt
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
lat
t
ice_point
.
cc
:
lattice points
computation extracted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Ver
d
oolaege
conve
r
sion
.
cc: add
v
alues2zz and rays2 f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Ve
r
d
oolaege
evalue
.
c:
add
evalue_zero
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdool
a
e
ge
d
eco
m
po
s
e
r
: e
x
tract o
u
t vertex_decomposer from
ba
r
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoo
l
aege
barvi
n
ok
.
cc: extract
out some functi
o
nality into decomposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven
V
er
d
oolaege
uti
l
.
c: doc
u
ment Eu
c
lid function
commit
|
commitdiff
|
tree
next