1 | diff --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`` |
---|