Ticket #2962 (closed enhancement: fixed)

Opened 5 years ago

Last modified 5 years ago

[with patch, with positive review] modify .name() method for ExpectElements to allow renaming

Reported by: mhansen Owned by: mhansen
Priority: major Milestone: sage-3.0.4
Component: interfaces Keywords:
Cc: Work issues:
Report Upstream: Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description


Attachments

2962.patch Download (1.6 KB) - added by mhansen 5 years ago.

Change History

Changed 5 years ago by mhansen

comment:1 Changed 5 years ago by mhansen

  • Owner changed from was to mhansen
  • Status changed from new to assigned
  • Summary changed from modify .name() method for ExpectElements to allow renaming to [with patch, needs review] modify .name() method for ExpectElements to allow renaming

comment:2 Changed 5 years ago by broune

Is there a reason that get-name and clone-and-change-name should be combined into the same method? I would prefer a clone method or some such with an optional name parameter, unless this is a Python idiom that I'm just unaware of.

comment:3 Changed 5 years ago by gfurnish

  • Summary changed from [with patch, needs review] modify .name() method for ExpectElements to allow renaming to [with patch, with positive review] modify .name() method for ExpectElements to allow renaming

comment:4 Changed 5 years ago by mabshoff

  • Status changed from assigned to closed
  • Resolution set to fixed
  • Milestone changed from sage-3.1.1 to sage-3.0.4

Merged in Sage 3.0.4.alpha0

Note: See TracTickets for help on using tickets.