#7522: Implement orthogonal complement in vector spaces
------------------------------+---------------------------------------------
Reporter: kcrisman | Owner: was
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.6
Component: linear algebra | Keywords:
Author: Jason Grout | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Changes (by kcrisman):
* status: needs_review => needs_work
Comment:
I got a chance to look at this over the weekend. Unsurprisingly, in
general it's great. But...
Since this is in the free module module (!), there should be a better
error for
{{{
sage: c = FreeModule(Integers(8), 2)
sage: c.perp()
---------------------------------------------------------------------------
<snip>
NotImplementedError: Don't know how to compute kernels over Ring of
integers modulo 8
}}}
I also noticed the following behavior, which is probably desirable, but
which should then definitely be explicitly mentioned in the documentation
for this function, since it does return a different type of object for the
perp object:
{{{
sage: c = FreeModule(ZZ, 2)
sage: c
Ambient free module of rank 2 over the principal ideal domain Integer Ring
sage: c.perp()
Vector space of degree 2 and dimension 0 over Rational Field
Basis matrix:
[]
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7522#comment:4>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
