On Sun, Aug 23, 2009 at 12:27 PM, Sebastian Pancratz <s...@pancratz.org>wrote:
> > I think as a first step I'll only implement the additional argument > for the two methods "is_field" and "is_integral_domain". > > For the other suggestion, namely to allow the user to assert that a > ring is in fact a field, would the following be the "right" way to > implement this? 1. Add a new attribute to the ring class, say > IS_FIELD, initialised to None, 2. Implement "assert_field(check)" to > set IS_FIELD = check, 3. Change "is_field" such that (ignoring the > issue about raising an exception or returning False) if IS_FIELD is > None it should behave as now and otherwise it should return the value > of IS_FIELD. Don't make it upper case. Make the attribute _is_field. Otherwise the above sounds great to me. William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
