There is no such predicate.
Further, Maxima knows nothing about a span object--substitutions into
a span object do not work, there is no way to form the union of span
objects, and ...
For things such as
(%i21) nullspace(matrix([4,3],[c,8]));
Proviso: notequal(3*c-32,0)
(%o21) span()
Maxima informs the user that c = 32 / 3 is a special case, but this
information
isn't available programmatically (it is printed and lost).
Barton
maxima-bounces at math.utexas.edu wrote on 02/09/2010 10:53:45 AM:
> [image removed]
>
> [Maxima] span(M)
>
> Chris Sangwin
>
> to:
>
> Maxima
>
> 02/09/2010 10:54 AM
>
> Sent by:
>
> maxima-bounces at math.utexas.edu
>
>
> Dear Maxima,
>
> I notice that the command nullspace(M); returns a Maxima object "span".
>
> Is there a predicate function which determines if another vector belongs
> to this span?
>
> e.g. inspanp(M,v).
>
> I've looked in the manual,
> http://maxima.sourceforge.net/docs/manual/en/maxima.pdf
> but can't find the answer there.
>
> Thanks
> Chris
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima