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: bernsteinExpansion: accept list of polynomials
2007-02-21
Sven Verdoolae
g
e
b
erns
t
ein: be
r
nsteinExpansion: acc
e
pt lis
t
of poly
n
omial
s
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verdoola
e
ge
barvinok_
m
aximi
z
e
:
ma
k
e
e
value parse a l
i
ttle
b
i
t more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
oola
e
g
e
barv
i
nok_enumerate*: be less ch
a
t
t
y by defau
l
t
commit
|
commitdiff
|
tree
2007-02-19
Sven Ve
r
doolaege
cou
n
t/e
n
u
merate: warn if input
is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Ve
r
doolaege
Dom
a
inIncludes: d
e
tect mor
e
cases + ada
p
t do
c
umentation
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoolaege
evalue_bernstein_coefficients: handle f
r
a
c
tion
a
l
s
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_bernstein_coefficie
n
ts
:
han
d
le
f
loo
r
ings
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
S
v
en Verd
o
olaege
b
arv
i
nok_maximize: new tool for maxi
m
izing pie
c
ewi
s
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sv
e
n Verdoolaege
eval
u
e
.
c:
ev
a
l
u
e_frac2polyno
m
ial: improve ac
c
uracy
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
V
erd
o
olaege
e
val
u
e
.
c:
add
comment
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
eva
l
ue
.
c: add
f
u
nction for checking nesting of a
n
eva
l
ue
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c
:
add missin
g
te
r
ms
reorderin
g
s in
e
va
l
ue_r
a
ng
e
_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
evalue
.
c
: m
a
k
e
arguments of eequal
and ev
a
lue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barvinok_enu
m
er
a
t
e
_e: a
d
d -
-
v
erb
o
s
e
o
p
tion
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdool
a
e
ge
bernst
e
in: mark arg
u
ment of value2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdool
a
ege
bern
s
te
i
n
.
c
c:
add (option
a
l)
o
ptions a
r
gume
n
t to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoola
e
ge
a
d
d m
i
s
sing virtu
a
l
d
estructors
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
genfu
n
.
cc:
r
ename stru
c
t cone
t
o
avo
i
d co
n
f
l
ict with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
doc: intege
r
po
i
n
ts
i
n the fund
a
mental
p
a
rallelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
veri
f
_e
h
rhart
.
c: clean up i
n
dentati
o
n
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Ve
r
doolaege
veri
f
_ehrhart
:
o
p
tionally
continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olaege
verif_ehr
h
art: c
o
mbine check_poly from b
a
rvinok_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
laege
ver
i
f
_
ehrhart
.
c
:
c
h
eck
l
ower and upper
poly
n
o
m
i
a
l appr
o
ximations
commit
|
commitdiff
|
tree
2007-02-14
S
ve
n
Verdoolaeg
e
verify
.
h: move
b
arvinok_o
p
tions
int
o
veri
f
y_op
t
ions
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
d
o
olaege
b
arvinok_enumerate: pass parameter na
m
es to chec
k
_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rdoolaege
barvinok_enumerate: more polynommial appr
o
xima
t
ion
s
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
evalue
.
c: ad
d
eva
l
ue_fra
c
2polynomia
l
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoolaege
evalue
.
c: extract
e
v
alue_split_
d
omains_into
_
orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
polysig
n
.
c:
fix cdd_polyhedron_affine_s
i
gn prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
ae
g
e
Makefi
l
e: only check lexmin if
i
t has been compiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaeg
e
add Param_Polyhedron_Scale_Integer prototype
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoo
l
aege
latt
i
ce_point
.
cc: add sanity ch
e
ck for
index of co
n
e
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
test: initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
b
arvinok_enu
m
e
r
a
te: option
a
lly compute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
P
rovide replace
m
ent f
o
r n
e
w P
o
lyLib funct
i
on Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
add evalue_
d
iv (adapted f
r
o
m
P
olyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test: si
m
ple test
f
or Po
l
yLib
'
s
S
mith
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
Makefile
.
am: add d
e
pendencies
for check
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoo
l
aege
genfun
.
cc: short_rat
:
:
normalize: mi
c
ro-optimizat
i
o
n
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
Q
Q: ca
n
onicalize on read and
multiplicat
i
on
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaeg
e
d
o
c: barvinok_series
requi
r
es polyhedron
to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
ven Verdoola
e
ge
Mak
e
file
.
am: check barvinok_enume
r
a
t
e --series
d
uring
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
Ve
r
d
o
olaeg
e
b
a
rvi
n
ok_enume
r
ate: compute se
r
ies of p
o
lyhedra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
V
e
r
doolaege
util
.
c: move Polyhedron_has_po
s
i
tive_
r
ays
f
r
o
m ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
tes
t
all specializ
a
tion al
g
orithms during make che
c
k
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
pass
options throu
g
h to ba
r
v
inok_count
in barvinok_enumer
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ven
Verdoolaege
Hand
l
e
n
on-uni
m
odular
co
n
es in d
u
al decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoo
l
aege
barvinok_stats:
rename unimodular_cones t
o
ba
s
e_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rd
o
olaege
r
e
ducer
.
c
c: extra sanity ch
e
cks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
H
a
ndl
e
n
o
n-u
n
imod
u
lar co
n
es wit
h
a s
p
ecified maxi
m
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven
V
e
rdoola
e
g
e
decomposer
.
c
c: d
e
c
o
mpose: mi
n
o
r cle
a
n-up
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolae
g
e
barvin
o
k
_
options: in
c
l
ude pointer
t
o barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
r
d
oolaege
add barvinok_options
_
f
r
ee
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolaege
barvinok_enumerate:
col
l
ect stat
s
on nu
m
ber of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolaege
decompo
s
er
.
cc: p
o
lar_
d
e
c
ompose: remove common
divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
ege
partial_reducer: specializ
e
list ve
r
s
i
on of base
commit
|
commitdiff
|
tree
2007-02-05
S
v
en Ver
d
oolae
g
e
reducer::reduce: better hand
l
i
ng of
t
e
r
ms with com
m
on
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
S
ven Verdoolaege
red
u
cer::redu
c
e: combine numerators w
i
th equal unredu
c
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven
V
erdoolaege
Q
Q: ad
d
o
p
erator for mult
i
p
lication o
f
v
ector
b
y a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
e
ge
reducer:
:
red
u
ce: take a lis
t
of
n
u
m
erators
as input
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
doolaege
gen_
f
un
:
:
r
ead: read gen_fun from file
d
esc
r
ipt
o
r
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
Verdool
a
ege
add gen_fun::a
d
d
(
short_
r
at *r)
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdool
a
eg
e
NTL_QQ
.
cc: support reading f
r
om str
e
am
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ver
d
oolaege
gen_fun: add oper
a
tor
f
or
printing to stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ve
r
doo
l
a
ege
genfun
.
cc: add short_rat copy constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
d
p
o
ly_r: micro-optimizatio
n
s
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
rdoolaege
dpoly
:
mark some more argumen
t
s/me
t
hods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
s
h
ort_rat::ad
d
: m
a
rk sho
r
t_rat argument co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL_
Q
Q: attem
p
t to sp
e
ed-up
+
= operator
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
dpoly: add some
documentation
commit
|
commitdiff
|
tree
2007-02-02
S
v
en V
e
rdoolaege
d
po
l
y: add som
e
more operatio
n
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
barvinok/genfun
.
h: fix
c
omment
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ve
r
doo
l
aege
add
.
gi
t
ignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
Q
Q
:
add operato
r
for m
u
ltiplication by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makefile
.
a
m
: check-ser
i
es
:
check --primal as well
commit
|
commitdiff
|
tree
2007-01-16
S
v
en
Ver
d
oolaege
Makefile
.
am: install
(so
m
e) binarie
s
commit
|
commitdiff
|
tree
2007-01-15
Sven
Verd
o
olaege
undefine CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven
Verdool
a
ege
barvinok_enu
m
er
a
te:
handle
li
n
es in input p
o
ly
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Ver
d
o
olaege
util
.
c
: move l
e
ft_
i
n
v
er
s
e from
l
exmi
n
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
gen_fun::coefficient: move
p
r
i
nti
n
g t
o
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
gen
_
f
u
n::coefficient:
n
ew version returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
genfun
.
cc: move
c
oefficient computat
i
o
n to sh
o
r
t_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
d
oolaege
partial
_
reducer: restart computat
i
o
n
if rando
m
vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en V
e
r
doolaege
g
en_
f
u
n
: expose clear_terms,
a
method
f
or c
l
earin
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdo
o
laege
gen_fun::Hadama
r
d_product: propagate
f
ull optio
n
s t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
barvinok_enumerate: int
e
grate veri
f
_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
barvinok_enumerate:
i
ntegrate barvinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
do
o
laege
bar
v
ino
k
_enum
e
rate: use a
r
gp
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
ool
a
ege
lexmi
n
: make lexm
i
n options
p
r
iv
a
te
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ver
d
oola
e
ge
Revert "bernste
i
n/configure
.
in: remo
v
e redu
n
dant c
h
an
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvino
k
.
cc: make us
e
of
s
ampling for counting
i
nfinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ve
r
d
o
o
l
a
ege
barvino
k
_
enumerate_e: respect
--table option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaeg
e
lexmin
.
cc: move s
e
lection of gbr solver t
o
options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: use arg
p
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoolaege
barvi
n
ok_enumerate_e: extract out ve
r
ificat
i
on options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvi
n
ok_enum
e
rate_
e
: prin
t
warning when
-
-omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
d
o
olaege
berns
t
ein/configure
.
in
:
re
m
ove redun
d
ant change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaege
b
a
rv
i
nok/
p
olylib
.
h
: define value_subtract
and
valu
e
_ad
d
mul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoolaege
decompo
s
er
.
cc:
decomp
o
se: micro-
o
ptimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
do
o
lae
g
e
signed_con
e
: store r
a
y
s
of co
n
e
commit
|
commitdiff
|
tree
next