On Jul 29, 2:43 am, Alec Battles <alec.batt...@gmail.com> wrote: > I actually think that computers are very healthy for mathematicians in > that regard. What's the use of a branch of mathematics whose functions > don't take user-defined numbers/shapes as their domain?? > > But given a user-defined set of points and a bunch of topological > transformations, I don't see why it shouldn't be possible to do > point-set topology with a computer. > > Is there something I'm missing? > > Alec
It's my understanding that it is generally difficult to represent uncountably infinite sets in computers. It's certainly not impossible, but it seems like most implementations are specialized for the specific type of set that is being represented. On the other hand, I would love to see support for this in sage. Let us know what you find! -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
