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
bernstein_coefficients: factorize domain if possible
2007-01-16
S
v
e
n Verdoolaege
Makefile
.
a
m
:
inst
a
ll (so
m
e) binaries
commit
|
commitdiff
|
tree
2007-01-15
S
ven Verdoolaege
undefine CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barvinok_enumerat
e
: handle l
i
nes i
n
inp
u
t polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolae
g
e
util
.
c: move l
e
ft
_
inverse fro
m
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::coe
f
ficient:
m
o
ve
p
ri
n
ting t
o
short_
r
a
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fun::co
e
f
ficient: new ver
s
ion
r
e
turning
ZZ
commit
|
commitdiff
|
tree
2007-01-05
S
ven
Verdoolaege
genfun
.
cc:
m
ov
e
coefficient comput
a
t
i
on to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
erdoolaege
partial
_
reducer: restart computati
o
n if r
a
ndom vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oo
l
a
ege
ge
n
_fun: expose cle
a
r_terms, a method for cl
e
a
ring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ver
d
oolaeg
e
gen_fun::Hadamard_pro
d
u
ct: pr
o
paga
t
e
f
ull options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
barvinok_enumerate: inte
g
ra
t
e
v
erif_eh
r
h
a
rt
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoolaeg
e
b
a
rvinok_enumerate: integr
a
te barvinok_seri
e
s
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
ba
r
v
i
n
ok_enumerate: use arg
p
commit
|
commitdiff
|
tree
2007-01-05
S
ven
V
e
rdoo
l
a
ege
lexmin: make
l
exmin option
s
private
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
Revert
"
ber
n
stein/configure
.
in: remove re
d
unda
n
t cha
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verd
o
olaege
b
a
rvi
n
o
k
.
cc: make
u
s
e of
s
ampling f
o
r
cou
n
ting i
n
f
init
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ver
d
o
olaege
b
a
rvin
o
k_enumerat
e
_e: respect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
r
d
o
olaege
l
ex
m
in
.
cc:
move sele
c
tion of gbr
s
olve
r
to opt
i
ons
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
o
o
l
aege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
barvinok_enumera
t
e_e:
e
xtract out
veri
f
ication options
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdool
a
ege
barvinok_enum
e
r
a
te_e: print
w
arning whe
n
--omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
bernstein/configure
.
i
n
:
remov
e
redunda
n
t change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdoolaege
barvinok/p
o
l
y
lib
.
h: define value_sub
t
ract and val
u
e
_
addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoolae
g
e
dec
o
mpose
r
.
cc: decompose: micro-op
t
imization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
signe
d
_cone: store
rays of
cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lex
m
in: d
i
sable use of
l
ookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoolaege
ba
r
vinok
_
enumerate_e
.
c
c: fix a
r
gp opti
o
ns pa
r
ser
commit
|
commitdiff
|
tree
2007-01-03
S
ve
n
Verdo
o
laege
options
.
c
:
move ch
o
ic
e
of use o
f
lookup-table to bar
v
i
nok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
lattice_point
.
c
c: fix #i
f
ndef US
E
_MODULO code pat
h
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
decomposer
.
cc: short_vector:
r
em
o
ve redu
n
dant
co
d
e
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdo
o
laege
d
ecomposer
.
cc: short_vect
o
r: negate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doo
l
a
e
ge
b
ar
v
i
nok
.
cc: series: only require ray
s
t
o be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
c
c: series:
p
as
s
full optio
n
s
to
b
arvinok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
np_base::h
a
ndle: pa
s
s around
r
ays matrix ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decom
p
ose
r
.
c
c
: support p
r
imal dec
o
mposition
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
d
e
com
p
oser
.
cc:
b
arvinok_decompose: implement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
barvinok_e
n
umerate: respe
c
t i
n
cremen
t
a
l_specia
l
ization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
i
ntrodu
c
e si
g
n
e
d
_cone str
u
c
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
s
e
par
a
te o
u
t
deco
m
p
osition
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oo
l
a
e
ge
test: use
argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sv
e
n Verdo
o
laege
u
p
date argp from gnu
l
ib and a
d
d pr
o
g
name module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
laege
barvinok_enumerate
_
e
.
cc:
d
on't e
x
i
t
on unreco
g
nized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
Verdoolaeg
e
lib/argp
.
h
:
remove __NTH for __argp_
u
s
age inlin
e
funct
i
on
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Ve
r
d
oo
l
aege
barvi
n
ok_en
u
mer
a
te_e
.
cc:
r
emove an
o
ther duplicate defin
i
tion
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoolaege
barvi
n
ok_enumerate_e: use argp
parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
doolaege
bar
v
inok_count: use argp p
a
rser
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdo
o
laege
options
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoolaege
a
dd argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdo
o
l
a
eg
e
s
c
ar
f
.
cc: make compatible with
older versio
n
s o
f
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
o
olae
g
e
a
d
d
mis
s
ing assert
.
h
#includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Makefile
.
am: add remove_equa
l
ities
.
h t
o
dis
t
ribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
configure
.
in: only
c
o
n
f
igu
r
e be
r
n
s
te
i
n if GiNaC
w
as
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
V
er
d
o
o
la
e
ge
b
ernstein:
c
onfigure
.
in: c
h
eck for G
i
N
aC
commit
|
commitdiff
|
tree
2006-12-19
Sve
n
Verdoolaege
bernstein: rem
o
v
e
e
x
tra q
u
alifications
from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sv
e
n Verdoolaege
bernste
i
n/src/main
.
cpp: re
m
ove re
d
undant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
short_
r
at::normali
z
e:
m
a
ke powers
i
n the denomina
t
or
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven
V
erdoolaege
g
en_f
u
n::substitute
:
normalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
d
p
oly_r: stor
e
terms in a set rathe
r
than in a v
e
ctor
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoolaege
gen_f
u
n: store t
e
rms in a
s
et
rat
h
er than
i
n a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
in: all
o
w
empti
n
ess check t
h
rough c
o
u
nting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaeg
e
lex
m
in
.
cc: mov
e
co
n
s
t
ru
c
tion of subdom
a
ins to ed
o
mai
n
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdool
a
ege
ed
o
main
.
cc
:
move
s
am
p
le com
p
utation c
o
mpletely to EDom
a
in
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoolaege
l
exm
i
n
.
cc: par
t
ial_
o
rder::com
p
are
:
use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doo
l
aege
lexmin
.
cc: indicator:
:
c
o
mbine: m
o
re ef
f
icient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
ool
a
e
g
e
lex
m
in
.
cc: keep
h
e
ads in partial order s
e
parat
e
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edomain
.
c
c
:
E
D
omain
:
:add_ge_constraint: simplify ne
w
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
l
e
xm
i
n
.
cc: partia
l
_
o
rder::co
m
pare: add cache of
compar
i
son
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
le
x
min: m
a
ke sur
e
le s
e
t in partial order onl
y
contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doo
l
aege
lexmin: mo
r
e
sanity c
h
ecks
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
V
e
rdoolaege
lemxin: u
s
e stab
l
e o
r
der
i
ng of indic
a
to
r
_
terms in p
a
rtial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
gen
f
un
.
cc: mo
v
e
l
ex_c
m
p to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
lex
m
in: indicato
r
::combine: directly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
ba
r
vinok/polyli
b
.
h
: sep
a
rat
e
incl
u
de of polylib header
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
lexm
i
n
:
op
t
i
onally co
m
pute sign of aff
i
ne
function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoola
e
ge
lexmin: optio
n
al
l
y
skip
reduct
i
on of evalue
s
in domains
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdoola
e
ge
eva
l
ue_frac2floor: o
n
ly m
a
ke argume
n
t nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ve
r
d
oolaege
lexmin: Polyhedron_not_empty
:
be caref
u
l
abou
t
emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
lexmin: indic
a
tor_term::is_opposit
e
: assume nume
r
ators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
r
e
move
_
all_equalit
i
es
:
handle compress_variables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
l
e
x
m
in
:
opt
i
onally use cd
d
during basi
s
red
u
c
t
i
on
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Polyh
e
dron_Re
d
uced_Basis: opt
i
onally use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
configure
.
in: check
f
or cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
lexmin: P
o
lyh
e
dron_not
_
empt
y
: continue removing e
q
ualities
commit
|
commitdiff
|
tree
2006-12-09
S
ven V
e
rdoo
l
a
e
g
e
l
e
xmin: hand
l
e
equali
t
ies among p
a
ra
m
et
e
rs
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
remove_all_equ
a
liti
e
s
:
ignore identi
t
y
par
a
me
t
er compre
s
sio
n
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
re
m
ove_e
q
ualities
.
c
:
extracted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
r
doolaeg
e
ge
n
fun: add sho
r
t
_
rat::normal
i
ze
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Ver
d
o
ol
a
ege
genfun
:
add short_rat c
o
ns
t
ruc
t
o
r
s
commit
|
commitdiff
|
tree
2006-12-09
S
ven
Ve
r
doolaege
eva
l
ue
.
c: e
v
al
u
e_den
o
m: improve comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
le
x
m
in:
Pol
y
hedron_not_empty: ch
e
ck
result returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdo
o
l
aege
barvinok
.
cc: serie
s
: remove equalities using Pre
i
m
age
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdoolaege
b
arvinok_count: collect stats on num
b
e
r
of
unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ve
r
doolaeg
e
util
.
c: tr
i
angu
l
ate_c
o
n
e
:
use bigger random val
u
es
commit
|
commitdiff
|
tree
2006-12-07
S
v
en V
e
rdo
o
laeg
e
samp
l
e
.
c
: P
o
lyhedron_Re
m
o
v
eFixedColumns: copy cons
t
ants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
S
v
en Verdoolaege
b
erns
t
ein: piecewis
e
_ls
t
::evaluate:
f
ix typo
commit
|
commitdiff
|
tree
2006-12-06
Sve
n
Verdool
a
e
ge
configure
.
in: only
add -lbernstein to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
configure
.
in: r
e
nam
e
-
-w
i
th-ginac
t
o --without-bernstein
commit
|
commitdiff
|
tree
2006-11-10
S
v
e
n Ver
d
o
o
l
aeg
e
con
f
igure
.
in: allow b
u
il
d
without GiNaC (
a
n
d
t
h
ere
f
ore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
c
onfigure
.
i
n:
a
d
d
-lber
n
stein
to barvinok
.
pc if i
t
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
erdool
a
ege
util
.
c:
c
o
mpre
s
s_variables: correct check for scal
i
ng
commit
|
commitdiff
|
tree
next