On Oct 30, 6:06 pm, 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?
Actually a straightforward implementation of formal Laurent series not only models but *is* a field with 0 being (0,0,....) and 1 being (1,0,....). A field like QQ is a field. The only difference is that you can decide equality in QQ but not in the formal Laurent series. It is straight forward to show that 0 + m = m, or even that 0 is the only series that does so. --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---