> 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).
And + is not associative... I guess all that hits back when time comes and one actually wants to prove something about a program without starting a computation. 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 -~----------~----~----~----~------~----~------~--~---
