> 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 --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---