# Ticket #15283: newdiff.txt

File newdiff.txt, 2.5 KB (added by Darij Grinberg, 9 years ago)

differences to the old file. don't apply, just read

Line
1diff --git a/sage/categories/finite_posets.py b/sage/categories/finite_posets.py
2--- a/sage/categories/finite_posets.py
3+++ b/sage/categories/finite_posets.py
4@@ -340,7 +340,7 @@ class FinitePosets(Category):
5             ideal `C`, where `C` is the (set-theoretic) complement of
6             the order filter of `P` generated by `A`.
7
8-            ``panyushev_complement`` is an alias for this method.
9+            :meth:`panyushev_complement` is an alias for this method.
10
11             Panyushev complementation is related (actually, isomorphic)
12             to rowmotion (:meth:`rowmotion`).
13@@ -354,10 +354,9 @@ class FinitePosets(Category):
14
15             OUTPUT:
16
17-            - the complement order filter (resp. order ideal) of the
18-              order ideal (resp. order filter) generated by the
19-              antichain ``antichain``, represented by its generating
20-              antichain
21+            - the generating antichain of the complement order filter
22+              (resp. order ideal) of the order ideal (resp. order filter)
23+              generated by the antichain ``antichain``
24
25             EXAMPLES::
26
27@@ -542,6 +541,16 @@ class FinitePosets(Category):
28             in this order.
29
30             See :meth:`order_ideal_toggle` for a definition of toggling.
31+
32+            .. WARNING::
33+
34+                The orbits are those under the composition of toggles,
35+                *not* under the single toggles themselves. Thus, for
36+                example, if ``vs == [1,2]``, then the orbits have the
37+                form `(I, T_2 T_1 I, T_2 T_1 T_2 T_1 I, \ldots)`
38+                (where `I` denotes an order ideal and `T_i` means
39+                toggling at `i`) rather than
40+                `(I, T_1 I, T_2 T_1 I, T_1 T_2 T_1 I, \ldots)`.
41
42             INPUT:
43
44@@ -777,6 +786,16 @@ class FinitePosets(Category):
45
46             See :meth:`order_ideal_toggle` for a definition of toggling.
47
48+            .. WARNING::
49+
50+                The orbit is that under the composition of toggles,
51+                *not* under the single toggles themselves. Thus, for
52+                example, if ``vs == [1,2]``, then the orbit has the
53+                form `(I, T_2 T_1 I, T_2 T_1 T_2 T_1 I, \ldots)`
54+                (where `I` denotes ``oideal`` and `T_i` means
55+                toggling at `i`) rather than
56+                `(I, T_1 I, T_2 T_1 I, T_1 T_2 T_1 I, \ldots)`.
57+
58             INPUT:
59
60             - ``vs``: a list (or other iterable) of elements of ``self``