#15245: Pfaffian of a skew-symmetric matrix
-------------------------------------------------+-------------------------
Reporter: darij | Owner:
Type: enhancement | Status:
Priority: major | positive_review
Component: combinatorics | Milestone: sage-5.13
Keywords: matrix, sage-combinat, | Resolution:
pfaffian | Merged in:
Authors: Darij Grinberg | Reviewers: Travis
Report Upstream: N/A | Scrimshaw
Branch: | Work issues:
Dependencies: #14117 | Commit:
| Stopgaps:
-------------------------------------------------+-------------------------
Comment (by nbruin):
Replying to [comment:23 darij]:
> Skew symmetric is NOT the same as alternating in ZZ/(6 ZZ); think of a 3
on the main diagonal. Just having 1 + 1 != 0 is not enough. Infinite
characteristic in the sense of "ZZ embeds into the ring" is not enough
since we can have things like ZZ[X] / (2X).
Oops, sorry. I should use non-integral domains a little more. I withdraw
my proposal then. Deciding whether alternating is the same as skew
symmetric is not so easy after all, so we should just have two separate
methods and if people want the tests to be quicker they will have to
implement both themselves.
--
Ticket URL: <http://trac.sagemath.org/ticket/15245#comment:24>
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.
