Ralf Hemmecke wrote:
>
> On 10/21/2011 09:17 PM, Waldek Hebisch wrote:
> > I propose to change 'selectfirst' to 'first' and
> > 'selectsecond' to 'second'.
>
> I support it and would even change
>
> makeprod : (A,B) -> %
>
> to
>
> product: (A,B) -> %
>
> since I don't like abbreviations in function names.
I did not propose change to 'product' because we already have
'product' functions with somewhat different meaning. This
could confuse users. But maybe users can sort it out...
> Or maybe even
>
> pair: (A,B) -> %
>
> would be a good name.
>
> In fact, thinking about it. I would reserve "Product" for something that
> is not just the product of two things.
>
> Anyway, I also question the existence of that domain at all. In fact,
> it's something that would be called Cross in Aldor + an extension of
> Cross to (conditionally) export all the categories that are given in
> Product. Oh, yes, sorry, that wouldn't work since I'd have to iterate
> the "has" operator over a tuple (the argument for Cross). So, fixed
> length is necessary for Product.
>
> But then, why not calling it Pair and also have Triple and Quadruple as
> domains?
Product propagates structure (for example Group) from factors. This
is not what I expect domain named Pair to do. Concerning Triple
and Quadruple: we could have Product2, Product3, and Product4.
Given that Product gets so little use it is not clear for me
if its higer arity brothers are needed.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
