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
decomposer.cc: decompose: minor clean-up
2007-02-07
Sven Verdo
o
lae
g
e
decomp
o
ser
.
cc: decompo
s
e: minor
clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvi
n
ok_options: include pointer
t
o barvinok
_
stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven
V
e
r
doolaege
add barvinok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolaeg
e
barvinok_enumer
a
te: collect
s
t
a
ts on number of unimodul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdo
o
l
aege
decomposer
.
cc: polar_decom
p
o
se: remove common divis
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolaege
partial_red
u
c
er: sp
e
cialize list ve
r
s
i
on of base
commit
|
commitdiff
|
tree
2007-02-05
S
ven
Verd
o
o
laeg
e
reducer::redu
c
e: better handling o
f
terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sve
n
Verdoolaege
reduc
e
r::reduce: combine numerato
r
s
w
ith equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
S
ven Verdo
o
laege
QQ: a
d
d operator for multiplication
of
vector
b
y a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ver
d
oolaege
red
u
cer:
:
reduce: take
a list
o
f
nume
r
ators as input
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ve
r
doolae
g
e
gen_fun::re
a
d: read gen_fun from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoo
l
aeg
e
a
dd ge
n
_fun:
:
a
d
d(short_r
a
t *r)
commit
|
commitdiff
|
tree
2007-02-02
S
ven V
e
rdoolaege
NTL_QQ
.
c
c: s
u
pport
r
eading
f
rom s
t
ream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
gen_f
u
n: add o
p
erat
o
r for printing to s
t
ream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
genfun
.
cc: add short_
r
at copy const
r
uctor
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolae
g
e
d
p
oly_r: m
i
cr
o
-optimizat
i
ons
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
dpoly: mark some more
argum
e
nts/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
s
h
ort_rat::add: mark
s
hort_rat argument co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
NTL
_
QQ:
a
t
t
empt to speed-up += operat
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: add some
d
ocumen
t
ation
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoo
l
a
e
g
e
dpoly: add
som
e
m
o
re operations
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoola
e
ge
barvinok
/
g
enfun
.
h
:
fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add
.
gitig
n
o
r
e
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
QQ: add operator for m
u
ltiplication by
a scal
a
r
(
ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdo
o
laege
Makef
i
le
.
am:
check-series: check --pri
m
al
a
s well
commit
|
commitdiff
|
tree
2007-01-16
Sven V
e
rdo
o
laege
Make
f
ile
.
am: install (some) b
i
naries
commit
|
commitdiff
|
tree
2007-01-15
S
v
en Verdoolaege
undefine
CS fo
r
Solar
i
s 10
commit
|
commitdiff
|
tree
2007-01-14
Sven
Ve
r
doolaege
barvin
o
k_enu
m
erate
:
handle line
s
in
input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven
Verdoolaege
ut
i
l
.
c: move
l
eft_
i
nverse from
l
exmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
do
o
lae
g
e
gen_fun::
c
o
ef
f
icient: move prin
t
ing to
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fu
n
::coeffic
i
ent:
new version returni
n
g ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n V
e
rd
o
olaege
genfun
.
c
c: move coefficient com
p
utati
o
n t
o
s
hort
_
r
a
t
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n V
e
rdo
o
laege
partial_reducer:
r
est
a
rt c
o
mputation if r
a
ndom
v
ector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdo
o
laege
gen_f
u
n: expose c
l
ear
_
terms, a
m
ethod for cle
a
ring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Ve
r
doola
e
ge
gen_fun::Hadamard_pr
o
duc
t
:
p
r
opagate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barv
i
nok_en
u
m
erate
:
i
n
tegrat
e
verif_eh
r
hart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barv
i
nok_enumerate: integrate barv
i
no
k
_series
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
barvinok_enu
m
erate: use arg
p
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
a
e
ge
lex
m
in: m
a
ke lexmin options priva
t
e
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
Revert
"
bernstein/configure
.
in: remove redunda
n
t c
h
ang
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvin
o
k
.
cc
:
make use of sampling
f
or countin
g
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvino
k
_enumer
a
te
_
e: respect --ta
b
le option
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Ve
r
doolaege
l
exmin
.
cc: mov
e
s
e
l
e
c
t
ion of gbr so
l
ver to
options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Ve
r
doolaege
barvinok
_
enumerate_e: extract out verif
i
cation options
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verd
o
olaege
barvinok_en
u
mer
a
te_e: print warning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en V
e
rdoolaege
barvinok/polyli
b
.
h
:
define
value_subtract and value
_
addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
olaege
d
e
c
ompo
s
e
r
.
cc: dec
o
m
pose: micro-o
p
ti
m
ization
commit
|
commitdiff
|
tree
2007-01-04
Sven
Ver
d
o
o
l
aege
s
igned_cone: store rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
lexmin: disab
l
e u
s
e of
lookup-t
a
bles
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
a
eg
e
barvinok_enumerat
e
_e
.
cc:
fix argp opti
o
ns pars
e
r
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
o
p
t
ions
.
c: move
c
hoic
e
o
f use of lo
o
kup-table to barvinok_o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
lattice_point
.
cc: fix #ifndef US
E
_MODULO code
p
a
t
h
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
d
ecomposer
.
cc: short_v
e
cto
r
: rem
o
ve redundant
c
o
de
commit
|
commitdiff
|
tree
2007-01-03
S
ven V
e
rdoolaege
d
e
composer
.
cc: short_vec
t
or: nega
t
e la
m
b
da if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rd
o
o
l
a
ege
b
a
rvinok
.
cc: series: only r
e
quire rays t
o
be revle
x
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
bar
v
inok
.
cc: series: pass ful
l
options to b
a
rvino
k
_c
o
u
n
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
np_b
a
se::handle: p
a
ss ar
o
und rays matrix inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoo
l
aege
decom
p
oser
.
cc: support primal dec
o
mpositi
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
c
c:
bar
v
in
o
k_decomp
o
se: imp
l
em
e
nt i
n
terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
V
e
rdo
o
laege
barvinok_enumerate
:
res
p
ect in
c
rem
e
nt
a
l_
s
pec
i
alization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
i
n
troduce
s
ign
e
d_cone st
r
uct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
ae
g
e
separate
out de
c
omposi
t
ion
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoola
e
ge
te
s
t: use argp
parser
commit
|
commitdiff
|
tree
2006-12-28
Sv
e
n Verd
o
ol
a
ege
u
p
date argp
f
rom gnulib and add pr
o
gna
m
e module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_en
u
m
e
rate_e
.
cc: don't exit on
u
n
r
e
c
o
g
niz
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ven
Verdoolaege
lib
/
ar
g
p
.
h: remove __NTH for __argp_usage
inlin
e
func
t
i
o
n
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoolae
g
e
barvin
o
k_enumerat
e
_e
.
cc: re
m
ove
anot
h
e
r
duplicate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enum
e
rate_
e
: use arg
p
p
arser
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoola
e
ge
barvinok_count: use arg
p
pa
r
ser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
opt
i
ons
.
c:
add a
r
gp parse
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolae
g
e
add arg
p
from gn
u
lib
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdoolaege
s
c
arf
.
cc: make com
p
atible with older versions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolae
g
e
a
d
d
mi
s
s
ing as
s
ert
.
h #i
n
clude
s
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdool
a
ege
Makef
i
le
.
am: add remove_equalities
.
h
t
o distribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
laege
configure
.
in: only c
o
nfigure bernstein i
f
GiNaC w
a
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
V
erdoolaege
b
er
n
stein: con
f
i
g
u
re
.
in: check
for
G
i
N
aC
commit
|
commitdiff
|
tree
2006-12-19
Sven Ve
r
d
oolaege
bernstein: remove
e
xtra qualification
s
from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
ber
n
stein
/
s
r
c
/
main
.
cpp: rem
o
ve redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven
V
erdoolae
g
e
s
h
o
r
t
_
rat::normalize: make powers in the de
n
ominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen
_
fun::
s
u
b
stitut
e
:
normaliz
e
terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoola
e
ge
d
poly_r:
s
tore ter
m
s in a set rather
than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
V
e
r
doolaege
gen_fun:
st
o
re terms in a
s
et rather than in a vecto
r
commit
|
commitdiff
|
tree
2006-12-11
S
v
en V
e
rdoolae
g
e
lex
m
in: allow emptin
e
ss c
h
eck through co
u
n
t
ing
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: m
o
ve
c
onstr
u
c
t
ion of
s
ubdomains to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
edomain
.
cc:
move sample
c
omputation comp
l
e
t
e
l
y
to
E
Domai
n
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
o
l
aege
lexmin
.
c
c
: partial_order::
c
ompare: use s
u
bstitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: indi
c
a
t
or
:
:combine: more
e
fficient way
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc:
k
eep heads in
pa
r
tial order separat
e
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaeg
e
e
d
omain
.
cc: E
D
o
m
a
i
n
::add_ge_
c
onstraint: simplif
y
new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaeg
e
lexmin
.
c
c: partial_order::compa
r
e: a
d
d c
a
che of compar
i
son
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
lexmin: ma
k
e sure le set in par
t
i
a
l or
d
er only
c
o
ntains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
:
m
o
r
e
san
i
ty checks
commit
|
commitdiff
|
tree
2006-12-11
S
v
en V
e
rdoolaeg
e
lemxin: use sta
b
le
orderi
n
g of
i
ndicator_ter
m
s in
partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
r
dool
a
ege
genfun
.
c
c
: m
o
ve le
x
_c
m
p to mat_ut
i
l
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
le
x
min: indicator::combine: dir
e
ctly add some kno
w
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdo
o
laege
barvinok
/
polylib
.
h:
s
e
pa
r
ate i
n
clude of p
o
lylib
h
e
a
der
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
er
d
oo
l
aege
le
x
min: optional
l
y co
m
pute
s
i
gn of
a
f
f
ine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdo
o
l
aege
lexmin: opti
o
na
l
ly
s
kip re
d
uction of evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
e
v
alue_f
r
a
c
2flo
o
r: onl
y
make
a
rgument nonne
g
ative if
.
.
.
commit
|
commitdiff
|
tree
next