The file test.input contains the following: cat test.input
FF ==> PF 109 VF ==> Vector FF )expose VectorSpaceBasis V : VF := [39, 29] W : VF := [18, 5] isBasis?([V, W]) M : Matrix FF := [V, W] rank M Here's the test run: (1) -> )r test FF ==> PF 109 VF ==> Vector FF )expose VectorSpaceBasis VectorSpaceBasis is now explicitly exposed in frame frame1 V : VF := [39, 29] (3) [39, 29] W : VF := [18, 5] (4) [18, 5] isBasis?([V, W]) (5) true M : Matrix FF := [V, W] ┌39 29┐ (6) │ │ └18 5 ┘ rank M (7) 1 (8) -> Vectors V and W are linearly dependent but isBasis returns "true". Thanks, SWA -- 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 visit https://groups.google.com/d/msgid/fricas-devel/71074cad-6a43-45c3-bcec-5f360a6a256bn%40googlegroups.com.