Changes http://wiki.axiom-developer.org/CartesianProduct/diff
--
??changed:
if A has Finite and B has Finite then
- size == size$A () * size$B ()
- index(n) == [index((((n::Integer) quo (size$A)()
)+1)::PositiveInteger)$A,
- index((((n::Integer) rem (size$A)()
)+1)::PositiveInteger)$B]
+ size == size$A * size$B
+ index(n) == [index((((n::Integer) quo size$A
)+1)::PositiveInteger)$A,
+ index((((n::Integer) rem size$A
)+1)::PositiveInteger)$B]
random() == [random()$A,random()$B]
??changed:
random() == [random()$A,random()$B]
- lookup(x) == lookup(x.acomp)$A * (size$A)()::PositiveInteger +
lookup(x.bcomp)$B
- hash(x) == hash(x.acomp)$A * (size$A)()::SingleInteger +
hash(x.bcomp)$B
+ lookup(x) == lookup(x.acomp)$A * size$A::PositiveInteger +
lookup(x.bcomp)$B
+ hash(x) == hash(x.acomp)$A * size$A::SingleInteger + hash(x.bcomp)$B
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
