[sage-devel] Re: Lazy Infinite Power Series

[mabshoff]

On Oct 31, 2:05 am, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> > 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).

Hi Ralf,

> And + is not associative...

It isn't for floats, but for "real" fields it is.

> I guess all that hits back when time comes and one actually wants to
> prove something about a program without starting a computation.

Why would that matter? Can you give an example?

> Ralf

Cheers,

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