On Wednesday, June 3, 2015 at 11:02:42 PM UTC+2, David Roe wrote:
>
>
> For a vector space V over an inexact field, the statement that a vector v
> belongs to a particular subspace W cannot be checked by examining an
> approximation to v in V. For example, (2 + O(3^50), 4 + O(3^50)) may or
> m
On Wed, Jun 3, 2015 at 2:24 PM, Johan S. R. Nielsen
wrote:
> What is the sensible notion of parent() for a vector that I drew out of a
> vector subspace?
> For instance, what should be printed by the following lines?
>
> VS = (QQ^3).subspace([ (1, 1 ,1) ])
> v = VS.an_element()
> print v.parent()
What is the sensible notion of parent() for a vector that I drew out of a
vector subspace?
For instance, what should be printed by the following lines?
VS = (QQ^3).subspace([ (1, 1 ,1) ])
v = VS.an_element()
print v.parent()
One possibility is that QQ^3 should be printed. Alternatively, and the
