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
multiply modulo argument if this can help to eliminate a variable in it
2004-06-15
skimo
mul
t
i
ply modulo
ar
g
um
e
nt if this can he
l
p to eliminate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
a
l
so use e
q
uiva
l
ences inside
m
odulo expressi
o
ns
commit
|
commitdiff
|
tree
2004-06-15
skimo
allow fractional substi
t
utions
outsi
d
e modulo (n
o
t
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
Par
t
i
al evaluation coul
d
i
n
prin
c
iple lead
t
o f
u
rther
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
k
imo
re
d
uce constants in
s
ide modulo
commit
|
commitdiff
|
tree
2004-06-15
s
k
imo
constru
c
t substituti
o
n f
o
r ea
c
h equality
commit
|
commitdiff
|
tree
2004-06-15
s
k
imo
c
o
llect substitutions in one
stru
c
ture
commit
|
commitdiff
|
tree
2004-06-14
s
k
imo
only take differen
c
e
of set
s
that share a hyperplane
commit
|
commitdiff
|
tree
2004-06-11
skimo
also skip over zeroes and remember origi
n
al location
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
sk
i
mo
continue looking
f
o
r coefficien
t
s
t
o neg
a
te if current
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
s
kimo
calc
u
late "size" of polynomials
commit
|
commitdiff
|
tree
2004-06-09
sk
i
mo
combine i
d
en
t
ical relation
s
commit
|
commitdiff
|
tree
2004-06-09
skim
o
don'
t
knowingly cre
a
te zero
p
olynom
i
als
commit
|
commitdiff
|
tree
2004-06-09
skimo
Check whether rVD is too smal
l
i
n
d
i
m
e
ns
i
on *before*
commit
|
commitdiff
|
tree
2004-06-08
s
k
imo
regres
s
ion test
commit
|
commitdiff
|
tree
2004-06-08
skimo
2
Polyhedron routines
c
a
n modify their ar
g
u
m
ent!
commit
|
commitdiff
|
tree
2004-06-07
skimo
str
i
ct
i
nequality shou
l
d
b
e en
f
orced *prior* to simpl
i
f
ication
commit
|
commitdiff
|
tree
2004-06-06
s
k
i
mo
another
m
e
mor
y
lea
k
commit
|
commitdiff
|
tree
2004-06-06
skimo
memory leaks
commit
|
commitdiff
|
tree
2004-06-06
skimo
return malloced
me
m
or
y
si
n
ce we defin
e
a
"C" interfac
e
commit
|
commitdiff
|
tree
2004-06-06
s
k
i
mo
always r
e
tu
r
n reduced eva
l
ue
commit
|
commitdiff
|
tree
2004-06-06
s
k
imo
simplify con
s
t
r
ain
t
s duri
n
g multiplica
t
ions as wel
l
commit
|
commitdiff
|
tree
2004-06-06
s
k
im
o
r
egression test for latest bug
commit
|
commitdiff
|
tree
2004-06-06
ski
m
o
value
"
t
mp" is
use
d
over several i
n
teration
s
of s
e
c
o
nd
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
s
kimo
don't look at rela
t
io
n
if we ju
s
t
f
reed
i
t
commit
|
commitdiff
|
tree
2004-06-05
skimo
remove empt
y
p
a
rtitions
commit
|
commitdiff
|
tree
2004-06-05
s
kimo
also
r
emove
first em
p
ty subdo
m
a
i
n
commit
|
commitdiff
|
tree
2004-06-05
skimo
remove
s
ome
empty
s
ubdoma
i
ns
commit
|
commitdiff
|
tree
2004-06-05
skim
o
s
im
p
lify
c
onstraints in eadd_
p
artitions
commit
|
commitdiff
|
tree
2004-06-04
skimo
simp
l
ify
w
hole domain and at mo
r
e
locations
commit
|
commitdiff
|
tree
2004-06-04
skim
o
onl
y
use eq
u
alitie
s
in a single var
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove
VDs w
i
th zero
E
h
rhar
t
p
o
lyno
m
ial
commit
|
commitdiff
|
tree
2004-06-04
s
k
imo
remove relation if
value is known
commit
|
commitdiff
|
tree
2004-06-04
skimo
compute
m
o
dulo if argument
i
s known
commit
|
commitdiff
|
tree
2004-06-04
ski
m
o
free temporary evalue
commit
|
commitdiff
|
tree
2004-06-04
skimo
s
u
bstitute know va
l
ues for parameters duri
n
g re
d
ucti
o
n
commit
|
commitdiff
|
tree
2004-06-03
ski
m
o
reduce
r
ela
t
ion
if poss
i
ble
commit
|
commitdiff
|
tree
2004-06-03
ski
m
o
simplify modulo expressions during redu
c
e as well
commit
|
commitdiff
|
tree
2004-06-03
skimo
also
s
implify constraints dur
i
ng r
e
duc
t
ion
commit
|
commitdiff
|
tree
2004-06-03
skimo
make true partiti
o
ns i
n
Para
m
Polyhedron
_
Red
u
ce_mod
commit
|
commitdiff
|
tree
2004-06-03
s
kimo
b
e
careful when
the va
l
idity
d
o
ma
i
n conta
i
n
equa
l
iti
e
s
commit
|
commitdiff
|
tree
2004-06-02
skimo
red
u
ce leading
coefficient
commit
|
commitdiff
|
tree
2004-06-02
skim
o
n
ormali
z
e modulo in relat
i
on
as well
commit
|
commitdiff
|
tree
2004-06-02
skimo
factor out s
o
me more code
commit
|
commitdiff
|
tree
2004-06-02
skimo
missing value_init in previ
o
u
s change
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
extract
o
u
t
some code that
we may need later
commit
|
commitdiff
|
tree
2004-06-02
s
kimo
sim
p
lify constraint
s
of v
a
li
d
i
ty domains
commit
|
commitdiff
|
tree
2004-06-02
skimo
also mu
l
tiply complement of relation!
commit
|
commitdiff
|
tree
2004-05-31
ski
m
o
silly t
y
po
commit
|
commitdiff
|
tree
2004-04-25
skimo
evalua
t
e pa
r
titioned evalu
e
s
commit
|
commitdiff
|
tree
2004-04-25
sk
i
mo
handle additions of two relations
commit
|
commitdiff
|
tree
2004-04-22
skim
o
b
e
c
areful when relcu
l
ating
the ro
w
commit
|
commitdiff
|
tree
2004-04-21
skimo
C
o
n
ver
t
multiple
exi
s
tential
variables in an equality
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
com
p
ute "complement"
if needed
commit
|
commitdiff
|
tree
2004-03-30
skimo
m
o
re
add
"
compl
e
ment" re
l
a
tion when ad
d
ing n
o
n
-z
e
r
o
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
s
k
imo
add "c
o
mplement" relat
i
on when add
i
ng non-zero
v
a
lue
commit
|
commitdiff
|
tree
2004-03-30
skimo
support print
i
ng of
"
complement"
of relation
commit
|
commitdiff
|
tree
2004-03-28
skimo
install hea
d
ers
commit
|
commitdiff
|
tree
2004-03-28
s
k
imo
partial
i
mplementa
t
ion of "
m
ask" operation
commit
|
commitdiff
|
tree
2004-03-28
s
k
imo
i
nclude app
r
opriate header
commit
|
commitdiff
|
tree
2004-03-28
skimo
c
o
mply with C standard :-)
commit
|
commitdiff
|
tree
2004-03-28
skimo
e
x
port _ev versi
o
n
commit
|
commitdiff
|
tree
2004-02-29
skimo
bump version
commit
|
commitdiff
|
tree
2004-02-28
skimo
reg
r
ession tests
commit
|
commitdiff
|
tree
2004-02-28
s
k
i
m
o
Dr
.
Egon
Spengler:
T
h
ere's someth
i
ng very important
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
sk
i
mo
b
u
mp versio
n
commit
|
commitdiff
|
tree
2004-02-22
skimo
up
d
ate ChangeLog
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid n
a
me
s
p
a
c
e
pollution
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
a
v
oid sub validity domains
commit
|
commitdiff
|
tree
2004-02-22
skimo
Doma
i
nIncludes
commit
|
commitdiff
|
tree
2004-02-22
skimo
P
o
stpone m
u
ltiplication
w
i
th "factor" to
hand
l
e the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
actuall
y
p
e
rform modulo when converting to tab
l
es
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
extend 1D special-casing to
m
u
l
tiple lower/upper bounds
commit
|
commitdiff
|
tree
2004-02-15
skimo
mem
o
ry leaks
commit
|
commitdiff
|
tree
2004-02-15
skimo
supp
o
rt
emul for partitions
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
don
'
t
assume factor is a consta
n
t
commit
|
commitdiff
|
tree
2004-02-15
skimo
don'
t
modif
y
d parameter
commit
|
commitdiff
|
tree
2004-02-15
skimo
ad
d
pointer to polylib
commit
|
commitdiff
|
tree
2004-02-15
s
ki
m
o
Suppo
r
t reduct
i
on f
o
r non-modulo by
t
e
mporarily using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
modu
l
o to
t
a
b
l
e conversion
commit
|
commitdiff
|
tree
2004-02-15
skimo
another memo
r
y leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
another memory lea
k
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory
l
e
ak
commit
|
commitdiff
|
tree
2004-02-15
skimo
ex
p
er
i
mental "unfringe" code
commit
|
commitdiff
|
tree
2004-02-15
skimo
t
y
p
e
commit
|
commitdiff
|
tree
2004-02-06
sk
i
mo
fix dec
o
mp
o
sition
test and
add polarized decompostion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
elimi
n
a
t
e
a variab
l
e if we
c
an (not test
e
d)
commit
|
commitdiff
|
tree
2004-01-26
sk
i
mo
oops; we
nee
d
quotient rathe
r
th
a
n
r
e
m
a
i
n
der
commit
|
commitdiff
|
tree
2004-01-25
skimo
h
andle equali
t
ies
commit
|
commitdiff
|
tree
2004-01-25
sk
i
mo
Handl
e
ONE_NEG for any position of the variabl
e
correctly
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle ONE_
N
E
G for any position of the v
a
riable
.
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
O
nl
y
use indep
e
ndent
b
oun
d
s to construct the one_dep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Truly
p
artit
i
on validity do
m
ains
.
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
copy in_domai
n
from
polylib
commit
|
commitdiff
|
tree
2004-01-25
ski
m
o
Sp
e
c
ial case
"i
n
finit
e
" polytopes
,
i
.
e
.
, those with
commit
|
commitdiff
|
tree
2004-01-25
skimo
Init
i
al
i
mplementati
o
n of barvinok
_
en
u
mera
t
e_e
.
commit
|
commitdiff
|
tree
2004-01-23
sk
i
m
o
Don't
u
se modulo
if quot
i
ent is th
e
s
a
me o
v
er th
e
wh
o
le
commit
|
commitdiff
|
tree
2004-01-22
s
k
imo
remo
v
e
note
t
o self
commit
|
commitdiff
|
tree
2004-01-22
skimo
sup
p
ort add for par
t
itions
commit
|
commitdiff
|
tree
2004-01-21
s
k
imo
remove debu
g
.
{cpp,h}
commit
|
commitdiff
|
tree
next