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
Sven Verdool
a
e
ge
ba
r
vi
n
o
k
_
m
aximiz
e
: read dom
a
ins with
U
NION
s
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laeg
e
use GiNaC cflags
and
libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
barvinok_maximize
:
optionally call
e
value
_
split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolaege
evalue
.
c
:
ad
d
evalue_spl
i
t_peri
o
ds
commit
|
commitdiff
|
tree
2007-02-23
S
v
en
V
er
d
oolaege
uti
l
.
c
: value_
l
cm: mark ar
g
uments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaeg
e
evalu
e
.
c: polynomia
l
_project
i
on: allow N
U
LL
R a
r
g
ument
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
doolaege
evalu
e
.
c: extract
f
iddling w
i
th coeffi
c
ien
t
s out o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven
Verdoolaege
e
value_bernstei
n
_coeffici
e
nt
s
: handle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven V
e
rdoolaege
barvinok_maximize: read evalues
with per
i
o
dics
commit
|
commitdiff
|
tree
2007-02-21
Sven V
e
r
doolaege
evalue_bernste
i
n_coeffici
e
n
t
s: hand
l
e perio
d
ics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolae
g
e
b
erns
t
ein:
b
ernsteinExpans
i
on: accept l
i
st o
f
poly
n
omials
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoolaege
b
a
rvinok_maxim
i
ze: make e
v
alue parse a litt
l
e bit mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
ba
r
vinok_enumerate*: be less chatty by
default
commit
|
commitdiff
|
tree
2007-02-19
S
v
e
n Ver
d
oolaege
count/
e
nume
r
ate: w
a
rn if input
is
a
union
commit
|
commitdiff
|
tree
2007-02-19
Sven
V
er
d
oolae
g
e
Doma
i
nIn
c
ludes: detect m
o
re
cases +
a
dapt documentation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verd
o
olaege
ev
a
lue_be
r
nstein_coefficients: h
a
ndle f
r
actionals
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdo
o
l
aege
eva
l
u
e_berns
t
e
in_
c
oe
f
ficients:
hand
l
e floorings in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sv
e
n Verdoolaege
barvinok_maximize: new too
l
for ma
x
i
m
izing p
i
e
c
ewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
S
v
e
n Verdoolaege
ev
a
lu
e
.
c: eval
u
e_frac2polynomial:
im
p
rove
a
c
curacy
commit
|
commitdiff
|
tree
2007-02-16
Sven Ver
d
oolaege
evalue
.
c: add
c
omment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
e
value
.
c: add function for ch
e
c
king
n
e
sting of
a
n evalue
commit
|
commitdiff
|
tree
2007-02-16
S
v
en
Verdo
o
la
e
ge
evalue
.
c: add missing
ter
m
s reordering
s
in eval
u
e
_
range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c
:
make a
r
guments of eequal and e
v
alue
_
denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
barvino
k
_en
u
me
r
at
e
_e: add --verbo
s
e op
t
ion
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
b
ern
s
t
ein: mark argum
e
nt
of val
u
e2nu
m
eric cons
t
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
bernstein
.
cc: add (optional) options argum
e
nt t
o
evalu
e
_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven
Verdoolaege
add mi
s
si
n
g
virtual dest
r
uctors
commit
|
commitdiff
|
tree
2007-02-16
S
ve
n
V
e
rdoolaege
genfun
.
cc: rename struct
c
one to avoid conflic
t
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
do
c
: i
n
teger points in the fundamental parall
e
lepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_
e
hrh
a
rt
.
c
: clea
n
up indentat
i
on
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Ver
d
ool
a
eg
e
verif_ehrhart: optiona
l
ly continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
verif_ehrhar
t
: co
m
bine che
c
k_
p
oly f
r
om b
a
r
v
ino
k
_enu
m
e
r
ate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoo
l
aege
verif_eh
r
h
a
rt
.
c: check l
o
wer a
n
d upper polynomial approximations
commit
|
commitdiff
|
tree
2007-02-14
S
v
en Verdoolaege
verif
y
.
h: mov
e
bar
v
inok_opt
i
on
s
into ver
i
f
y
_opt
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvinok_e
n
umerate: pass
para
m
eter names to c
h
eck_po
l
y
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
V
e
rdoolaeg
e
barvin
o
k_enumerate:
m
o
r
e p
o
lynommial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rd
o
ola
e
ge
evalue
.
c
:
add eva
l
ue_
f
rac2pol
y
n
omial
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdool
a
ege
evalue
.
c: extract evalue_spl
i
t_domain
s
_into_orthan
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven
Ver
d
oolae
g
e
polysign
.
c
: fi
x
cdd_polyhedron_aff
i
ne_
s
ign
p
r
ototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oolaege
M
akefile
:
only check lexmin
if it has
b
e
en compiled
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdoo
l
aege
add Pa
r
am_Polyh
e
d
r
on
_
Scale_Integer
p
rototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
lat
t
i
ce_point
.
cc: add sanity check for i
n
dex
o
f cone
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
e
r
doolaege
test: init
i
a
lize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoo
l
aege
barvino
k
_e
n
umerate
:
o
ptio
n
ally
c
o
m
pute a p
o
lyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
P
r
ovide replacement for n
e
w PolyL
i
b function Para
m
_Pol
y
hedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
add evalue_div (adapted from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
t
est:
s
i
m
p
le test for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
er
d
oolaege
Makefile
.
am:
add
depend
e
ncies for chec
k
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Ve
r
do
o
laege
genfun
.
cc: s
h
o
r
t_rat:
:
no
r
mal
i
ze: mic
r
o
-
o
p
timizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdo
o
laege
QQ: canonic
a
li
z
e on re
a
d a
n
d multip
l
icatio
n
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdo
o
laege
doc: b
a
r
vinok_series
requires polyhedron to hav
e
*r
e
v
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
M
a
kefile
.
am: check barvinok_enumerate
-
-
s
eries dur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
ba
r
vinok_enumer
a
t
e: compute series of polyh
e
d
r
a with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
aege
util
.
c: move
P
o
lyhedron_has_positive_rays f
r
om barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdoolaege
test all
s
p
eciali
z
ation algorithms d
u
rin
g
make check
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
p
ass op
t
ions
thro
u
gh to barvinok_count in b
a
rvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Ver
d
oolae
g
e
H
a
nd
l
e non-unimodula
r
cone
s
in dual decomp
o
siti
o
n
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Verdoo
l
ae
g
e
barv
i
n
o
k_stats: rename un
i
modular_cones
t
o
bas
e
_cones
commit
|
commitdiff
|
tree
2007-02-08
S
v
en Verdool
a
e
ge
reducer
.
c
c
: extra sanity
c
h
ecks
commit
|
commitdiff
|
tree
2007-02-08
S
v
e
n Verdoola
e
ge
Handle non-unimodu
l
ar
c
o
nes w
i
th a specified m
a
ximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven
V
erdoolaege
de
c
ompo
s
er
.
cc: decompose: minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoo
l
aege
barvinok_options: include
p
ointer to ba
r
vinok_st
a
ts
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oolaege
add
ba
r
vinok_options_free
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n Verd
o
olaege
barvinok_enumer
a
te
:
collect
sta
t
s on numbe
r
of
unimodula
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
e
g
e
decomp
o
ser
.
cc: polar_decompose: remove
c
o
mmon
d
i
v
isor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
parti
a
l_reducer: spec
i
alize list version of base
commit
|
commitdiff
|
tree
2007-02-05
Sve
n
Verdoolaege
reducer::reduce: be
t
ter handling of te
r
ms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sve
n
Verdoolaege
r
e
ducer::reduce: combine numer
a
tor
s
w
i
th equal unr
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoolaege
QQ
:
a
d
d
opera
t
or
f
or multiplic
a
t
i
o
n of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
reducer:
:
reduce
:
ta
k
e a list of numerators a
s
input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
ol
a
eg
e
g
e
n_fu
n
::rea
d
: read
gen_fun from file d
e
scrip
t
or
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
add gen_f
u
n::add(sh
o
r
t_r
a
t *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
NTL_QQ
.
cc
:
s
u
pport r
e
adin
g
from stream
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
gen_fun: add opera
t
or for printing t
o
st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolae
g
e
gen
f
un
.
cc: add short_r
a
t copy construc
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
dpol
y
_r: mi
c
ro-opti
m
iz
a
tions
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Ve
r
doolaege
d
po
l
y
: ma
r
k
s
om
e
m
o
r
e
arguments/me
t
hods
c
onst
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
short_ra
t
::add: mark
s
hort_
r
at argum
e
nt const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
NTL_QQ: attemp
t
to speed-up += o
p
er
a
t
or
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verd
o
olaege
dpoly: add some d
o
cumentation
commit
|
commitdiff
|
tree
2007-02-02
S
ven
Verdoolaege
d
poly: ad
d
some more operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
barvinok/genfu
n
.
h: fix co
m
ment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
a
d
d
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
QQ: a
d
d
opera
t
o
r fo
r
m
u
ltiplicati
o
n
by a
s
c
a
lar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sve
n
Verdoola
e
ge
M
ak
e
fil
e
.
am
:
ch
e
ck
-
ser
i
es
:
che
c
k --pri
m
a
l
as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Ver
d
o
o
laeg
e
Ma
k
efile
.
am: install (
s
ome) bi
n
aries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaege
undefine CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoola
e
ge
barvinok_
e
n
u
merate: handle
li
n
es in input
p
o
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c
:
move left_inverse
from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
en_fun::coeff
i
ci
e
nt: mov
e
p
rin
t
i
n
g
to short_ra
t
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ve
r
doolaege
gen_fun
:
:coefficien
t
: n
e
w ve
r
sion
r
eturning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
r
doolaege
genfun
.
cc
:
move coef
f
icie
n
t
c
omputation to sh
o
rt_r
a
t
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n V
e
rdoolaege
p
artial_reducer: res
t
art comput
a
t
i
on if rand
o
m vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
ge
n
_fun: expose c
l
ear_terms, a met
h
od for cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en V
e
rdoolaege
gen_fun::Had
a
mard
_
product: pr
o
paga
t
e full op
t
ions
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
b
ar
v
inok_enumerate: inte
g
ra
t
e verif_e
h
rhart
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verd
o
o
l
aege
barvinok_enumerate: integ
r
ate bar
v
inok_se
r
i
e
s
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
barvino
k
_
enumerate: use argp
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ve
r
doolaege
l
e
xmin: make
lexmi
n
options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Re
v
ert "bernst
e
i
n
/con
f
igu
r
e
.
i
n
: r
e
move redundant change
.
.
.
commit
|
commitdiff
|
tree
next