#15064: More vectors in matrix kernel
----------------------------------+-------------------------
       Reporter:  okazymyrov      |        Owner:
           Type:  enhancement     |       Status:  new
       Priority:  trivial         |    Milestone:  sage-5.12
      Component:  linear algebra  |   Resolution:
       Keywords:  kernel matrix   |    Merged in:
        Authors:                  |    Reviewers:
Report Upstream:  N/A             |  Work issues:
         Branch:                  |       Commit:
   Dependencies:                  |     Stopgaps:
----------------------------------+-------------------------

Comment (by okazymyrov):

 I have the following output (Mac OS X 10.8.4):

 {{{#!python
 sage: K
 Vector space of degree 15 and dimension 5 over Finite Field of size 2
 Basis matrix:
 [1 0 0 0 0 0 1 1 0 0 0 1 0 0 1]
 [0 1 0 0 0 0 0 0 0 1 0 0 1 1 1]
 [0 0 1 0 0 1 0 1 1 0 0 0 0 1 1]
 [0 0 0 1 0 1 1 1 1 1 0 0 1 1 1]
 [0 0 0 0 1 1 1 0 1 1 1 0 1 0 1]
 sage: K.list()
 [(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0),
  (1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 1),
  (0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1),
  (1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 0),
  (0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 1, 1),
  (1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0),
  (0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 0, 1, 0, 0),
  (1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1),
  (0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1),
  (1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0),
  (0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0),
  (1, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1),
  (0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0),
  (1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 0, 1),
  (0, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1),
  (1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0),
  (0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1),
  (1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0),
  (0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 0),
  (1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1),
  (0, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0),
  (1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1),
  (0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1),
  (1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0),
  (0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0),
  (1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1),
  (0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1),
  (1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0),
  (0, 0, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 1),
  (1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0),
  (0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0),
  (1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1)]
 }}}

 I guess that "K.list()" gives all linear combinations of the basis.

--
Ticket URL: <http://trac.sagemath.org/ticket/15064#comment:5>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to