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
bernstein_coefficients: optionally optimize during recursive computation
2007-03-01
Sven Verdoolaege
be
r
n
s
t
e
in_c
o
e
f
ficients: optionally op
t
i
m
ize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein_coefficients:
factorize domain if p
o
ssible
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaege
Pol
y
hedr
o
n_Factor:
o
pt
i
onall
y
r
e
turn rela
t
ion bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Ve
r
doolaege
bernstein: ex
p
ort repl
a
ceVariablesInPolynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
olaege
bernstein
.
cc: evalue2ex: represent fractional by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven
Verdoolaege
barvinok_maximize:
f
ix hand
l
ing
of UNIONs in domains
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven Verdoo
l
a
e
ge
bernstein_coe
f
ficients: skip empty subdo
m
ain
s
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
barvin
o
k_maxi
m
ize: fix detection of en
d
of domain specification
commit
|
commitdiff
|
tree
2007-02-27
S
v
en Verdoolaege
barvin
o
k
_
m
a
ximize: add
inp
u
t con
v
ersion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolae
g
e
evalue_c
o
nvert: ex
t
racted fro
m
barv
i
nok_enu
m
erate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdoolaeg
e
util
.
c: move
Polyhedr
o
n_is_
u
nbound
e
d from be
r
nstein
.
c
c
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoolaege
bernst
e
in_coefficients
:
skip
i
n
fini
t
e
(sub)dom
a
ins
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoolaege
bar
v
in
o
k_maxi
m
ize: let us
e
r specify var
i
ables ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
l
aege
bernstei
n
_coefficien
t
s: skip computations i
f
domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
ve
n
Verdoolaege
barvinok_maximize: fix
a
c
c
ess to fr
e
e
d memory
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
ae
g
e
b
e
rns
t
ein/piecewise_lst
.
cpp: add
m
inimize(
)
metho
d
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
e
rdoola
e
ge
b
ar
v
inok_maximize: read domains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
u
s
e GiN
a
C
c
flag
s
and
libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
barvinok_ma
x
imize:
o
ptionally call e
v
al
u
e
_split_periods
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdo
o
laege
evalue
.
c: a
d
d eva
l
u
e_split_p
e
rio
d
s
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Ver
d
oolae
g
e
uti
l
.
c: value_
l
cm: mark arguments const
commit
|
commitdiff
|
tree
2007-02-23
S
v
e
n Ver
d
oolae
g
e
evalue
.
c: poly
n
omia
l
_
projection
:
allow NULL
R
a
r
gument
commit
|
commitdiff
|
tree
2007-02-23
S
v
en V
e
rdoolaeg
e
e
value
.
c: ex
t
ract fiddling with co
e
fficie
n
ts ou
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoolaege
evalue_bernstein_c
o
effic
i
ents: h
a
n
d
le each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
barvinok_maximize: read evalues with
p
eriodi
c
s
commit
|
commitdiff
|
tree
2007-02-21
S
ven Verdoolaege
ev
a
lue_bernst
e
in_c
o
ef
f
icients: handle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
ve
n
V
e
r
doolaege
bernstein: be
r
n
s
teinExpansi
o
n: accept
l
ist of polynomi
a
ls
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Ver
d
oolaeg
e
barvino
k
_
max
i
mize: ma
k
e eva
l
ue parse
a little b
i
t more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoola
e
ge
b
a
rvi
n
o
k
_enumera
t
e
*
: be
less chatty by default
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erdo
o
laege
co
u
nt/enumerate: warn if in
p
ut i
s
a
u
nion
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
olaeg
e
Dom
a
i
n
Includes: detect more cases +
adapt d
o
cumenta
t
io
n
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdoola
e
ge
e
value_bernstein_coefficients: handl
e
fractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n
V
e
rdoolaege
e
v
alue_
b
erns
t
ein_coefficients: handle floorings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Ve
r
doolaege
barvin
o
k_maximize:
new tool
f
or maximizing
p
iec
e
wise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven
Verdoo
l
aege
e
value
.
c: ev
a
lue
_
frac2polynomial: improve
accurac
y
commit
|
commitdiff
|
tree
2007-02-16
S
ven
Verdoolaege
e
v
a
lue
.
c: add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
ege
evalue
.
c: add
func
t
ion for checking n
e
s
ti
n
g of an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
e
v
a
lue
.
c: add missing terms reor
d
erin
g
s
in ev
a
lue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: make a
r
gument
s
o
f
eequal and
evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaeg
e
barvinok_
e
numer
a
t
e
_e: add --v
e
rbo
s
e o
p
tion
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
ge
be
r
nstein: mar
k
argument o
f
va
l
ue2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
berns
t
ein
.
cc
:
add (optional) options argu
m
e
nt to
e
v
a
lu
e
_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
a
dd missing v
i
rtua
l
d
e
s
t
ru
c
tors
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoolaege
genfun
.
cc: r
e
nam
e
s
truct cone to
avoid co
n
f
l
ict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aege
doc:
integ
e
r po
i
nts in the fundamental paralle
l
epiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
e
rif_ehrhart
.
c: clea
n
up i
n
dent
a
tion
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehr
h
art: opt
i
on
a
l
ly continu
e
o
n err
o
r
commit
|
commitdiff
|
tree
2007-02-14
S
ven
Verdoolaege
verif_ehrhart: combine
che
c
k
_poly from bar
v
in
o
k
_
enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
la
e
ge
verif_ehrhart
.
c: ch
e
ck low
e
r and
upp
e
r p
o
lynomial a
p
p
rox
i
mations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verify
.
h
:
move barvino
k
_options into verify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
b
a
r
vinok
_
enum
e
r
a
t
e
:
p
ass parameter name
s
to check_poly
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdool
a
ege
barvin
o
k_enume
r
ate: more pol
y
no
m
mial approxim
a
t
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
evalue
.
c: a
d
d evalue_frac2polynom
i
al
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
eva
l
ue
.
c: extract ev
a
lu
e
_split_domains_into
_
orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
p
o
l
ysign
.
c: fix cdd_polyhedro
n
_affine_sign pr
o
toty
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Mak
e
file: only check l
e
xmin
if it has be
e
n compil
e
d
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
Verdoolaege
add Param_Polyh
e
d
ron_
S
cale_Integer pr
o
tot
y
pe
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
l
attice_po
i
nt
.
c
c
: add s
a
nity check for index
o
f cone
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoolaege
test:
i
ni
t
i
a
l
ize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
barvinok_enumera
t
e: optio
n
ally compute
a polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Pr
o
v
ide r
e
placement for ne
w
PolyLi
b
fu
n
ction Para
m
_
Po
l
yhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
Ver
d
oolaege
add
evalue_
d
iv (a
d
apted from
P
olyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
test: simple
te
s
t for PolyL
i
b's Smith
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
Verdo
o
la
e
g
e
M
a
kefil
e
.
am: ad
d
d
ependencie
s
for
c
hecks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
genfun
.
cc: short_rat::normaliz
e
: micro-optimi
z
at
i
ons
commit
|
commitdiff
|
tree
2007-02-11
Sven
Ver
d
oolaege
QQ: canonicalize on
r
ead a
n
d multip
l
ication
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdo
o
laege
d
o
c: barv
i
n
o
k_series
requires polyhedron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Ma
k
efile
.
a
m
: c
h
e
c
k barvin
o
k_enumerate --series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
t
es
t
all speciali
z
a
ti
o
n algor
i
thm
s
during mak
e
c
h
eck
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
pass
o
ption
s
t
hro
u
gh
t
o
barvino
k
_
count i
n
barvinok_enum
e
rate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
H
andle no
n
-unimo
d
ular cones in dual decomposition
commit
|
commitdiff
|
tree
2007-02-08
S
ven
Verdoo
l
aege
ba
r
vi
n
ok_stats
:
rename unimodular_
c
ones to bas
e
_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoolaege
reducer
.
cc: ex
t
ra sanity
c
hecks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaeg
e
Handl
e
n
o
n-unimod
u
l
a
r co
n
es
w
it
h
a specifie
d
m
a
ximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolae
g
e
deco
m
pos
e
r
.
cc: decompose:
m
inor
c
lean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
ba
r
v
i
nok_options: include
poi
n
ter to barv
i
n
o
k_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
rdoola
e
ge
add barvinok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
rdoolae
g
e
barv
i
nok_enumerate:
collect
stats o
n
num
b
er of unimodula
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oolaege
dec
o
mposer
.
cc: polar_d
e
com
p
o
se: rem
o
ve common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
d
oolaege
partial_reducer: spe
c
ialize list
v
e
rs
i
on of bas
e
commit
|
commitdiff
|
tree
2007-02-05
S
ven Verdoolaege
r
educe
r
::reduce: bett
e
r handling
o
f terms with
co
m
mon
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Ve
r
dool
a
ege
re
d
u
cer::r
e
d
uce: c
o
mbi
n
e numera
t
ors w
i
th equal unr
e
duce
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoo
l
aege
QQ: add operator f
o
r mul
t
iplica
t
io
n
of vector
b
y a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
r
e
duce
r
::reduc
e
: take a list
o
f numerators as inpu
t
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
gen_fu
n
::read: read
gen_fun from
f
ile descrip
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
l
a
ege
add gen_fun::add(short
_
rat *
r
)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL_QQ
.
cc: support reading from st
r
e
a
m
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolae
g
e
g
en_fun:
a
dd
o
pe
r
ator
f
or p
r
inting
t
o
stream
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
genfun
.
c
c
: add shor
t
_
r
at copy constru
c
tor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
l
a
ege
dpoly_r: micro-optimizatio
n
s
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ver
d
oolae
g
e
d
po
l
y: mark some m
o
re arg
u
ments/m
e
thods co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdo
o
laege
short_rat::a
d
d: mark
s
hor
t
_r
a
t argument cons
t
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
NTL_QQ: atte
m
pt to spe
e
d-up += oper
a
to
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doo
l
aege
dp
o
ly: add s
o
me docum
e
nt
a
tio
n
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
er
d
oola
e
ge
dpoly: ad
d
so
m
e more o
p
e
ra
t
ions
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
barvinok/genfu
n
.
h: fix
c
omme
n
t
commit
|
commitdiff
|
tree
2007-02-02
S
ven V
e
rdoo
l
aege
ad
d
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
S
ven
V
er
d
oolaege
QQ: a
d
d operator for m
u
ltipli
c
a
t
ion by a scala
r
(ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven
V
e
r
doolaeg
e
Ma
k
efile
.
am: check-ser
i
e
s
: c
h
e
ck --p
r
i
m
al as
well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verd
o
olaeg
e
Makefile
.
am: i
n
stall (some) bin
a
ries
commit
|
commitdiff
|
tree
next