On Mar 13, 2009, at 1:09 PM, John Cremona wrote: > > 2009/3/13 Ralf Hemmecke <[email protected]>: > >> Is there a function in Sage that really behaves like mathematical >> equality? > > If you think about it, this would be rather hard to implement in > general, in terms of complexity at least.
Indeed, it is hard to nail down what one means by equality. For example, is R[x] equal to R[y]. What about the commutative rings R [x,y] and R[y,x]. What about sparse R[x] vs. dense R[x]. Do you consider all vector spaces over K of the same dimension equal, or do they have to have a specified basis? Nailing down questions like these is unclear. - Robert --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] 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 -~----------~----~----~----~------~----~------~--~---
