Ticket #8545: trac_8545_opi.patch

File trac_8545_opi.patch, 643 bytes (added by bump, 12 years ago)
  • sage/categories/coxeter_groups.py

    diff -r 334c7a142d64 sage/categories/coxeter_groups.py
    a b  
    796796             - ``toward_max`` - a boolean (default: True) specifying the direction of the projection
    798798            Returns the result of the application of the simple
    799             projection `\pi_i` (resp. `\opi_i`) on self.
     799            projection `\pi_i` (resp. `\overline\pi_i`) on self.
    801801            See :meth:`CoxeterGroups.ParentMethods.simple_projections`
    802802            for the definition of the simple projections.