On Thu, Oct 30, 2008 at 10:06 AM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote: > >> Formal Laurent series would also form a field. >> For example the formal Laurent series are a field. > > While this is certainly true mathematically, you might run into trouble > computationally. > > In a (additive and commutative) monoid M there is a (unique) x in M such > that for all m in M it holds: x + m = m. > > Does that axiom hold for your implementation? Can you prove it? > > Ralf >
Sage is full of "fields" that aren't actually fields mathematically. Field in Sage means "object that models a mathematical field", but includes e.g., the "field of double precision floating point numbers", which isn't really a field (e.g., it is finite). -- William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---