I looked at both the methods for addition algorithm( using Euclidean algorithm for computing LCLM, or making an ansatz and converting it into a linear system and then solving). But the Ore algebra method will also require a class representing rings and some basic functions like getting parent ring, generators of the ring. Does Sympy have support for rings or Do we need to create a class for rings.
Also I think we should discuss on which approach to use, as pointed out by Aaron solving linear system with rational coefficients may require improving Sympy's support for matrices. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/fe0085d8-3c9b-4c5d-93ed-9b0fc498387e%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
