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
lexmin.cc: remove_equalities; take preimage with returned matrix
2006-08-09
Sven Verdoolaege
lexmin
.
cc:
r
e
m
ove_equalities; t
a
ke p
r
eima
g
e
w
ith
r
et
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdool
a
ege
lexmi
n
.
cc
:
remove_equalities: extend returned
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoola
e
g
e
l
e
xmin
.
cc: in_domain: fix typo
commit
|
commitdiff
|
tree
2006-08-09
Sv
e
n Verdoolaege
lexmin
.
cc: rem
o
ve some
d
ebugging
r
esi
d
ues
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doolaege
reduce_domain: compu
t
e conve
x
union of dom
a
i
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verd
o
olaege
lexmin
.
cc
:
in_domain
:
als
o
check other parts
o
f
u
ni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdo
o
laege
lexmin: in_domain: set
value
s
i
f constraint
s
don't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ve
r
doola
e
g
e
lexm
i
n: plug some memory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
lex
m
in: an experime
n
tal tool f
o
r
comput
i
ng the para
m
et
r
ic
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoola
e
ge
add fdstre
a
m
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdool
a
eg
e
eval
u
e
.
c: floor2
f
rac_r: plug memory leak
commit
|
commitdiff
|
tree
2006-08-08
S
ven Verdoolaege
b
arvinok
.
cc: unfringe: work incremen
t
a
l
ly
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaege
ev
a
lu
e
_frac2fl
o
or_in_domain: plug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
Polyhedron_Sample: allow equali
t
ies in input pol
y
hedra
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verdoolaege
Pol
y
hedron
_
S
ample:
m
a
ke sur
e
v
e
rtices are av
a
ilable
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaege
Polyhe
d
ron_Sample
:
simplify constrain
t
s after c
h
oosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verd
o
ola
e
ge
Po
l
yhedron_
S
ample: handl
e
empty and 0D polyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
sample
.
c: alter
n
ati
v
e implementation of re
m
ove_ra
y
commit
|
commitdiff
|
tree
2006-08-03
S
v
e
n Verdo
o
l
ae
g
e
sample
.
c: Polyhedr
o
n_RemoveFixedCo
l
umns: handle p
r
e
s
en
c
e
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven V
e
rdoolaege
b
ar
v
inok
_
coun
t
_
f
: check whether polyh
e
dron is un
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
aege
barvinok_count: simplify con
s
traints after
r
emoving
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sve
n
Verdoola
e
ge
reduced_b
a
sis: s
u
pport 1D po
l
ytopes
commit
|
commitdiff
|
tree
2006-08-03
Sv
e
n Verdoolaege
reduced
_
basis: ens
u
re all LP solutions are
non
-
negative
commit
|
commitdiff
|
tree
2006-08-02
S
v
en Ver
d
oolaege
occ: pr
i
nt p
a
ram
e
tric ver
t
ices of set us
i
ng PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
occ: add
inter
f
ace
t
o barvinok_le
x
smaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoo
l
aeg
e
util
.
c: provide dumm
y
barv
i
nok
_
lexsmaller_ev when
LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ve
r
doolaege
4
c
oins:
c
o
mputes genera
t
ing funct
i
on for 4 c
o
in Frobeni
u
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ve
n
Verd
o
olaege
gen_fun::H
a
dama
r
d_product: ap
p
ly parameter
c
ompression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven
Verdo
o
l
a
ege
gen_fu
n
::substitu
t
e
:
only pass in transformation
matri
x
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Ver
d
o
o
laege
sca
r
f
.
c
c: sup
p
ort
m
o
r
e
cases of 3 (indep
e
n
dent)
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolae
g
e
scarf
.
cc
:
su
p
p
ort more cases o
f
4 constra
i
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfu
n
.
cc: add gen_fun::d
i
vide method
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
o
olaege
genfun
.
cc
:
anothe
r
ge
n
_fun
:
:summate
method
commit
|
commitdiff
|
tree
2006-07-27
S
ven Verdoolaege
in
f
in
i
t
e_icou
n
ter: an incrementa
l
co
u
n
t
er for po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
icou
n
ter: move
from
bar
v
inok
.
cc to reducer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfenumerat
o
r::se
t
_facto
r
: plug small memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
barvi
n
o
k
_enumerate_union_series:
use gen_fun::su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
nfun
.
cc:
a
dd gen_fun::
s
um
m
ate method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
gen_fun::H
a
damard_produ
c
t: optimize computa
t
i
on of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
g
en_fun:
:
H
a
da
m
ard_product:
make firs
t
arg
u
ment
const
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoo
l
aege
pol
a
r_d
e
c
o
m
poser::decompose: ma
k
e sure
v
erti
c
es hav
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
dool
a
ege
np_base: add do_vertex_cone meth
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
gen_fun::print: a
l
l
o
w
p
r
int
i
ng to str
e
ams other tha
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
bfcounter
.
c
c: mov
e
some mo
r
e code
from barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaeg
e
gen_fu
n
.
h
:
short_rat
:
use
Q
Q instead of
p
a
ir of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdo
o
la
e
g
e
NTL_QQ
.
cc: a r
a
tional NTL type
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
verify_main
.
cc: small memory cl
e
an-
u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
barvinok_se
r
ies: move choic
e
of which gf_base su
b
clas
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Ver
d
oolaeg
e
ba
r
vin
o
k
.
cc: m
o
ve s
o
m
e funct
i
onali
t
y
i
nto separate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
e
rdoolae
g
e
barvinok
.
cc: move P
o
l
y
hedro
n
argu
m
ent to
s
tar
t
meth
o
d
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
barvinok
.
cc: mov
e
start
and han
d
l
e
_pol
a
r into
n
p_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
gen_f
u
n: add shift me
t
h
o
d
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
gen_f
u
n
:
add copy con
s
truc
t
or
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n Verdoola
e
ge
z
z2val
u
es: mak
e
first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdo
o
l
a
ege
zz2value: make first argum
e
nt con
s
t
commit
|
commitdiff
|
tree
2006-07-20
Sven V
e
rdoolaeg
e
Po
l
y
h
ed
r
on_is_infinit
e
:
u
se Polyh
e
d
ron_Sample
if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
polyhe
d
ron
_
sa
m
ple: co
m
putes an
integ
e
r vect
o
r in
a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sv
e
n
Verdoo
l
a
e
ge
c
o
nf
i
gure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
rd
o
olaege
scar
f
.
cc: s
i
mpl
e
x::shrunk_polyhedron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fun::
a
dd: perform trivial re
d
uction step
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verdoo
l
aege
genfun
.
cc: reo
r
der terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n
V
erdoolaege
scarf
.
cc: norm
a
l
i
z
e_matrix
:
simplify n=
=
3
case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: su
p
port som
e
cas
e
s of 4 constraints
commit
|
commitdiff
|
tree
2006-07-13
S
ve
n
Verdo
o
laege
ba
r
vinok_enumerate_e:
--print-all fo
r
printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n V
e
rdoolae
g
e
scarf
.
c
c: no
r
malize_matrix: simplify n==3 case
commit
|
commitdiff
|
tree
2006-07-10
Sven Verdoo
l
a
e
ge
scarf
.
cc: pr
o
ject o
u
t 2 variables usi
n
g S
c
a
r
f complex
commit
|
commitdiff
|
tree
2006-07-08
Sven Verdoola
e
ge
util
.
c: ex
p
o
rt
Extended_E
u
cli
d
commit
|
commitdiff
|
tree
2006-07-05
Sven V
e
rdoolaege
configure
.
in:
make -
-
enable-fractiona
l
the defa
u
lt
commit
|
commitdiff
|
tree
2006-06-29
Sven Verd
o
o
laege
barvinok_count: c
h
e
ck whether unbo
u
n
d
ed polyhedra
a
ctu
a
lly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Verd
o
olaege
polymake/con
f
igure
.
in
:
allow specification
o
f lo
c
ation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoo
l
aege
reduce_do
m
ain: decla
r
e
v
ar
i
a
b
le at
s
tart
o
f code block
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdo
o
l
a
eg
e
r
emove
_
equalities: stop removi
n
f
e
qualities
i
f input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sve
n
Verdoo
l
a
e
ge
b
arvinok_co
u
nt
:
sto
p
counting if first factor i
s
empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
b
a
rvinok_count
_
f: check
f
or emptine
s
s of P (again
)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvi
n
ok_count:
t
ell PolyL
i
b
w
e are only inter
e
st
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
version 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdool
a
ege
README: docume
n
t opti
o
nal installa
t
i
o
n
o
f
Omeg
a
a
nd
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoolaege
do
c
:
docum
e
nt Omega in
t
erface
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolaege
doc: (mi
n
imal
l
y)
d
ocument polymake clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc: furth
e
r document barvino
k
_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoola
e
ge
docum
e
n
t barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolaege
doc: doc
u
ment barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: docume
n
t some options
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
doc: add reference for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: describe v
e
rtices b
a
sed inpu
t
spec
i
ficati
o
n
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolae
g
e
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
d
o
c
:
ad
d
subsecti
o
ns
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaeg
e
u
s
e "git describe" to d
e
scri
b
e
ver
s
ion
commit
|
commitdiff
|
tree
2006-06-21
S
v
en V
e
rdoolaege
add doc to distribution
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoo
l
aege
d
o
c
: warn th
a
t the output may look diffe
r
ent
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaeg
e
doc: barv
i
n
ok_count no
l
o
n
ger
p
erforms manua
l
counti
n
g
.
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
doc: replace "
A
ppend
i
x" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
doc: refle
c
t rename of
cdd2p
o
lyl
i
b
.
pl to l
a
tte2polyl
i
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
do
c
:
r
esol
v
e und
e
fin
e
d referen
c
es through my thesis
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Ver
d
oolaeg
e
doc: a
d
d title page
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n
Verdoola
e
ge
doc
:
u
s
e
r
g
u
id
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
re
n
ame cd
d
2polylib
.
p
l
to
latte2polylib
.
p
l
commit
|
commitdiff
|
tree
2006-06-19
Sven Verdoo
l
aege
polym
a
k
e
/h
_
star_vecto
r
.
cc
:
c
l
ient to compute the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven
V
erdoolaege
p
o
lymake/
c
o
nve
r
t
.
cc: extract polyma
k
e_constra
i
n
ts
2
polyli
b
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaeg
e
u
t
il
.
c: export Co
n
e_
o
ver_Polyhe
d
ro
n
commit
|
commitdiff
|
tree
next