Checkout the DirectProduct domain. Granted, this name might not be so obvious.
In a computer algebra system like FriCAS the name "Vector" should probably be reserved for something with specific mathematical properties. e.g. as in differential geometry. But I think that there are some good arguments that the current implementation of the Vector domain is also less than satisfactory from this point of view. There is another group of domains that specifically support various types of "array" data structures. (Although none of them as far as I know are fixed length structures.) On Thu, Oct 29, 2020 at 5:10 PM Neven Sajko <nsa...@gmail.com> wrote: > > Hello, > > While I am slowly learning Fricas, I noticed a pattern (or the lack of > it) that struck me as odd. Namely, some data structure types of fixed > size have constructors which take a parameter to define the size as > part of the type (e.g., SquareMatrix), while others (like Vector) do > not take a parameter that specifies the data structure's fixed length. > > Is this an oversight or a product of an intentional decision? Is it > beneficial or detrimental? Is this important at all? > > My guess would be that it would be better if Vector's constructor had > a length parameter, because that would enable greater type safety > (i.e. I couldn't pass a Vector of the wrong length to a function). > > Is there a way to define a function that takes a Vector of length 3 as > input, so the input argument's length would be checked by Fricas > automatically when calling the function? > > Thank you, > Neven Sajko > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to fricas-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/CAL%2BbK4Pnw5ZrdEmwrpAY2Ocj9LiDSayNg9mgrZBESGjh%2BWL%3DAw%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAC6x94Q-_7b57vEVuKMCnRYzSDW%2BEF16X0vjJiOy2wfhFyX%3DfA%40mail.gmail.com.
