Hi, I have a couple of questions.
1)
are dependent types supported by the interpreter (input files)?
I feel like n in the image type of defFun below is really understood ...
(1) -> )read dep-types
defFun(n:PositiveInteger):SquareMatrix(n, Integer) == sample$SquareMatrix(n,
Integer)
Cannot convert the value from type Symbol to NonNegativeInteger .
2)
Is there an assign function such that
assign(x,z)
would be equivalent to the statement x:= z ?
thanks for any hint, ric
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
