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
Handle non-unimodular cones with a specified maximal index.
2007-02-08
Sven
Verdoolaege
Han
d
le non-unimodular
c
o
n
es with a spec
i
fied maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sve
n
Ver
d
oolaeg
e
decompose
r
.
cc: d
e
c
om
p
ose:
m
i
nor
c
lean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erd
o
olaege
barvin
o
k
_
options: include p
o
inter to b
a
rvin
o
k_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolaege
add barvinok
_
optio
n
s
_
free
commit
|
commitdiff
|
tree
2007-02-06
S
ven V
e
rdo
o
l
a
ege
b
a
r
vinok_enumera
t
e: co
l
lec
t
st
a
t
s
on
n
um
b
er of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoolae
g
e
de
c
omposer
.
cc:
polar_decompose:
r
e
move common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verd
o
olaege
partial_reducer: spe
c
iali
z
e l
i
st version of
b
ase
commit
|
commitdiff
|
tree
2007-02-05
S
ven Ver
d
oolaege
r
e
du
c
e
r::reduce: b
e
tter handling of terms with c
o
m
m
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoo
l
aeg
e
r
educer::reduce: comb
i
n
e numerators wi
t
h equal unred
u
ced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
S
v
en Verdoolaeg
e
QQ:
a
d
d operator
f
or m
u
ltip
l
ication of vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolae
g
e
r
e
du
c
er::r
e
duce: take a l
i
st o
f
num
e
r
a
tor
s
a
s input
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Ve
r
do
o
laeg
e
gen_fun::read:
r
ead gen_fun from f
i
le
d
e
scriptor
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
a
dd gen_fu
n
:
:
add(short_rat
*
r
)
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdo
o
la
e
ge
NTL_QQ
.
cc:
s
u
pport rea
d
in
g
from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
d
o
olaege
gen
_
fun: add oper
a
t
o
r for printing to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
l
aege
genfun
.
cc:
a
dd s
h
ort_rat copy constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly_r: micro
-
optimizat
i
ons
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
Verdoolaege
dpoly: mark some more arguments/met
h
o
ds con
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
short_rat::add:
m
ark short_rat argu
m
ent const
commit
|
commitdiff
|
tree
2007-02-02
S
ven
Ver
d
oolaeg
e
N
T
L_QQ: attempt to speed-up +
=
o
perator
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
dpol
y
: add som
e
d
o
cumen
t
a
tion
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ver
d
oo
l
aege
d
p
oly: add
s
o
me m
o
re operations
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdo
o
laege
barvino
k
/genfun
.
h:
f
ix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
add
.
gitigno
r
e
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
Q
Q: add operato
r
for mu
l
tiplication
b
y a scalar (Z
Z
)
commit
|
commitdiff
|
tree
2007-01-18
S
ven
V
erdoolae
g
e
M
a
kefil
e
.
am
:
ch
e
c
k
-
seri
e
s
: che
c
k
--primal as
w
ell
commit
|
commitdiff
|
tree
2007-01-16
Sven
Ve
r
doola
e
ge
M
akefile
.
am
:
in
s
tall
(
some) binarie
s
commit
|
commitdiff
|
tree
2007-01-15
Sven
Verdoolaege
u
n
de
f
ine CS for
S
ol
a
ri
s
10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoola
e
ge
barvi
n
ok_enumerate: handle lines in input polyhed
r
a
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sve
n
Verdoolaege
util
.
c: move left
_
inv
e
rse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
e
g
e
ge
n
_fun::coef
f
i
cient: m
o
v
e
p
rinting to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
gen_fun::coefficient: new ver
s
ion
returni
n
g ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaege
genfun
.
cc: mo
v
e
c
oeffic
i
e
nt
c
omputation to
s
hort_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
parti
a
l
_
reducer: restart co
m
putati
o
n if rando
m
vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
e
r
doolaege
gen_fun: expose clea
r
_ter
m
s, a
m
ethod for
c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
g
e
n_fun::Hadamard_pr
o
duct: propagate f
u
ll options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
ae
g
e
barvinok
_
enum
e
rate: integ
r
a
te ver
i
f_
e
hrha
r
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
ba
r
vinok_en
u
merate:
i
nt
e
grate b
a
rvinok_series
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoo
l
aege
barvinok_en
u
m
e
rate
:
us
e
argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
lexmin: make le
x
min
o
p
t
ions priv
a
t
e
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
R
e
vert
"bernstein/conf
i
gur
e
.
in: remov
e
redundan
t
cha
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ve
n
Verdoolaege
ba
r
vinok
.
cc: mak
e
use of
s
a
mpling for
c
o
u
nting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enu
m
e
r
a
te_e: respect --tabl
e
opti
o
n
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
c
c: mov
e
selection of gbr solv
e
r
to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
e
ge
le
x
min: use
argp
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdool
a
ege
bar
v
inok_e
n
umera
t
e_e: extra
c
t out ve
r
i
f
i
c
ati
o
n op
t
ion
s
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaege
barvinok_enumerate_e: print
w
arning when -
-
omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoolaege
barv
i
nok/poly
l
ib
.
h
:
define va
l
u
e
_subtract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven
Verdool
a
e
g
e
d
e
co
m
poser
.
cc: dec
o
mpose:
m
icro-o
p
timiza
t
ion
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoo
l
a
e
ge
si
g
ned_
c
one:
s
t
o
re ra
y
s of cone
commit
|
commitdiff
|
tree
2007-01-04
Harald De
v
os
omega/parser
.
y: remove brackets around
type in n
e
w
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lexmin: di
s
able
use of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
b
arvinok_enume
r
ate_e
.
cc:
fix a
r
gp options par
s
er
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verd
o
olaege
options
.
c: move choice
of
use of
l
ookup-table
t
o b
a
rvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
d
oolaege
lattice_point
.
cc:
fix #ifndef USE
_
MODULO c
o
d
e pat
h
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decompo
s
e
r
.
cc: sho
r
t_vecto
r
: remove
r
e
d
undant code
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
decomposer
.
cc: short_ve
c
tor:
neg
a
t
e
lambda
i
f
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvi
n
ok
.
cc: series: only require rays to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
barvino
k
.
cc: se
r
ies: pass fu
l
l o
p
ti
o
ns to barvino
k
_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
o
la
e
g
e
np
_
base
:
:
h
andle:
p
ass
arou
n
d
rays matrix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
ae
g
e
decomposer
.
cc: support primal decomp
o
s
i
tio
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
decom
p
oser
.
cc: barvinok_d
e
compo
s
e: im
p
lement i
n
t
e
rms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ver
d
oola
e
ge
barvinok_enumerate:
re
s
p
ect
i
ncremental_speciali
z
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
introdu
c
e signed
_
cone s
t
ruc
t
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
separate out
d
ecomposition
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoo
l
aege
t
e
st: use argp p
a
rse
r
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
update argp fro
m
gnulib and ad
d
p
rogname m
o
dule
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n Verd
o
o
l
aege
barvino
k
_enumerat
e
_e
.
cc: don't exit on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
li
b
/argp
.
h:
r
emove _
_
N
TH for _
_
argp_usage inline function
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
r
doolaege
b
a
rvinok_enumerate_e
.
cc: remove an
o
ther duplicate definit
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
bar
v
inok_enumerate_e
:
us
e
argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolae
g
e
b
a
rvinok_coun
t
: use argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
options
.
c: add a
r
gp p
a
rse
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoo
l
a
ege
ad
d
argp fr
o
m
g
nulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
laeg
e
scarf
.
cc: make compatible with
o
lder
v
ersions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
add missing a
s
s
er
t
.
h #i
n
cludes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
a
ege
Makefi
l
e
.
am: add remove_equa
l
i
ti
e
s
.
h to distribu
t
i
o
n
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n
V
erdoolaege
con
f
i
g
ure
.
in: only c
o
n
f
igure bernstein
i
f
G
i
NaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
S
v
en
Verdoolaeg
e
berns
t
ein: c
o
nfigure
.
i
n
: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
bernstein: remove extra qualific
a
t
i
o
ns from polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Ve
r
doolaege
b
ernstein/
s
r
c
/main
.
cpp
:
r
e
mov
e
redund
a
nt includ
e
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Verdoolaege
s
h
ort_rat
:
:
n
or
m
ali
z
e:
make
powers in
t
he denomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_
f
un::substitute: nor
m
alize t
e
rms
commit
|
commitdiff
|
tree
2006-12-18
S
v
e
n
Verdoolaege
dpoly_r:
store terms in a
s
et rat
h
er t
h
an i
n
a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun: store
t
erms in a set
r
ath
e
r t
h
a
n
i
n
a
vec
t
or
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: allow empt
i
n
e
ss
che
c
k through countin
g
commit
|
commitdiff
|
tree
2006-12-11
S
ven
Verdool
a
eg
e
l
e
x
min
.
cc: move
c
ons
t
ructio
n
of subdomains
t
o edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaeg
e
edomain
.
cc:
m
ove sample compu
t
ation completely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdool
a
ege
l
e
xmin
.
cc: p
a
rtia
l
_o
r
der::compare: use
s
ubstitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
o
ol
a
ege
lexm
i
n
.
cc:
indicator::
c
ombine: more
efficient
way
of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoo
l
aege
le
x
m
i
n
.
cc
:
keep head
s
in parti
a
l order
s
epara
t
e
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Ve
r
doolaege
e
d
omain
.
cc: EDomain::add
_
ge_
c
onstr
a
int
:
simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexm
i
n
.
cc: parti
a
l
_order::comp
a
re
:
add cache of
compariso
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: make su
r
e le
s
et
in p
a
rtial o
r
de
r
on
l
y
c
ontains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
la
e
ge
lexmi
n
: more sa
n
ity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erd
o
o
laege
lem
x
in:
u
se
s
table o
r
dering of
i
ndicator_
t
erms in
p
artial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
V
erdoolaege
g
e
nfun
.
cc
:
move
l
ex_cmp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaeg
e
lexmin: indicator
:
:co
m
bi
n
e
:
directly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n
Verdoolaege
barvinok/polylib
.
h:
s
epara
t
e
include of p
o
ly
l
i
b header
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: op
t
i
o
nally compute sign
of
a
ffine
f
unction
.
.
.
commit
|
commitdiff
|
tree
next