Dear Jianrong,

On 04.01.2013, at 10:10, 李建荣 wrote:

> Dear Forum,
> 
> Let v be a vector and V a vector space. Is there some function in GAP which 
> can determine that v is in V or not? I search the manual of GAP but did not 
> find one. Thank you very much. 

If a is a vector and V a vectorspace, you can simply write

 a in V

to get a boolean true/false value indicating what you want. For example:

gap> V:=VectorSpace(GF(3), [ [1,0,0,0], [0,1,0,1], [1,-1,0,0] ] * Z(3)^0);
<vector space over GF(3), with 3 generators>
gap> [1,0,0,1] * Z(3)^0 in V;
true
gap> [1,0,1,0] * Z(3)^0 in V;
false


Hope that helps,
Max
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum

Reply via email to