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::Hadamard_product: apply parameter compression if needed
2006-07-28
Sven Ve
r
doo
l
aege
gen_fun:
:
H
a
d
amard_product:
apply par
a
met
e
r compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
gen_fun::substitute: only
pa
s
s in transfor
m
ation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolae
g
e
sc
a
rf
.
cc:
s
u
pport more c
a
se
s
of 3 (ind
e
pe
n
dent)
c
onstraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
scarf
.
cc: su
p
port m
o
re
c
ases of
4 constraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ve
r
doolaege
genfun
.
cc: add gen_fun::divide method
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdo
o
laege
g
e
nfu
n
.
cc: another gen_fun:
:
summat
e
method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoola
e
ge
i
nfinit
e
_icounter: an incrementa
l
c
ou
n
ter fo
r
possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven
Verdoolaege
i
c
ounter:
m
ove from barvinok
.
c
c to
r
e
d
uc
e
r
.
cc
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verd
o
o
laege
bfenum
e
ra
t
or::se
t
_
f
a
ctor: plug
s
mall memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolae
g
e
barvin
o
k_enumerate
_
union_ser
i
e
s: use gen_fun::s
u
m
m
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoo
l
aege
genfun
.
cc:
a
dd ge
n
_
f
u
n
::summate method
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
rdo
o
la
e
ge
gen_fun::Ha
d
amard_p
r
o
d
uct: optimiz
e
com
p
u
t
a
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
gen
_
f
un::
H
adamard_produ
c
t: make f
i
r
s
t a
r
g
ument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
polar_decomposer::dec
o
mpose: make sur
e
vertices hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolae
g
e
np_ba
s
e: add do_vertex_cone
method
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
Verdoola
e
ge
gen_fun::prin
t
: allow prin
t
ing to
s
trea
m
s other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoo
l
a
e
ge
bf
c
o
u
nter
.
cc: mov
e
s
ome more co
d
e from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
ge
n
_
fu
n
.
h: shor
t
_rat: use Q
Q
instead of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
NTL_Q
Q
.
cc: a rational N
T
L type
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Ver
d
oola
e
ge
verif
y
_main
.
cc: small
memo
r
y
clean
-
up
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verd
o
olaege
bar
v
i
no
k
_
s
eries: move choi
c
e of whi
c
h gf
_
base s
u
bclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaeg
e
b
a
rvinok
.
cc: move so
m
e
functionality
into separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
r
d
oolaeg
e
barvinok
.
cc:
m
o
v
e
Polyhe
d
ron argument t
o
start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
l
aege
barvinok
.
cc: mov
e
start
and han
d
le_
p
olar
i
n
to np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoo
l
a
ege
gen_fun: add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun
:
add co
p
y
constructo
r
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2
v
alues:
m
ake first arg
u
ment const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value: make first argument
c
o
nst
commit
|
commitdiff
|
tree
2006-07-20
Sven Ve
r
do
o
lae
g
e
Polyhedron_is
_
i
n
f
i
nite
:
use P
o
lyhedron_S
a
mple
i
f a
v
ailable
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Ver
d
oo
l
aege
polyhedron_sample:
c
o
mput
e
s
an integer vect
o
r
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven Verdoolaege
configure
.
in: che
c
k
for
g
lpk
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
scarf
.
cc
:
s
implex:
:
s
h
runk_p
o
lyh
e
dron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven V
e
rdoolae
g
e
gen_fu
n
:
:add: perf
o
rm trivial reduct
i
on step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolae
g
e
gen
f
un
.
cc: reorder terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
e
rdoolae
g
e
scarf
.
cc: normalize_ma
t
rix:
simplify n==3
case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rdo
o
laege
sca
r
f
.
c
c
:
support
some c
a
s
es of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
Sven
Verdoolae
g
e
b
a
rvinok_enumerate_e: --prin
t
-a
l
l fo
r
p
rinting all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoo
l
aege
scarf
.
cc: normali
z
e_matrix: s
i
m
p
lify n==3 c
a
se
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdo
o
l
aege
scarf
.
cc: project out 2 variables using Scarf compl
e
x
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoolaege
ut
i
l
.
c: export
E
xtend
e
d_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Verdo
o
laege
configure
.
in: ma
k
e --en
a
ble-fra
c
tional the default
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verdoo
l
ae
g
e
barvinok_c
o
unt: check
wh
e
ther
u
nbo
u
n
ded
p
olyhedra actua
l
ly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
polymake/configure
.
in: allow speci
f
i
cat
i
o
n of locat
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
reduce_
d
omain: declare v
a
riab
l
e at
s
t
a
rt of c
o
de bl
o
ck
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
do
o
laege
r
emove_equ
a
lities: st
o
p removinf eq
u
a
lities if i
n
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Ver
d
oola
e
g
e
barvinok
_
count: stop counting if first factor
i
s em
p
ty
commit
|
commitdiff
|
tree
2006-06-28
Sven
V
erd
o
olaege
ba
r
vino
k
_count_f: ch
e
ck for empt
i
ness of
P
(
a
gain)
commit
|
commitdiff
|
tree
2006-06-28
Sven Ver
d
oolaege
barvi
n
ok_count: t
e
ll PolyLib
we are onl
y
inter
e
sted
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolaege
v
e
rsion 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
README: documen
t
optional i
n
stallatio
n
of Omega
and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
Ve
r
doolaege
d
o
c: docu
m
ent Omega in
t
e
rface
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoola
e
ge
doc: (minima
l
ly) document polymake clients
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
doc: further d
o
cum
e
nt ba
r
vinok_eh
r
ha
r
t
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdoolaege
document barv
i
nok_union
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
V
e
r
doolaeg
e
doc: doc
u
ment barvino
k
_eh
r
hart
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
doc
:
document some options
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
d
oc: add reference
for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: describe vertices based in
p
ut specification
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
d
o
c: ty
p
o
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
doc
:
add
sub
s
ections
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolaeg
e
us
e
"
git describe" to d
e
scrib
e
v
ersion
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Ve
r
doolaege
add doc
t
o
dis
t
ri
b
ution
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
r
d
o
ol
a
ege
doc:
w
arn that the
output may look different
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolae
g
e
doc: barvinok_count no longer per
f
orms
manual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdool
a
ege
doc: repla
c
e
"Appendix"
b
y
"
S
e
c
t
ion"
commit
|
commitdiff
|
tree
2006-06-21
S
ve
n
Verd
o
o
l
aege
doc: r
e
f
lect r
e
n
a
me o
f
cdd2po
l
y
li
b
.
pl t
o
latte2pol
y
lib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
S
ven
Verdoolaege
d
o
c
:
resolve u
n
defined ref
e
renc
e
s
throug
h
my
t
hesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
d
oc: add titl
e
page
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Ve
r
do
o
laege
doc: use
r
guide
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdo
o
laege
re
n
ame cdd2polylib
.
pl to latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sven V
e
rdoolaege
polymak
e
/h_star_vector
.
c
c: client
t
o
compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n Verdoolaege
polymake/
c
onvert
.
cc:
e
xtract pol
y
make_constrai
n
ts2poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
uti
l
.
c
:
export Con
e
_
over_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdool
a
e
g
e
barvinok_ehrhart:
c
ompute
ehrhart (quasi-)poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Ver
d
oolaege
barvinok_co
u
nt: al
l
ow polytope to be spec
i
fied by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
barv
i
nok_cou
n
t
: handle infi
n
i
t
e polyhedra with no int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verd
o
olaege
barvino
k
_co
u
nt
:
stop countin
g
if on
e
of the facto
r
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
e
n
Verd
o
olae
g
e
evalue_frac
2
floor
_
in
_
domain:
allo
w
argument of resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
doolaege
util
.
c: specific
a
l
l
y in
d
icate
empty sets in Polyhedro
n
_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
e
r
doola
e
g
e
ut
i
l
.
c:
m
ove align_matrix from barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdo
o
laege
mat_util
.
cc:
s
ome us
e
ful functions
e
xtracted from genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolae
g
e
e
v
alue
.
c: export
r
educe_
e
value_i
n
_dom
a
in
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verd
o
olaege
eva
l
ue
.
c: rename
r
educe_in_domain to eval
u
e_
r
ang
e
_red
u
ct
i
on_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdoolaeg
e
b
a
rvinok
.
cc: remove ancient debugging code
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verd
o
olaege
evalue
.
c
:
export evalue_f
r
ac2floor
_
i
n
_
domain
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
e
r
d
o
o
l
aege
g
e
n_fun::substitute:
a
dd m
o
re d
e
tailed ex
p
l
a
nation
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n Verdoolaeg
e
reduce
_
domain
:
handle NUL
L
CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
e
rdoolae
g
e
b
a
r
vinok
.
c
c
: m
o
ve reduce_do
m
ain into sep
a
rate file
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdool
a
ege
util
.
c:
a
dd Polyh
e
dr
o
n_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven Ve
r
doolaege
lattice_point
.
cc:
l
attice points comp
u
tation extr
a
cted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven V
e
r
d
oolaege
conversion
.
cc:
add values
2
z
z
and ray
s
2 from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolae
g
e
evalue
.
c: add eval
u
e_zero
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdool
a
e
ge
decompo
s
er: extract out ve
r
t
ex_decompose
r
f
rom
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolae
g
e
barvinok
.
cc
:
extr
a
ct out some functi
o
nality into dec
o
m
p
oser
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven
V
erdoolaege
u
ti
l
.
c: do
c
ument Euclid
functi
o
n
commit
|
commitdiff
|
tree
2006-05-10
Sve
n
Verdoolaege
occ
:
plug
s
o
m
e more (po
t
e
n
t
i
al) memory leak
s
commit
|
commitdiff
|
tree
2006-05-10
S
ven Verdoolaege
oc
c
:
don't
u
se freed
v
ari
a
ble in error message
commit
|
commitdiff
|
tree
2006-04-10
Sven V
e
rdool
a
eg
e
ba
r
vi
n
o
k
.
cc: a
d
d some
d
ocu
m
entat
i
on to lattice poi
n
t
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaeg
e
barvinok_enu
m
er
a
t
e
_
u
nion:
call gen_fun
:
:
a
d
d
_union
commit
|
commitdiff
|
tree
2006-04-05
Sven Verd
o
o
l
a
e
g
e
g
e
n
_fun: add add_union method
commit
|
commitdiff
|
tree
next