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.

Reply via email to