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
s
k
imo
a
l
ways pro
v
ide subst s
t
ructure (ev
e
n if empty)
commit
|
commitdiff
|
tree
2004-06-22
s
kimo
avoid infinite
loop
c
a
u
sed
b
y splitti
n
g
o
ff nothing
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove relati
o
n i
f
b
ran
c
hes are ident
i
cal
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove reduced
r
elations
commit
|
commitdiff
|
tree
2004-06-21
skimo
r
eplace { E/m } by { (E-
1
)/
m
}
+
1/
m
if { E/m }
!= 0
commit
|
commitdiff
|
tree
2004-06-21
s
kimo
n
umerator can never b
e
ne
g
ative i
n
side
fraction
a
l
commit
|
commitdiff
|
tree
2004-06-21
skimo
o
p
tiona
l
l
y print "size" o
f
e
n
u
merati
o
n
commit
|
commitdiff
|
tree
2004-06-21
skimo
E
n
umeration_size
commit
|
commitdiff
|
tree
2004-06-21
s
k
i
mo
export domain_size
commit
|
commitdiff
|
tree
2004-06-21
s
k
i
m
o
reduce after conve
r
s
ion
commit
|
commitdiff
|
tree
2004-06-21
skimo
translate relation as
we
l
l
commit
|
commitdiff
|
tree
2004-06-20
skimo
u
se
convex
h
ull
f
or
e
qual
i
ties to use in
r
eduction
commit
|
commitdiff
|
tree
2004-06-20
s
k
imo
reord
e
r terms if
n
eeded
a
fter reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
r
e
mov
e
co
d
e made redundant by s
w
it
c
h
t
o
f
r
actional
commit
|
commitdiff
|
tree
2004-06-20
skimo
conv
e
rt f
r
om modulo
t
o f
r
a
c
tional
commit
|
commitdiff
|
tree
2004-06-16
sk
i
mo
inform
calling pr
o
cedur
e
w
hether a new entry was a
d
ded
commit
|
commitdiff
|
tree
2004-06-16
s
k
imo
reallocate sub
s
titutions arr
a
y
if
n
e
cessary
commit
|
commitdiff
|
tree
2004-06-15
skimo
mult
i
ply m
o
du
l
o argument if this can help to eliminate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
also use
e
quiva
l
ence
s
inside mo
d
ulo ex
p
ressio
n
s
commit
|
commitdiff
|
tree
2004-06-15
skimo
allow f
r
a
ctional substitutions outs
i
de modulo (
n
ot
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
ski
m
o
P
artial evaluat
i
on could in principle lead to
f
urther
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
red
u
ce
constants i
n
s
i
de modul
o
commit
|
commitdiff
|
tree
2004-06-15
skimo
c
onstr
u
ct substitution for each equality
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
col
l
ect subs
t
itutions in one structure
commit
|
commitdiff
|
tree
2004-06-14
skimo
o
nly take difference of sets that share a hyperplan
e
commit
|
commitdiff
|
tree
2004-06-11
skimo
also skip over zeroes and
r
eme
m
be
r
o
r
iginal location
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
s
ki
m
o
c
o
ntinu
e
lookin
g
for coefficients to negate i
f
curre
n
t
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
calculate "size" of pol
y
n
o
m
ials
commit
|
commitdiff
|
tree
2004-06-09
skimo
combin
e
ident
i
cal relations
commit
|
commitdiff
|
tree
2004-06-09
ski
m
o
don't k
n
owingly create zero polynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
C
h
eck whether rVD is too sm
a
l
l in
d
imension *b
e
f
ore*
commit
|
commitdiff
|
tree
2004-06-08
skimo
regress
i
on test
commit
|
commitdiff
|
tree
2004-06-08
skim
o
2
Pol
y
hed
r
o
n
routines c
a
n modify
t
heir argument!
commit
|
commitdiff
|
tree
2004-06-07
skimo
s
trict inequa
l
i
t
y
s
ho
u
ld be en
f
or
c
ed *prior* to s
i
mpli
f
ica
t
ion
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
ano
t
her memo
r
y leak
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
memory leaks
commit
|
commitdiff
|
tree
2004-06-06
s
kimo
retur
n
malloced memory since
we define a "C" in
t
e
r
f
ac
e
commit
|
commitdiff
|
tree
2004-06-06
skimo
alway
s
return red
u
c
ed evalue
commit
|
commitdiff
|
tree
2004-06-06
skimo
simplify
constra
i
nts du
r
ing multip
l
ications as
w
e
ll
commit
|
commitdiff
|
tree
2004-06-06
skimo
r
egression
test for latest bug
commit
|
commitdiff
|
tree
2004-06-06
skimo
value "tmp" is used over several inter
a
tions of
secon
d
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
don't look at rela
t
ion
if
w
e just freed it
commit
|
commitdiff
|
tree
2004-06-05
skimo
remove empty
par
t
itions
commit
|
commitdiff
|
tree
2004-06-05
skimo
also remove firs
t
em
p
t
y
subdomain
commit
|
commitdiff
|
tree
2004-06-05
skimo
r
emove
some emp
t
y
s
ub
d
omai
n
s
commit
|
commitdiff
|
tree
2004-06-05
skimo
simplify c
o
nstra
i
nts
i
n eadd_partitions
commit
|
commitdiff
|
tree
2004-06-04
sk
i
m
o
simplify
wh
o
l
e
domain
a
nd at more locations
commit
|
commitdiff
|
tree
2004-06-04
ski
m
o
only use eq
u
alities in
a singl
e
v
a
r
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove VDs
with zero Ehrhart p
o
lynomi
a
l
commit
|
commitdiff
|
tree
2004-06-04
skim
o
remove relation i
f
v
alue
i
s k
n
own
commit
|
commitdiff
|
tree
2004-06-04
skimo
compu
t
e mod
u
lo if arg
u
ment is known
commit
|
commitdiff
|
tree
2004-06-04
skimo
free t
e
mporary
e
value
commit
|
commitdiff
|
tree
2004-06-04
sk
i
mo
sub
s
ti
t
u
t
e
kno
w
val
u
es for paramete
r
s
d
uring reduc
t
i
o
n
commit
|
commitdiff
|
tree
2004-06-03
skimo
reduce relat
i
on if p
o
ssible
commit
|
commitdiff
|
tree
2004-06-03
ski
m
o
simplify
m
odulo expres
s
i
o
ns during reduce as we
l
l
commit
|
commitdiff
|
tree
2004-06-03
skimo
also simplify cons
t
raints duri
n
g reduc
t
ion
commit
|
commitdiff
|
tree
2004-06-03
skimo
m
ak
e
tr
u
e p
a
r
t
itions in
ParamPo
l
yhe
d
ron_Reduce_mod
commit
|
commitdiff
|
tree
2004-06-03
skimo
b
e ca
r
e
f
u
l
w
he
n
t
he validity domain contain equalities
commit
|
commitdiff
|
tree
2004-06-02
skimo
reduce
leading
c
oefficient
commit
|
commitdiff
|
tree
2004-06-02
skimo
n
o
rmalize modul
o
in rel
a
tion
a
s we
l
l
commit
|
commitdiff
|
tree
2004-06-02
skimo
fact
o
r
out some more code
commit
|
commitdiff
|
tree
2004-06-02
skimo
m
i
ssing value_init in previous change
commit
|
commitdiff
|
tree
2004-06-02
skimo
extract ou
t
some co
d
e
that we
m
ay
need la
t
er
commit
|
commitdiff
|
tree
2004-06-02
skimo
simpli
f
y constraints of validity d
o
mains
commit
|
commitdiff
|
tree
2004-06-02
skimo
also multip
l
y complement of relat
i
on!
commit
|
commitdiff
|
tree
2004-05-31
skim
o
si
l
ly typo
commit
|
commitdiff
|
tree
2004-04-25
skimo
eval
u
ate partitioned eva
l
ues
commit
|
commitdiff
|
tree
2004-04-25
ski
m
o
handle additions of
two relation
s
commit
|
commitdiff
|
tree
2004-04-22
sk
i
mo
be
careful when
relcul
a
ting the row
commit
|
commitdiff
|
tree
2004-04-21
s
k
imo
Convert multiple existe
n
tial variables
in
a
n
eq
u
alit
y
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
c
ompute
"com
p
lement" if nee
d
ed
commit
|
commitdiff
|
tree
2004-03-30
skimo
more
a
dd "complement"
r
elation when
a
d
ding non-zer
o
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
s
k
i
mo
add
"
complement" relation when adding non-zero
value
commit
|
commitdiff
|
tree
2004-03-30
skimo
support pri
n
ting
o
f "complement" of relation
commit
|
commitdiff
|
tree
2004-03-28
skimo
ins
t
al
l
headers
commit
|
commitdiff
|
tree
2004-03-28
ski
m
o
partial implementation of "
m
ask"
operation
commit
|
commitdiff
|
tree
2004-03-28
skimo
include appropria
t
e header
commit
|
commitdiff
|
tree
2004-03-28
skim
o
comply with
C
s
tandard :-)
commit
|
commitdiff
|
tree
2004-03-28
skimo
expo
r
t _e
v
ver
s
ion
commit
|
commitdiff
|
tree
2004-02-29
skim
o
bum
p
v
e
rs
i
on
commit
|
commitdiff
|
tree
2004-02-28
s
kimo
regre
s
sion tests
commit
|
commitdiff
|
tree
2004-02-28
sk
i
mo
Dr
.
Egon Spe
n
gler: There'
s
so
m
ething very important
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
skimo
bump
v
ersion
commit
|
commitdiff
|
tree
2004-02-22
skimo
updat
e
ChangeLog
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
av
o
id
n
amespace pollution
commit
|
commitdiff
|
tree
2004-02-22
skim
o
avoid sub vali
d
ity domai
n
s
commit
|
commitdiff
|
tree
2004-02-22
ski
m
o
Domai
n
Includes
commit
|
commitdiff
|
tree
2004-02-22
skimo
P
o
stpone multiplication with "factor" to ha
n
dle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
a
ctu
a
lly perf
o
r
m modul
o
when con
v
erti
n
g t
o
tables
commit
|
commitdiff
|
tree
2004-02-15
skimo
e
x
t
e
nd 1D special
-
casing to
m
ult
i
ple
l
ower/upper
bo
u
nds
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
memory leaks
commit
|
commitdiff
|
tree
2004-02-15
skimo
support e
m
u
l
f
o
r partitions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't assume fac
t
or is a constant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't modify d parameter
commit
|
commitdiff
|
tree
2004-02-15
skimo
add pointer to polylib
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
Support
reduc
t
ion for non-
m
o
dul
o
b
y
t
e
mporarily using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
modul
o
to tab
l
e
conversion
commit
|
commitdiff
|
tree
2004-02-15
skimo
a
nothe
r
memory leak
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
ano
t
her me
m
ory leak
commit
|
commitdiff
|
tree
2004-02-15
s
kim
o
memory leak
commit
|
commitdiff
|
tree
next