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
Invert a fractional if leading coefficient becomes larger than 1/2
2004-06-24
s
k
imo
Invert
a fractional if le
a
di
n
g co
e
f
fic
i
e
nt
becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
r
emove
debuggi
n
g output
commit
|
commitdiff
|
tree
2004-06-24
skim
o
R
emove inv
a
lid
memory access
.
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
r
e
compute
domains
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
compute size of all subdomains
commit
|
commitdiff
|
tree
2004-06-23
skim
o
trivial recombi
n
ation
commit
|
commitdiff
|
tree
2004-06-23
skim
o
a
lso inv
e
rt whe
n
c
onstant is h
a
lf the modulo,
since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow
m
ore f
r
ac
i
tonal substitutions,
i
n
part
i
c
ular
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
sear
c
h for pair of fract
i
on
a
ls t
h
at can
(optimall
y
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
a
lways provi
d
e subst
struc
t
ure (even if empty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
av
o
id infinite loop caus
e
d by spli
t
ting off nothing
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove relati
o
n if
b
ranc
h
es are identical
commit
|
commitdiff
|
tree
2004-06-22
s
k
imo
r
e
mo
v
e r
e
duc
e
d re
l
atio
n
s
commit
|
commitdiff
|
tree
2004-06-21
skimo
repl
a
ce { E/m
}
b
y { (E-1)/m
}
+ 1/m if { E
/
m } !
=
0
commit
|
commitdiff
|
tree
2004-06-21
skim
o
numerator
can ne
v
er be
negative i
n
sid
e
frac
t
ional
commit
|
commitdiff
|
tree
2004-06-21
skimo
o
p
tion
a
lly print
"size" o
f
e
num
e
ration
commit
|
commitdiff
|
tree
2004-06-21
skimo
E
num
e
ration_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
export domain_siz
e
commit
|
commitdiff
|
tree
2004-06-21
s
kimo
r
e
duce after
conversion
commit
|
commitdiff
|
tree
2004-06-21
skimo
transl
a
te relation as well
commit
|
commitdiff
|
tree
2004-06-20
skimo
u
se con
v
e
x
h
ull for equalities to use in reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
reorder terms i
f
n
eeded after reduct
i
on
commit
|
commitdiff
|
tree
2004-06-20
skimo
rem
o
ve code m
a
de redun
d
ant b
y
s
witch t
o
f
r
actional
commit
|
commitdiff
|
tree
2004-06-20
skimo
convert f
r
om
mo
d
ul
o
to fractional
commit
|
commitdiff
|
tree
2004-06-16
skimo
inform calling procedure whe
t
her a
n
ew entry w
a
s added
commit
|
commitdiff
|
tree
2004-06-16
s
k
i
mo
reall
o
c
a
te substi
t
u
t
ions arra
y
if necess
a
ry
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
multipl
y
modu
l
o ar
g
ument if this can help to elimina
t
e
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
k
imo
a
l
so use equ
i
v
a
lences insi
d
e modulo exp
r
essi
o
ns
commit
|
commitdiff
|
tree
2004-06-15
skimo
allow
f
r
a
ctional substituti
o
ns outside
modulo (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
ski
m
o
Par
t
ial e
v
aluation could in
principle
l
ead
t
o further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
ski
m
o
reduce constants
i
nside modulo
commit
|
commitdiff
|
tree
2004-06-15
skimo
cons
t
ruct substitution
for each eq
u
ality
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
colle
c
t
substi
t
ution
s
in one structure
commit
|
commitdiff
|
tree
2004-06-14
skimo
o
n
ly take
d
iffer
e
nce of s
e
ts t
h
a
t shar
e
a hyp
e
rplane
commit
|
commitdiff
|
tree
2004-06-11
skimo
also sk
i
p over z
e
roes and remember original location
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
skimo
c
o
ntinue
looking fo
r
coefficients
t
o negate
i
f c
u
rrent
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
s
k
i
m
o
ca
l
culate
"si
z
e" of polynomial
s
commit
|
commitdiff
|
tree
2004-06-09
s
k
imo
combin
e
identical re
l
ations
commit
|
commitdiff
|
tree
2004-06-09
sk
i
mo
don't knowingly crea
t
e zer
o
polynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
Check whether rVD
i
s too small in
d
imension *be
f
ore*
commit
|
commitdiff
|
tree
2004-06-08
skimo
regres
s
ion test
commit
|
commitdiff
|
tree
2004-06-08
s
k
imo
2
Polyhedron routines can
m
o
dify their argument!
commit
|
commitdiff
|
tree
2004-06-07
skimo
s
tric
t
inequality s
h
ould
b
e
e
n
f
orc
e
d
*prior* to simplification
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
anothe
r
memo
r
y leak
commit
|
commitdiff
|
tree
2004-06-06
skimo
memory lea
k
s
commit
|
commitdiff
|
tree
2004-06-06
skimo
return malloced memory since w
e
define a
"
C" interface
commit
|
commitdiff
|
tree
2004-06-06
skimo
a
l
ways return reduced ev
a
lue
commit
|
commitdiff
|
tree
2004-06-06
skimo
sim
p
l
ify constraints during multipl
i
catio
n
s as well
commit
|
commitdiff
|
tree
2004-06-06
skimo
regre
s
sion tes
t
for latest bu
g
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
value "tmp" is u
s
ed ov
e
r several interatio
n
s
of second
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
skimo
don't look at relation if we just
freed it
commit
|
commitdiff
|
tree
2004-06-05
sk
i
mo
remove empty p
a
rtitions
commit
|
commitdiff
|
tree
2004-06-05
skimo
also r
e
move first empty subdomain
commit
|
commitdiff
|
tree
2004-06-05
s
kimo
rem
o
ve some empty
subdomains
commit
|
commitdiff
|
tree
2004-06-05
s
kimo
s
i
mp
l
ify constraints
i
n eadd_partitions
commit
|
commitdiff
|
tree
2004-06-04
skimo
simpli
f
y whole domain and at more l
o
cations
commit
|
commitdiff
|
tree
2004-06-04
sk
i
mo
o
nly use equal
i
ties in a single var
commit
|
commitdiff
|
tree
2004-06-04
sk
i
mo
remove VDs with
zero
Ehr
h
art polynomial
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove
relation if v
a
lue is
k
no
w
n
commit
|
commitdiff
|
tree
2004-06-04
s
kimo
co
m
pute modulo if argument
i
s known
commit
|
commitdiff
|
tree
2004-06-04
skimo
free temporar
y
evalue
commit
|
commitdiff
|
tree
2004-06-04
skimo
s
u
b
s
titute
k
now values for
paramet
e
rs durin
g
reduction
commit
|
commitdiff
|
tree
2004-06-03
skimo
redu
c
e relation if po
s
si
b
le
commit
|
commitdiff
|
tree
2004-06-03
ski
m
o
simplify modulo expressions during
reduce as well
commit
|
commitdiff
|
tree
2004-06-03
s
k
i
mo
also simplify constr
a
ints d
u
ring reduction
commit
|
commitdiff
|
tree
2004-06-03
skimo
make true
par
t
itions in P
a
ramPolyhedron_Reduce_mod
commit
|
commitdiff
|
tree
2004-06-03
skimo
be car
e
ful whe
n
the vali
d
ity domain contain eq
u
a
lities
commit
|
commitdiff
|
tree
2004-06-02
skimo
re
d
uce
leading c
o
effi
c
ient
commit
|
commitdiff
|
tree
2004-06-02
sk
i
mo
no
r
ma
l
i
z
e modulo
i
n relat
i
on as well
commit
|
commitdiff
|
tree
2004-06-02
skimo
factor ou
t
some more code
commit
|
commitdiff
|
tree
2004-06-02
skimo
missing value_ini
t
in previous
c
ha
n
ge
commit
|
commitdiff
|
tree
2004-06-02
skimo
e
x
tract out so
m
e
c
ode that
we may n
e
e
d late
r
commit
|
commitdiff
|
tree
2004-06-02
skimo
sim
p
lify co
n
straints of validity do
m
ains
commit
|
commitdiff
|
tree
2004-06-02
skimo
al
s
o mu
l
tiply complement of relation!
commit
|
commitdiff
|
tree
2004-05-31
sk
i
m
o
silly typo
commit
|
commitdiff
|
tree
2004-04-25
skimo
e
v
alu
a
t
e
p
artit
i
oned eva
l
ue
s
commit
|
commitdiff
|
tree
2004-04-25
ski
m
o
handle additions of two r
e
lations
commit
|
commitdiff
|
tree
2004-04-22
s
k
imo
be careful when
r
el
c
ulating
t
he row
commit
|
commitdiff
|
tree
2004-04-21
skimo
C
onvert
multiple
existentia
l
va
r
ia
b
les in an equ
a
lity
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
c
o
m
p
u
te "com
p
lement" if ne
e
de
d
commit
|
commitdiff
|
tree
2004-03-30
skimo
mo
r
e add "co
m
plement" relation when adding non-zero
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
s
kimo
add "compleme
n
t"
relation w
h
en ad
d
ing non-zer
o
va
l
ue
commit
|
commitdiff
|
tree
2004-03-30
skimo
suppor
t
p
r
i
nting of "
c
omple
m
ent" of rela
t
ion
commit
|
commitdiff
|
tree
2004-03-28
skimo
instal
l
headers
commit
|
commitdiff
|
tree
2004-03-28
s
k
imo
partial imp
l
emen
t
ati
o
n
o
f "mask" o
p
eration
commit
|
commitdiff
|
tree
2004-03-28
s
k
i
mo
in
c
lude
app
r
opria
t
e
header
commit
|
commitdiff
|
tree
2004-03-28
skimo
comply wi
t
h
C
stand
a
rd
:
-)
commit
|
commitdiff
|
tree
2004-03-28
skimo
export
_ev ver
s
i
o
n
commit
|
commitdiff
|
tree
2004-02-29
skimo
bu
m
p
version
commit
|
commitdiff
|
tree
2004-02-28
sk
i
mo
regre
s
sion tests
commit
|
commitdiff
|
tree
2004-02-28
s
k
im
o
Dr
.
Egon Spen
g
l
er: There's
s
omething very im
p
ort
a
nt
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
skimo
bump vers
i
o
n
commit
|
commitdiff
|
tree
2004-02-22
skimo
u
p
date Chan
g
e
L
og
commit
|
commitdiff
|
tree
2004-02-22
skim
o
avoid namespace pollut
i
on
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid
s
ub validity domai
n
s
commit
|
commitdiff
|
tree
2004-02-22
skimo
Domain
I
n
c
l
u
des
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
Postpon
e
multip
l
ication with "fa
c
t
or" to handle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
actually
p
erform modulo w
h
en convert
i
ng
to t
a
ble
s
commit
|
commitdiff
|
tree
2004-02-15
skimo
ex
t
end 1
D
speci
a
l-casing to multiple
l
ower/upper
b
o
u
nds
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory lea
k
s
commit
|
commitdiff
|
tree
next