The function isBasis?() returns with non-trivial linear combination when
applied to linearly independent vectors:
(1) -> F ==> PF 11
(2) -> VF ==> Vector F
(9) -> (v1,v2,v3) : VF
(11) -> v1 := [1,1,2]
(11) [1, 1, 2]
(12) -> v2 := [2,1,2]
(12) [2, 1, 2]
(13) -> v3 := [1,2,1]
(13) [1, 2, 1]
(14) -> M : Matrix F := [v1,v2,v3]
┌1 1 2┐
│ │
│2 1 2│
│ │
└1 2 1┘
(15) -> rank M
(15) 3
Applying isBasis:
(17) -> isBasis?([v1,v2,v3])
(17) isBasis?
1, 2, 1
It should've returned 0,0,0.
Now, trying to express a vector, w, in terms of the new basis {v1,v2,v3}
also runs into problem:
(16) -> w : VF := [2,3,10]
(16) [2, 3, 10]
(17) -> coordinatesIfCan(w,[v1,v2,v3])
There are no exposed library operations named coordinatesIfCan but
there is one unexposed operation with that name. Use HyperDoc
Browse or issue
)display op coordinatesIfCan
to learn more about the available operation.
Cannot find a definition or applicable library operation named
coordinatesIfCan with argument type(s)
Vector(PrimeField(11))
List(Vector(PrimeField(11)))
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
Are the two functions applied the wrong way in the above cases?
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 on the web visit
https://groups.google.com/d/msgid/fricas-devel/eb43990c-c999-476d-b81e-5888a43066dan%40googlegroups.com.
