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
always provide subst structure (even if empty)
2004-06-23
skimo
al
w
ays provide subst
s
tructure (even if empty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoid in
f
ini
t
e loop caused by splitti
n
g off nothing
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove re
l
ati
o
n if branches are identical
commit
|
commitdiff
|
tree
2004-06-22
s
k
imo
r
e
mo
v
e reduced relatio
n
s
commit
|
commitdiff
|
tree
2004-06-21
skimo
rep
l
ac
e
{ E/m } b
y
{ (E-1)/m } + 1
/
m
if { E/m } != 0
commit
|
commitdiff
|
tree
2004-06-21
skimo
numerator can
n
ever be
ne
g
ative
i
nside fractional
commit
|
commitdiff
|
tree
2004-06-21
skim
o
opti
o
n
al
l
y
p
rint "size" of enumera
t
ion
commit
|
commitdiff
|
tree
2004-06-21
s
k
imo
E
n
umeration_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
export d
o
m
a
in_siz
e
commit
|
commitdiff
|
tree
2004-06-21
skimo
reduce a
f
ter conversi
o
n
commit
|
commitdiff
|
tree
2004-06-21
skim
o
transl
a
te relation as
well
commit
|
commitdiff
|
tree
2004-06-20
s
k
i
m
o
use convex
h
ull f
o
r equalit
i
es to use in reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
reorder terms
if needed after red
u
c
t
ion
commit
|
commitdiff
|
tree
2004-06-20
ski
m
o
remove c
o
de made redun
d
ant b
y
switc
h
to fractiona
l
commit
|
commitdiff
|
tree
2004-06-20
skimo
convert fr
o
m
modul
o
to fractional
commit
|
commitdiff
|
tree
2004-06-16
s
k
i
m
o
info
r
m call
i
ng proced
u
r
e
w
h
et
h
er a new entry wa
s
added
commit
|
commitdiff
|
tree
2004-06-16
skimo
rea
l
locat
e
substitutions a
r
ray if necessary
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
multiply modulo ar
g
ument if
t
his can he
l
p to eliminate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
a
lso use equiv
a
le
n
ce
s
inside modulo expre
s
sion
s
commit
|
commitdiff
|
tree
2004-06-15
skimo
allow fr
a
ctional sub
s
tituti
o
ns outside
m
od
u
l
o (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
Partial
ev
a
luation
could in
p
rincipl
e
lead t
o
further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
k
i
mo
r
educe con
s
tants
i
nsi
d
e m
o
dulo
commit
|
commitdiff
|
tree
2004-06-15
skim
o
cons
t
ruct s
u
bstitution for each equalit
y
commit
|
commitdiff
|
tree
2004-06-15
skimo
collect su
b
st
i
tutions in o
n
e structure
commit
|
commitdiff
|
tree
2004-06-14
skimo
on
l
y t
a
ke difference of
sets th
a
t share
a
hyperp
l
ane
commit
|
commitdiff
|
tree
2004-06-11
skimo
also s
k
ip over
z
eroes
and rem
e
m
b
e
r
original lo
c
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
skimo
cont
i
nue
l
o
oking for coeff
i
cients
t
o negate if c
u
rrent
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
c
alculate "size" of p
o
lynomials
commit
|
commitdiff
|
tree
2004-06-09
skim
o
c
o
m
bin
e
i
dentical
r
ela
t
ions
commit
|
commitdiff
|
tree
2004-06-09
s
k
imo
don't knowingly crea
t
e
z
e
r
o
polynomials
commit
|
commitdiff
|
tree
2004-06-09
s
k
imo
Che
c
k whether
rVD is too small i
n
dimension *
b
efore*
commit
|
commitdiff
|
tree
2004-06-08
skimo
regr
e
ssion test
commit
|
commitdiff
|
tree
2004-06-08
skim
o
2Polyhed
r
on routines
can modify their argument!
commit
|
commitdiff
|
tree
2004-06-07
skimo
strict inequality should
b
e enforced *prior*
t
o
s
implif
i
cati
o
n
commit
|
commitdiff
|
tree
2004-06-06
skimo
another memory leak
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
memory lea
k
s
commit
|
commitdiff
|
tree
2004-06-06
s
k
imo
return mall
o
ced
memory
s
ince
w
e
d
efine a "C" i
n
terface
commit
|
commitdiff
|
tree
2004-06-06
skimo
a
l
ways r
e
turn reduced evalue
commit
|
commitdiff
|
tree
2004-06-06
skim
o
si
m
plif
y
const
r
aints during m
u
lt
i
plications as well
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
regressio
n
te
s
t for latest bu
g
commit
|
commitdiff
|
tree
2004-06-06
skimo
value
"tmp" is u
s
ed over
s
eve
r
al in
t
erations of se
c
o
nd
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
don't look at rel
a
tion if we just
f
re
e
d it
commit
|
commitdiff
|
tree
2004-06-05
s
k
i
m
o
r
e
move empty partitions
commit
|
commitdiff
|
tree
2004-06-05
ski
m
o
also remove fi
r
st empty subdomain
commit
|
commitdiff
|
tree
2004-06-05
s
k
i
mo
r
e
move some empty subdomains
commit
|
commitdiff
|
tree
2004-06-05
skimo
simp
l
ify constrai
n
ts
i
n eadd_parti
t
ions
commit
|
commitdiff
|
tree
2004-06-04
s
k
imo
simpli
f
y
whole doma
i
n a
n
d at more loc
a
tions
commit
|
commitdiff
|
tree
2004-06-04
skimo
only u
s
e equalities
in a singl
e
var
commit
|
commitdiff
|
tree
2004-06-04
s
k
imo
r
em
o
ve VDs with z
e
ro Ehrh
a
rt polyno
m
ia
l
commit
|
commitdiff
|
tree
2004-06-04
s
k
i
mo
r
e
move relation i
f
value is known
commit
|
commitdiff
|
tree
2004-06-04
skimo
co
m
p
u
te
mod
u
l
o
if argument
i
s
k
nown
commit
|
commitdiff
|
tree
2004-06-04
skimo
free temporary evalue
commit
|
commitdiff
|
tree
2004-06-04
skimo
substitu
t
e
k
n
ow v
a
lue
s
for pa
r
a
meters during red
u
ctio
n
commit
|
commitdiff
|
tree
2004-06-03
s
k
imo
reduce
r
elation if possi
b
le
commit
|
commitdiff
|
tree
2004-06-03
skimo
s
implify mo
d
ulo
e
xpressions during reduce as well
commit
|
commitdiff
|
tree
2004-06-03
s
k
i
mo
al
s
o
s
implify
co
n
straint
s
during reduction
commit
|
commitdiff
|
tree
2004-06-03
skimo
m
a
k
e
true partiti
o
n
s in Pa
r
amPoly
h
edro
n
_Reduce
_
m
o
d
commit
|
commitdiff
|
tree
2004-06-03
s
ki
m
o
be careful when the val
i
d
i
ty domain
c
ontain equalities
commit
|
commitdiff
|
tree
2004-06-02
skimo
r
educe lead
i
n
g coeff
i
c
i
ent
commit
|
commitdiff
|
tree
2004-06-02
s
k
i
mo
norm
a
lize mo
d
ul
o
in relation as well
commit
|
commitdiff
|
tree
2004-06-02
skimo
fa
c
t
o
r
o
ut some more code
commit
|
commitdiff
|
tree
2004-06-02
skimo
missing value_init in previous
change
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
extract o
u
t so
m
e code that we may need l
a
ter
commit
|
commitdiff
|
tree
2004-06-02
skimo
simplify constraints o
f
valid
i
ty domains
commit
|
commitdiff
|
tree
2004-06-02
skimo
also multiply compleme
n
t of r
e
latio
n
!
commit
|
commitdiff
|
tree
2004-05-31
skimo
sill
y
t
y
po
commit
|
commitdiff
|
tree
2004-04-25
skimo
eval
u
a
t
e partition
e
d evalues
commit
|
commitdiff
|
tree
2004-04-25
skim
o
handle additions of
two relations
commit
|
commitdiff
|
tree
2004-04-22
skimo
b
e
car
e
f
ul
w
hen relculating the row
commit
|
commitdiff
|
tree
2004-04-21
skimo
Convert mul
t
ipl
e
existent
i
al variables in
a
n equality
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
compute "c
o
mplement"
if n
e
eded
commit
|
commitdiff
|
tree
2004-03-30
skim
o
more add "c
o
mplement" relation when ad
d
i
n
g non-zero
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
a
dd "complement" rela
t
ion
w
he
n
a
d
ding no
n
-zero
v
alue
commit
|
commitdiff
|
tree
2004-03-30
skimo
s
upport printing of "compleme
n
t
"
of rel
a
tion
commit
|
commitdiff
|
tree
2004-03-28
skimo
i
nsta
l
l
headers
commit
|
commitdiff
|
tree
2004-03-28
skimo
par
t
ial implem
e
ntat
i
on
o
f
"mask" operation
commit
|
commitdiff
|
tree
2004-03-28
s
kimo
include appro
p
riate
h
e
a
der
commit
|
commitdiff
|
tree
2004-03-28
skim
o
comply with C stand
a
rd :-)
commit
|
commitdiff
|
tree
2004-03-28
s
k
i
m
o
e
x
p
ort _
e
v version
commit
|
commitdiff
|
tree
2004-02-29
skimo
bump version
commit
|
commitdiff
|
tree
2004-02-28
skimo
reg
r
essi
o
n tests
commit
|
commitdiff
|
tree
2004-02-28
skimo
Dr
.
E
gon Spengler: T
h
ere's something very important
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
skimo
b
u
mp ve
r
s
ion
commit
|
commitdiff
|
tree
2004-02-22
skimo
u
p
d
a
te
ChangeLo
g
commit
|
commitdiff
|
tree
2004-02-22
s
kimo
avoid
namespace p
o
l
l
ution
commit
|
commitdiff
|
tree
2004-02-22
skimo
av
o
id
sub valid
i
t
y
domains
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
DomainIncludes
commit
|
commitdiff
|
tree
2004-02-22
skimo
Po
s
tpone
m
ul
t
ipl
i
c
ation
with "factor" to
handle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
a
c
t
ually perfo
r
m modulo when
c
onv
e
r
t
i
ng t
o
tables
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
exte
n
d
1D special-cas
i
ng to mul
t
i
ple l
o
wer/upp
e
r bounds
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory leaks
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
s
u
pport emul for parti
t
ions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don
'
t assume
fact
o
r is a constant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't
modify d para
m
ete
r
commit
|
commitdiff
|
tree
2004-02-15
skimo
ad
d
p
ointer to pol
y
lib
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
Support reduction for n
o
n-modulo by tem
p
ora
r
i
ly using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
mo
d
ulo to table co
n
version
commit
|
commitdiff
|
tree
2004-02-15
skimo
an
o
the
r
me
m
or
y
lea
k
commit
|
commitdiff
|
tree
2004-02-15
skimo
another
memor
y
l
e
ak
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory leak
commit
|
commitdiff
|
tree
next