On Sat, Mar 17, 2012 at 7:23 AM, Volker Braun <vbraun.n...@gmail.com> wrote: > Just to rephrase things, there should be > a) a new ring analogous to RIF that does error propagation (instead of > interval arithmetic) > b) the elements of this ring should have units attached and check that they > match in ring operations
These two things should be totally separable, we already have units that can be attached to an arbitrary ring. I think interval arithmetic would be just fine for this, at least as a first pass. On that note, however, I'm not sure that trying to build a GSoC project around this is a good idea--this sounds like a week worth of work (at most), and GSoC lasts all summer and be centered around something more ambitious. > On Saturday, March 17, 2012 9:45:58 AM UTC-4, Keshav Kini wrote: >> >> I think what Eviatar was suggesting is that constants with uncertainty >> should be represented with Real Intervals, which is a data type that >> stores a number as an interval of its possible values. > > -- > To post to this group, send an email to sage-devel@googlegroups.com > To unsubscribe from this group, send an email to > sage-devel+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org