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
split off part that certainly contains lattice points
2004-07-30
skimo
split off part
t
hat certainly contains
latt
i
c
e poi
n
ts
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
routine
f
or reducing t
o
zero variables case
commit
|
commitdiff
|
tree
2004-07-30
skim
o
u
se new
l
y
a
dded rout
i
ne
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
a
polytope with r
a
ys independent of the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
check for
e
mpty polytope
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
simplify constrai
n
ts on
e
ac
h
invoca
t
ion of bar
v
in
o
k_e
n
umerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extr
a
ct out rou
t
i
ne for "or"i
n
g
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused
routine
for removin
g
d
ouble bounds
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
send deb
u
g
outpu
t
to
stderr i
n
(un
u
sed) unfrin
g
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
make d
e
buggin easi
e
r by keeping track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
e
x
tract
out r
o
u
t
i
ne
to align constraint along a
linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of the hype
r
planes has t
o
be
independe
n
t as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
En
s
ure that
fi
r
st variable is made negative i
n
side
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ens
u
re that splitting will r
e
d
u
ce
t
he number of existential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract out hand
l
ing
of
multi
p
le v
a
l
i
dit
y
do
m
ains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra ch
e
ck th
a
t
is probably
not ne
e
ded
commit
|
commitdiff
|
tree
2004-07-29
skim
o
han
d
le
composed
validity d
o
m
a
i
n
s
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
red
u
ce after
summation
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
don't creat
e
e
mpt
y
partitions
commit
|
commitdiff
|
tree
2004-07-29
skim
o
allow evaluation of floori
n
gs
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
p
e
rform (
t
r
i
v
i
al
)
reduction o
n
f
l
oorings
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
make reorder_ter
m
s
w
ork for fl
o
orings
commit
|
commitdiff
|
tree
2004-07-29
skimo
correct check fo
r
1
commit
|
commitdiff
|
tree
2004-07-29
skimo
b
e
m
o
re strict when
c
omparing tw
o
rationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in com
m
ent
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
h
andle case of
all
e
m
p
ty valid
i
t
y
domains
commit
|
commitdiff
|
tree
2004-07-21
skimo
support pol
y
nomials in "real
"
parameters
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
handle negative va
l
ues of
s
um
m
ed variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check whet
h
er
P
OLYTOPE_PREFIX is actually set
commit
|
commitdiff
|
tree
2004-07-20
skim
o
floor co
n
ve
r
sion and par
t
ial
implementation of e
s
um
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos starts at
1
commit
|
commitdiff
|
tree
2004-07-19
s
k
imo
minor
reordering of co
d
e
commit
|
commitdiff
|
tree
2004-07-19
skimo
split off more
common code
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
revert change commited
b
y
accid
e
nt
commit
|
commitdiff
|
tree
2004-07-19
skimo
ad
d
c
ollect
_
polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
r
e
c
urse
into the correct version of count
_
poi
n
ts
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for case with on
l
y existential variables
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
allow split on other
t
han first ex
i
stenti
a
l variable
commit
|
commitdiff
|
tree
2004-07-18
s
kimo
extract out code
to split on a constraint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existential" version of veri
f
_eh
r
hart
commit
|
commitdiff
|
tree
2004-07-17
skim
o
provide
e
v
alue to enumerati
o
n
conversion
commit
|
commitdiff
|
tree
2004-07-17
skim
o
a
d
apt
t
o deal wi
t
h e
x
istential variables
commit
|
commitdiff
|
tree
2004-07-16
skimo
c
o
pi
e
d
f
rom
ehrhart
.
c f
r
om Polylib distribution
commit
|
commitdiff
|
tree
2004-07-14
s
k
imo
handle t
r
ivial case of only existe
n
tia
l
varia
b
les
commit
|
commitdiff
|
tree
2004-07-14
skimo
It
s
ho
u
ld
b
e suff
i
cie
n
t that one
o
f
t
he bo
u
n
d
s is i
n
dependent
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't
c
ount st
o
rag
e
space for the r
a
ys
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
bump vers
i
on
commit
|
commitdiff
|
tree
2004-07-06
sk
i
m
o
f
i
x
up
changelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump versi
o
n some
m
or
e
since we chan
g
ed the inte
r
face
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of debugg
i
ng mes
s
ages
commit
|
commitdiff
|
tree
2004-07-06
s
ki
m
o
update
commit
|
commitdiff
|
tree
2004-07-06
s
ki
m
o
b
r
ie
f
d
escription of the input
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
eplace
modulo by
fractional
commit
|
commitdiff
|
tree
2004-07-06
skimo
remove
empty partitions i
n
place
commit
|
commitdiff
|
tree
2004-07-06
skimo
m
ore memory leaks
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
potential memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential)
m
emory lea
k
s
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
prin
t
more info
commit
|
commitdiff
|
tree
2004-07-05
skimo
preload library to coun
t
the number of validit
y
domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memo
r
y leak
commit
|
commitdiff
|
tree
2004-07-01
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory
leak
commit
|
commitdiff
|
tree
2004-07-01
s
k
imo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
s
kimo
Us
e
function for co
p
ying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
ski
m
o
o
r
der periodics in m
u
l
tipl
i
cation as well
commit
|
commitdiff
|
tree
2004-06-26
skimo
c
o
p
y
va
l
ue
b
efore f
r
eeing
commit
|
commitdiff
|
tree
2004-06-26
sk
i
mo
regressi
o
n test
commit
|
commitdiff
|
tree
2004-06-26
s
k
imo
h
andle case where
p
olytope
h
as no "
r
eal
"
dimen
s
ions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use smallest r
e
p
resentative in absolute va
l
ue rather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
D
e
buggin
g
output to evaluate the use
f
ulness of
s
everal
commit
|
commitdiff
|
tree
2004-06-25
skimo
A
d
d constrain
t
i
f exp
r
essio
n
is only integer for a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
sk
i
mo
perfor
m
r
ange reduction on c
o
nditio
n
of relation
commit
|
commitdiff
|
tree
2004-06-25
s
k
im
o
fully
p
rop
a
gate reo
r
deri
n
g
commit
|
commitdiff
|
tree
2004-06-24
skimo
pa
r
t
i
ally pr
o
pagate reord
e
r
i
n
g and
reduce
i
n
case o
f
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
k
imo
r
em
o
ve
c
omment
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
Range reduction
and some au
x
ili
a
ry
f
unctions
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
Inver
t
a fra
c
tional if leading coefficient
b
ec
o
m
es
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove
de
b
uggin
g
output
commit
|
commitdiff
|
tree
2004-06-24
ski
m
o
Remov
e
invalid me
m
ory ac
c
ess
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
re
c
om
p
ute domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
compute size of all subdomain
s
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
t
r
ivial r
e
c
omb
i
nat
i
on
commit
|
commitdiff
|
tree
2004-06-23
skimo
also i
n
vert
w
hen co
n
stant is
h
alf
th
e
modulo,
s
i
nc
e
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
Allow mor
e
f
r
a
cit
o
nal
s
u
bsti
t
utio
n
s, in particular
commit
|
commitdiff
|
tree
2004-06-23
skimo
s
earch for
p
air of fractionals that can (opt
i
mally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
always
p
rovide subst structure (even if empty)
commit
|
commitdiff
|
tree
2004-06-22
s
k
imo
avoid
i
nfinite loop caused by splitting
o
f
f noth
i
ng
commit
|
commitdiff
|
tree
2004-06-22
s
k
imo
remove rel
a
tion if branches are ident
i
cal
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove reduced relat
i
ons
commit
|
commitdiff
|
tree
2004-06-21
s
k
imo
replac
e
{ E/m
} by {
(
E
-1)/m } + 1/m if
{
E/m }
!= 0
commit
|
commitdiff
|
tree
2004-06-21
skimo
numerator ca
n
never be negat
i
ve inside fractional
commit
|
commitdiff
|
tree
2004-06-21
s
k
imo
op
t
i
on
a
lly
p
r
i
nt "size" of enumeration
commit
|
commitdiff
|
tree
2004-06-21
skimo
Enumeration_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
e
x
port domain
_
s
i
ze
commit
|
commitdiff
|
tree
2004-06-21
skimo
reduce after conversion
commit
|
commitdiff
|
tree
2004-06-21
skimo
tra
n
s
l
at
e
relat
i
o
n as
w
ell
commit
|
commitdiff
|
tree
2004-06-20
ski
m
o
use convex hull for equali
t
i
e
s to use
i
n reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
r
e
or
d
e
r
terms i
f
n
eed
e
d
afte
r
red
u
ction
commit
|
commitdiff
|
tree
2004-06-20
s
k
imo
re
m
ove code made redun
d
ant by switch to fractional
commit
|
commitdiff
|
tree
next