Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Moving things around slightly.
Browse files Browse the repository at this point in the history
  • Loading branch information
Travis Scrimshaw committed Jan 22, 2016
1 parent e51cb6d commit ce4a0cb
Showing 1 changed file with 31 additions and 42 deletions.
73 changes: 31 additions & 42 deletions src/sage/algebras/orlik_solomon.py
Original file line number Diff line number Diff line change
Expand Up @@ -335,47 +335,6 @@ def subset_image(self, S):
sage: OS.subset_image(frozenset({2,3,4}))
OS{0, 2, 3} + OS{0, 3, 4}
TESTS::
sage: G = Graph([[1,2],[1,2],[2,3],[2,3],[1,3],[1,3]], multiedges=True)
sage: M = Matroid(G)
sage: sorted([sorted(c) for c in M.circuits()])
[[0, 1],
[0, 2, 4],
[0, 2, 5],
[0, 3, 4],
[0, 3, 5],
[1, 2, 4],
[1, 2, 5],
[1, 3, 4],
[1, 3, 5],
[2, 3],
[4, 5]]
sage: OS = M.orlik_solomon_algebra(QQ)
sage: OS.subset_image(frozenset([]))
OS{}
sage: OS.subset_image(frozenset([1, 2, 3]))
0
sage: OS.subset_image(frozenset([1, 3, 5]))
0
sage: OS.subset_image(frozenset([1, 2]))
OS{0, 2}
sage: OS.subset_image(frozenset([3, 4]))
-OS{0, 2} + OS{0, 4}
sage: OS.subset_image(frozenset([1, 5]))
OS{0, 4}
sage: G = Graph([[1,2],[1,2],[2,3],[3,4],[4,2]], multiedges=True)
sage: M = Matroid(G)
sage: sorted([sorted(c) for c in M.circuits()])
[[0, 1],
[2, 3, 4]]
sage: OS = M.orlik_solomon_algebra(QQ)
sage: OS.subset_image(frozenset([]))
OS{}
sage: OS.subset_image(frozenset([1, 3, 4]))
-OS{0, 2, 3} + OS{0, 2, 4}
An example of a custom ordering::
sage: G = Graph([[3, 4], [4, 1], [1, 2], [2, 3], [3, 5], [5, 6], [6, 3]])
Expand Down Expand Up @@ -403,7 +362,37 @@ def subset_image(self, S):
- OS{(1, 2), (5, 6), (3, 4), (2, 3), (3, 5)}
- OS{(1, 2), (5, 6), (3, 4), (2, 3), (3, 6)}
TESTS:
TESTS::
sage: G = Graph([[1,2],[1,2],[2,3],[2,3],[1,3],[1,3]], multiedges=True)
sage: M = Matroid(G)
sage: sorted([sorted(c) for c in M.circuits()])
[[0, 1], [0, 2, 4], [0, 2, 5], [0, 3, 4],
[0, 3, 5], [1, 2, 4], [1, 2, 5], [1, 3, 4],
[1, 3, 5], [2, 3], [4, 5]]
sage: OS = M.orlik_solomon_algebra(QQ)
sage: OS.subset_image(frozenset([]))
OS{}
sage: OS.subset_image(frozenset([1, 2, 3]))
0
sage: OS.subset_image(frozenset([1, 3, 5]))
0
sage: OS.subset_image(frozenset([1, 2]))
OS{0, 2}
sage: OS.subset_image(frozenset([3, 4]))
-OS{0, 2} + OS{0, 4}
sage: OS.subset_image(frozenset([1, 5]))
OS{0, 4}
sage: G = Graph([[1,2],[1,2],[2,3],[3,4],[4,2]], multiedges=True)
sage: M = Matroid(G)
sage: sorted([sorted(c) for c in M.circuits()])
[[0, 1], [2, 3, 4]]
sage: OS = M.orlik_solomon_algebra(QQ)
sage: OS.subset_image(frozenset([]))
OS{}
sage: OS.subset_image(frozenset([1, 3, 4]))
-OS{0, 2, 3} + OS{0, 2, 4}
We check on a non-standard ordering::
Expand Down

0 comments on commit ce4a0cb

Please sign in to comment.