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: add some more operations
2007-02-02
Sven Verd
o
olaege
d
p
oly: add
some mo
r
e operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
barvinok/genfun
.
h
: fix com
m
ent
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
a
dd
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
QQ: add operator
fo
r
multiplication by a sca
l
ar
(
ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven
V
erdoolaege
Makefile
.
am: check-
s
eries: check
-
-
primal
a
s
well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdo
o
l
a
ege
Makefile
.
a
m
: in
s
tall (some
)
b
inaries
commit
|
commitdiff
|
tree
2007-01-15
Sven
Verdoolaege
u
ndefine CS for So
l
aris 10
commit
|
commitdiff
|
tree
2007-01-14
Sve
n
Verdool
a
ege
b
a
rvin
o
k_enumerate
:
han
d
le
l
ines i
n
input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaeg
e
u
til
.
c: mo
v
e left_inverse
from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::coeff
i
cient: m
o
ve
p
rinting t
o
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
ge
n
_f
u
n::coeff
i
cient: new ve
r
sion return
i
ng ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
eg
e
ge
n
fun
.
cc: move coefficie
n
t
c
omput
a
tion to s
h
ort
_
rat
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdool
a
ege
partial_reducer: restart computation if ran
d
om v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fu
n
:
e
x
pose cle
a
r_terms,
a
metho
d
for clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
ge
n
_f
u
n::Hadam
a
rd_prod
u
ct: propa
g
ate full o
p
tions to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
barvi
n
ok_enum
e
r
a
t
e
: i
n
tegrate
v
erif_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barv
i
n
ok_enumera
t
e: integrate barvino
k
_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
barvino
k
_enu
m
erate: us
e
argp
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdo
o
l
a
ege
lexmin: make lexmin options private
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
Revert "bern
s
t
e
in/configure
.
in: rem
o
ve redundant cha
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvi
n
ok
.
cc: make use o
f
sampl
i
ng for count
i
ng
i
nfini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
barv
i
nok_enumerate_e: respect
-
-
table option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
le
x
min
.
cc: move s
e
l
e
c
tion of
gb
r
solver
t
o optio
n
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
lexmin
:
use argp
commit
|
commitdiff
|
tree
2007-01-04
S
v
e
n Verdoo
l
ae
g
e
bar
v
in
o
k_enum
e
ra
t
e_e: extract
o
ut verificat
i
on
options
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoolaege
barv
i
nok_enum
e
rate_e: print w
a
rni
n
g when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verd
o
o
l
aeg
e
barvinok/
p
olylib
.
h: define value_subtr
a
ct and v
a
lue_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
decom
p
oser
.
cc
:
decompos
e
: micr
o
-
o
ptimization
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoolaege
si
g
ned_co
n
e: store ra
y
s
of cone
commit
|
commitdiff
|
tree
2007-01-04
H
a
rald Devos
o
mega/
p
arser
.
y:
r
em
o
v
e brack
e
ts aro
u
nd type i
n
new
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ve
r
doolaege
lexmin: d
i
sable use o
f
l
ookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
b
a
r
v
inok
_
enumerate_e
.
cc: fix arg
p
optio
n
s parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
op
t
ions
.
c
:
m
ove
c
hoice of use of l
o
ok
u
p
-t
a
ble to ba
r
vin
o
k_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
dool
a
ege
lattice_point
.
cc: f
i
x
#
if
n
d
e
f USE
_
MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decompos
e
r
.
cc: short_vector: remove red
u
ndant cod
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
ola
e
ge
decomp
o
ser
.
cc: sho
r
t
_
vector
:
negate lambda if z
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Ve
r
doo
l
a
e
ge
barvinok
.
cc: series: only re
q
uire rays to be re
v
lex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
cc: serie
s
: pass ful
l
opt
i
on
s
t
o
barvinok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
np_base::handle: pa
s
s arou
n
d rays m
a
t
rix in
s
tead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
decomposer
.
cc: support prima
l
decompo
s
ition
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
decomposer
.
cc: barvinok_decomp
o
s
e: implement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
bar
v
in
o
k_enumer
a
te: respect increme
n
tal
_
speciali
z
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaeg
e
intr
o
duce si
g
ned
_
c
one struct
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdool
a
ege
separat
e
ou
t
de
c
omp
o
sition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
test: use a
r
gp p
a
rser
commit
|
commitdiff
|
tree
2006-12-28
Sven Ve
r
d
o
olaege
update
a
r
g
p from g
n
ulib and
a
dd progna
m
e module
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
doolaege
b
arvino
k
_enumerate_
e
.
cc: don't exit on
unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoola
e
ge
lib/argp
.
h: remove __NTH
f
or __a
r
gp_usage inline functio
n
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
e
r
do
o
l
a
ege
barvinok_enumerate_e
.
cc
:
remove another duplicate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_en
u
merate_
e
: use
argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdool
a
ege
barvino
k
_cou
n
t: use ar
g
p parser
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdoo
l
aege
options
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
e
r
do
o
laege
a
dd argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdoolaege
scarf
.
cc: make c
o
mpatible wi
t
h older versions of
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
S
ve
n
Verdoolaege
add missin
g
assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Makefile
.
am: add rem
o
ve_equalities
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
Verdoolae
g
e
conf
i
gure
.
i
n: only configure bernstein
if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sve
n
V
erdoolaege
bern
s
tein:
config
u
re
.
in: check f
o
r GiNaC
commit
|
commitdiff
|
tree
2006-12-19
S
ven Verdoolaeg
e
ber
n
stein:
r
emove extra
qua
l
ifica
t
ions from
p
oly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdool
a
eg
e
bernstein/src/m
a
in
.
cpp: remove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven
Ve
r
doolaege
short_rat::normaliz
e
:
m
ake powers i
n
the denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
laeg
e
gen_fun:
:
su
b
stit
u
te: no
r
malize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Ver
d
oolaege
d
p
o
l
y_r
:
store ter
m
s
in a set r
a
ther than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Ver
d
oola
e
ge
gen_fun: store
t
erms in a
set rather than in a v
e
ctor
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaeg
e
lexmin: allow empt
i
ness check
through coun
t
ing
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Ver
d
oolaege
lexm
i
n
.
cc: move constructio
n
of subdom
a
ins to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
edo
m
a
in
.
cc: move sample comp
u
tation completely t
o
EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
doolaege
lexmin
.
c
c
: pa
r
tial_order::compar
e
:
use
s
ubstitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n
Verdoolaege
lexmin
.
cc: indicator::combine:
m
o
r
e efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexmin
.
cc: kee
p
heads
i
n
p
a
r
t
i
al order separate
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
e
r
d
oola
e
ge
edomain
.
cc: EDomain::a
d
d_ge_constraint: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
le
x
min
.
cc
:
partial_orde
r
::compare: ad
d
cache
o
f comparis
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
:
make sure le set in partial
o
rder on
l
y
c
on
t
ains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
lexmin:
more
s
a
nity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoola
e
ge
lemxin:
use stable orde
r
ing
o
f ind
i
cator_terms in part
i
al_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
genfun
.
cc: move l
e
x
_c
m
p
t
o m
a
t
_
util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
lexmin: ind
i
cator
:
:combine:
directly
a
d
d
some
kn
o
wn
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
bar
v
in
o
k/polylib
.
h
: separate
includ
e
of pol
y
lib hea
d
er
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
exmin: optionally com
p
ute sign o
f
a
ffine
f
unction
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
e
x
m
i
n: o
p
tional
l
y skip re
d
uc
t
ion of e
v
a
lues in d
o
mains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalu
e
_frac2floor: only make argum
e
nt
n
onnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdool
a
ege
l
e
xmin: Polyhedr
o
n_no
t
_
e
mpty:
be careful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: indicat
o
r_term::i
s
_oppo
s
ite
:
assume
n
umerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
re
m
ove_al
l
_equalitie
s
:
handle compress_variables
r
eturning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
o
laege
lexm
i
n: opti
o
nally use
cdd
d
uring basis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Polyhed
r
on_Re
d
uced_Bas
i
s:
o
pt
i
o
nally use c
d
d to sol
v
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
a
ege
configur
e
.
i
n
:
c
heck fo
r
cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexm
i
n:
P
ol
y
hedron_n
o
t_empty: c
o
ntin
u
e removing equaliti
e
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
lexmin: handle equal
i
tie
s
among par
a
meters
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verd
o
olaege
remove_all_
e
qualit
i
es
:
ignore identity p
a
rameter compression
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoo
l
aege
remove_equalities
.
c: extrac
t
ed fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
ge
n
fun:
a
dd short_rat::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
rdoo
l
aege
genfun:
add short_ra
t
constructors
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verd
o
olaege
e
valu
e
.
c: evalue_denom:
im
p
rove comment
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdo
o
laege
l
e
xmin: Polyhedron_not_empty: check result
r
eturn
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
ba
r
vinok
.
cc: series: remove
e
qualiti
e
s
usi
n
g
P
reimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
Verdo
o
laege
ba
r
vinok_count: c
o
llect stats on n
u
mb
e
r of
u
n
imod
u
lar
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n Ver
d
oolaege
util
.
c: tria
n
gul
a
te_cone
:
use bigger rando
m
values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
l
aege
sample
.
c
:
P
o
lyhedron_Remo
v
eFixedColumns: c
o
p
y constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven
Verdool
a
ege
bernste
i
n
: piecewis
e
_lst::evaluate: fi
x
typo
commit
|
commitdiff
|
tree
next