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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAL%2BbK4Pnw5ZrdEmwrpAY2Ocj9LiDSayNg9mgrZBESGjh%2BWL%3DAw%40mail.gmail.com.
