#7522: Implement orthogonal complement in vector spaces
-------------------------------------------------+--------------------------
Reporter: kcrisman | Owner: was
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-5.9
Component: linear algebra | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers: Karl-Dieter
Crisman
Authors: Jason Grout, Travis Scrimshaw | Merged in:
Dependencies: | Stopgaps:
-------------------------------------------------+--------------------------
Comment (by nbruin):
Replying to [comment:12 kcrisman]:
> Then what do you suggest? Since this is primarily useful for
pedagogical purposes, perhaps we can just raise an error outside of QQ,
RR, and friends.
Even there it's only wrt the standard inner product (i.e., if your basis
is orthogonal) that this complement is ''orthogonal''.
Wouldn't just `complement` work? I think that's a reasonably established
term for direct cofactor.
And indeed, you should probably only offer this for vector spaces, i.e.,
when the base ring is a field.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7522#comment:13>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
