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
barvinok_maximize: read domains with UNIONs
2007-02-26
S
ven
Verd
o
olae
g
e
bar
v
inok
_
maximize:
r
ead domains wit
h
U
NIONs
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdo
o
laege
u
se GiNaC cflags
a
nd libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolaege
barvinok_maximize: opt
i
o
nally call evalue_sp
l
it_periods
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdoolaege
evalue
.
c: a
d
d evalu
e
_split_pe
r
iods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolae
g
e
util
.
c:
value_lcm: mark arguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c: polyn
o
m
i
al_pr
o
jection:
allow NULL R
ar
g
ument
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdoolaege
e
v
alue
.
c
: extract f
i
ddling with
coe
f
ficients out
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven
V
e
rdo
o
laege
e
value
_
berns
t
e
i
n_coe
f
ficien
t
s: handle
each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n Verdoolae
g
e
barvinok_m
a
ximize:
r
ea
d
evalues with per
i
od
i
cs
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Verdoolaege
evalue_
b
ernstein_coefficients: handle periodics
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
en
V
erdoolaege
b
ernstein: bernsteinExpansi
o
n
:
accept
list of polyno
m
ials
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
erd
o
olae
g
e
barvinok_maximiz
e
: make eval
u
e par
s
e a
little
bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoolaege
b
arvinok_enume
r
ate*: be
l
ess chat
t
y by
d
efault
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
count/
e
num
e
rate: warn if i
n
put is
a
union
commit
|
commitdiff
|
tree
2007-02-19
S
ven
V
e
rdo
o
laege
D
omainIncludes: detect more
cases + ada
p
t documentation
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdool
a
ege
evalue_bernstein_
c
oefficient
s
:
hand
l
e fractionals i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
r
d
ool
a
ege
e
v
alu
e
_be
r
nstei
n
_coeff
i
cients
:
h
andle floorings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdool
a
e
ge
barvinok_maximi
z
e: new tool for maximizing pi
e
cewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven
V
erd
o
olaege
e
v
a
lue
.
c: ev
a
l
u
e_
f
rac2
p
oly
n
omial:
improve
a
ccu
r
acy
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdo
o
l
a
ege
e
v
a
l
u
e
.
c: add c
o
mm
e
nt
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdoolaege
evalu
e
.
c: add func
t
ion for
c
h
ecking
n
es
t
ing of an eva
l
u
e
commit
|
commitdiff
|
tree
2007-02-16
S
ve
n
Verdoolaege
evalue
.
c: add
m
issing t
e
rms reorderings in evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: make
a
rguments
o
f e
e
qual
a
nd evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
Verdoolaege
ba
r
v
inok_enumerate_e:
add
-
-verbose optio
n
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bernstein: mark argum
e
nt of value2num
e
ric const
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Ver
d
oolaege
bernstein
.
cc: add (optional) options ar
g
ume
n
t
to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
add miss
i
ng v
i
rtual
d
e
structors
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
genfun
.
cc: rename str
u
c
t
con
e
t
o
av
o
i
d conflict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
a
e
ge
doc: i
n
teger points
in the
f
undamental para
l
lelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif
_
e
hrha
r
t
.
c:
c
lean
u
p
i
nden
t
ation
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
dool
a
ege
v
e
rif_eh
r
hart: opti
o
nally continue on error
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verd
o
ola
e
ge
veri
f
_ehrhart: com
b
ine check_poly from barv
i
nok_enumer
a
t
e_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoola
e
ge
verif_ehrha
r
t
.
c: check low
e
r an
d
upper polyn
o
mial
a
pproximation
s
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
lae
g
e
verify
.
h
:
move
barvi
n
o
k_options in
t
o
verif
y
_
optio
n
s
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doolaege
b
arvi
n
ok_
e
n
u
m
e
rate: pass parameter n
a
mes to check_pol
y
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoola
e
ge
barvinok_e
n
u
me
r
a
te: more
p
olyno
m
mi
a
l approximati
o
ns
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
evalue
.
c:
a
dd evalu
e
_frac2polynom
i
a
l
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
ev
a
lue
.
c: extract eval
u
e_
s
plit
_
domains_into_orth
a
nts
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaeg
e
po
l
y
s
ign
.
c:
f
ix
c
dd_polyhedron_affine_sign prot
o
type
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
M
akefile:
o
nly
c
he
c
k lexmin if
i
t has
been
c
ompiled
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
V
erdoolaege
add
P
a
r
am_Polyhedron_
S
cale_In
t
e
ger prototype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Ve
r
doo
l
ae
g
e
la
t
tice_point
.
cc: add
sanity check fo
r
index o
f
cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test:
initialize
nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
V
erdoolaege
barv
i
nok_enumerate: op
t
ionally compu
t
e a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
rdoolaege
Pro
v
ide
r
e
p
lacement for ne
w
P
o
lyLib fun
c
tion
P
aram_P
o
lyh
e
d
r
o
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add evalue_div (adapted from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
t
est: simp
l
e
t
e
s
t
for PolyLi
b
's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
rdoolaege
Makefile
.
am: add dependencies
for checks
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Ver
d
oolaege
genfun
.
cc: short_rat::normalize
:
micro-optimiza
t
ions
commit
|
commitdiff
|
tree
2007-02-11
Sven Ver
d
oolaege
QQ:
canonicalize on rea
d
and
m
ultip
l
i
c
ation
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoola
e
ge
doc: barvinok_s
e
ries req
u
ires poly
h
edron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaeg
e
Makefile
.
am: chec
k
barvinok_
e
numerate
--ser
i
es during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdool
a
ege
test
all specia
l
ization
algorith
m
s
duri
n
g make check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolae
g
e
pass op
t
ions through to
barv
i
nok_count in b
a
rvinok_en
u
merate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ven
V
erdoolae
g
e
Handle non-u
n
imodular c
o
n
es in d
u
al decompos
i
tion
commit
|
commitdiff
|
tree
2007-02-08
S
v
e
n V
e
rdoolaege
barvinok_stats: rename unimod
u
lar_cones to
b
ase_cones
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Verdoola
e
ge
r
e
ducer
.
c
c
:
extr
a
sani
t
y ch
e
c
k
s
commit
|
commitdiff
|
tree
2007-02-08
Sven Verd
o
olaege
Han
d
le non-unimodular
c
ones with a
s
pecifie
d
maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdo
o
laege
dec
o
mposer
.
c
c:
decomp
o
se: min
o
r clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
b
arvino
k
_
o
ptions: includ
e
pointe
r
to
barvinok_sta
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
r
doolaege
ad
d
barvino
k
_optio
n
s_free
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoolaege
b
a
rvin
o
k
_
enumerate: collect stats
o
n number of
u
n
imod
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verdoo
l
aege
d
e
compose
r
.
c
c
: polar
_
decom
p
ose:
r
emove common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoolae
g
e
partial_reducer
:
sp
e
c
i
alize list ver
s
ion of ba
s
e
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdo
o
laege
reducer::reduce
:
bet
t
er
handlin
g
of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven V
e
r
doolaege
redu
c
er::reduce:
c
om
b
i
ne numerators with
e
qual
u
n
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
S
ven
V
erdo
o
laege
QQ: add operat
o
r for
multipli
c
ation of vector
by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
redu
c
er::re
d
uce: take a list o
f
numerators as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
gen_
f
un::re
a
d: read gen_fu
n
from
fi
l
e
des
c
rip
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
e
rdoolaege
add gen_fun::
a
dd(shor
t
_rat *r
)
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdo
o
laege
N
TL_QQ
.
cc:
support reading fr
o
m st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
gen
_
f
u
n: add operator fo
r
printin
g
to s
t
ream
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
genf
u
n
.
c
c
:
a
d
d short_
r
at copy co
n
struc
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly_r
:
micro-o
p
t
i
mizations
commit
|
commitdiff
|
tree
2007-02-02
S
ven
Verdoolaege
d
poly: m
a
rk
some more arguments/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
s
h
o
rt_rat::add: mark short_rat a
r
gument const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
NTL
_
Q
Q
: att
e
m
p
t
to speed-up += ope
r
ator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
dpoly: add some
m
ore operat
i
on
s
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdool
a
ege
barvinok/gen
f
un
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
add
.
gitig
n
ore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
QQ: add operator for
multiplication b
y
a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdo
o
laege
M
akefil
e
.
am:
c
heck
-
s
e
r
ie
s
: check --p
r
imal as well
commit
|
commitdiff
|
tree
2007-01-16
Sv
e
n
Verdoolaege
Mak
e
file
.
a
m
: insta
l
l (some)
b
inaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaege
unde
f
i
n
e
C
S for Solari
s
10
commit
|
commitdiff
|
tree
2007-01-14
S
v
en Verdoo
l
aege
b
a
r
vinok
_
enumerat
e
: handle
l
ines
in inp
u
t polyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven
V
erdo
o
laeg
e
util
.
c: move
l
e
f
t
_inverse from
l
e
x
min
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
gen_fun::
c
o
efficient: mov
e
p
rint
i
ng to
s
hort_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
ge
n
_f
u
n::coefficient: n
e
w versio
n
retu
r
ning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
genfun
.
cc: move
c
o
efficient com
p
u
tation
to short_ra
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
ol
a
ege
partial_red
u
c
e
r: resta
r
t
computat
i
on i
f
random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
gen_f
u
n: expo
s
e
cl
e
a
r_terms, a method for
c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdo
o
l
a
e
ge
g
e
n
_
fun::Hadamard_product: propagat
e
fu
l
l
o
p
tions to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoo
l
a
e
g
e
b
arvinok_enumerate: integrate verif_eh
r
hart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
barvinok_enumerate: int
e
grate barv
i
nok
_
series
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
ba
r
vinok_enum
e
rate:
u
se
a
r
gp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin:
m
ake le
x
min options pr
i
vate
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Revert "bernste
i
n
/
configure
.
in: rem
o
ve
r
edundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
b
arvinok
.
cc: make use of s
a
mp
l
ing f
o
r cou
n
ting in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
g
e
barvi
n
ok_enum
e
rate_e: respect --ta
b
le
option
commit
|
commitdiff
|
tree
next