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
reducer::reduce: take a list of numerators as input
2007-02-02
Sv
e
n Verdoolaege
reduce
r
::
r
educ
e
: tak
e
a li
s
t of numerators as i
n
put
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
gen_fun
:
:read
:
read
gen_fun from file d
e
s
criptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
add ge
n
_fu
n
::add(shor
t
_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
NTL_QQ
.
cc: support
r
e
adi
n
g fro
m
stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
ool
a
e
g
e
gen_fun: add operat
o
r for pri
n
ting to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
genfun
.
cc
:
add short_ra
t
co
p
y
c
onstruc
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
d
p
oly_r
:
mic
r
o-optimiz
a
tio
n
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
d
p
o
ly:
mark
some more argument
s
/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
rdo
o
laege
short_rat::
a
dd: mark short_rat arg
u
ment co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
lae
g
e
NT
L
_QQ: attempt to sp
e
ed
-
up
+
= o
p
erator
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
dpoly
:
add some
documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
dp
o
ly: ad
d
some more operati
o
ns
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
d
oolaege
barvi
n
ok/genfun
.
h: fix com
m
ent
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
add
.
gitign
o
re
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laeg
e
QQ: add oper
a
t
or for multiplication by a
s
cala
r
(ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Ma
k
e
f
ile
.
am: check-
s
erie
s
:
che
c
k
--primal a
s
well
commit
|
commitdiff
|
tree
2007-01-16
S
v
en V
e
r
d
oolaege
Makefile
.
am: install (some) binar
i
es
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoo
l
aege
u
ndefin
e
CS fo
r
Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sve
n
Verdool
a
ege
barvi
n
ok_enumerate: handl
e
lines i
n
in
p
ut polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sve
n
Ve
r
doola
e
ge
util
.
c
:
mo
v
e left_inverse from lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::c
o
effici
e
nt:
move pri
n
ting
t
o short_rat
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verd
o
olaege
gen_fun::
c
oeffic
i
ent: new ve
r
sion r
e
turning Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Ve
r
doolaege
genfun
.
cc: move c
o
e
fficient co
m
p
u
t
ati
o
n t
o
short_ra
t
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verd
o
o
l
a
ege
p
a
rti
a
l_reducer
:
r
e
start computation if random
vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun:
e
xpos
e
c
l
e
ar_ter
m
s,
a
met
h
od for clea
r
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven V
e
r
d
oolaege
g
en_fun::
H
adamard_product: p
r
opagate full opti
o
ns
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_
e
nume
r
ate: inte
g
rate v
e
rif_eh
r
hart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumerate: integ
r
ate b
a
rvi
n
ok_serie
s
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
barvinok_en
u
m
erate
:
u
s
e a
r
g
p
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
lexmin: make lexmin options private
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
R
evert "bernstein/configure
.
in: remov
e
redundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolae
g
e
barvinok
.
cc
:
mak
e
use of sampling
for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumerate_e: respect --t
a
ble option
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolae
g
e
lex
m
in
.
cc:
m
ove selectio
n
of gbr solver
t
o opti
o
ns
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoola
e
ge
le
x
min
:
use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoo
l
aege
b
a
rv
i
nok_enumerate_e:
e
xtract out ve
r
i
f
ication options
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verd
o
o
l
aege
b
a
rvinok_enumerate_e:
p
rint warning
when --
o
mega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
ool
a
eg
e
b
e
rnstein/c
o
nfigure
.
in: remove re
d
undant cha
n
ge to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaeg
e
ba
r
v
i
nok/polylib
.
h: d
e
fine
v
alu
e
_s
u
btract and value
_
addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
decom
p
oser
.
cc: d
e
compose: micr
o
-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoolaege
signed_cone
:
store rays of
c
one
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
lexmin: disa
b
l
e
u
se
o
f lookup
-
t
a
bles
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_e
n
ume
r
at
e
_
e
.
cc: fix argp options parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
optio
n
s
.
c: move choice of use o
f
loo
k
u
p
-table
t
o barvinok_
o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
o
o
l
aege
lattic
e
_point
.
cc: fix #ifn
d
ef U
S
E_M
O
D
U
LO co
d
e path
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
decomposer
.
cc:
s
hort_vector:
remo
v
e redunda
n
t code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
decomposer
.
cc: short_v
e
ctor
:
negate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
barvin
o
k
.
cc: series: only
r
e
q
u
ire rays to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
barvinok
.
cc
:
series: pass
f
ull options to
b
arvinok_
c
o
u
nt
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
np_base::handle: pass around rays matrix i
n
stead
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oo
l
a
e
g
e
decomp
o
s
er
.
cc: suppo
r
t
primal d
e
composition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
de
c
ompos
e
r
.
c
c: barvinok_decompose: implement in
terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Ver
d
ool
a
e
ge
barvinok_enumerate: re
s
pect incre
m
e
n
tal_spec
i
alization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdool
a
ege
int
r
oduce s
i
gne
d
_
c
o
ne stru
c
t
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdo
o
lae
g
e
se
p
arate out
decomp
o
sitio
n
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolae
g
e
test: use
argp
parser
commit
|
commitdiff
|
tree
2006-12-28
Sv
e
n V
e
rd
o
olaege
up
d
ate ar
g
p from gnu
l
ib and add p
r
ogname mod
u
l
e
commit
|
commitdiff
|
tree
2006-12-27
S
v
en
Verd
o
olaege
barvinok_enumer
a
te_e
.
cc: don't exit on unrecog
n
ized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
l
i
b
/ar
g
p
.
h: remove __N
T
H for __argp_us
a
ge inline
func
t
ion
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enumerate_
e
.
c
c
: remove a
n
ot
h
er duplicate
d
efinition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
a
r
v
inok_enu
m
erate_e: use argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvi
n
o
k_cou
n
t: us
e
argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
d
o
olaege
opt
i
ons
.
c
:
ad
d
argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
o
l
aege
add argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdool
a
ege
s
carf
.
c
c
: mak
e
co
m
p
at
i
ble with old
e
r v
e
rsions o
f
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doolaege
add miss
i
ng a
s
s
e
rt
.
h
#
includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Makefile
.
am: ad
d
r
emove_equ
a
lities
.
h
to distrib
u
tion
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolae
g
e
c
o
n
f
i
g
ure
.
in: only c
o
nfigur
e
bernste
i
n if GiN
a
C
was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
Verdoolaege
b
e
r
nstein: conf
i
g
u
re
.
in
:
chec
k
for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven
V
erdoolaege
be
r
n
s
t
ein: remove extra qualifications fro
m
polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoola
e
g
e
b
e
rn
s
tein/src/m
a
in
.
cpp: remove
r
edunda
n
t include
commit
|
commitdiff
|
tree
2006-12-18
Sven
V
e
r
doolaege
sh
o
r
t_rat::normalize: make pow
e
rs in the denomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun::s
u
b
stitute:
normali
z
e terms
commit
|
commitdiff
|
tree
2006-12-18
Sven
Verd
o
ola
e
ge
d
p
oly
_
r: store terms in
a set ra
t
her
than in a v
e
ctor
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Verdoolaege
gen_fu
n
: sto
r
e
t
e
rms in a se
t
rat
h
er than in a
vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
xmin: allow
emptiness chec
k
through
c
ount
i
ng
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verd
o
olaege
l
e
xmin
.
cc: move c
o
nstru
c
tion
of subdomain
s
to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n Verdoolaege
edomain
.
cc
:
m
o
ve sample computa
t
i
on completely to ED
o
main
commit
|
commitdiff
|
tree
2006-12-11
S
ven
V
erdoolaege
lexmin
.
cc: partial_o
r
der::
c
ompare
:
use substituti
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ve
n
Verdoolaege
lexmin
.
cc: indicator::combine: more
e
f
ficient wa
y
of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
lexmin
.
cc: keep heads in partial order s
e
parat
e
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
edomain
.
c
c
: EDomain
:
:
a
dd_ge_
c
o
n
strain
t
: simpli
f
y new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: p
a
rtial_order::co
m
p
a
re: add cache of com
p
ariso
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaeg
e
l
exmin: make sure le set in partial ord
e
r o
n
ly contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n
Verdoo
l
aege
lex
m
in: mo
r
e sanity checks
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ve
r
doolaege
l
e
mxin: use stable ord
e
r
i
ng of indicator_te
r
ms i
n
p
a
rtia
l
_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
genfun
.
cc:
m
ove lex_
c
mp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
l
exmin: indi
c
ator::combin
e
:
d
irectly add so
m
e know
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doola
e
ge
barvinok/polyli
b
.
h: s
e
pa
r
ate include of pol
y
lib h
e
ader
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexm
i
n:
o
ptio
n
ally
compute sign of affine f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Verdoolae
g
e
lexmin: op
t
i
onally sk
i
p reduction of eva
l
ue
s
in domains
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
V
erdoolaege
e
v
alue_frac2floor: o
n
ly make argument nonnegati
v
e
i
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
lexm
i
n: Polyh
e
dron_not_empt
y
: be c
a
reful about e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
ola
e
ge
lexmin: indicator_term::
i
s_opposite
:
assu
m
e numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oo
l
a
ege
remove_all_equa
l
ities: handl
e
compress_v
a
riabl
e
s return
i
ng
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Ve
r
d
o
olaege
l
e
xmin: optional
l
y use cdd duri
n
g ba
s
is reduct
i
on
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
Polyh
e
d
ron_Reduce
d
_Basi
s
: optionally use
cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verd
o
olaege
co
n
figure
.
in: check
for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verd
o
o
l
aege
l
e
xmin: Pol
y
h
e
dron_not_empty:
c
ont
i
nue
r
emovi
n
g
eq
u
alities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lex
m
in: handle equalities among parameters
commit
|
commitdiff
|
tree
next