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
S
ve
n
Ve
r
doolaege
barvi
n
ok
_
count:
simplify constrain
t
s
after removi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
redu
c
ed_
b
asis: s
u
ppo
r
t 1D po
l
y
t
opes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
olaege
reduced_ba
s
is: ens
u
r
e all LP solut
i
ons
are non-neg
a
tive
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Verdoolaege
occ:
print paramet
r
i
c
vertices of se
t
using
P
oly
L
ib
commit
|
commitdiff
|
tree
2006-08-01
S
ven
Verdo
o
lae
g
e
occ: a
d
d
in
t
erface to ba
r
vi
n
ok
_
lex
s
maller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaeg
e
util
.
c: pr
o
vide
d
u
mmy barvinok_le
x
s
mall
e
r_ev
when LexS
m
alle
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erdoolaege
4coins:
co
m
putes generating func
t
ion
f
o
r
4
coin Frobenius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
ool
a
ege
g
e
n_fun::H
a
damard_product: apply
p
a
ramet
e
r compre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdoolaege
gen_f
u
n::substitute
:
only p
a
s
s in t
r
ansformation
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoo
l
a
e
g
e
scarf
.
cc: s
u
p
po
r
t
more cases of 3
(
i
n
dependent)
constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olaege
scarf
.
cc: suppo
r
t
mo
r
e cases of 4 constrain
t
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
genfun
.
cc: add gen_fun::divide
m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdo
o
laege
g
e
nfu
n
.
cc: an
o
ther gen_fun
:
:summate method
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolae
g
e
infinite_icounter: an i
n
crement
a
l counter fo
r
possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolaege
icounte
r
: move from b
a
rvinok
.
c
c
to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
bfenumerator::set_factor: plug sma
l
l memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvinok_en
u
me
r
ate
_
unio
n
_series: use gen_f
u
n::summat
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolae
g
e
genfun
.
cc: add gen_fun::su
m
mate meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdo
o
laege
gen
_
fun::Hadam
a
r
d
_
product: opti
m
ize compu
t
a
t
i
o
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doo
l
ae
g
e
gen_fun:
:
Hadamard_product:
m
ake
f
i
rst argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
po
l
ar_decomposer::
d
eco
m
po
s
e: make sure ve
r
t
i
ces have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_base: add
d
o_vertex_cone method
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
g
en_fun:
:
print:
allow pr
i
ntin
g
to streams o
t
her
t
han
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
do
o
laege
bfc
o
un
t
er
.
cc:
move some more code from barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaeg
e
gen
_
fun
.
h: s
h
o
r
t_
r
at: use Q
Q
i
n
stead
of p
a
i
r of
Z
Zs
commit
|
commitdiff
|
tree
2006-07-26
S
ven V
e
r
d
oolaege
NTL_Q
Q
.
cc: a rational
N
TL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oola
e
ge
v
e
rify_ma
i
n
.
cc: small mem
o
ry clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
barvinok_series
:
move ch
o
ice of wh
i
c
h
g
f_base s
u
bclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
doo
l
a
e
ge
b
a
rv
i
nok
.
c
c:
m
ove some f
u
nctionalit
y
i
n
to
s
eparate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
ba
r
v
i
nok
.
cc
:
mo
v
e
P
olyhedron argument to start met
h
od
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ver
d
ool
a
ege
barvinok
.
cc: move start
and handl
e
_
p
olar in
t
o
n
p
_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoola
e
ge
g
en_fun: add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
gen_fun:
add copy constructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
a
e
ge
z
z2valu
e
s: make first argumen
t
const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2value:
m
ake first
argumen
t
const
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaeg
e
P
o
l
yhedron_is_infin
i
te
:
u
s
e Polyhedro
n
_Sample if
a
vaila
b
le
.
commit
|
commitdiff
|
tree
2006-07-20
Sven V
e
rdoolaege
polyhedron_sam
p
le: computes an integer vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
v
en Verdoolaege
c
onfigure
.
in: check
f
or gl
p
k
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
r
d
o
ola
e
g
e
s
carf
.
cc: simp
l
e
x::shrun
k
_pol
y
hedron: only proce
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoolaege
g
e
n_fun::add:
perform
trivial
r
educ
t
ion ste
p
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolaege
genfun
.
cc: reorde
r
terms in num
e
rator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verdoolaege
scarf
.
cc: no
r
m
a
l
i
z
e_matri
x
: sim
p
lify n==3 case som
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
e
n
Verdoolaege
sc
a
rf
.
cc:
s
upport so
m
e cases
o
f 4 co
n
s
t
raints
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaege
barvinok_
e
numerate_e: --print-al
l
for printi
n
g all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ver
d
oolae
g
e
scar
f
.
cc: normalize_m
a
trix: simpl
i
fy n==3
ca
s
e
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoolaege
scar
f
.
c
c
: pr
o
ject
out 2 variab
l
es u
s
ing S
c
arf comple
x
commit
|
commitdiff
|
tree
2006-07-08
S
v
en Verdoolaeg
e
ut
i
l
.
c: export Extended_Eucl
i
d
commit
|
commitdiff
|
tree
2006-07-05
S
ven Verdoolaeg
e
confi
g
ure
.
in: make
-
-enabl
e
-
fractional the default
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
ba
r
vinok_count: chec
k
whether unbounded polyhedra actu
a
lly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verd
o
ol
a
ege
polymak
e
/c
o
n
f
igure
.
in:
a
llo
w
sp
e
c
ification
of locat
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoola
e
ge
reduce_domain: declare variable at start
of cod
e
block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Ve
r
dool
a
ege
r
emov
e
_equal
i
t
i
e
s:
stop removinf
equalities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
b
arv
i
nok_count:
stop counting if firs
t
factor is empty
commit
|
commitdiff
|
tree
2006-06-28
S
ven
V
erdoola
e
ge
barvinok_count_f:
c
h
eck for e
m
pti
n
ess of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdool
a
ege
ba
r
vinok_c
o
unt:
t
ell PolyLib we are onl
y
i
n
terested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verd
o
olaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
README: document optional i
n
stallation
o
f
Omeg
a
and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Ve
r
dool
a
ege
doc: document Ome
g
a interface
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
doc: (minimally) document polymake clients
commit
|
commitdiff
|
tree
2006-06-22
S
ven Ve
r
d
oolaege
d
o
c: further
docu
m
e
n
t bar
v
i
nok_eh
r
hart
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoola
e
ge
docum
e
nt barvin
o
k_union
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n Verdool
a
e
g
e
doc: document barvinok_ehrhar
t
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: document
s
ome optio
n
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
l
a
eg
e
d
oc: add reference
f
or NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
d
o
c: d
e
scrib
e
vertices ba
s
e
d
inp
u
t
s
pecification
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoo
l
a
ege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Ve
r
doolae
g
e
doc: add subse
c
tions
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoo
l
aege
use "git describe" to
d
escribe v
e
r
s
ion
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
add doc to d
i
stributio
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
o
c: warn that the outpu
t
m
a
y look different
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
doc: barvi
n
ok_co
u
nt no longer perform
s
m
a
n
ual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaeg
e
doc: rep
l
ace "Appe
n
dix"
b
y
"Section
"
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
doc: re
f
lect re
n
ame
of cd
d
2p
o
lylib
.
pl to l
a
tte2
p
olylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n
Ver
d
oolaege
doc: resolve undefined references
t
h
r
ough
m
y thes
i
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
ool
a
ege
doc: add
title page
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: user gu
i
de
commit
|
commitdiff
|
tree
2006-06-21
S
v
en V
e
r
dool
a
ege
rename
cdd
2
po
l
ylib
.
pl to lat
t
e2
p
olyl
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-19
S
v
en Ver
d
o
olaege
p
o
lymake/h_star_vector
.
c
c: client
t
o com
p
ute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verd
o
olaege
polymake/
c
on
v
ert
.
cc: ex
t
ract polymak
e
_constraint
s
2polyli
b
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdool
a
ege
u
t
il
.
c
:
ex
p
ort C
o
ne_ove
r
_
Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
barvinok_ehrhart: compute e
h
rh
a
rt
(quasi-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sve
n
V
e
r
doolae
g
e
barvinok_
c
o
un
t
: allow polytope to be specifie
d
by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaege
g
e
nfun
.
cc
:
fix add_union method
commit
|
commitdiff
|
tree
2006-06-13
Sven Verdoolaege
barv
i
nok_union: optionally
p
rint generati
n
g
f
unction
commit
|
commitdiff
|
tree
2006-06-02
Sven Verd
o
olaege
barvino
k
_count
:
handle infinite po
l
yhedra with no
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
e
n Verdool
a
ege
barvinok_count: sto
p
cou
n
t
in
g
if
one of the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven
Verdoolaege
evalue_frac2floor_in_dom
a
in
:
al
l
ow argum
e
n
t
of
r
es
u
lting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
util
.
c: spe
c
ifica
l
ly indicate emp
t
y sets in
P
ol
y
hedron_ppr
i
nt
commit
|
commitdiff
|
tree
2006-06-02
S
ven
Verdo
o
laege
util
.
c: move align
_
matrix from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdoolaege
mat_util
.
cc: some us
e
ful functions extracted
from genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
d
o
olaege
ev
a
lue
.
c:
e
xpor
t
re
d
uce
_
evalu
e
_
in_doma
i
n
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolae
g
e
e
v
alue
.
c: rena
m
e reduce_
i
n_domain to
evalue_range_reduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verd
o
olaege
barvinok
.
c
c
:
remo
v
e
a
n
c
ient debu
g
ging
c
o
d
e
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalue
.
c: ex
p
o
r
t eva
l
ue_
f
rac2floor_in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n
Verdoola
e
ge
gen_fun::s
u
bstitute
:
a
d
d more detailed e
x
plana
t
i
o
n
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
redu
c
e_doma
i
n
: hand
l
e NUL
L
CEq
commit
|
commitdiff
|
tree
2006-05-24
Sve
n
Verdoolaege
b
a
rvino
k
.
cc: move redu
c
e_domain
i
n
to separate
file
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaeg
e
util
.
c
:
add Polyhed
r
o
n
_ppr
i
nt
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
l
a
ttice_point
.
cc: latt
i
ce points computation ext
r
acted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoo
l
aege
conversion
.
c
c
:
add valu
e
s2z
z
an
d
rays2 from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
next