Talk:Polynomial long division

message: My algebra is a bit rusty, but isn't this long division as well? I thought synthetic division involved separating out the coefficients and dividing by the additive inverse of the constant added to the divisor. Or something like that. Bloodshedder
----
This isn't synthetic division. This is still Polynomial long division. I'm quite sure that synthetic division only involves the coefficients of the divisor and dividend and it only involves adding and multiplying steps.
E.g. solving
:(x^4-4x^3+6x^2-4x+1) / (x - 1)
using synthetic   division
 
  1  -4   6  -4  1
      1  -3   3  1 
  1  -3   3  -1  0
we get the quotient:
:x^3 -3x^2+3x-1
--seav 21:42, Sep 8, 2003 (UTC)
Doh... stupid me... I'll move it then... sorry... I got them mixed up - Evil saltine 04:25, 9 Sep 2003 (EDT)
-------------------
could we be more clear about how the numbers switch from (in above example):
  |1  -4   6  -4  1
  |    1  -3   3  1 
  |1  -3   3  -1  0
to
:x^3 -3x^2+3x-1
???
I hate to be picky, but any help here would be hot, specifically, how do the variables and exponent thingys come in all of a sudden?
hope i wasn't too vague.  sorry i don't know what I'm talking about.
---QuiGonJinn
:I added a little, hopefully it makes sense. Evil saltine 06:56, 19 Dec 2003 (UTC)
replies: text: I'd say move most of the examples to another page or maybe another project, like Wikibooks; keep only the ones fundamental to understanding the process in this article and link to the others elsewhere. - dcljr (talk) 22:47, 4 September 2005 (UTC)

message: Does anyone know how easily this algorithm generalizes to other rings?  I know that it will generalize to polynomials over the integers mod p, where p is prime, because the polynomials over a field form a Euclidean domain.  But what about something like polynomials over the integers mod n, where n isn't prime?  Are any other generalizations possible?
Jguthrie 19:12, 17 October 2005 (UTC)
replies: text: I think the big problem is because in rings which are not fields very weird things can happen with polynomial coefficients, that is elements in the ring. Given two nonzero numbers in the ring, you can't always divide one by another. Worse, you can have two nonzero elements whose product is zero. That is to say, you run into trouble already when trying to divide constant polynomials, not to talk about polynomials actually contining X. So, I doubt polynomial long division generalizes in any way to arbitrary rings. Oleg Alexandrov (talk) 08:27, 18 October 2005 (UTC)

text: You've put your finger on the right issue: a ring is called a Euclidean domain if and only if there's a (generalized) division algorithm in that ring.  Buchberger's Algorithm is a pretty interesting generalization in a different direction!  Jaswenso 01:27, 3 September 2007 (UTC)

text: According to an algebra book I have (not publicly available), for any unitary ring R, for g and f in R[X], then, if the leading coefficient of g is a unit, then there exist unique q and r in R[X] such that f = qg + r with r = 0 or deg(r) < deg(g). Arthena(talk) 09:25, 29 October 2007 (UTC)
thread_title: Generalizing to other rings

message: This article is absurdly long. Is there any chance someone could cut it down a little (I am not mathematical enough to say what is worth keeping and what is not. Batmanand 11:32, 21 October 2005 (UTC)
replies: text: Done. Oleg Alexandrov (talk) 19:33, 7 December 2005 (UTC)
thread_title:  Length 

message: I think the condition "where the degree of f(x) is greater than or equal to the degree of g(x)" is not needed. if Deg(f(x))<Deg(g(x)) then the quotient is 0, and the remainder is f(x). Trivial, but still - the condition is not needed.
:I agree, and since this has been up here for a while and it hasn't been challenged, I'll make the change. Arthena(talk) 09:10, 29 October 2007 (UTC)
replies: text: It seems that your changes got lost, I'll apply them again --Larsborn (talk) 11:41, 21 May 2012 (UTC)
thread_title:  Condition on degrees of f(x) and g(x) 

message: Should 'synthetic division' link here instead of where it links at the moment? 203.51.209.192 09:24, 12 June 2007 (UTC)
thread_title:  Synthetic division link... 

message: Doesn't the current formula \frac{f(x)}{g(x)}=q(x) + \frac{r(x)}{g(x)} only works for  {g(x)}\ne 0 ? A more general formula is {f(x)}=q(x){g(x)} + {r(x)}\!. Arthena(talk) 09:10, 29 October 2007 (UTC)
thread_title: formula

message: Whoever wrote this article: the quotients and remainders are mixed up. Also, check the results... why would poly1/poly2 = remainder + quotient/poly2??? It's remainder + quotient * poly2!  —Preceding unsigned comment added by Wj32 (talk • contribs) 05:09, 8 March 2008 (UTC)
thread_title:  The quotients and remainders 

message: I think a proof should be sketched about the existence and uniqueness of quotient and reminder.--Pokipsy76 (talk) 08:21, 11 May 2009 (UTC)
thread_title:  A proof is needed 

message: Was there a source for this pseudo-code? Does anyone know where it came from, or did a contributor just work it out themselves? A citation to a reference book would be helpful.  — Preceding unsigned comment added by 72.219.240.34 (talk) 12:42, 23 January 2013 (UTC)
thread_title:  Source for Pseudo-code 

message: Can we add real C++ or JavaScript code instead of just using pseudo-code? People understand the same mechanism with real code for the polynomial long division algorithm, compared to the non-standard pseudo-code (which only a few does understand). Owenloveclaire (talk) 11:48, 26 November 2016 (UTC)
replies: text: I have modified the pseudo-code for avoiding multiple assignment, which is not standard. Otherwise, the only non-standard part of this pseudo-code is the use of ← instead  of := for assignment (both are widely used). On the other hand, many programmers use other languages than C++ or JavaScript. Thus pseudo-code is the only way for making the algorithm understandable to everybody. Moreover, using real code would imply to define the data type polynomial (this could be done, among many possibility,  with linked lists, tables or hash tables), and to provide code for addition of polynomials, multiplication by a term and extracting leading terms. This implies that the code would be less general and more confusing. D.Lazard (talk) 12:42, 26 November 2016 (UTC)
thread_title:  Need for real code