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
barvinok_count: simplify constraints after removing equalities
2006-08-03
Sven Verdoolaege
barvin
o
k_coun
t
:
simplify co
n
straints after remov
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
dool
a
ege
r
e
d
u
ced_ba
s
is
:
support 1D polyto
p
es
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
r
e
duc
e
d_basi
s
: ensure al
l
L
P
s
olutions ar
e
non-negative
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Verdoolaege
oc
c
: p
r
in
t
param
e
tric vertices of set using
PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
V
e
r
doo
l
aege
occ: a
d
d int
e
r
f
a
ce to barvino
k
_lexsmaller_e
v
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n Verdool
a
ege
util
.
c: provide dummy barvi
n
ok_lexsmall
e
r_ev
w
hen LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
4coins: computes gener
a
t
ing function for
4
coin Frobe
n
i
u
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
e
n V
e
rd
o
o
laege
ge
n
_fun::Hadama
r
d_product: apply paramete
r
co
m
pression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
do
o
laege
gen_f
u
n::substitute: only pa
s
s in
t
ransfor
m
ation
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdool
a
ege
s
carf
.
cc: sup
p
o
r
t more cases of
3
(
i
n
dependent)
constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
scarf
.
cc: suppo
r
t more c
a
ses of 4 cons
t
raints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
g
enfun
.
cc:
add gen_fun
:
:divid
e
method
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
genfu
n
.
cc: another gen_fun::
s
ummate met
h
od
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
infinite_icounter: an i
n
creme
n
tal counter
for possibl
y
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaege
icounte
r
: move from barvinok
.
cc
to r
e
ducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
doolae
g
e
bfen
u
m
erato
r
:
:set_factor: pl
u
g smal
l
memory lea
k
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
barvinok_enumer
a
te_union_series: use
gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oo
l
aege
genfun
.
cc:
a
d
d gen_fun::summate meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
ol
a
ege
gen
_
fun::Hadamar
d
_pr
o
duct: optimize
c
omputation
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
gen
_
fun::Hadam
a
rd_product: make f
i
rs
t
argume
n
t con
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaeg
e
polar_dec
o
mposer::d
e
compos
e
: make s
u
re v
e
rtic
e
s
h
a
ve
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoo
l
a
e
ge
n
p_base: add
d
o_ve
r
tex_c
o
ne me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
g
e
gen_
f
un::print:
allow pri
n
ting
t
o stream
s
other tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
ol
a
ege
b
f
co
u
n
ter
.
cc: m
o
ve
some more code from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
V
erdoolaege
gen_
f
un
.
h: short_rat:
u
se QQ instead of
pair o
f
ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
NTL_QQ
.
cc: a rational NTL typ
e
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdo
o
laege
verify_main
.
cc:
s
ma
l
l m
e
mory clean
-
up
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
d
oola
e
ge
b
a
rvin
o
k_s
e
r
i
es:
move
c
hoice of which gf_b
a
se subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
aege
barvinok
.
cc: mov
e
s
o
me functionali
t
y
into
separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
barvinok
.
c
c: move Polyhe
d
ron ar
g
um
e
nt to
s
tar
t
method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
barvinok
.
c
c: move star
t
and handl
e
_po
l
ar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
eg
e
g
en_fu
n
: add
s
hift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun: add
cop
y
cons
t
ructor
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
r
doolaege
zz2val
u
e
s: make first
argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
zz2value
:
make first argument
const
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n Verdoolaege
Po
l
yhedron_
i
s_
i
nfinite: use Polyhedr
o
n_Sam
p
le
i
f avail
a
ble
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
pol
y
hedron_sample
:
compu
t
e
s
an integer
v
ector
in
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
ven Verdool
a
ege
configure
.
i
n
: check for glp
k
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laege
scarf
.
cc: sim
p
l
e
x
::shrunk_polyhed
r
o
n
:
o
nly proces
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
laege
gen
_
fun::add: pe
r
form trivia
l
reductio
n
step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
cc: reorder
te
r
ms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
carf
.
c
c
: norma
l
ize
_
matrix: simp
l
ify n==3
case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
scarf
.
cc
:
support som
e
cases of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolae
g
e
ba
r
vino
k
_
e
numerate_
e
:
-
-prin
t
-all
f
or printing a
l
l
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
d
o
olaege
sc
a
r
f
.
c
c: normal
i
ze_matrix: simplify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Ve
r
doo
l
a
ege
scarf
.
cc: project out 2 va
r
iable
s
us
i
ng Scarf complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoola
e
ge
util
.
c: export
Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
S
v
en
Verdoolaege
configure
.
in: ma
k
e
-
-enable-fractional the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdool
a
ege
barvinok_co
u
nt:
c
heck whet
h
er
u
nbounde
d
polyhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven V
e
rdoolaege
polymake/configure
.
in: allow
specific
a
ti
o
n of locati
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoola
e
g
e
r
e
duce_
d
omain: declare va
r
iable at start of code
bl
o
ck
.
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rdoolaege
rem
o
ve_equalities: stop removi
n
f equalities if
i
nput
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoolaege
barvinok_count: stop coun
t
ing if f
i
rs
t
factor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
olaeg
e
b
a
rvino
k
_
c
ount_f:
c
heck for emptiness
of P (again)
commit
|
commitdiff
|
tree
2006-06-28
S
ven Verdoolaege
barvi
n
ok_
c
ount: tell
P
o
lyL
i
b
we
are
o
n
l
y
interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdo
o
l
a
ege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n V
e
rdoolaege
README: document op
t
ional installation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolae
g
e
doc: document Ome
g
a in
t
erface
commit
|
commitdiff
|
tree
2006-06-22
S
ven
Verdoolaege
do
c
: (minimally) docum
e
nt
p
ol
y
make
cli
e
nts
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolaege
d
o
c: furt
h
e
r
d
ocument barvinok
_
ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolae
g
e
document ba
r
vin
o
k_unio
n
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: do
c
um
e
nt
barvinok_ehrh
a
rt
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
doc: do
c
u
ment some options
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verd
o
ola
e
ge
doc: add
refe
r
ence for
N
TL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: describe vertic
e
s based input
specificatio
n
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
d
oc
:
add su
b
sections
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
use "
g
it descr
i
be" to
d
e
scribe
v
ers
i
on
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
add doc to di
s
tribu
t
ion
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc: warn th
a
t the output may look
d
ifferent
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: barvinok_c
o
un
t
n
o longer
perfo
r
ms manu
a
l counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
o
c
: repl
a
c
e
"
Appen
d
ix" by "Sect
i
on
"
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
o
olaege
doc: ref
l
ect
rename of cdd2polylib
.
pl t
o
latt
e
2polyl
i
b
.
p
l
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
d
o
c
: resolve undefined
refe
r
enc
e
s through my
t
he
s
is
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
e
rdoola
e
g
e
do
c
:
a
dd titl
e
page
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdo
o
l
aege
doc: use
r
guide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
rename cdd2polylib
.
pl to latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoolaege
polym
a
ke/h_
s
t
ar_vector
.
cc: cli
e
nt to co
m
p
u
t
e
t
h
e
h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
polymake/co
n
ve
r
t
.
cc: extract polymak
e
_constrai
n
ts2po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdool
a
ege
util
.
c: export Cone
_
o
v
e
r_Po
l
yhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdo
o
laege
barvinok_ehrhart: compu
t
e e
h
rh
a
rt (quasi-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
S
ve
n
V
erdoolaeg
e
barv
i
nok_count: allow polytope to be specified by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Ve
r
doolaege
barvinok_count: handle infini
t
e polyhed
r
a with no in
t
e
g
er
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
e
r
d
o
o
laege
barvinok_count: stop c
o
unt
i
ng if one
o
f the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
ev
a
l
u
e_frac2floor_i
n
_domain: allow
a
r
g
u
m
e
n
t of res
u
l
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
u
t
i
l
.
c
: specificall
y
i
n
d
i
cat
e
empty set
s
in Poly
h
e
d
r
on
_
pprin
t
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
util
.
c
:
move align_
m
atrix
fr
o
m barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
mat_util
.
cc
:
some useful fu
n
ction
s
extr
a
cted f
r
om genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en
V
erdoolaege
e
valu
e
.
c: export reduce_eva
l
ue_in_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalu
e
.
c:
rename re
d
uce_in_do
m
ain
t
o e
v
alue_ra
n
g
e
_
reduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolae
g
e
barvinok
.
cc:
remove ancient debugging code
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdool
a
ege
e
v
a
l
u
e
.
c: export eva
l
ue_frac2floor_in_
d
omain
commit
|
commitdiff
|
tree
2006-05-24
Sve
n
Verdoolaege
gen_f
u
n
:
:
substitute: ad
d
m
ore d
e
tai
l
ed explanation
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n Verdoolaege
reduce_domain: handle
N
U
LL CE
q
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
barvin
o
k
.
c
c: mo
v
e reduc
e
_
doma
i
n into separ
a
te fi
l
e
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
u
t
il
.
c: add P
o
lyhedron
_
pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven Verd
o
olaege
lattice_poi
n
t
.
cc: lattice po
i
nts comp
u
tation extracted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Verdoolaege
conversion
.
cc: add
values2zz and ra
y
s2
fr
o
m barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
eval
u
e
.
c: add evalue_zero
commit
|
commitdiff
|
tree
2006-05-18
Sve
n
Verdoolaeg
e
d
e
c
o
mposer: ex
t
rac
t
out
v
erte
x
_decom
p
oser
f
rom ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
next