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?
Perhaps the broader point is that while topology can be turned into something computational in the sense you are suggesting, it probably depends hugely on what sort of data you are talking about. For instance, we do have more combinatorial topological stuff. Given a Python/Sage set object, I don't think anyone has implemented a topology structure (subset of the power set that has the right properties), but it would probably be a very useful addition to Sage. Are you aware of any other open-source packages which already do implement such a thing? - kcrisman -- 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
