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
reduced_basis: support 1D polytopes
2006-08-03
Sven Verd
o
olaege
red
u
ced
_
basis: supp
o
rt 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolaeg
e
r
educ
e
d_ba
s
is: ensur
e
all LP solutions are
non-n
e
gativ
e
commit
|
commitdiff
|
tree
2006-08-02
Sve
n
Ver
d
oolae
g
e
occ: print parametric vertices of set using PolyLib
commit
|
commitdiff
|
tree
2006-08-01
Sven
Verdoo
l
aege
occ: add interface to barvinok_le
x
smaller_ev
commit
|
commitdiff
|
tree
2006-08-01
S
v
en Verdoolae
g
e
ut
i
l
.
c:
p
rovi
d
e dum
m
y barvinok
_
l
e
xsmaller_ev wh
e
n LexS
m
a
ll
e
r
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rd
o
olaege
4coins: co
m
putes
g
e
n
er
a
ting
f
unction for 4 coi
n
Frobeni
u
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n
V
erdoolaege
gen_fun::Hadamard_pro
d
u
c
t: apply pa
r
ame
t
er compression
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven V
e
rdoolaege
gen
_
fun:
:
subs
t
itute: only pass in
transf
o
r
m
a
t
ion matrix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sv
e
n Verdoolae
g
e
scarf
.
cc: suppor
t
more cases
o
f 3 (i
n
de
p
endent) c
o
n
straints
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
scarf
.
cc: supp
o
rt m
o
re cases of
4 constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
S
v
en Verdoolae
g
e
genfun
.
cc: add gen_fun::divi
d
e metho
d
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaeg
e
genfun
.
cc: a
n
other gen_f
u
n:
:
s
umm
a
t
e
m
e
thod
commit
|
commitdiff
|
tree
2006-07-27
Sv
e
n Verdoolaeg
e
inf
i
nite_icounter: an incremental cou
n
t
e
r for p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdo
o
laege
icou
n
ter
:
m
ove
f
rom barv
i
nok
.
cc to
red
u
cer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
fen
u
merat
o
r::se
t
_fac
t
or: plug
small memory
l
ea
k
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdo
o
l
aege
barvinok_enu
m
erate_
u
nion_
s
er
i
es: use
gen_fun:
:
summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
genfun
.
cc:
add gen_fun::sum
m
ate method
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
e
n_fun
:
:Hadamard_pro
d
uct
:
optimiz
e
comput
a
tion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolae
g
e
g
e
n
_
fun::Hadam
a
r
d_product: make fi
r
st argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven Ve
r
doolaege
po
l
ar
_
decomposer::decompos
e
: make sure vertices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
g
e
np_base: add do_ver
t
ex_cone met
h
od
commit
|
commitdiff
|
tree
2006-07-26
S
v
en
V
erdoola
e
ge
g
e
n_fun::prin
t
: allow print
i
ng to streams other than
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolae
g
e
bfcounter
.
cc: move so
m
e mo
r
e
code from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
g
en_fun
.
h: sh
o
rt_rat: use
Q
Q
instead
o
f pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
NTL_Q
Q
.
cc: a rational
N
TL
t
y
pe
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
verify_main
.
cc: small memory
clean-
u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoola
e
g
e
barvino
k
_
s
eries: move choi
c
e of which gf_base subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolae
g
e
b
arvinok
.
cc: mov
e
s
ome functionality into s
e
pa
r
ate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvi
n
ok
.
cc: move Pol
y
hedro
n
arg
u
ment
to start m
e
thod
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
V
e
r
doolaege
bar
v
i
no
k
.
c
c: mov
e
start and hand
l
e
_
p
o
lar into np_base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
g
en_fu
n
: ad
d
shift m
e
thod
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
ge
n
_
fu
n
:
a
d
d
copy c
o
nstructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
zz2val
u
e
s
:
m
ake first
a
rgu
m
e
n
t
c
onst
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
ool
a
ege
zz2value: make
f
irst
argu
m
ent
c
on
s
t
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
Polyhedron_is_infinite: use Polyhedron_Sample if available
.
commit
|
commitdiff
|
tree
2006-07-20
Sven Verdoolaege
p
olyhedron_s
a
mple:
c
omputes an integer vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
S
ven Verdoolaege
configure
.
in:
check
f
o
r
g
lpk
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdo
o
lae
g
e
scarf
.
cc: sim
p
lex:
:
s
h
r
unk_polyhed
r
on: o
n
ly process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven
V
erdoolaege
gen_fun::add:
p
erfor
m
trivial reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
genfun
.
cc: reo
r
der terms
i
n nu
m
erator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: no
r
ma
l
ize_ma
t
ri
x
:
s
i
mplif
y
n==
3
cas
e
some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verd
o
olaeg
e
s
carf
.
cc: sup
p
ort some cas
e
s of 4
c
onstraint
s
commit
|
commitdiff
|
tree
2006-07-13
S
ven Ver
d
o
olaege
ba
r
v
inok_enumerate_e: --print-all for pr
i
n
ting all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
s
c
arf
.
c
c
: normalize_m
a
trix: simplif
y
n
=
=3 case
commit
|
commitdiff
|
tree
2006-07-10
S
ven V
e
rdoolaege
s
carf
.
cc: project out 2 vari
a
bles u
s
ing
Sc
a
r
f comp
l
ex
commit
|
commitdiff
|
tree
2006-07-08
Sve
n
Verdoolaege
util
.
c: export E
x
tended_Eucl
i
d
commit
|
commitdiff
|
tree
2006-07-05
Sven Ver
d
oolaege
configure
.
in:
make --en
a
ble-fracti
o
nal the
d
e
fault
commit
|
commitdiff
|
tree
2006-06-29
Sve
n
Verdool
a
ege
ba
r
vinok_c
o
un
t
: che
c
k whether unbounde
d
polyhe
d
ra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
Verd
o
olaege
polymake/configure
.
in
:
a
l
lo
w
sp
e
c
i
fication of loc
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
e
n Verdool
a
ege
reduce_
d
omain: declare variable at sta
r
t
o
f co
d
e
block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoola
e
ge
remove_equ
a
l
i
ti
e
s: stop removinf equalit
i
es if input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaeg
e
b
ar
v
inok_co
u
nt: sto
p
c
ounting
i
f f
i
rst facto
r
is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven V
e
rdoolaege
barvinok_
c
ount_f: check
f
o
r
e
mptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven
Verdoo
l
aege
b
a
r
v
i
nok_c
o
unt:
t
e
ll PolyLib w
e
a
re onl
y
interested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
erdoolaege
v
e
rsion 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
S
v
e
n
Verd
o
olaege
R
E
AD
M
E:
d
ocu
m
ent opt
i
on
a
l
i
n
stallation of Om
e
ga and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
oc:
d
ocumen
t
O
m
ega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven
Ver
d
oo
l
aege
doc:
(
m
i
nim
a
l
l
y)
document polymake clients
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
l
aege
doc: further doc
u
m
ent barv
i
nok
_
ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
Verdoo
l
aege
docu
m
ent barvinok_unio
n
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdool
a
ege
doc: docum
e
nt b
a
rvi
n
ok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdool
a
ege
d
o
c:
doc
u
ment
s
ome
o
p
t
ions
commit
|
commitdiff
|
tree
2006-06-21
S
ven V
e
rdool
a
eg
e
doc: a
d
d reference for NTL
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoo
l
aege
doc: describe
v
ertices
b
as
e
d input
speci
f
ication
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
d
oc:
t
ypo
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
doc
:
add subse
c
tions
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verd
o
o
l
a
ege
use "
g
it d
e
scr
i
b
e
" to describe ver
s
ion
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoo
l
aege
ad
d
doc t
o
distribution
commit
|
commitdiff
|
tree
2006-06-21
S
ven
V
e
r
doolaege
d
o
c: warn that the output may look di
f
ferent
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
d
o
c: barv
i
nok_count no longer perform
s
manual
c
ou
n
ting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
d
o
olaege
doc: replace "Appendix" by "Sect
i
on"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
d
o
c: re
f
l
e
ct re
n
ame o
f
c
dd2polylib
.
p
l to latte
2
polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
doc: resolve unde
f
in
e
d references
t
hrou
g
h my
thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
a
dd title
p
ag
e
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n V
e
r
d
oolaege
doc: user g
u
ide
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
rename
c
dd2polylib
.
p
l
to latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sve
n
Verdoolae
g
e
polymake/h_star_
v
ector
.
cc:
c
lient
to c
o
mpute
the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
polymake/convert
.
cc
:
e
xtr
a
ct polymake_constraints2p
o
lyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
util
.
c: e
x
p
o
r
t Cone_over_Poly
h
e
d
ron
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n Verdoolaege
barvinok
_
ehrh
a
rt
:
c
ompute ehrhart (qu
a
si-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven Verdoola
e
g
e
barvino
k
_cou
n
t:
a
llow
p
olytope to be speci
f
ied by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en V
e
r
doolaege
barv
i
nok_count: handle infinite po
l
yhedra with
no integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoo
l
aege
barvin
o
k_coun
t
: stop counting
i
f o
n
e of
the fa
c
tors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
Verd
o
o
l
aege
eval
u
e
_
frac
2
floo
r
_in_dom
a
in: allo
w
argument of result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
d
oo
l
a
eg
e
util
.
c: specifically indicate empty sets in Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
util
.
c: move align_matrix
f
rom barv
i
nok
.
c
c
commit
|
commitdiff
|
tree
2006-06-02
S
v
e
n Verd
o
olaege
mat_util
.
cc: so
m
e useful f
u
nct
i
ons
e
xtr
a
ct
e
d from ge
n
fun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
evalue
.
c: ex
p
ort reduc
e
_ev
a
l
u
e_in
_
domain
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
ev
a
lue
.
c:
r
ename red
u
c
e
_in_doma
i
n
to evalue_rang
e
_
r
eduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
e
r
d
oolaege
barvinok
.
cc: r
e
move ancient debugging code
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Ve
r
doolaege
ev
a
lue
.
c: export evalue
_
f
rac2floor_
i
n_domain
commit
|
commitdiff
|
tree
2006-05-24
Sven Ve
r
doo
l
a
e
ge
g
e
n_fun::substitut
e
: add
m
ore detail
e
d
e
xplanation
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
erdo
o
laege
redu
c
e_domain:
hand
l
e N
U
L
L
CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven Ver
d
oolaege
barvinok
.
cc: move redu
c
e_
d
omain into sepa
r
ate file
commit
|
commitdiff
|
tree
2006-05-24
Sven V
e
rdool
a
e
g
e
util
.
c: add Polyhedron_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoola
e
ge
l
atti
c
e
_
point
.
c
c
:
l
attice points com
p
ut
a
tion ext
r
a
cted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Ver
d
oola
e
ge
conversi
o
n
.
cc:
add val
u
e
s
2zz an
d
rays
2
fro
m
b
arvino
k
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoo
l
aege
evalue
.
c: add evalue_z
e
ro
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
d
ecompo
s
er: extract out
v
ertex_decomposer
f
ro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
v
en
V
erdoolaege
barvinok
.
cc:
ext
r
act out some functionality
i
nto d
e
compos
e
r
.
.
.
commit
|
commitdiff
|
tree
next