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
support for modulo calculations
2003-12-23
skimo
support
for modu
l
o c
a
lculat
i
o
n
s
commit
|
commitdiff
|
tree
2003-12-23
skimo
p
i
ck up
m
odifie
d
versions
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
don't c
o
n
struct zero term
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
pi
c
k up
m
odifie
d
ver
s
ions
commit
|
commitdiff
|
tree
2003-12-23
s
k
i
m
o
be carefull about roundin
g
an
d
modul
o
commit
|
commitdiff
|
tree
2003-12-23
skimo
don't "reposition"
modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
e
x
tend compute_e
n
ode
f
or
m
odulo
commit
|
commitdiff
|
tree
2003-12-23
s
k
imo
c
o
p
i
ed from pol
y
lib
commit
|
commitdiff
|
tree
2003-12-23
skim
o
c
ompare argum
e
nt f
o
r mod
u
l
o
typ
e
commit
|
commitdiff
|
tree
2003-12-23
skimo
more
c
anonicaliz
a
tio
n
commit
|
commitdiff
|
tree
2003-12-22
skimo
small clean-up
commit
|
commitdiff
|
tree
2003-12-22
skimo
a
dd
pe
r
i
odics "canonica
l
ly
"
commit
|
commitdiff
|
tree
2003-12-22
skimo
add polynomials "can
o
nically
"
commit
|
commitdiff
|
tree
2003-12-22
skimo
s
m
all simpli
c
iation
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
reduce sup
p
ort fo
r
mod
u
l
o
commit
|
commitdiff
|
tree
2003-12-22
s
k
im
o
ea
d
d
an
d
emul support for modulo
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
support printing o
f
modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
a
dd "modulo
"
typ
e
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "copy constr
u
c
tor"
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
copy some
p
rinti
n
g funcs from pol
y
lib
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
fix
t
y
po in comm
e
nt
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
c
opy some d
e
fs/funs
f
ro
m
polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
i
n
clude ev_
o
perations
bef
o
re b
a
rvinok
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
small clean-ups
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove use
o
f
ehrhartpolynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
remo
v
e params
commit
|
commitdiff
|
tree
2003-12-22
skimo
conver term
commit
|
commitdiff
|
tree
2003-12-22
skimo
co
n
vert term_info
commit
|
commitdiff
|
tree
2003-12-22
skimo
conver
t
multi_poly
n
om
commit
|
commitdiff
|
tree
2003-12-22
skim
o
"convert"
c
onstan
t
commit
|
commitdiff
|
tree
2003-12-22
skimo
co
n
vert u
n
i_polynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
new
"
constr
u
ctor"
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
f
r
e
e factor
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
use addeliminatedparams_evalue
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
c
opied from
p
olylib
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
r
emove unneede
d
argum
e
nt
commit
|
commitdiff
|
tree
2003-12-22
skimo
conve
r
t fac
t
or to evalue
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
int
c
o
n
s
tru
c
to
r
commit
|
commitdiff
|
tree
2003-12-20
skimo
Keep the equa
t
ions that P
o
lyhedron2Param
_
SimplifiedDomain
commit
|
commitdiff
|
tree
2003-12-17
s
k
im
o
check
n
umber
o
f
argu
m
e
nt
s
of
c
ount_points
commit
|
commitdiff
|
tree
2003-12-17
s
kim
o
check num
b
er o
f
argu
m
ent
s
of
P
olyhed
r
on_Enumerate
commit
|
commitdiff
|
tree
2003-12-17
s
k
imo
Don't assum
e
n
ew_enod
e
ini
t
s
commit
|
commitdiff
|
tree
2003-11-27
skimo
make sure
test
s
get inc
l
u
ded
commit
|
commitdiff
|
tree
2003-11-27
skimo
bump version
commit
|
commitdiff
|
tree
2003-11-27
skimo
cle
a
r value before overwritin
g
it
commit
|
commitdiff
|
tree
2003-11-26
skimo
D
o
n
'
t
assume
n
ew_eno
d
e inits
.
x
.
n and fix
s
ome
memory
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
ski
m
o
don't
throw away the constrai
n
ts on the
p
arame
t
ers
commit
|
commitdiff
|
tree
2003-11-26
skimo
Deal
w
i
t
h equa
l
i
ties
with non-one c
o
effi
c
ients
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
Ha
n
dl
e
e
qualiti
e
s among parameters (partially copied
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
pr
o
vide more info on
f
ailu
r
e
commit
|
commitdiff
|
tree
2003-11-26
skimo
only skip equalit
i
es
commit
|
commitdiff
|
tree
2003-11-26
skimo
h
o
nour
a
rgument
commit
|
commitdiff
|
tree
2003-11-26
ski
m
o
return emp
t
y polyhedr
o
n on
c
e we're
out of variables
commit
|
commitdiff
|
tree
2003-11-25
skimo
leave equal
i
ties amon
g
parameters alone
commit
|
commitdiff
|
tree
2003-11-25
skimo
hand
l
e non-par
a
met
r
ized a
n
d empt
y
polytopes
commit
|
commitdiff
|
tree
2003-11-25
skimo
init
v
alu
e
s
before w
r
itin
g
to them
commit
|
commitdiff
|
tree
2003-11-25
skimo
get
p
e
r
iod right
commit
|
commitdiff
|
tree
2003-11-25
skimo
add
(
succeed
i
ng) te
s
t
s
commit
|
commitdiff
|
tree
2003-11-25
ski
m
o
remove equalities
from parametrized
domains
commit
|
commitdiff
|
tree
2003-11-24
skimo
v
e
r
if
y
b
a
r
v
i
nok_
e
n
umerate
commit
|
commitdiff
|
tree
2003-11-24
skimo
copied
f
ro
m
pol
y
lib
di
s
tribu
t
ion
commit
|
commitdiff
|
tree
2003-11-24
skim
o
mo
r
e memory l
e
aks fixes
commit
|
commitdiff
|
tree
2003-11-24
skimo
fix a few mem
o
ry
l
eaks
commit
|
commitdiff
|
tree
2003-11-24
skimo
fix
a
fe
w
memory lea
k
s
commit
|
commitdiff
|
tree
2003-11-24
skimo
remove
unused variabl
e
commit
|
commitdiff
|
tree
2003-11-24
s
kimo
only do d
e
c
omposition on
c
e
for ea
c
h
v
ertex
commit
|
commitdiff
|
tree
2003-11-23
s
kimo
print
t
he complete
l
ist
o
f E
n
umerations
commit
|
commitdiff
|
tree
2003-11-23
s
k
im
o
restart c
o
unt for each domain
commit
|
commitdiff
|
tree
2003-11-23
skimo
red
u
ce fractions in
generated evalues
commit
|
commitdiff
|
tree
2003-11-23
s
k
imo
call re
d
u
ce_e
v
alue
commit
|
commitdiff
|
tree
2003-11-23
skimo
c
h
eck wheth
e
r r
e
d
uce
_
eval
u
e i
s
expor
t
e
d
commit
|
commitdiff
|
tree
2003-11-23
skimo
f
ix para
m
etrized rational pol
y
topes case
commit
|
commitdiff
|
tree
2003-11-21
skimo
s
upport for
r
ational polytopes in multiple parameters
commit
|
commitdiff
|
tree
2003-11-21
ski
m
o
fix s
u
pporting_cone_
p
commit
|
commitdiff
|
tree
2003-11-21
skimo
put some c
o
mmon
co
d
e
i
n
a
f
unction
commit
|
commitdiff
|
tree
2003-11-21
skimo
dir
e
ctly add t
o
c
o
r
rect list
commit
|
commitdiff
|
tree
2003-11-21
s
k
imo
f
u
rthe
r
s
i
mplific
a
tion
commit
|
commitdiff
|
tree
2003-11-21
s
kimo
smal
l
s
i
mplification
commit
|
commitdiff
|
tree
2003-11-21
skimo
get some ca
s
es o
f
single paramet
e
r
ration
a
l polytopes
.
.
.
commit
|
commitdiff
|
tree
2003-11-21
skimo
it
e
rate o
v
e
r
a
l
l d
a
ta
i
n
result
commit
|
commitdiff
|
tree
2003-11-20
ski
m
o
patch from K
r
istof
commit
|
commitdiff
|
tree
2003-11-19
s
k
imo
lcm and i might point to the same Value
commit
|
commitdiff
|
tree
2003-11-19
skimo
s
upport mult
i
pl
e
par
a
meters
commit
|
commitdiff
|
tree
2003-11-19
skimo
use
Eh
r
hartPolyn
o
ms
commit
|
commitdiff
|
tree
2003-11-19
s
k
i
m
o
ad
d
m
is
s
ing a
s
se
r
t
commit
|
commitdiff
|
tree
2003-11-19
s
k
imo
contributed code fr
o
m K
o
en Be
y
ls
commit
|
commitdiff
|
tree
2003-11-19
skimo
add main program
f
or enumerate
commit
|
commitdiff
|
tree
2003-11-19
sk
i
m
o
remove debuggi
n
g output
commit
|
commitdiff
|
tree
2003-11-19
s
k
imo
rough imple
m
ent
a
tion
o
f barvinok_e
n
umerat
e
fo
r
one
.
.
.
commit
|
commitdiff
|
tree
2003-11-16
skim
o
Cons
t
ru
c
t
supporting cone of par
a
me
t
rized p
o
ly
h
edro
n
commit
|
commitdiff
|
tree
2003-11-16
s
kimo
Simpl
i
fy
s
upporting_cone
commit
|
commitdiff
|
tree
2003-11-16
skimo
new ut
i
l
ity
f
unctions
commit
|
commitdiff
|
tree
2003-11-06
skimo
bump ver
s
ion
commit
|
commitdiff
|
tree
2003-11-06
skimo
a
llow s
p
eci
f
ication
o
f max #constraints
commit
|
commitdiff
|
tree
2003-11-06
s
ki
m
o
just in case
commit
|
commitdiff
|
tree
2003-11-06
skimo
O
K
, so we were actually looking at the l
o
w
er f
a
c
e
s
.
.
.
commit
|
commitdiff
|
tree
2003-11-06
skimo
rem
o
ve debugging o
u
tp
u
t
commit
|
commitdiff
|
tree
2003-11-06
skimo
S
o
a
pp
a
rently triangulizatio
n
a
l
so works if you
ta
k
e
.
.
.
commit
|
commitdiff
|
tree
2003-11-05
skimo
check w
h
ether polylib grows
chern
i
kova t
a
ble spac
e
commit
|
commitdiff
|
tree
2003-11-05
skimo
add test
o
n rando
m
polyto
p
es
commit
|
commitdiff
|
tree
next