On Thu, Jan 09, 2025 at 08:31:06AM -0800, Sid Andal wrote:
> 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
<snip>
> isBasis?([V, W])
>
>
> (5) true
<snip>
> Vectors V and W are linearly dependent but isBasis returns "true".
This was a bug due to wrong resolution of overloads. I have now
pushed a fix.
--
Waldek Hebisch
--
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 view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/Z4DOXDrMwgbHkFmX%40fricas.org.
