#19255: remove adams_operation
-------------------------+-------------------------------------------------
Reporter: zabrocki | Owner:
Type: defect | Status: new
Priority: minor | Milestone: sage-6.9
Component: | Keywords:
combinatorics | Authors: elixyre
Merged in: | Report Upstream: N/A
Reviewers: | Branch:
Work issues: | u/public/symmetric_functions/remove_adams_op
Commit: | Dependencies:
Stopgaps: |
-------------------------+-------------------------------------------------
`adams_operator` was added at the level of bialgebras and is defined as
`\mu^{n-1} \circ \Delta^{n-1}` however in symmetric functions the method
`adams_operation` is an alias to `frobenius`. Since this is confusing.
We propose removing `adams_operation` as an alias for `frobenius`.
`adams_operation` was added in #14775, `adams_operator` will be added in
#18678.
The documentation explains: The `n`-th Frobenius operator is also the
`n`-th Adams operator of the `\Lambda`-ring of symmetric functions over
the integers. This does not seem to agree with what we found in a paper
by Aguiar and Lauve "The characteristic polynomial of the Adams operators
on graded connected Hopf algebras" which says the Adams operators are the
"Hopf powers or Sweedler powers" and it gives the definition that was
defined at the level of bialgebras.
--
Ticket URL: <http://trac.sagemath.org/ticket/19255>
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/d/optout.
