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
QQ: add operator for multiplication by a scalar (ZZ)
2007-02-02
Sven Verdoola
e
g
e
QQ: a
d
d
operator for multiplication by
a
scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makefile
.
am: ch
e
ck-s
e
ries: check --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven V
e
rdoolaege
Ma
k
efile
.
a
m
: install
(some) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sve
n
Verdoolaege
undefine CS f
o
r S
o
laris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
ba
r
v
inok_enumera
t
e
: handle line
s
i
n
i
n
p
u
t polyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoola
e
ge
util
.
c: mov
e
l
e
ft_invers
e
from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
gen_fun::c
o
efficie
n
t:
move printin
g
to sh
o
rt_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
gen_fun::coeff
i
cient:
new version re
t
urning Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaeg
e
genfu
n
.
cc: mov
e
coeffi
c
ient computat
i
on to sh
o
rt_
r
at
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
p
art
i
al_reducer: restart
c
omputation
i
f random v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolaeg
e
g
en_f
u
n:
expose clear_terms, a method for clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun
:
:
H
a
dama
r
d_product:
propagate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
barvino
k
_en
u
merate: in
t
e
grate verif_eh
r
ha
r
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barv
i
nok_enumerate: i
n
tegrate barvinok_s
e
ri
e
s
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
ba
r
vin
o
k_enumera
t
e:
use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
ae
g
e
l
e
xmi
n
: make lexmi
n
o
ptions private
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Rever
t
"b
e
r
n
s
t
ein
/
con
f
igure
.
in
:
re
m
ove redundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdo
o
l
a
ege
barvinok
.
cc
:
make use of
s
ampling for c
o
unt
i
n
g infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n V
e
rdoolaege
barvino
k
_enume
r
ate_e: r
e
s
p
ect --table option
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
Verdo
o
laege
lex
m
in
.
cc:
move s
e
lection
o
f
g
br solver
t
o
op
t
ions
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verd
o
olaeg
e
lexmin
:
use
ar
g
p
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
la
e
g
e
b
arvinok_enumera
t
e_e: ext
r
act out verificati
o
n
o
ptions
commit
|
commitdiff
|
tree
2007-01-04
S
v
e
n
Verdool
a
ege
barvinok_enumerate_e: print warni
n
g when --o
m
ega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
be
r
nstein/conf
i
gure
.
i
n
: r
e
move
redun
d
a
n
t chang
e
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
bar
v
i
no
k
/poly
l
ib
.
h
: define value_sub
t
ra
c
t
and
value_add
m
ul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoo
l
aege
decomposer
.
cc: decom
p
ose: micro-opt
i
miz
a
tion
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
V
e
rdoolaege
sign
e
d
_cone:
store rays of cone
commit
|
commitdiff
|
tree
2007-01-04
Har
a
l
d
D
e
vos
o
m
e
g
a/pa
r
ser
.
y: remov
e
bracket
s
around typ
e
in new
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
r
d
oolaeg
e
le
x
min: d
i
sabl
e
us
e
of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoola
e
ge
bar
v
inok_enumer
a
te_e
.
cc: fix
a
rgp
options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
options
.
c: move choic
e
of use
o
f
lookup-t
a
bl
e
to
b
arvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
a
e
g
e
l
a
t
t
i
ce
_
point
.
cc:
f
ix #if
n
def
U
SE_MO
D
ULO
c
ode pat
h
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
g
e
deco
m
p
oser
.
cc: short_vec
t
or: rem
o
ve re
d
undan
t
code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
cc: short_ve
c
t
o
r: negate la
m
bda if z
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
barvinok
.
c
c
: series:
only r
e
q
u
ir
e
ra
y
s to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
barvinok
.
cc
:
s
e
ries: pa
s
s
ful
l
o
ptio
n
s to barvi
n
ok_c
o
unt
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olae
g
e
np_base::handle: pass
ar
o
und r
a
ys matr
i
x inste
a
d
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
decompo
s
e
r
.
c
c
:
support primal deco
m
position
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoolaege
decomp
o
s
er
.
cc: barvin
o
k_deco
m
pos
e
: implement in term
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verd
o
o
laege
barvinok_enumerate: respect i
n
crem
e
ntal_specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
introduce sign
e
d
_
cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
separate out decom
p
osition
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaeg
e
test: use argp
p
arser
commit
|
commitdiff
|
tree
2006-12-28
S
v
en
Ver
d
oola
e
ge
upda
t
e
a
r
gp from gnulib and add progna
m
e
module
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoo
l
aege
barvinok_enumera
t
e_e
.
cc
:
don
'
t exit on un
r
ecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoo
l
ae
g
e
lib
/
argp
.
h: remove
__N
T
H
for _
_
argp_usa
g
e inli
n
e f
u
nction
commit
|
commitdiff
|
tree
2006-12-27
S
ven Verdoolaege
barvinok_
e
n
umerat
e
_e
.
cc:
r
em
o
v
e another duplicate
defin
i
tion
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolaege
barvi
n
ok_enumerate_
e
: use
a
rgp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolae
g
e
barv
i
nok_cou
n
t: use argp pars
e
r
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
aege
options
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdoolaeg
e
a
dd argp from g
n
ulib
commit
|
commitdiff
|
tree
2006-12-26
S
ve
n
V
erdoo
l
a
ege
s
c
arf
.
cc:
m
ake com
p
atib
l
e with ol
d
er
v
e
r
sions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoo
l
aege
add missi
n
g ass
e
r
t
.
h #i
n
cl
u
d
e
s
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoola
e
ge
Makefi
l
e
.
am: add remove_eq
u
alities
.
h
to distribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doolaeg
e
configure
.
in:
only conf
i
g
u
re bernstein
i
f GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoo
l
aege
bernstein: configu
r
e
.
in
:
check
f
or GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdo
o
laege
b
e
r
nstein:
r
emove e
x
tra qua
l
ifications from
p
olynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Ve
r
doolaege
bernstein/src/main
.
cp
p
: remove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdool
a
ege
short_rat:
:
n
o
rm
a
lize: make powers in the deno
m
inator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolae
g
e
ge
n
_fu
n
:
:
s
u
bs
t
i
t
u
te: no
r
malize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
dpoly_r:
s
t
ore ter
m
s in a set r
a
ther than in a vector
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Verdoolae
g
e
gen_fun: st
o
re
t
erms in a set rath
e
r th
a
n in a vect
o
r
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
ol
a
ege
lexmin: allow emptine
s
s check through counting
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n Verdo
o
laeg
e
lex
m
in
.
cc: move construction of subdomains
t
o ed
o
m
a
in
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdo
o
laege
edomain
.
cc: move sample computation complet
e
ly to EDomain
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdool
a
ege
lex
m
in
.
cc: pa
r
ti
a
l_or
d
e
r::
c
o
m
pare:
use substit
u
tion
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
e
g
e
lexmin
.
cc
:
indicator::
c
o
m
bine: m
o
re effi
c
i
ent way
of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoola
e
g
e
lex
m
in
.
c
c:
keep
hea
d
s
in partial order separat
e
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erd
o
olae
g
e
edomain
.
cc: EDomain::add_ge_constraint: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc
:
partial_or
d
er::compare: a
d
d
cache of c
o
m
parison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
lexmin: mak
e
sure le
set in pa
r
tial or
d
er
o
nly contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
lexm
i
n: m
o
r
e sanity ch
e
cks
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
lemxin: use stable
o
r
der
i
ng of in
d
i
c
a
tor_terms in part
i
al
_
or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en V
e
rdoola
e
g
e
genfun
.
cc
:
m
o
ve l
e
x
_cmp
to mat_u
t
il
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oo
l
a
e
ge
lexm
i
n: ind
i
cato
r
:
:
comb
i
ne
:
dire
c
tly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoo
l
aege
barvi
n
ok/poly
l
ib
.
h
: separate include
o
f pol
y
lib h
e
ader
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
lexmin: optio
n
ally compute si
g
n of aff
i
ne fu
n
c
tion
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n
Verdoolaege
lexmin: op
t
ionally skip reductio
n
of
e
val
u
e
s
i
n
d
omains
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doola
e
g
e
evalue_frac2fl
o
or: only mak
e
arg
u
men
t
nonnegative i
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdo
o
laege
l
e
xmin: Pol
y
hedron
_
not_empty: be caref
u
l about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
e
x
min: i
n
dic
a
tor_term
:
:is
_
opposite: assume nume
r
a
tors
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
r
e
move_a
l
l_
e
qualit
i
es
:
handle compress_v
a
riables
r
etur
n
ing
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
d
oolaege
le
x
m
i
n:
o
p
t
iona
l
ly use cdd during ba
s
is re
d
uction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Polyhedr
o
n
_
Reduced_Ba
s
is: optionally use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
conf
i
gure
.
in:
check for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
rdoolaege
lex
m
in: Polyhedron_
n
ot_em
p
ty: continue r
e
m
o
ving eq
u
a
l
ities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
lexmin: h
a
ndle
equaliti
e
s among pa
r
amet
e
rs
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
remove_all_equalities:
ignore identity
par
a
mete
r
compre
s
s
ion
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolae
g
e
remove_equalitie
s
.
c: ex
t
racted from
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolae
g
e
ge
n
fun:
a
dd shor
t
_rat::no
r
malize
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
genfun: add short_ra
t
co
n
structors
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
e
rdoolaege
e
v
alu
e
.
c: eva
l
ue
_
denom: im
p
r
o
ve c
o
mme
n
t
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
lex
m
in: Polyhedron_not_em
p
t
y
: che
c
k result returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sve
n
Verd
o
olaege
barvi
n
ok
.
cc: series: rem
o
ve equaliti
e
s u
s
ing Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verd
o
olaege
b
a
rvinok_co
u
n
t
: co
l
lect stats on number of u
n
imodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n Verdoolaege
u
ti
l
.
c
:
triangulate_
c
one:
u
s
e bigger r
a
ndo
m
values
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdoolaege
sample
.
c: Polyhedron
_
RemoveFix
e
dColumns: cop
y
cons
t
an
t
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sv
e
n Verdoolae
g
e
bernstein: piecewise_lst::
e
v
al
u
ate: fix
t
ypo
commit
|
commitdiff
|
tree
2006-12-06
Sve
n
Verdoolaege
c
o
nfigure
.
i
n
: only add -lbernstein to barv
i
nok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaeg
e
con
f
igure
.
in: renam
e
--with-ginac to
--
w
i
t
h
out-berns
t
e
i
n
commit
|
commitdiff
|
tree
next