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
omega/polyfunc.cc: maximize: simplify domain before printing
2006-06-22
Sven Ve
r
do
o
l
aege
doc: (minimally) document poly
m
ake clien
t
s
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
d
o
c
:
further
d
o
cument ba
r
vi
n
ok_ehrhar
t
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
document barvinok_un
i
on
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc:
document ba
r
vinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolaege
d
o
c:
document some options
commit
|
commitdiff
|
tree
2006-06-21
Sven
Ver
d
oolaege
doc: add ref
e
rence f
o
r N
T
L
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
oc: describe vertices based input specificat
i
on
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
r
doolaege
doc: typo
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoo
l
aege
doc: add
subsections
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
eg
e
u
se "git
describe" to describe versio
n
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
l
a
ege
a
dd do
c
to
d
i
s
tribution
commit
|
commitdiff
|
tree
2006-06-21
S
v
en Verdoo
l
aege
doc: warn
that the output may look different
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: barvin
o
k
_
count no longer performs
m
anual count
i
ng
.
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolae
g
e
d
o
c
: replace "
A
ppe
n
dix" by "Sec
t
ion
"
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoola
e
ge
doc: ref
l
e
ct
rena
m
e of cdd2polylib
.
pl to
l
atte2po
l
ylib
.
pl
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n Verdoolaege
do
c
: re
s
olve
undefined
r
e
ferences throug
h
my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdool
a
e
ge
doc: add title page
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: user
g
uid
e
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olaege
rename
c
dd2po
l
ylib
.
pl to latte2po
l
ylib
.
p
l
commit
|
commitdiff
|
tree
2006-06-19
S
v
en Verdoolaege
polymake/h_star_vect
o
r
.
cc:
clien
t
to comput
e
the h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
ven Verdoolaege
polymake
/
convert
.
cc: ex
t
ract polymake
_
constraints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n Ve
r
doolaege
Merge branch 'master' into
ber
n
stein
commit
|
commitdiff
|
tree
2006-06-18
Sven Verdoolaege
util
.
c: exp
o
r
t Cone_o
v
er_Poly
h
edron
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n V
e
rdoolaege
b
arvinok_
e
h
rh
a
rt: c
o
mpute ehrhart (quasi-)polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
S
v
e
n Verdoolaege
barvinok_coun
t
:
allow polytope to be
s
p
ecified by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Ve
r
doolaege
barv
i
n
ok_count: handle infin
i
te poly
h
edra
with no integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
barv
i
n
o
k_count
:
s
t
op counting
if one of the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
ev
a
lue_frac2fl
o
or_in_domain: al
l
ow argument
of re
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
dool
a
ege
u
t
il
.
c: s
p
ecifically indicate empty
s
ets in Polyh
e
dron_pprint
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
util
.
c: move al
i
gn_matrix f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdo
o
laege
mat_util
.
cc
:
some useful
f
unc
t
ions extracted
from
g
enfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verd
o
o
laeg
e
evalue
.
c: export
r
e
d
uce_ev
a
lue_
i
n_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoola
e
ge
e
v
alue
.
c
:
r
ename reduc
e
_in_d
o
ma
i
n to evalue_range_reduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
barvinok
.
cc: remove ancient de
b
ug
g
ing code
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n Verdoolaeg
e
evalue
.
c: ex
p
ort
e
value
_
fra
c
2
flo
o
r_in
_
domain
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolae
g
e
gen_fun::subst
i
tute
:
add more detaile
d
e
xplanati
o
n
commit
|
commitdiff
|
tree
2006-05-24
Sven
Verdoolaege
reduce
_
domain: handle
N
UL
L
CEq
commit
|
commitdiff
|
tree
2006-05-24
Sve
n
Verdoolaege
barvinok
.
cc: move reduc
e
_d
o
main into s
e
parate file
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
util
.
c: a
d
d Polyhedro
n
_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven Ve
r
doolaege
l
att
i
ce
_
point
.
cc: l
a
ttic
e
points
c
o
mp
u
tation extracted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven
V
e
r
do
o
l
aege
conversion
.
cc:
a
dd values2zz
a
nd rays2
f
rom barvino
k
.
c
c
commit
|
commitdiff
|
tree
2006-05-18
S
v
e
n
V
e
rdoolaege
e
v
alu
e
.
c
: ad
d
e
v
alue_z
e
r
o
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Verdoolaege
decomposer:
extract out vertex_deco
m
p
o
ser from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven
Verdool
a
ege
barvinok
.
cc: extract out some functio
n
a
l
ity into decompo
s
er
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
S
v
e
n Verdoolaege
util
.
c
:
document Euclid
f
unc
t
ion
commit
|
commitdiff
|
tree
2006-05-12
S
ve
n
Verd
o
olae
g
e
b
ernstein: add piec
e
w
ise
_
lst::
e
valuate method
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdool
a
e
ge
Merge branch '
m
aster' into bernstein
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
occ: p
l
ug s
o
me more
(
poten
t
ial) memory leaks
commit
|
commitdiff
|
tree
2006-05-10
S
v
en Ver
d
oolaege
occ: do
n
't us
e
f
reed variable in error me
s
sage
commit
|
commitdiff
|
tree
2006-04-10
Sv
e
n Verdoolaege
barvinok
.
cc
:
a
dd so
m
e d
o
cumen
t
at
i
o
n
to
l
a
t
tice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdool
a
e
g
e
barvino
k
_en
u
merate_union: call gen_
f
un::a
d
d
_
union
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
gen_f
u
n: add add_union method
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
bernstein/main:
u
s
e max
i
mize to compute
min and
max
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
bernstein/m
a
ximize
.
cpp: add "mini
m
ize"
commit
|
commitdiff
|
tree
2006-04-05
S
v
e
n Ve
r
doolaege
ber
n
stein/ma
x
imize
.
c
p
p:
e
xtract
maximiz
a
t
ion
f
rom piecewis
e
_
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdool
a
ege
ba
r
vinok
.
c
c
: document
S
plitOnVar
and remove some redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven
V
e
rdoolaege
r
e
mo
v
e inappro
p
ri
a
t
e
uses of
Polyhedro
n
2Param_Simplifie
d
Domain
commit
|
commitdiff
|
tree
2006-03-30
Sven Verdoolaege
b
ern
s
tein: let
input
polynomial
be
w
ritten in
G
i
NaC
.
.
.
commit
|
commitdiff
|
tree
2006-03-30
Sven Verdool
a
ege
bernste
i
n/e
x
am
p
les/ba
s
icL
i
near2:
f
i
xed
commit
|
commitdiff
|
tree
2006-03-30
Sven Verdoolaege
remov
e
further
i
nappro
p
riate uses of
P
olyhedron2Pa
r
a
m_Simpli
.
.
.
commit
|
commitdiff
|
tree
2006-03-30
S
v
en V
e
rdoolaeg
e
verify_main
.
cc:
c
lean
up memory
commit
|
commitdiff
|
tree
2006-03-30
Sven V
e
r
d
oolaege
o
cc: u
s
e local ber
n
stei
n
head
e
rs and
lib
i
nst
e
a
d
of
.
.
.
commit
|
commitdiff
|
tree
2006-03-29
Sven Verdoolaege
Onl
y
crea
t
e occ wh
e
n GiNaC (and therefore bernst
e
i
n
.
.
.
commit
|
commitdiff
|
tree
2006-03-23
Sven Verdoolaege
occ: add
B
MAX
o
pe
r
a
t
ion: compute
b
ernstein maximum
.
commit
|
commitdiff
|
tree
2006-03-22
Sven Verdoolaege
occ: don't us
e
freed variable in error message
commit
|
commitdiff
|
tree
2006-03-21
Sven
V
erdoolaege
eva
l
ue_be
r
n
stein_coefficients: return NULL on fa
i
lure
.
commit
|
commitdiff
|
tree
2006-03-21
Sv
e
n Verdo
o
laege
occ:
s
etup
names
be
f
o
re p
r
inting
commit
|
commitdiff
|
tree
2006-03-14
Sv
e
n Ve
r
doolaeg
e
add ev
a
lue_ber
n
stein_coefficien
t
s
commit
|
commitdiff
|
tree
2006-03-14
Sv
e
n
V
er
d
oolae
g
e
bernstein/piecewise_lst
.
h: protect aga
i
nst multi
p
le
.
.
.
commit
|
commitdiff
|
tree
2006-03-14
Sven Verdo
o
la
e
ge
e
value
.
c: add eva
l
u
e_de
n
om
commit
|
commitdiff
|
tree
2006-03-14
Sve
n
Verd
o
ola
e
g
e
berns
t
ein: move
p
ie
c
ewise_lst
.
h to piecewi
s
e_lst
.
h
commit
|
commitdiff
|
tree
2006-03-14
Sven V
e
rdoolaege
bernstein: add
piecew
i
se_lst_s: a class for
r
epresent
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-03-14
Sven Verdoolaege
bernstein:
m
o
ve bernstein
.
h
t
o bernste
i
n/bernste
i
n
.
h
commit
|
commitdiff
|
tree
2006-03-13
Sven Ve
r
doolaege
bernst
e
in:
don
'
t compute the be
r
nst
e
in basis
ex
p
l
i
citly
.
commit
|
commitdiff
|
tree
2006-03-12
Sve
n
V
e
rdoola
e
ge
configure
and mak
e
bernst
e
in from top di
r
e
ctory
.
commit
|
commitdiff
|
tree
2006-03-12
S
ven Ver
d
oolaege
bern
s
tei
n
: ad
d
a
l
l headers and
example
s
to distribution
.
commit
|
commitdiff
|
tree
2006-03-06
Sven
Verdoolae
g
e
bernstei
n
: don't u
s
e Polyhe
d
r
on2
P
a
r
a
m
_Simpl
i
fiedDomain
.
.
.
commit
|
commitdiff
|
tree
2006-03-06
Sv
e
n
Verdoolaege
bernstein: remov
e
duplicate testDeg3 example
commit
|
commitdiff
|
tree
2006-03-06
Sven Verdo
o
l
aege
Merge in be
r
nstein
subproject
commit
|
commitdiff
|
tree
2006-03-06
Sven
Ve
r
dool
a
eg
e
bernst
e
in: mo
v
e
w
ho
l
e
hierarcht
into a bernstein su
b
dir
commit
|
commitdiff
|
tree
2006-03-06
S
v
e
n
Ve
r
doolaege
remo
v
e un
n
eeded doc
u
m
e
ntat
i
on
commit
|
commitdiff
|
tree
2006-03-03
Sven Verdoolaege
f
i
n
dMax
D
egree: correctly co
m
pute multi
d
e
g
r
ee
.
commit
|
commitdiff
|
tree
2006-03-03
Sven Verdoola
e
ge
main
.
cpp: correct
l
y read in input polynomials
.
commit
|
commitdiff
|
tree
2006-03-03
S
v
en Verdoolaege
e
x
2l
o
nglo
n
gRow: correct
d
ebugging code
.
commit
|
commitdiff
|
tree
2006-03-03
Sven Verdo
o
laege
construc
t
ParameterVector does not modify
i
t
s argument
commit
|
commitdiff
|
tree
2006-03-01
Sv
e
n Verdoolaege
p
o
lynomial
.
cpp
:
use GiNaC namespace
commit
|
commitdiff
|
tree
2006-03-01
Sve
n
Verdoolae
g
e
export value2numeric
commit
|
commitdiff
|
tree
2006-03-01
Sv
e
n Ve
r
doolaege
don't let bern
s
tein
.
h de
p
end
on pri
v
ate header
s
commit
|
commitdiff
|
tree
2006-03-01
Sven V
e
rdoolaeg
e
ins
t
all bernstein header
commit
|
commitdiff
|
tree
2006-03-01
S
v
en Verdo
o
l
aege
ren
a
me ber
n
stein-exp
a
nsion to ber
n
st
e
in
commit
|
commitdiff
|
tree
2006-03-01
Sven Verdoolaege
pu
t
f
u
n
ctions into a bernst
e
in namespace
.
commit
|
commitdiff
|
tree
2006-03-01
S
v
en
Ver
d
o
o
l
a
ege
move
D
IG
I
TS de
f
ine
into bernstein-expansion
.
cpp
commit
|
commitdiff
|
tree
2006-03-01
Sven V
e
rdoolaege
m
o
v
e
ch
e
ckConstraint into main
.
cpp and remove ber
n
s
t
ein
.
*
commit
|
commitdiff
|
tree
2006-03-01
S
ven V
e
rdoolaege
Move max
/
m
in coef
f
icient computation to
ma
i
n
.
cpp
commit
|
commitdiff
|
tree
2006-03-01
Sv
e
n Verdo
o
laege
Move *co
n
vertPolyn
o
mial to main
.
c
p
p an
d
r
e
move berns
t
ein++
.
*
commit
|
commitdiff
|
tree
2006-03-01
S
v
en Verdoolaege
i
n
t2Strin
g
: mak
e
static
commit
|
commitdiff
|
tree
2006-03-01
Sven Verdoo
l
aeg
e
move co
n
struct*Vector to bernstein-expansion
commit
|
commitdiff
|
tree
2006-03-01
Sven Verdoolaeg
e
bernstein-expansi
o
n
.
cpp: make inter
n
al m
e
t
ho
d
s static
commit
|
commitdiff
|
tree
2006-03-01
Sve
n
V
erdoolaege
Move
enca
p
sulation of
p
olylib
h
eader into s
e
parate
.
.
.
commit
|
commitdiff
|
tree
2006-03-01
Sv
e
n Verdoolaege
rem
o
v
e
M
a
trix_S
e
t fun
c
tion
commit
|
commitdiff
|
tree
next