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
V
erdoo
l
aege
occ:
add
i
nterface to
b
arvinok_
l
ex
s
mal
l
er_
e
v
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Verdoolaeg
e
util
.
c:
provide dummy
b
arvinok_lexsmaller_ev when Le
x
Smaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
v
en
V
erdoolaege
4
coin
s
: c
o
mputes gener
a
ting
f
unction for
4
co
i
n Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Ve
r
doolae
g
e
ge
n
_
fun::Hadamard_product
:
apply
p
ar
a
m
ete
r
c
ompression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
ool
a
eg
e
gen_
f
un::sub
s
titu
t
e
: only pass
in tr
a
n
sf
o
rmatio
n
matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
scarf
.
cc: sup
p
or
t
more cas
e
s of 3 (independ
e
nt) constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoolaeg
e
scarf
.
cc:
support
m
or
e
cases o
f
4
constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoo
l
aege
genfun
.
c
c
: a
d
d gen_fun:
:
divi
d
e method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
c
c: anothe
r
gen_fun:
:
summate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
in
f
inite
_
icou
n
ter: a
n
incre
m
ental counter for poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Ver
d
oolaege
i
c
ounter: move from barvi
n
ok
.
cc to red
u
cer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
bfenume
r
a
t
o
r
::set_fact
o
r: pl
u
g
sma
l
l memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
ba
r
vinok_enum
e
rate_union_series
:
use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
er
d
oolaege
genfu
n
.
cc: add
gen_fun::summate
m
etho
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
gen_fun::
H
adamard_product:
optimize comput
a
tio
n
of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
gen_fun::Hada
m
a
rd_produc
t
:
m
a
ke
first argument co
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
polar_
d
ecompo
s
er::deco
m
pose: make sure vertic
e
s have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
np_ba
s
e: a
d
d
do_vertex_cone
m
e
thod
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
gen_fun::print: allow prin
t
ing to
s
tre
a
ms
o
ther th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
rdoolaege
bfcou
n
te
r
.
cc: move s
o
me more cod
e
f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
l
aege
gen_fun
.
h:
short_rat: us
e
QQ inste
a
d of
pai
r
of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
e
r
dool
a
ege
NTL_QQ
.
c
c: a rational NT
L
type
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaeg
e
veri
f
y_main
.
cc:
small memor
y
clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
barv
i
nok_series: mo
v
e
c
hoice of which
g
f_base s
u
bcla
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erdoola
e
ge
barvinok
.
cc: move s
o
me
functi
o
nality into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
barvinok
.
cc
:
move Pol
y
hedron
a
rgument to start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok
.
cc:
move start and handle
_
polar into
np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n
_
fun: add
s
h
i
ft method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_f
u
n
: add copy constructor
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verd
o
olaege
zz
2
values: make first a
r
gu
m
ent
co
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoolaege
zz2value: make first
argum
e
nt const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyhedron_is_i
n
f
i
nite: use Pol
y
hedron_Sample
i
f avail
a
b
le
.
commit
|
commitdiff
|
tree
2006-07-20
Sven V
e
rdoolaege
poly
h
edron_s
a
mple:
c
o
m
putes an
i
nteger
vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Ve
r
doolaege
conf
i
gure
.
in:
c
heck
f
or glpk
commit
|
commitdiff
|
tree
2006-07-13
S
ven Ve
r
doo
l
aege
scarf
.
cc: simplex::shrun
k
_
p
olyhedron:
only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
gen_fun:
:
add: perform tr
i
via
l
re
d
uction
s
te
p
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
gen
f
un
.
cc:
reorder terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
scarf
.
c
c: normal
i
ze_matrix
:
si
m
plify n==3 case so
m
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en
Verdo
o
l
a
ege
scarf
.
cc: support some cases of 4 co
n
stra
i
nts
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
barvinok_
e
numera
t
e_e: -
-
print-all for printing
all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoo
l
aege
sca
r
f
.
c
c
: normalize_matri
x
: s
i
mplify
n
==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scarf
.
cc: project out 2 variables using
S
carf complex
commit
|
commitdiff
|
tree
2006-07-08
S
v
en Verdoo
l
aege
util
.
c
: export Extend
e
d_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven V
e
rdoolae
g
e
conf
i
g
u
r
e
.
in:
make --enable-
f
racti
o
nal th
e
d
e
fault
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
erdoolaege
b
a
rvinok
_
count: ch
e
ck wheth
e
r
unbounde
d
poly
h
edra ac
t
ually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
olae
g
e
p
o
lymake/co
n
figure
.
in: allow specification of
l
oca
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Verdo
o
lae
g
e
r
educe_domain:
d
eclare
variab
l
e a
t
start of code block
.
commit
|
commitdiff
|
tree
2006-06-28
Sv
e
n
Verd
o
olaeg
e
remove_
e
quali
t
ies: stop removinf e
q
ualities if
i
n
put
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erdoolaege
barvinok_count
:
stop coun
t
i
ng if first
f
actor i
s
em
p
ty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvin
o
k_
c
ou
n
t_f:
check f
o
r
e
mptiness of P (aga
i
n)
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Verdoolaege
barvinok
_
cou
n
t: tell PolyLib we are only interest
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
doolaege
v
ers
i
on
0
.
21
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoola
e
g
e
R
E
ADME:
d
ocumen
t
optional installati
o
n
of Omega
and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: doc
u
men
t
Omega i
n
terface
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
d
oolaeg
e
doc: (m
i
nimal
l
y)
d
ocum
e
nt polymake clie
n
ts
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoola
e
ge
doc: further d
o
cument barvinok
_
ehrha
r
t
commit
|
commitdiff
|
tree
2006-06-22
S
ven
Verdoolaege
do
c
u
m
e
nt
b
a
rvino
k
_union
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolae
g
e
d
oc: document barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
doc
:
document some opt
i
on
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolae
g
e
doc: add reference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoola
e
ge
doc:
d
escribe
vertices base
d
input
specificat
i
on
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Ver
d
o
olaege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc:
a
dd
subsections
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
use "git describe" to describe version
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoolaeg
e
add d
o
c
to distribution
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n Verdoolaege
doc: warn that the output may
l
ook dif
f
erent
commit
|
commitdiff
|
tree
2006-06-21
S
ven
Verdoo
l
a
e
g
e
doc: barvino
k
_count no longe
r
p
e
rforms
m
anu
a
l co
u
nting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdool
a
ege
doc: replace "Appendix"
b
y
"S
e
ction"
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
doc
:
reflect re
n
ame of cdd2polylib
.
pl to
latte2pol
y
lib
.
p
l
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
r
e
s
olve undefin
e
d references
t
h
rough my the
s
is
commit
|
commitdiff
|
tree
2006-06-21
S
ven
Ve
r
do
o
l
aege
d
o
c:
ad
d
title page
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
d
oc: user guid
e
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoola
e
g
e
ren
a
me cdd2polylib
.
pl t
o
latte2polyli
b
.
pl
commit
|
commitdiff
|
tree
2006-06-19
S
v
en Verdoolaege
polymake/
h
_star_vector
.
cc: c
l
ient to
c
ompute th
e
h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sve
n
Ver
d
oolaege
polymake
/
co
n
vert
.
cc: extract polymake_constraints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
v
e
n Verdoolaege
u
ti
l
.
c: export Cone_over_Polyhed
r
on
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolae
g
e
barv
i
nok_ehrhart: co
m
pute ehrh
a
rt
(
quasi-)po
l
ynomia
l
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven V
e
r
doolaege
bar
v
i
n
o
k_count
:
allow polyt
o
pe t
o
be speci
f
ie
d
by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven Ver
d
oola
e
ge
gen
f
u
n
.
cc: fix
add_
u
nio
n
meth
o
d
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdool
a
ege
barvino
k
_u
n
i
o
n
:
o
p
ti
o
nally print
gen
e
rat
i
ng
function
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
doola
e
ge
bar
v
inok
_
count: handle infinite polyhedra with no integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verd
o
o
laege
barvinok_co
u
nt: stop
counting
i
f
o
n
e of the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolae
g
e
e
v
alue_frac2f
l
oor_in_domain
:
allow a
r
gument o
f
resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoo
l
aege
util
.
c: speci
f
ically indicate
empty set
s
in
P
o
l
yhedron_
p
print
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdo
o
laege
u
til
.
c: move align_matrix fr
o
m b
a
r
v
i
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoola
e
ge
mat_util
.
cc: some usefu
l
fun
c
ti
o
ns extracted from
genfun
.
c
c
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaege
ev
a
lue
.
c: export reduce_eva
l
ue_in
_
domain
commit
|
commitdiff
|
tree
2006-06-02
S
ven
V
e
r
doolaege
evalue
.
c: rename reduce_in_domain to evalue_r
a
n
ge_reduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
b
a
r
v
ino
k
.
cc
:
r
emove ancient deb
u
gging code
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalue
.
c: export eval
u
e
_
f
rac2floo
r
_in_
d
om
a
in
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdo
o
laege
gen_fun
:
:s
u
bstitute
:
ad
d
m
o
r
e detai
l
ed explana
t
ion
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
reduce_domain: handle NUL
L
CEq
commit
|
commitdiff
|
tree
2006-05-24
S
ven Verdoo
l
a
ege
barv
i
nok
.
c
c: move reduce_domain in
t
o sep
a
rate file
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
util
.
c: add Pol
y
hedron_ppr
i
nt
commit
|
commitdiff
|
tree
2006-05-18
Sven Verd
o
olaege
l
a
ttice_point
.
cc: lattice points computation extracted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
co
n
version
.
cc:
a
dd values
2
zz an
d
ra
y
s2
from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
e
v
al
u
e
.
c
: add evalue_zero
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoola
e
g
e
decompo
s
er: extract
ou
t
vertex_decomposer f
r
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Verdo
o
lae
g
e
bar
v
inok
.
cc
:
ex
t
rac
t
o
u
t
some fu
n
ctionality in
t
o decom
p
oser
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Verdo
o
laege
util
.
c: do
c
umen
t
Euclid function
commit
|
commitdiff
|
tree
next