Changes between Initial Version and Version 1 of Ticket #26195, comment 45


Ignore:
Timestamp:
09/26/18 09:24:28 (4 years ago)
Author:
caruso
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #26195, comment 45

    initial v1  
    1010}}}
    1111
    12 We now want to add a method for recovering `A` (the Tate algebra) from `T` (the monoid of terms). However a method `algebra` already exists: itis inherited from `sage.categories.sets_cat.Sets` and provides a very general construction of an algebra over an arbitrary set.
     12We now want to add a method for recovering `A` (the Tate algebra) from `T` (the monoid of terms). However a method `algebra` already exists: it is inherited from `sage.categories.sets_cat.Sets` and provides a very general construction of an algebra over an arbitrary set.
    1313We believe that this general construction is not very relevant in our setting and that `T.algebra()` should instead output `A`. So our question is: is it allowed/appropriate to override the method `algebra` (keeping in mind that it comes from the category machinery)?
    1414