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: add constructor for generating function with no variables
2006-08-10
Sven Verdoolaege
gen_fun
:
ad
d
constructor for g
e
nerating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Ve
r
doolaege
barvin
o
k
.
cc: remove_more_equalities: h
a
nd
l
e equal
i
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n Verd
o
olae
g
e
g
e
n_fun::coe
f
f
i
cient: reset th
e
n
u
mber of rows in th
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Ve
r
dool
a
ege
lexmin
.
cc: use remove_equa
l
i
t
ies consistent
l
y
commit
|
commitdiff
|
tree
2006-08-10
Sven Verd
o
o
l
aege
util
.
c
:
compr
e
ss_
v
ariabl
e
s: extr
a
c
ted from lexmin
.
c
c
commit
|
commitdiff
|
tree
2006-08-09
S
ven
V
erdo
o
laege
l
e
xmin: do
n
't check
a
n
ything if given rang
e
lies outsi
d
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lexmin
.
cc: re
m
ove_equa
l
ities; ta
k
e preimage with ret
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
l
exmin
.
cc: remov
e
_eq
u
ali
t
ies: ext
e
nd ret
u
r
n
e
d mat
r
ix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
g
e
lexmin
.
cc: in_domain: fix ty
p
o
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
cc:
r
emove so
m
e debugging
r
esidu
e
s
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
reduce_d
o
main: compute
co
n
v
ex union of domain
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmin
.
cc: in_dom
a
i
n:
a
ls
o
check other parts
of
u
nion
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n
V
e
rd
o
olaege
l
exmin
:
in_d
o
main
:
set values if con
s
traints don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolae
g
e
lex
m
in: plug some
m
emor
y
leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Ver
d
oolaege
lexmin: an experimental tool fo
r
computing
the
parametr
i
c
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaeg
e
a
dd
f
d
s
tream
commit
|
commitdiff
|
tree
2006-08-08
S
v
e
n Ver
d
oolaege
evalue
.
c: floo
r
2frac_
r
: plug
m
emory le
a
k
commit
|
commitdiff
|
tree
2006-08-08
Sven
Verdoo
l
aege
barvinok
.
cc: unfringe: work incre
m
e
n
tally
commit
|
commitdiff
|
tree
2006-08-06
Sv
e
n Verd
o
olaege
evalue_frac
2
floor_in_d
o
main: plug memor
y
leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhedr
o
n
_
S
ample: all
o
w e
q
ualit
i
es in input polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
lae
g
e
Polyhe
d
ron
_
S
amp
l
e:
m
a
k
e
s
ure ver
t
ices are avai
l
abl
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
ven Verdoolaege
Polyhedron_Sample:
s
im
p
li
f
y constraints after cho
o
sing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhed
r
on_Sa
m
ple
:
handle
e
m
pty and 0D polyhed
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
sa
m
ple
.
c:
a
lternative im
p
l
ementation of remove_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
sample
.
c: Polyhedron_RemoveFixedColumns
:
han
d
le presence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
barvinok_count_f: ch
e
c
k
whether polyhedron
i
s
unbounde
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n
V
erdoolaege
barvin
o
k_co
u
nt:
simplify constraints after removi
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
reduced_
b
as
i
s: support 1D pol
y
t
o
pe
s
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
ola
e
g
e
reduce
d
_basis:
ensure all LP solutions are non
-
negative
commit
|
commitdiff
|
tree
2006-08-02
Sven Verdoo
l
aege
occ: print paramet
r
ic vertices of set using
P
o
lyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
Verdoolaege
occ: add
i
nte
r
f
a
ce to bar
v
inok_lexsmall
e
r_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
util
.
c: provide dummy barvinok_lexsmaller_e
v
when LexSmalle
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
V
erd
o
ol
a
ege
4
c
oins:
computes generati
n
g
function for 4 co
i
n Fro
b
enius
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoolaege
ge
n
_
fu
n
::
H
adamard_pr
o
d
u
ct: appl
y
para
m
e
ter c
o
m
p
r
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::
s
ubstitute: on
l
y p
a
ss in transformation matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Ver
d
oolaege
s
c
arf
.
cc:
suppo
r
t more case
s
of 3 (independent)
c
onstraints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
s
ca
r
f
.
c
c
:
supp
o
rt more cases of 4 c
o
ns
t
raint
s
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
g
enf
u
n
.
cc: add gen_fu
n
::di
v
ide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoo
l
aege
genfun
.
cc: anothe
r
gen_fun::
s
u
m
mate meth
o
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olaege
i
nfinite_i
c
ounter: an i
n
cremental c
o
unter for possibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verd
o
olae
g
e
ico
u
nter: move
f
rom
b
a
rvi
n
ok
.
cc to redu
c
er
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfenumer
a
tor::s
e
t_facto
r
:
plug
small memo
r
y leak
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
barvi
n
ok_enumer
a
t
e
_
union_s
e
ri
e
s
:
use ge
n
_fun::summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
genfun
.
cc: add gen_fun::summ
a
te method
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolae
g
e
gen_f
u
n::Hadamard_
p
rod
u
ct: optimize computation of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n_fun::Ha
d
amar
d
_product: ma
k
e f
i
rst arg
u
m
ent co
n
st
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
er
d
o
olaege
p
ola
r
_decompos
e
r::dec
o
mp
o
se:
m
ake sur
e
vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdoolaege
np_base: add
do_vertex
_
c
one
meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolae
g
e
ge
n
_fun::print
:
allow
p
r
inting t
o
stre
a
ms other
than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bf
c
ounter
.
cc: move som
e
mor
e
code
f
rom b
a
rvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
gen_fu
n
.
h: sho
r
t_rat: use QQ
i
nstea
d
of pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
S
ven
V
erdo
o
laeg
e
N
T
L_QQ
.
cc: a rational NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
v
e
rify_main
.
cc: small memory clean-up
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_ser
i
e
s:
move c
h
oice of which
g
f
_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
laege
b
a
rvino
k
.
c
c: mov
e
some functio
n
ality
i
nto separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
b
a
rvin
o
k
.
cc: move Polyhedron argume
n
t to s
t
art
m
ethod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erd
o
olaege
barvinok
.
c
c
: move s
t
art and handle_polar into np_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
g
en_fun: add shift method
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
gen_fun: add copy const
r
uctor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
zz2
v
alues:
make firs
t
argumen
t
const
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
zz2v
a
l
ue: mak
e
first
a
rgu
m
en
t
const
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n Verdoolae
g
e
P
olyhedron_is_i
n
fi
n
ite: use
P
o
l
yhe
d
ro
n
_Sam
p
le i
f
available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdool
a
ege
po
l
yh
e
dro
n
_sample:
c
o
m
putes a
n
integer vector
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
V
erdoola
e
ge
config
u
re
.
in: check
for
g
lpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
carf
.
cc:
simplex::shrunk_pol
y
hedro
n
: only proc
e
ss
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun:
:
add: p
e
rfo
r
m triv
i
a
l reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
d
oo
l
ae
g
e
genfun
.
cc: reorder terms in
n
umerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
c
ar
f
.
c
c
:
normalize_m
a
t
ri
x
: simplif
y
n==3 ca
s
e som
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
ven Ver
d
oolaege
s
carf
.
cc: sup
p
ort some c
a
s
e
s of
4 co
n
straints
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
b
arvi
n
ok_enume
r
ate_e: --print
-
all for printin
g
a
ll
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc:
n
orm
a
lize_matrix: s
i
mplify
n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven
V
e
r
doolaege
scarf
.
cc: project out 2 varia
b
l
e
s u
s
i
n
g Scarf
c
om
p
lex
commit
|
commitdiff
|
tree
2006-07-08
Sven Ve
r
d
oolaege
util
.
c: export Ext
e
n
d
ed_Euclid
commit
|
commitdiff
|
tree
2006-07-05
S
ven
V
e
r
doolaege
confi
g
ure
.
in: make --enab
l
e-
f
ractiona
l
the default
commit
|
commitdiff
|
tree
2006-06-29
Sven
V
erdool
a
ege
barvin
o
k_
c
ount: check whether unbounded polyhedr
a
actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Ver
d
o
o
laege
polymake/c
o
n
f
igur
e
.
in: allo
w
specifi
c
at
i
on of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven V
e
r
doolaege
reduce_
d
o
m
ain: declare variable
at start of
code bloc
k
.
commit
|
commitdiff
|
tree
2006-06-28
S
ven Ve
r
do
o
laege
remove_equalit
i
es: stop removinf equalities if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvin
o
k_count:
s
top counting if fi
r
st
f
actor is empty
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Verdoolaege
barvino
k
_count_
f
: c
h
eck for emptiness of P
(
again
)
commit
|
commitdiff
|
tree
2006-06-28
S
ven
V
er
d
oolaege
b
a
rvinok_count
:
t
e
ll
P
ol
y
L
ib we are only
i
n
t
erest
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
V
e
rd
o
olaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
README: do
c
ument
o
p
t
ion
a
l i
n
stal
l
at
i
on of
O
mega an
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
rdoolaege
d
o
c: d
o
c
u
ment Omega
i
nterface
commit
|
commitdiff
|
tree
2006-06-22
Sven
Verdoolaege
doc: (mi
n
imally) docum
e
nt
polymake
c
lients
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
doc
:
further document
b
arvino
k
_ehr
h
a
r
t
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n Ver
d
o
ol
a
e
ge
d
o
cum
e
nt barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
doc: do
c
um
e
nt barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
S
v
en V
e
rdoolaege
doc: document some op
t
ions
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rd
o
olaege
doc: add reference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
doc: describe verti
c
es
b
ased input speci
f
ic
a
t
i
on
commit
|
commitdiff
|
tree
2006-06-21
S
v
en
V
erdoolaege
doc
:
typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: add subse
c
tions
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
o
la
e
ge
use "
g
it des
c
ribe" to describe version
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
ad
d
doc to di
s
tribu
t
ion
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: w
a
rn th
a
t the o
u
tput may look different
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
e
g
e
doc: barvinok_count no
l
onger
p
e
r
forms manual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoo
l
aeg
e
doc: repl
a
ce "Append
i
x" b
y
"Section
"
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolae
g
e
doc: reflect rename of c
d
d
2
poly
l
ib
.
pl to latte2polyli
b
.
p
l
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
doc: resolve undef
i
n
e
d r
e
fer
e
nces through my
t
hesis
commit
|
commitdiff
|
tree
next