I was thinking about adding what you said in above levels. In bottom levels, I thought of passing domains explicitly to functions after they are determined from above levels. The lower level functions will form the basis of functions/methods at upper levels. I am still not sure if this is the right way to look at this problem.
-Saurabh On Jun 19, 9:50 pm, David Joyner <wdjoy...@gmail.com> wrote: > On Wed, Jun 19, 2013 at 9:25 AM, Saurabh Jha <saurabh.j...@gmail.com> wrote: > > Hi, > > > This topic is extensively discussed earlier in mailing list. What I > > have here [0] is essentially correct though inefficient implementation > > of addition and subtraction operations for sparse matrix. This is the > > time where I need to think about adding domains support to matrices. I > > can think of two approaches to attack this problem-- > > > 1. Naive approach : adding domain as a third parameter like add(m1, > > m2, K) and then using domain's arithmetic operations in the body. > > Why do you need a third argument? Can't you determine the domain > from the type of the matrix entries? > > > > > > > > > 2. Just continue the way it is and adding domains in the system later > > as appropriate. > > > I think 2 is the way to go because of the uncertain design of the > > system[1]. As far as I understand, adding domains means we are > > simulating static typed languages. I think we should not mimic Polys > > Design as it is, because I am afraid what worked for polys may not > > work here[2]. I personally think that I should keep submitting small > > changes and if we can find with sufficient confidence how domains are > > to be incorporated. I am now working assuming that this is a > > completely open problem. > > > -Saurabh > > > [0]https://github.com/sympy/sympy/pull/2190 > > [1]http://www.google-melange.com/gsoc/proposal/review/google/gsoc2013/sa... > > [2]http://mattpap.github.io/masters-thesis/html/index.html > > > -- > > You received this message because you are subscribed to the Google Groups > > "sympy" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to sympy+unsubscr...@googlegroups.com. > > To post to this group, send email to sympy@googlegroups.com. > > Visit this group athttp://groups.google.com/group/sympy. > > For more options, visithttps://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.