Do not use _ at the end of the first line. fsol(a: List LZ, b: LZ): LZ == x := solve(a :: SquareMatrix(3, F), b :: VF).particular if x case VF then x :: LZ else [0,0,0] :: LZ
On Wed, Dec 1, 2021 at 2:25 PM Sid Andal <andal...@gmail.com> wrote: > > The following file contains: > > **** mysolv.input **** > > F := PF 13 > > VF ==> Vector F > LZ ==> List Integer > > fsol(a: List LZ, b: LZ): LZ ==_ > x := solve(a :: SquareMatrix(3, F), b :: VF).particular > if x case VF then x :: LZ else [0,0,0] :: LZ > > **** End of mysolv.input > > > The following run outputs an error: > > > (1) -> )r mysolv > F := PF 13 > > > (1) PrimeField(13) > > VF ==> Vector F > > LZ ==> List Integer > > > fsol(a: List LZ, b: LZ): LZ ==_ > x := solve(a :: SquareMatrix(3, F), b :: VF).particular > if x case VF then x :: LZ else [0,0,0] :: LZ > > Function declaration fsol : (List(List(Integer)), List(Integer)) -> > List(Integer) has been added to workspace. > (5) -> > (5) -> fsol([[1,2,3],[5,7,9],[11,2,8]],[4,0,3]) > > case is only used for Unions and the object on the left-hand side > does not belong to a union. > > (5) -> > > > Isn't solve.particular of Union type? > > -- > 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/6a2be781-10a4-42a3-a13e-11d0f72071c7n%40googlegroups.com > <https://groups.google.com/d/msgid/fricas-devel/6a2be781-10a4-42a3-a13e-11d0f72071c7n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAC6x94TDLAWLW4RjFjZ4c9Mm3rLAvYkoy8hno8mSEcUF2%3DRcDA%40mail.gmail.com.