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
dpoly_r: micro-optimizations
2007-02-02
Sven Verdoolaeg
e
dpoly_r: m
i
c
r
o
-optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
er
d
oolaeg
e
dpo
l
y:
m
ark some mo
r
e
a
rguments/m
e
th
o
ds const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
short
_
rat:
:
add: mark short_ra
t
argument con
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
N
TL_QQ: attem
p
t to
s
pee
d
-u
p
+= oper
a
tor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly
:
add
some
d
ocumen
t
ation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
ola
e
ge
dpol
y
: add some mo
r
e operat
i
ons
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
b
arvinok/genfu
n
.
h: fix
comment
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
ad
d
.
gitigno
r
e
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
QQ: add operator for mu
l
ti
p
lica
t
ion by a s
c
alar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
S
v
en Verdoolaege
Mak
e
file
.
am:
check-ser
i
es:
check --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven
Ver
d
o
o
laege
Makefile
.
a
m
: insta
l
l (some) bi
n
a
ri
e
s
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaege
undefin
e
CS for Solaris 1
0
commit
|
commitdiff
|
tree
2007-01-14
Sven Verd
o
olaege
bar
v
ino
k
_enum
e
rate: handle lines in
i
nput polyh
e
dra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c
: move
lef
t
_inverse from lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
g
e
n
_
f
un::coefficient: move printing t
o
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
gen_
f
un::coeff
i
cient: new ve
r
sio
n
return
i
ng ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
genfun
.
cc
:
move
c
oe
f
ficient computation to sho
r
t_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
partial_red
u
c
e
r:
r
estart com
p
utation if rand
o
m ve
c
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
gen
_
fun:
expose cle
a
r_ter
m
s, a
method for
cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoo
l
aege
gen_f
u
n::Hada
m
ard_
p
roduct: pr
o
pagate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olae
g
e
barvinok_en
u
merate: i
n
t
egrate verif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aeg
e
b
a
rvino
k
_enumera
t
e: integrate barvinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
l
aege
bar
v
inok_enum
e
r
a
te
:
use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin: mak
e
lexmin options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
Revert "be
r
nstein/config
u
re
.
in:
r
emove
r
e
dundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoo
l
aeg
e
ba
r
v
i
nok
.
cc: make use of samp
l
ing fo
r
co
u
nting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barv
i
no
k
_
e
numerate_e: res
p
ect --table op
t
ion
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
lexmin
.
cc: move sel
e
ction of g
b
r
solver
t
o
o
ptions
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
o
l
aege
lexm
i
n: use arg
p
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok_enu
m
erate_e: extract ou
t
veri
f
icat
i
o
n
op
t
ion
s
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolae
g
e
barvino
k
_
e
numerate_e: pr
i
nt warning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Ve
r
doolaege
bernstein/conf
i
gure
.
in
:
remove
redunda
n
t
c
han
g
e
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoolaege
barv
i
nok/polylib
.
h: define valu
e
_subtr
a
ct and value
_
addmu
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en
Verdoolaege
decomposer
.
cc:
d
ecompose: micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoola
e
ge
s
igned_cone
:
store rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
le
x
min: disable u
s
e of lo
o
kup-tables
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdo
o
lae
g
e
barvin
o
k_
e
numerate_e
.
cc:
f
ix
a
rgp options parse
r
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
o
p
tions
.
c:
m
ov
e
cho
i
ce of use of loo
k
u
p
-table to barvinok
_
op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
latt
i
ce_point
.
cc:
fi
x
#
i
f
n
d
e
f USE_MODULO code p
a
th
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdoolaege
deco
m
poser
.
cc:
short_vector: remove redun
d
an
t
code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decompos
e
r
.
cc:
s
hort_vector:
n
e
g
ate la
m
b
da if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n Verdoola
e
ge
barvinok
.
c
c: series: onl
y
requi
r
e rays to be
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
barvi
n
o
k
.
cc: ser
i
es:
p
as
s
full o
p
t
ions t
o
barv
i
nok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
n
p_base::handle:
pa
s
s aro
u
n
d
r
ays matrix i
n
stead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
d
ecomposer
.
cc: support primal decom
p
osi
t
io
n
commit
|
commitdiff
|
tree
2007-01-03
S
ven
Verdoolaege
d
e
c
o
m
poser
.
cc: barvinok_de
c
ompose
:
implement
in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
barvinok_enumerate: respe
c
t
incremental_speciali
z
ation
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdo
o
laege
introduce s
i
gned_cone stru
c
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
sepa
r
ate ou
t
decomposition
commit
|
commitdiff
|
tree
2007-01-03
S
v
en V
e
r
d
o
olaege
t
est: u
s
e
argp parse
r
commit
|
commitdiff
|
tree
2006-12-28
S
ven Verd
o
o
laeg
e
update argp from gnulib
and
a
dd prog
n
ame module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enumerate_e
.
cc: don't exit on u
n
recogniz
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Ve
r
doolaege
lib/argp
.
h
:
re
m
o
v
e
__NTH
f
or
_
_argp_usage inlin
e
f
unction
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
a
rv
i
nok_e
n
umera
t
e_
e
.
cc: remove another
duplic
a
t
e
definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolaege
barvinok_enumerate_e: use argp parser
commit
|
commitdiff
|
tree
2006-12-27
S
ven Verdoolaege
barvino
k
_count: us
e
argp pars
e
r
commit
|
commitdiff
|
tree
2006-12-26
S
v
en V
e
rdoolae
g
e
options
.
c: add
a
rg
p
parse
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoolaege
add argp from g
n
ulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
scarf
.
cc: ma
k
e c
o
mpat
i
ble with older versions of P
o
lyL
i
b
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
add missing assert
.
h #incl
u
des
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
V
e
rdoo
l
aege
Makefile
.
am: add remove_equal
i
t
ies
.
h to distribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdool
a
ege
configure
.
in:
only configure
b
er
n
stein i
f
GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
V
erdoolaege
bernstei
n
:
confi
g
ure
.
i
n: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
bernstein: remove extra q
u
alific
a
tions
f
rom
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven
V
erdoolaege
bernstein/
s
r
c
/m
a
in
.
cpp: remove redunda
n
t include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
short_rat::norma
l
ize: m
a
k
e power
s
i
n the
d
enomi
n
ato
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Verdoolaege
gen_
f
un::substitute
:
n
o
rm
a
lize terms
commit
|
commitdiff
|
tree
2006-12-18
S
v
e
n
V
erdoo
l
aege
dpoly_r: store terms in
a
set rather than in a
v
e
ct
o
r
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoola
e
ge
g
en_fun: store terms in a set rather than in a ve
c
tor
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoo
l
aege
lexmi
n
:
a
llow
emptiness check throu
g
h counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
lexmi
n
.
cc:
m
ove construction of subdomains to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
e
d
omain
.
cc: m
o
ve sampl
e
computation
c
o
mpletely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdool
a
ege
lexmin
.
cc: pa
r
tial_order
:
:compare: u
s
e
substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
lexmin
.
cc: indicator::
c
ombine:
m
o
r
e
efficient way o
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
lexmin
.
cc: keep heads
in partial orde
r
separate
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
edomain
.
cc: E
D
omain
:
:a
d
d_ge_constrai
n
t:
s
implify
new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexmin
.
cc: parti
a
l_o
r
d
e
r
:
:co
m
pare:
a
dd cache of compari
s
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
in: ma
k
e s
u
re le set in partial ord
e
r only con
t
ains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ver
d
oola
e
g
e
lex
m
in: m
o
re sanity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemxi
n
: use stable order
i
n
g
of i
n
dicator_
t
e
rms in
p
a
r
tial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
g
e
nfun
.
cc: move lex
_
cmp to mat_ut
i
l
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmin: indicator::combine: directly add
some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
rdoola
e
g
e
barv
i
nok/polylib
.
h:
s
e
parate include o
f
po
l
y
lib
header
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoola
e
ge
lexm
i
n: optionally compute
s
ign
of affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
lexmin: o
p
tionally skip
reduction of evalues
in
d
omains
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolae
g
e
evalu
e
_frac2floor:
o
n
l
y make argument non
n
egative
if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Ver
d
oolaege
le
x
min: Po
l
y
h
edron_not_em
p
ty: b
e
carefu
l
a
bout em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin
:
i
n
dicator_te
r
m::is_opposite: ass
u
me numerator
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Verdoolaege
remove_all_equ
a
lities: handle
comp
r
ess_variables ret
u
rni
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
lexmin: opti
o
n
a
lly use cdd duri
n
g basis
reduction
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
Po
l
yhedr
o
n_Reduced_B
a
s
is
:
optio
n
ally use
cdd
to
s
o
l
ve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ve
r
doolaege
c
onfig
u
r
e
.
in: chec
k
for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoo
l
a
e
ge
lexmin: Polyhedr
o
n_not_emp
t
y:
c
on
t
inue r
e
moving equalities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: han
d
l
e
equalities among param
e
te
r
s
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaeg
e
remove_all_eq
u
alities: ignore
i
dentit
y
paramete
r
co
m
pres
s
ion
commit
|
commitdiff
|
tree
2006-12-09
S
ven V
e
rd
o
ol
a
ege
remove_
e
qual
i
t
ies
.
c:
extracted
fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
aege
g
e
n
fun:
add
s
ho
r
t_
r
at::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
genfun: add short_rat constructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
o
laege
eva
l
ue
.
c: ev
a
lue_deno
m
: improve
commen
t
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
le
x
min: Polyh
e
dron_n
o
t_empt
y
: check result
returned
.
.
.
commit
|
commitdiff
|
tree
next