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
DomainIncludes
2004-02-22
skimo
DomainIncludes
commit
|
commitdiff
|
tree
2004-02-22
s
kimo
P
ostpone mu
l
ti
p
lication
w
ith "fact
o
r" to handle
t
h
e
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
a
c
tually pe
r
form mo
d
ulo when c
o
nverting to tab
l
es
commit
|
commitdiff
|
tree
2004-02-15
s
k
imo
extend 1D spe
c
ial-casing
to mult
i
p
le lower/upper bounds
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory lea
k
s
commit
|
commitdiff
|
tree
2004-02-15
skimo
support emul f
o
r partitio
n
s
commit
|
commitdiff
|
tree
2004-02-15
skimo
don
'
t
a
ssume fac
t
or is
a constant
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't modify d pa
r
a
meter
commit
|
commitdiff
|
tree
2004-02-15
skimo
add pointer
to poly
l
ib
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
Support reductio
n
fo
r
non-modulo by tempor
a
rily
u
sing
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
odu
l
o to t
a
ble conversi
o
n
commit
|
commitdiff
|
tree
2004-02-15
skim
o
another memory leak
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
another memory
l
eak
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
e
mory
leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
exp
e
riment
a
l "unfringe" c
o
de
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
type
commit
|
commitdiff
|
tree
2004-02-06
skimo
f
i
x de
c
omposition test and
a
dd polarized decomp
o
st
i
on
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
elim
i
nate a variable if we can (not tes
t
e
d
)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oops
;
we need quotient rat
h
er than remainder
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
han
d
le
equali
t
ies
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle ONE
_
NEG for an
y
position of
the
variable
c
orrectly
commit
|
commitdiff
|
tree
2004-01-25
skimo
Hand
l
e ONE_NEG for any po
s
ition of the v
a
riable
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Only use
indepe
n
dent bounds to construct
t
he
one_dep
.
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Tr
u
ly p
a
rtiti
o
n
v
alidi
t
y
domain
s
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
co
p
y i
n
_domai
n
fro
m
polylib
commit
|
commitdiff
|
tree
2004-01-25
skimo
Special case "infin
i
te
"
polytopes, i
.
e
.
,
those wi
t
h
commit
|
commitdiff
|
tree
2004-01-25
skimo
Ini
t
ial impleme
n
tation of barv
i
nok_en
u
merat
e
_e
.
commit
|
commitdiff
|
tree
2004-01-23
skimo
Don't use
modu
l
o if qu
o
ti
e
nt is the s
a
me over the whole
commit
|
commitdiff
|
tree
2004-01-22
skimo
remove note to s
e
lf
commit
|
commitdiff
|
tree
2004-01-22
sk
i
m
o
suppor
t
a
d
d
for partitions
commit
|
commitdiff
|
tree
2004-01-21
sk
i
mo
remove debug
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
s
ki
m
o
suppo
r
t
free and dummy add for
p
artiti
o
ns
commit
|
commitdiff
|
tree
2004-01-21
sk
i
mo
su
p
p
o
rt prin
t
ing for partit
i
ons
commit
|
commitdiff
|
tree
2004-01-20
skimo
Calculate
c
o
unt as a partition an
d
conv
e
rt
t
o Enu
m
erat
i
on
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
skimo
defi
n
e pa
r
tition t
y
pe
commit
|
commitdiff
|
tree
2004-01-20
sk
i
mo
Partial imp
l
ementation of param
e
tr
i
c
polyhed
r
al reduction
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s/indicato
r
/r
e
lation/
commit
|
commitdiff
|
tree
2004-01-16
skim
o
simpli
f
y
P
o
l
y
h
edron_Redu
c
e a
b
i
t
commit
|
commitdiff
|
tree
2004-01-15
skimo
change
commen
t
about modulo rep
commit
|
commitdiff
|
tree
2004-01-13
skimo
add tests/ehr
h
art/equal5
commit
|
commitdiff
|
tree
2004-01-13
ski
m
o
bu
m
p
versi
o
n
commit
|
commitdiff
|
tree
2004-01-13
skimo
use indicator
f
unc
t
ions
t
o mask whe
n
us
i
ng modulo express
i
ons
commit
|
commitdiff
|
tree
2004-01-13
ski
m
o
partia
l
"ind
i
c
a
tor
function" support
commit
|
commitdiff
|
tree
2004-01-12
skimo
ad
d
c
omm
e
nt on
factor p
a
rame
t
er
commit
|
commitdiff
|
tree
2004-01-12
skimo
add constant in mult
i
_monom
commit
|
commitdiff
|
tree
2004-01-12
skimo
fre
e
argument of modulo when
reducing stren
g
th
commit
|
commitdiff
|
tree
2004-01-12
skimo
re
m
ove ty
p
o intro
d
uced by previous patch
commit
|
commitdiff
|
tree
2004-01-12
s
k
im
o
fix memleak i
n
red
u
ce_evalue
commit
|
commitdiff
|
tree
2004-01-12
skim
o
remove
a
few memory l
e
a
ks
commit
|
commitdiff
|
tree
2004-01-11
s
kimo
silly optimi
z
ation for
s
pecia
l
case of mod 2
commit
|
commitdiff
|
tree
2004-01-11
s
kimo
handle
s
um of modulo polynomials
o
f d
i
fferent s
i
ze
commit
|
commitdiff
|
tree
2004-01-09
skimo
add warning about modulo representation
commit
|
commitdiff
|
tree
2004-01-09
sk
i
mo
avoid
w
arnings
commit
|
commitdiff
|
tree
2004-01-09
s
kimo
bump
ver
s
ion
commit
|
commitdiff
|
tree
2003-12-25
skimo
make
us
e
of modulo configurable
commit
|
commitdiff
|
tree
2003-12-23
s
k
im
o
support for mod
u
l
o calculations
commit
|
commitdiff
|
tree
2003-12-23
skimo
pic
k
u
p
modified ve
r
sions
commit
|
commitdiff
|
tree
2003-12-23
skim
o
don't constru
c
t zero term
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
pick u
p
m
o
dif
i
ed ver
s
ions
commit
|
commitdiff
|
tree
2003-12-23
skimo
b
e
carefull about rounding and modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
don't
"
reposition
"
modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
extend c
o
mpute_enode fo
r
m
odulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
copied
f
r
om polylib
commit
|
commitdiff
|
tree
2003-12-23
skimo
c
ompare
a
rgument for modul
o
type
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
mor
e
canonicalization
commit
|
commitdiff
|
tree
2003-12-22
skimo
smal
l
clean-up
commit
|
commitdiff
|
tree
2003-12-22
skimo
a
dd per
i
o
d
ics "
c
a
n
o
nicall
y
"
commit
|
commitdiff
|
tree
2003-12-22
skim
o
add p
o
lynomial
s
"canonic
a
lly"
commit
|
commitdiff
|
tree
2003-12-22
skimo
s
m
all simpliciation
commit
|
commitdiff
|
tree
2003-12-22
skimo
reduce suppor
t
for mod
u
lo
commit
|
commitdiff
|
tree
2003-12-22
skimo
eadd
and em
u
l suppor
t
for modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
support printing of modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "modu
l
o" type
commit
|
commitdiff
|
tree
2003-12-22
skim
o
add
"copy
c
onstructor"
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy some
printing funcs
f
r
om polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
fix t
y
po in
c
o
m
ment
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy
so
m
e
defs/f
u
n
s from
poly
l
ib
commit
|
commitdiff
|
tree
2003-12-22
skimo
include ev_operations before barvinok
commit
|
commitdiff
|
tree
2003-12-22
skimo
small cle
a
n-ups
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
remove use of ehrhartpolynom
commit
|
commitdiff
|
tree
2003-12-22
skim
o
remov
e
p
a
r
am
s
commit
|
commitdiff
|
tree
2003-12-22
s
k
i
m
o
conver term
commit
|
commitdiff
|
tree
2003-12-22
skim
o
conve
r
t t
e
rm_
i
nfo
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert mu
l
ti_
p
ol
y
nom
commit
|
commitdiff
|
tree
2003-12-22
skim
o
"convert" co
n
stant
commit
|
commitdiff
|
tree
2003-12-22
skimo
conver
t
uni
_
polynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
new "constr
u
cto
r
"
commit
|
commitdiff
|
tree
2003-12-22
skimo
free fa
c
tor
commit
|
commitdiff
|
tree
2003-12-22
skimo
use addeliminatedparams_evalu
e
commit
|
commitdiff
|
tree
2003-12-22
skimo
copied
f
rom polylib
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
remove unneeded argument
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert
f
ac
t
or
to evalu
e
commit
|
commitdiff
|
tree
2003-12-22
skimo
int c
o
nstructor
commit
|
commitdiff
|
tree
2003-12-20
sk
i
m
o
Kee
p
t
h
e equatio
n
s that Po
l
yhedron2Par
a
m_Si
m
plifiedDomai
n
commit
|
commitdiff
|
tree
2003-12-17
skimo
check n
u
mber
o
f arguments of
c
ount_points
commit
|
commitdiff
|
tree
2003-12-17
sk
i
mo
check numbe
r
of
a
rguments
o
f Polyhedron_Enumerate
commit
|
commitdiff
|
tree
2003-12-17
skimo
Don
'
t assume new_enode inits
commit
|
commitdiff
|
tree
2003-11-27
s
k
i
mo
make sure tes
t
s get included
commit
|
commitdiff
|
tree
2003-11-27
s
k
i
m
o
bump ver
s
ion
commit
|
commitdiff
|
tree
2003-11-27
s
k
i
mo
c
l
ear v
a
l
u
e be
f
o
r
e overwriting it
commit
|
commitdiff
|
tree
next