User talk:Marc van Leeuwen

541:, like being a principal ideal domain. It is a statement like "Abelian groups have many properties that groups in general don't have", which most people would agree with (and again this goes way beyond the property of being commutative; that would be a vacuous statement). To say "Bivariate polynomials have many properties not shared by trivariate polynomials" would be much harder to justify. In fact there has been talk of splitting the polynomial article into one about univariate polys (to which a lot of its contents are restricted) and one about polynomials in general. The section "Extensions of the concept of a polynomial" starts with "Polynomials can involve more than one variable, in which they are called multivariate" to give just an impression of the state of affairs. So many readers probably have univariate polynomials in mind, and might naively think things are similar for arbitrary polynomials; is it so bad to explicitly warn them that things are not so nice? Many constructions on univariate polynomials, like Euclidean division, are strongly rooted in ordering terms, so it seems fairly accurate to say that problems for multivariate polynomials begin with ordering terms. I'm not saying of course that terms cannot be ordered at all, but life does get a lot more complicated. I'm copying this discussion to the polynomial talk page where it belongs, please continue there. 167:

introduction of terms with zero coefficient, just to have something at hand to add. Also the explanation of "similar terms" needs some notion of the term stripped of its coefficient; if one does not allow "monomial" to refer to that, life gets rather hard. (I do plead guilty to trying to educate the general public by pushing the terminology "mononomial" for an isolated term viewed as a polynomial.) The fact that the number of terms of a polynomial is no longer well defined does not seem so much of a problem to me, since operations like gathering similar terms or cancelling terms do change the number of terms in an expression. What is well defined (even if not very frequently used) is the number of nonzero terms in the standardized form of a polynomial. If you want to allow dropping "nonzero" from that phrase by forbidding zero terms altogether, I do not object, although I don't think it really makes life easier. In fact I was, somewhat against my habits, trying to not be pedantic here.

489:

a vacuous statement. Also is helping to sublimate the idea of the inevitability of not being able to order the terms in the multivariate case. Also we don't need it. Since the sentence following it can be rewrited as: "The terms of a univariate polynomial are totally ordered by their degree, while in a multivariate polynomial many terms can have the same (total) degree." The difference in removing the introductory sentence is that the fault of the lack of order is passed to the concept of degree and not to the polynomials being multivariate (you agreed with this at the end of your paragraph above). After all what is important in that section are the concepts the degree is defining in the univariate case, namely, monic, leading term, monic polynomial and not the possibility of ordering terms in polynomials. There is no need for a comparative statement in this sense between univariate and multivariate.

2680:

arbitrary fixed point. The earth turns about its axis, not about the south pole; saying that would be confusing to most people. So if one says rotation about the origin, then this implicitly assumes the space is a plane. When I removed "about the origin" it was because people might very well think of a 3D rotation, and that part of the sentence is not helpful in that case. I did not propose "about an axis" either, it's just superfluous to mention, in fact even "rotation" is not really relevant, but people my consider this more concrete. In fact I don't see why the origin needs mention at all. Sure, since a matrix can only represent a linear transformation, it is bound to fix the origin; if that was the point of mentioning the origin, one could say "fixing the origin", but again, does this add something useful?

812:(Please pardon if the following remark is not helpful.) The usual notation is that the dot product of two column vectors u, v equals the matrix product uv. One can similarly choose to work with row vectors. (Note that I am deliberately ignoring the side issue of whether a 1x1 matrix "is" a scalar.) Dot product is usually not defined between vectors of different types. There are particular circumstances in which it might be useful to regard a dot product as between a row vector and a column vector; this is when one vector is considered to be in the dual space of the space containing the other vector. However, that is not usual, because a dot product is fundamentally between vectors in the same vector space. It would be misleading to define a dot product as a product of a row vector and a column vector. 204:+1. I think if you ask, most mathematicians will vote for "equal". They are certainly equal in a polynomial ring, but one can maintain that they are only equivalent as polynomials. People using computer algebra would probably favor that point of view. (I see that the point you are advancing is actually that some polynomials could be considered equal without being equivalent; this to me would seem a very curious situation, and not just for polynomials.) But for the article it might be best to simply not raise the question, and use "equivalent". Go ahead and revert that part of my edit and remove the somewhat pedantic remark following it if you feel this is more appropriate. I was only being bold. 410:. I'm afraid a lot of the pedagogy of comparing and correcting incorrect proofs has gone by the wayside as a result of the last one. Since you seem to feel strongly about the issue, I thought you would like to know so you could take a look. By the way: do you know of a published source for the proof you wrote (now tidied up a bit and included as the "First proof")? I gave a second proof from Atiyah-MacDonald, a third proof based on one which had appeared on that page some time ago, and a fourth based on some of the comments you made, but these latter two are likewise unreferenced (unreferenceable?). 2699:), and this seems to be a source of confusion. So I see the origin as the zero vector, unrelated to the coordinate system (whence I'd like to avoid "origin of a CS"); also vectors don't have tails or heads, they just are. Strictly speaking "point in space" is not correct (but saying a column vector describes a vector is confusing as well). But I don't care much, as long as the text is clear and reads naturally (which seems the case currently); people can have different perspectives (and WP articles aren't particularly clear about the affine/vector distinction). 1007:

many positions after the "decimal" point one gets a representation of (non-negative) real numbers with similar properties to that of infinite decimals. In all cases digits are non-negative integers strictly less than the base value at that position. Representation of (non-negative) values is then unique in the case if integers or fractions with bounded number of "decimals", while with "infinite decimals" there are numbers with two different representations (one of which has repeating 0's), similarly to what is described in the

2481:, unfortunately known under many other names and (less readable) notations. The idea is to multiply as many factors as the exponent gives, just to subtract one for every next factor. On overline instead of an underline would add one for every next factor; this is also often useful. The notation is in fact used earlier in the article, when giving the first multiplicative formula for binomial coefficients, but an explanation is missing; I think it ought to be given. I'm pretty sure it is mentioned somewhere in 3924:. There's a new bonus prize of $ 200 worth of books of your choice to win for creating the most new women biographies between 0:00 on the 26th and 23:59 on 30th November. If you've been contributing to the contest, thank you for your support, we've produced over 2000 articles. If you haven't contributed yet, we would appreciate you taking the time to add entries to our articles achievements list by the end of the month. Thank you, and if participating, good luck with the finale! 481:

univariate and multivariate or not to establish the distinction at all (I prefer the first although the second doesn't complicate things). Look, right now the phrase is giving (IMO) a dogmatic knowledge. It says, in univariate you can trivially order the terms while in multivariate if I do the same I can'. I would prefer to hint that that is only because we are trying to use blindly the same strategy. In fact, using a slightly different idea you can order terms in all cases.

3220:. Thank you for your attention, but unfortunately I didn't find any hint for the answer of my question in the page you suggested. If you think you understood my question, could you reply there and be more specific as where to find? I questioned the claim on the title of this section there, because it was used as tool in Euler's proof (in the fifth step) as though it was quite commonplace (but for me, who understood every other step in the proof, was totally unknown). 2778:, which suggests the basis is needed for the rotation to act, rather than just for its representation by a matrix. So I don't see that my edits have been confusing the matter, honestly. For the rest there is lots of stuff you just said that I don't understand. And also for the record, I did define (on this talk page) the "axis" of rotation (taken in the sense of a certain type of isometry of Euclidean space, which is more to the point of the 1034:. Furthermore the only natural way to extend the sequence of base values 4,3,2,1 beyond the decimal point would be 0,−1,−2,..., but this is not allowed; what is more the "corresponding place values" would be (−1)!,(−2)!,(−3)!,... but these values are undefined. Extending with base values 2,3,4,... maybe has some aesthetic charm, but no mathematical necessity. The factorial number system has particular properties with applications mainly to 4327: 4239: 4125: 4008: 3935: 3848: 2634:. Whatever option you choose, the rotation (or rotations) occurs about the origin, and this is the key point. The origin is the center of a circle (in circular motion) or a sphere (in 3-D) or n-sphere (in n-D). We are not giving a complete geometrical interpretation of the rotation matrix, and we don't need to. For instance, we both feel it's not necessary to add "by a given angle". 1508: 458:

have the same degree, this certainly is not the usual sense of degree (if you mean a vector of all the exponents of individual variables, I don't believe this is commonly called simply degree; the terms multi-degree or exponent vector come to mind, but I'm not sure these are in common use either). What is usually used to totally order terms of a multivariate polynomial is a

3721: 3517: 768:. Actually I don't like the latter statement (even if I was involved in editing its paragraph), since a dot product is almost exclusively used for real vectors, but not so for matrix multiplication. For the same and other reasons, I don't see to much point in mentioning the dot product at Cauchy-Binet, but I did not want to bluntly revert you edit... 4421: 556:

to explicitly warn them that things are not so nice?" And this is precisely what I want to be said. But notice that here you are using a languaje different from the one in the article. Here you are hinting that there is a solution to the ordering. That's why I was saying about blaming the degree and not the polynomials for the lack of order.

2745:

about the top, while the top not only spins, but also "precesses" and "nutates". Also, a diver performing a twisting somersault can be described as a body rotating about its center of mass. A ship sailing on the ocean rotates (approximately) about the center of the earth. People can understand this easily enough.

2726:", and a point cannot change its orientation, as it has no orientation in space. Only a set of points fixed with respect to each other, such as a line segment, a vector, a plane, or a rigid body can change its orientation. So, the expression "rotation of a point P" can be accepted (and is accepted, as in 1114:. I believe you are mistaken in how you wrote the definition. I restrained myself from reverting your recent change because we can't have a fight; we need a discussion. We need to settle this before revising the article once more. (By the way, I think you've done some nice work in other articles.) 3447:

I would have loved a better reference, but this is apparently considered too trivial to state other than as an exercise. But it is so much cleaner than other proofs I've seen (including the one that was given before) that it seemed worth while to mention. Curiously the corresponding French WP article

3250:

adjugate. Yes it would be nice to have a uniform vocabulary, but mathematics grows and changes -- and older terms are often preserved in applied fields. Anyone refusing to acknowledge older terminology will just end up being confused -- and not letting our students know this does them a disservice.

2718:

I understand your point, but we are dealing with a single point here, not a rigid body. I would not say that the earth rotates about a point, but I can safely say that a point rotates about another, meaning that the point moves along a spherical surface. Isn't that simple enough? Moreover, the motion

2714:

I don't think it is necessary to say that the rotation is represented in a coordinate system. The problem is that "rotation of a point" does not make perfectly sense, while "rotation of a vector" perfectly does. However, we can't write that the matrix rotates the vector, because we are using the word

2685:

To me "in terms of a CS" or "with respect to a CS"; don't make much difference (however it is not the rotation but its representation to which these apply). Agreed "image of the point by the rotation" is a bit pedantic, and I would change it for something better if I could think of it; the reason for

1957:

To use the system, you can simply edit the page as you normally would, but you should also mark the latest revision as "reviewed" if you have looked at it to ensure it isn't problematic. Edits should generally be accepted if you wouldn't undo them in normal editing: they don't have obvious vandalism,

797:

If you want to make sense of notation Av where A is a matrix and v a vector, you have no choice but interpret v as a column vector. Then you have to say that dot product is defined between column vectors. Of course it is a sequence also, but that does not help to take a dot product between a column

326:

Marc, I redid the first two parts of the article because they were very unorganized, and the definition of a polynomial was very poor. It was not my intent to permanently leave out your edits, but I was a little upset that you did a complete undo and I did not have the time to re-include your edits.

4211:

Thanks for looking at the change I made to the redirect "combinations and permutations". It was pretty hard work for me to get this much done, and now you just reverted it without giving me a chance to improve on it. I know, you wrote "better use a template", but I did put a template in, and have no

3415:

I'll add that a colleague just told me this is a well known application of homothecies in the French curriculum, and showed me a book preparing for the high-school exam (Terminal S) that mentions essentially the proof. Since the book is no longer edited and probably hard to find outside France, I'll

2582:

I didn't change it back. While I personally like the notation now that you've explained it, I'm not sure how appropriate it is, given the citation of one book in the article. I did add a conversation about it to the talk page, and you're welcome of course to put it back in the main article without

555:

Oh, I don't have problems with the statement itself. And I do agree with what you said let me try to explain because I mean something different. You said: "So many readers probably have univariate polynomials in mind, and might naively think things are similar for arbitrary polynomials; is it so bad

488:

Now, about the phrase: "Univariate polynomials have many properties not shared by multivariate polynomials.". It is happening that we have two different objects, A and B and we are saying: "A have many properties not shared by B". OK, that is kind of the definition of A being different from B. It is

103:

By replacing "monomial" with "term" and using a definiton of "term" that allows terms with coefficients of 0, you introduce complexity and the possibility of confusion. The number of "terms" in a polynomial is no longer well defined - as is apparent in your discussion of the zero polynomial. And you

2640:

Let me explain. If you say that the matrix rotates a vector, then you don't need to specify about what point it rotates, as by definition the tail of a vector is the origin of the CS. If you see a vector simply as an arrow with no fixed position for its tail (an oriented distance between two points

2243:

real numbers without first defining rationals, and therefore integers and natural numbers (maybe trying very hard you can come up with a definition that skips a step, but nobody does that in practice, and avoiding the natural numbers would be a real challenge). I do agree though for the problem you

2154:

Yes, sorry about that, but as you see I did try to keep the spirit of your changes. I agree about the historical part, although it is somewhat limited for a full History section. I'd have moved it if I could decide where the History section should go. It often goes very early in an article, but I'm

1006:

sequence of base values for each digit position there is a mixed radix number system; if only positions before the "decimal" point are used this will only represent integers, if finitely many positions after the "decimal" point are used certain fractions can also be represented, and with infinitely

782:

If it is inappropriate it should be deleted, but my impression is it may be useful to include links to related topics that may be more familiar. Thus, I included the relation to the trig identity sin^2+cos^2=1 at the Binet-Cauchy formula page, which helps clarify the nature of the identity (it may

452:

Read the article. Overview: "The degree of the entire term is usually defined as the sum of the degrees of each variable in it.". "When a polynomial in one variable is arranged in the traditional order, the terms of higher degree come before the terms of lower degree." Classifications "A polynomial

191:

As the lead states, a polynomial is an expression, not a function. This means one does not use evaluation (which is only introduced much later by the way) to decide equality (or equivalence) of polynomials, and I think most people agree about that (besides giving wrong results in specific cases, it

187:

I added the precision that what was being defined in the given place was in fact the degree in a variable (the corresponding paragraph failed to mention that it was supposing the single variable case, which I added as well). Feel free to add a corresponding sentence about the total degree, or about

3635:

Since in the article it is said that the formulas give "ever longer expressions that do not seem to follow any simple pattern", I would like to draw your attention to the "Waring formula", which gives a fairly easy way of computing the coefficients in this expansion: Namely the coefficient of the

2625:

I don't understand the reason why you don't like my sentence describing a rotation matrix as a matrix representing a rotation "about the origin of a CS". This is perfectly correct. It would not be correct, however, to write that it represents a rotation "about an axis", as this is true only in 3-D

2173:

Well, I'm sure you have more experience with this than I do; I also have a sense that history sections tend to occur early in articles, though perhaps one could argue for an exception in this case due to the relative lack of importance. The N. L. Biggs article cited for the quotation has at least

1921:

I agree that there are some infelicities in my proof that should be cleared up, but the proof has the attractive property of being simple and self-contained. Many readers of the Knowledge math contributions are not professionals looking for cutting edge stuff, but relative novices. There should be

353:

I, too, like the word "term" better than "monomial", but the literature uses "monomial", and we have to reflect actual usage, rather than personal preference. (Also, the word "term" can mean an entry in an infinite sequence, and so "monomial" is more specific.) I'll double check to make sure the

166:

I did intentionally allow zero terms, because I think it is not common use to forbid them. Think of such uses as "to add two polynomials, one adds the coefficients of similar terms (terms involving the same monomial)". Note that to be able to pronounce such a fairly simple sentence, one must allow

2806:

I appreciate your diligence in this matter. When I had requested a citation the equations appeared incorrect (in the range of the summation); however, that issue appears to have been corrected. Now that examples are clearly in congruence with the provided definition, I agree that no citation is

1961:

The "reviewers" property does not obligate you to do any additional work, and if you like you can simply ignore it. The expectation is that many users will have this property, so that they can review pending revisions in the course of normal editing. However, if you explicitly want to decline the

457:

designate a single (integer) number. All this corroborates that "degree" here must mean "total degree", and then the quoted sentence is true. So I don't know what you mean with "depends on the degree" but if you want to define a notion of degree for which terms in a multivariate polynomial cannot

179:

of an empty sum is 0, it might schock people to manipulate expressions that could be completely void (but after all this is a bit like the empty string). The real difficulty is striking a balance between precision and language that could scare people. It is not hard to be exact: a polynomial is a

2744:

You might not like it, and I can see why you don't like it, but the concept of rotation of a point about the origin, contrary to what you say, is perfectly correct in N-D. Think about the rotation of a spinning top "about its tip". Any given "particle" of the top moves along a spherical surphace

1937:

system that is currently being tried. This system loosens page protection by allowing anonymous users to make "pending" changes which don't become "live" until they're "reviewed". However, logged-in users always see the very latest version of each page with no delay. A good explanation of the

2605:

Yes, this is a bad habit of mine. I'll try to avoid it in the future. There was an editing conflict. TR replied while I was still editing. I should have probably added my new text after TR's reply, but TR perfectly understood what I meant, even though my text was not complete yet, and his reply

2200:

article, it's not particularly "ridiculous" to define the natural numbers as a subset of the reals. On the one hand, the reals can be defined as the unique complete ordered field, which does not make any mention of the natural numbers. On the other hand, without an "ambient" set of numbers, the

1015:

extend the factorial number system with base values 2,3,4,.. after the decimal point is no news, and the is no need to "prove" this system (whatever that means); it is just an instance of midxed radix number systems in general. But so would be extending with base 10 everywhere after the decimal

480:

I agree the phrase "the terms of a univariate polynomial are totally ordered by their degree, while a multivariate polynomial can have many terms of the same (total) degree." is true now. Although I don't think it is optimal. I would rather hint the possibility of solving the difference between

174:

Now that I think about this again, I see you may have a point that the initial description gives the standardized form of the polynomial, which need not contain zero terms; those terms will then be allowed further on per equivalence by the usual rules. For the zero polynomial one would have an

2679:

of a Euclidean space that fixes a codimension 2 subspace, while its restriction to a complementary orthogonal plane is a rotation of that plane (excuse the circularity). If you say that rotation is about something, then it would seem that the something is its set of fixed points, not just an

900:

page. Though what the link said was a proposal, a little more searching said that it isn't just a proposal, it is, in fact, used to represent this number system. Moreover, even you wrote more or less the same thing after editing. Please share your views. And, I am working on the mathematical

876:

As to the link to the Java code you removed, I would like suggestions on how to improve the Java code (since it made your eyes bleed *funniest comment I've seen in months!*). It does work, though I admit that my variable names may be odd *smirk*. I am not a professional when it comes to

433:

it says "Univariate polynomials have many properties not shared by multivariate polynomials. For instance, the terms of a univariate polynomial are totally ordered by their degree, while a multivariate polynomial can have many terms of the same degree." This, as written is false. Terms in

3947:

is now open until 23.59 on Sunday, 10 December. All users who registered an account before Saturday, 28 October 2017, made at least 150 mainspace edits before Wednesday, 1 November 2017 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.

4020:

is now open until 23.59 on Sunday, 3 December. All users who registered an account before Sunday, 28 October 2018, made at least 150 mainspace edits before Thursday, 1 November 2018 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.

147:

article over a long period of time, and there is a danger that significant changes such as yours could trigger an edit war. To avoid this, I find it is often best to propose major changes on an article's talk page first, to test whether I am about to step into a controversial area.

2719:

along that spherical surface may occur along an arc of a circle or, (as in the representation with Euler angles), along three "orthogonal" arcs. You can think of a rotation of a point on the earth as a rotation about the "center of the earth". It's just a matter of representation.

2174:

another paragraph or two about the history of human knowledge of counting permutations, if you wanted to try to make a fuller section. (It would still be on the skimpy side, though.) I may try to poke around and see if anybody citing Biggs has anything interesting. --

2298:

Completeness can be defined in terms of subsets: every nonempty subset with an upper bound has a least upper bound. Archimedean means that the prime subring (= intersection of all subrings containing 1) is unbounded; this does not mention the natural numbers. Moreover,

1421: 2138:

you've reversed. The current version is clearly better than what was there originally. Consensus on the talk page seemed to be that the historical notes and quotation are out-of-place in the introduction; perhaps they could be placed in a new "History" section?

1054:!; there does not seem to be any related property when extending beyond the decimal point in any particular way. To resume, there is no reason for wikipedia to mention (any or all) possible extensions of the factorial number system to deal with non-integer values. 376:

I like your proof of the irrationality of the golden ratio. I think Dicklyon would like to see a specific reference to that proof somewhere in the literature, since presumably someone has thought of it before. (If not, they really should have!) Cheers,

2766:, not "rotated vector", so I don't get your point at all. And yes, I didn't like the sound of "rotated point", since a point having no dimension (and therefore no orientation, as you put it) this will not be clear to everybody. Also it said "the product 266:

Go to the revision history of the page in question. You will see a radio button in front of each revision. These radio buttons are arranged in two columns, in each of which one is selected; initially the right column has one button only, for the latest

3860:

is open from Monday, 00:00, 21 November through Sunday, 23:59, 4 December to all unblocked users who have registered an account before Wednesday, 00:00, 28 October 2016 and have made at least 150 mainspace edits before Sunday, 00:00, 1 November 2016.

114:

By replacing "equivalent" with "equal" you have obscured the fact that equivalence of polynomials as formal expressions is (and should be) independent of any field in which they are evaluated as polynomial functions. For example, the polynomials

3270:

article (which I did not contribute to, I think). Literally its second paragraph says "The adjugate has sometimes been called the "adjoint", but that terminology is ambiguous. Today, "adjoint" of a matrix normally refers to its corresponding

3059: 506:

Also in your last edit you said you needed the introductory phrase to warn that the following is only for univariate but in fact, for each of the subsequent concepts the sentences defining them warn that it is for univariate polynomials.

3430:

I generally don't include material from exercises in WP articles but it's not something I'm going to nit pick about. Certainly it's better to have international points of view represented, even in a math article. Thanks for adding the

2353:

By the way, I noticed your clean-up work on several articles, and it is much appreciated; don't take my comments here as a criticism of your editing. I just felt you might have overstated the claim about this particular issue. — Carl

2376:

real numbers without defining natural numbers first: characterizing them does not suffice, a model proving their existence should also be supplied, and (2) even if it can be done, nobody would actually develop mathematics like this.

462:. So the difference is not whether the order is natural or not (whatever "natural" is taken to mean) but what one means by "degree", and again there is not much doubt about that. But I'll add "(total)" to make it clear beyond doubt. 3061:

unless some other information is provided to suggest why these definitions vary. I am going to go ahead and make the change as the form given on the elementary symmetric polynomials page seems more congruent with the definition.

2577: 2931: 2782:

article than the kind of rotation involved in a spinning, percessing and nutating top) for arbitrary dimensions, see "codimension 2" above. But please, no more personal discussion, discuss the article on its own talk page.

740:

Actually, to be precise one would have to transpose one of the vectors, since dot product is defined for a pair of vectors of the same type. It may be clearer simply to point out the connection to scalar (dot) product.

232:

make the requisite changes. I prefer the approach in which the coefficient of a term cannot be 0, as should be clear from the following edits I made earlier to clear up the confusion raised by the ambiguity of the issue:

2715:

vector to indicate a 3x1 matrix. In this case, "rotates" might be interpreted as "transposes" (to 1x3). Isn't this the reason why you did not like the expression "rotated vector", which I used when I wrote that phrase?

2645:

in space, that does not change when you translate both its tail and tip. So, a rotation in this case is independent of the point about which it is performed. On the other hand, the concept of "rotation of a point" (see

3076:

I left a question for you on the discussion page for elementary symmetric polynomial. Since you seem to be a major contributor on the subject, perhaps you can answer it eloquently...and thanks for leaning up my Tex.

1945:

If there are "pending" (unreviewed) edits for a page, they will be apparent in a page's history screen; you do not have to go looking for them. There is, however, a list of all articles with changes awaiting review at

1818:, as it seems was Pascal's choice, in view of the way he arranged his "Triangle Arithmétique" depicted on the left; this works well with for instance the combinatorial interpretation as the number of way to intertwine 2332:

So we can axiomatically define the real numbers as a complete ordered field (that is, an ordered field with the least upper bound property), and this does not require the natural numbers to be defined first. — Carl

1307: 3107: 1029:

extend the system does not mean one has to, and even less that there is agreement about the best way to do so. Knowledge must resist gratuitous generalizations that are not actually used in the literature, as per

3803:. It has the authority to enact binding solutions for disputes between editors, primarily related to serious behavioural issues that the community has been unable to resolve. This includes the ability to impose 532:

Look, I don't see why you have so much problems with "Univariate polynomials have many properties not shared by multivariate polynomials." There are a huge number of important algebraic properties that hold for

4370: 4282: 4168: 4048: 3975: 3888: 4354:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose 4266:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose 4152:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose 4032:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose 3959:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose 3872:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose 4212:

idea how to go on from here. The help section is a maze to me, with tons of text to read before you realize that it’s not applicable and/or incomplete and you need to read 3 more of those pages.

3279:." Indeed "wrong" was a bit simplified, my excuses. I personally have no particular sympathy for "adjugate", but it is true that I dislike ambiguous or misleading terminology/notation in general. 2442: 1330: 877:

combinatorics (is it that obvious?), but I am eager to learn. I am open to whatever is necessary to increase the readability of the code and thus be resubmitted as a link to the article. --

3401:. After looking for a long time in the library I found an indication to a solution to an exercise in a book by Michèle Audin. Which is better than nothing, so I'll put that in the article. 3355:

It's difficult to edit simultaneously. But your edits seem more problematic than mine, as currently the page has reference errors. Please save a coherent version and I'll put back the tag.

3764:

As a frequent contributor to Knowledge in the area of mathematics, I kindly request you to examine, and perhaps, to contribute to the discussion regarding the notability of the article on

2015:

I added another question, I'd really appreciate if you can help me again! I was fixing the italian version of that page and I was confused by that sentence. Thanks a lot for your help!--

585:

when someone asks me to order the terms of a^2+A^2+alpha^2. Common people do think that since degree doesn't order the terms in multivariate polynomials then that's the end of the story.

3185: 4440: 4340: 4252: 4138: 626:

I have to disagree with that formulas are finite expressions by definition. In the article for formula nothing is said about that. Actually the term formula refers to the fact the

3397:

My source is actually an exercise that I found in some geometry course (in French), but I forgot where. Not very practical. I certainly did not invent this myself, as you can see

3327:

Thank you for helping me editing the Lehmer Code article, but you see, I working on it right now at this very moment so your last move proved more ennoying than helpfull, sorry.

1488: 285:

Otherwise, fill in the edit summary appropriately (usually I make sure I have the user name or IP address of the offending editor already in the copy buffer), and save the page.

3921: 3914: 2741:

of information, because I cannot find a simple way to generalize the concept of "axis of rotation" to N-D. (Again, we are not saying that the rotation is "by a given angle").

2654:

in space. Only the correspoinding vector has an orientation. The point can only rotate about another point which does not pass through it, and the final (linear and angular)

1744:

are assumed to be non-negative integers; questions of generalizing beyond that are considered later in the article. This also explains why the recurrence is tagged "integers

1620: 3217: 2278: 2280:

is also a natural number, i.e., the set-theoretic construction of the natural numbers (and the empty set should replace 1, which by the way should of course have been 0).

20: 1877: 630:

sould give the solution of arbitrary coefficients. Formulas involving infinite number of additions and multiplications exists as is mensioned a just a paragraph below.

3448:

does not mention it, yet, but at least it avoids perpendiculars. I cannot believe those are part of the "standard proof", since the theorem is one of affine geometry.

1734: 1646: 1540: 3232: 1958:

personal attacks, etc. If an edit is problematic, you can fix it by editing or undoing it, just like normal. You are permitted to mark your own changes as reviewed.

764:

says the coefficients of a matrix product are the dot products of a row on the left and a column on the right, so that would seem to justify the current language at

2936: 3208: 3246:, so I am replying here instead. I have to ask: why do you feel the need to use such normative language? "Adjoint" is not "wrong", it is an older term for the 3126: 434:

multivariate polynomials, as well as univariate, can be totally ordered by degree (depends on the degree). The main difference is that that order is not natural.

73:. By creating an article on Littlewood–Richardson rule you have filled a serious gap in Knowledge coverage, I hope that you'll expand it further. Again, welcome! 70: 4215:

In short: if you value contributions, please give less experienced users like me a hand. The learning curve for editing Knowledge is horrendously steep anyway.--

3639:

For instance in the example in the text we have l=3, m_1=5, m_2=0, m_3=1, m_4=3, k=5+3*1+4*3=20 and the coefficient is (-1)^{0+3}*20*8!/(5!*1!*3!)=-20*8*7=-1120

3636:

monomial M=\Pi_{i=1}^l e_i^{m_i} in the expansion of p_k (for 1*e_1+2*e_2+...+l*e_l=k) is given by (-1)^{m_2+m_4+...}*k*(e_1+e_2+...+e_l-1)!/(e_1!e_2!*...e_l!).

3595: 1776: 2303:

ordered field with the least upper bound property is Archimedean. Otherwise the prime subring of the field is bounded above, so it has some least upper bound

1703: 1674: 1568: 3591: 2691:

For the remainder of what you say, I have difficulty following. Since the article introduces the rotation a "linear transformation", it must be acting on a

2109:. I think that this is probably what was needed there. I'd like to solicit some input about how to approach the "Introduction" section. I have posted at 1160:, which does not actually define inorder in any other way than as an order of traversal. So this seems less than helpful for understanding the statement in 3765: 1950:. Because there are so few pages in the trial so far, the latter list is almost always empty. The list of all pages in the pending review system is at 3605: 581:

My main reason to be so picky about the writing of that point is because tiny difference convey wrong (very common) ideas as: see in the talk page of

2506: 2833: 1832:

black dots on a line. I think though the current choice has the somewhat after-the-fact advantages of blending well with the extension to negative

127:

they are equal as functions, because they take the same value at each of the points in that field. In your terminology, you would have to say that

4451: 2244:

signal with addition, and I think the recursive definition in question is not really a very informative example. Properly done one should say if

1137:

on them. The ordering between any two nodes is the same as it is in the finite subtree formed by the paths from the two nodes to the tree root. —

1168:, where by definition the ordering implied by the tree structure is taken to be inorder. So I thought leaving out the mention would do no harm. 2468: 27: 3601: 1133:

Inorder is perfectly well defined on infinite binary trees. However, what it is well defined as is not a sequence of nodes (obviously) but a

270:

Select the radio button in the left column for the revision that is one older than the one resulting from the earliest edit you want to undo.

4393: 4304: 4190: 4062: 3989: 3902: 3828: 1196: 180:

linear combination of monomials (defined to exclude coefficients of course). But that is hardly informative to someone new to the subject.

3756:

You've clearly done a lot of great work on Knowledge, so I hope that you agree that this is a better place to put what you wrote. —Toby

3646: 2175: 995:

I've read what seem relevant parts of that discussion, and it struck me that most of it seems due to ignorance of properties of general

984: 289:

If you want to do this often, there are "rollback" tools that will make this easier, but probably this will be good enough for now. --

192:

would be a rather cumbersome test). The issue here has nothing to do with polynomial function, but whether one considers for instance (

4431: 4413: 2641:

in space), then the concept of rotation becomes even simpler, as you don't need to care about the origin of the CS. This arrow has an

406:

concerning proofs. I've tried to retain the philosophical points you made, but some of what you said was simply not true, and it was

334: 2626:(not in 2-D, not in 4-D, etc.), and only if you choose to interpret the rotation as a rotation about a single axis by a given angle ( 273:

Select the radio button in the right column for the revision resulting from the last (most recent) edit in the sequence to be undone.

2140: 2762:

This discussion is getting too confused, so I won't spend any more time on it. Just for the record, it said "rotated point" before

104:

have to qualify "term" when defining the degree of a polynomial - the degree of a polynomial now becomes the highest degree of its

453:

is called homogeneous of degree n if all its terms have degree n". Also I checked that all uses of "degree" in the article, or in

301:

Another option is: go to the old version, click edit, copy all the text, go to the new version, click edit, select all and paste.

2823: 111:

You have defined the degree of a variable in a polynomial, but you have lost the definition of the degree of a polynomial itself.

1796:

One could raise more philosophic points, such as that the above asymmetry is due to the "historic accident" of using parameters

4389: 4300: 4186: 4058: 3985: 3898: 3824: 3486:

Second, I see your reason in changing tree to binary tree. You describe that inorder only works for binary tree. However, from

2091: 1780: 1736:

elements on the other hand does not make sense in the first place). Therefore at the point where this recursion is stated both

1677:, and equally obvious that they don't occur), but in the combinatorial form this is not so (one can very well count subsets of 910: 3598:). Such links are almost always unintended, since a disambiguation page is merely a list of "Did you mean..." article titles. 707:(the same code that appears in the notes section) to the bottom of the section that you're editing. (Similarly, you can add 3310: 2120: 1997: 1416:{\displaystyle {\binom {0}{k}}=\left\{{\begin{array}{ll}1&{\mbox{if}}~k=0\\0&{\mbox{otherwise.}}\end{array}}\right.} 3093: 4363: 4275: 4161: 4041: 3968: 3881: 3642:

Maybe you can extend the article on Newton identities or maybe even write a separat article about the "Waring formula".

3815:

describes the Committee's roles and responsibilities in greater detail. If you wish to participate, you are welcome to

3682:

H. Richter. "Ein einfacher Beweis der Newtonschen und der Waringschen Formel." Archiv der Mathematik 2 (1949/1950): 1-4

4448: 4375: 4287: 4173: 4053: 3980: 3893: 3820: 3343: 2658:

of this point (as well as its initial position!) depends on the point about which you choose to perform the rotation.

2403: 357:

As a general rule, it is best to discuss edits on the talk page, before spending large amounts of time on a rewrite.

99:

article, so I thought I should raise them here to give you a chance to think about some corrections. My concerns are:

2588: 2464: 4079: 1934: 282:

If you get a message that the edit could not be undone due to conflicting intermediate edits, you're out of luck.

3304: 2114: 4409: 3773: 3471:

First, I think that a search tree can be any tree which performs searching operation effectively. For example,

2043: 1142: 3398: 188:

unqualified degrees in the presence of only a single variable; I just did not want to change too much at once.

3650: 3582:

Hi. Thank you for your recent edits. Knowledge appreciates your help. We noticed though that when you edited

3131: 2235:

is defined in terms of Cauchy sequences, which are indexed by natural numbers. But that just shows even this

3540:

again to fix it. If I misunderstood what happened, or if you have any questions, you can leave a message on

2737:

Two points are enough to define the concept of rotation, one point is not. I am just suggesting to give the

2478: 2179: 2070: 2036: 1022: 718:

It's not perfect, of course; the hard part is remembering to delete this when you're done with the preview!

403: 2239:

of real numbers cannot be stated without defining natural numbers first. The main point is that one cannot

2144: 4445: 4083: 3747: 2723: 2651: 2642: 1947: 726: 384: 362: 338: 31: 3769: 2485:

but haven't checked recently. This is stuff people keep fighting over and modifying, which is a bit sad.

1161: 4351: 4263: 4149: 4029: 3956: 3869: 3728: 3714: 3672:

http://en.wikipedia.org/Newton-Waring#Expressing_power_sums_in_terms_of_elementary_symmetric_polynomials

3583: 3449: 3417: 3402: 3356: 3280: 2784: 2700: 2584: 2486: 2460: 2378: 2281: 2232: 2156: 1939: 1902: 1169: 1055: 769: 761: 542: 463: 205: 1448: 2827: 3702: 3568: 3529: 3331: 3081: 2779: 2482: 2456: 2228: 2032: 1784: 1184: 1078: 1031: 765: 454: 415: 330: 3816: 3476: 3276: 2637:

Expressions such as yours "in terms of a CS" or "w.r. to a CS" are not clear enough in my opinion.

2397:

I'm not sure what you mean. Specifically, raising a number to the power of an underlined integer.

2087: 1951: 1498: 1138: 1073: 906: 901:

operations on this system. If you have an insight in this field, I will be highly obliged to know.

692: 153: 35: 1883:), and with other combinatorial quantities such as Stirling numbers that more naturally interpret 4435: 3738:

with another article. If you are interested in the merge discussion, please participate by going

3587: 3501: 3480: 3379: 3372: 2752: 2665: 2611: 2110: 2074: 2062: 2051: 2020: 2005: 1582: 1165: 66: 2251: 917:

It is not entirely clear to me what you are saying. I suppose you refer to the passage that said

279:

You will get a diff page, in which the caption of the right column has an undo button. Click it.

3054:{\displaystyle e_{2}(X_{1},X_{2},\dots ,X_{n})=\textstyle \sum _{1\leq j<k\leq n}X_{j}X_{k}} 1016:

point, or base 2 or base 2,3,5,7,11,13,17... or whatever sequence of base values comes to mind.

4334: 4246: 4132: 4016: 3943: 3856: 3838: 3792: 3783: 3743: 3734: 3621: 3490:, it states that tree traversal (included inorder) may be generalized to other trees as well. 3272: 3256: 3089: 3067: 2812: 1843: 722: 459: 378: 358: 290: 240: 4382: 4347: 4294: 4259: 4180: 4145: 4106: 4025: 3952: 3865: 3812: 3796: 3436: 3387: 3300: 3243: 3228: 1962:"reviewer" property, you may ask any administrator to remove it for you at any time. — Carl 1942:. The system is only being used for pages that would otherwise be protected from editing. 1933:

I have added the "reviewers" property to your user account. This property is related to the

1119: 1095: 882: 866: 851: 817: 803: 788: 746: 710: 651: 633: 610: 588: 559: 510: 492: 437: 304: 78: 51: 4362:, editing restrictions, and other measures needed to maintain our editing environment. The 4274:, editing restrictions, and other measures needed to maintain our editing environment. The 4160:, editing restrictions, and other measures needed to maintain our editing environment. The 4090: 4040:, editing restrictions, and other measures needed to maintain our editing environment. The 3967:, editing restrictions, and other measures needed to maintain our editing environment. The 3880:, editing restrictions, and other measures needed to maintain our editing environment. The 3811:, editing restrictions, and other measures needed to maintain our editing environment. The 3314: 1713: 1625: 1519: 402:

Marc, I've completely changed the section (originally mostly due to you, it looks like) in

3739: 3564: 3521: 3339: 3267: 2727: 2647: 1111: 843: 673: 411: 34:

provides helpful information for new users - please check it out! If you need help, visit

3391: 2000:

and I have the impression you might know the answer. Can you please help me with that? --

1840:

dictated by the recurrence, but rather by the form to the formal power series expansion

46:

on this page and someone will show up shortly to answer your questions. Happy editing!

4359: 4271: 4220: 4157: 4037: 3964: 3877: 3808: 3800: 3190: 2722:

The reason why I don't like "rotation of a point" is that a "rotation" is a "change in

2606:

provided additional information, so his reply will still make sense to future readers.

2078: 1494: 1313: 1157: 1134: 1070: 999: 902: 407: 149: 3111: 1747: 4355: 4267: 4153: 4033: 3960: 3873: 3804: 3612:

It's OK to remove this message. Also, to stop receiving these messages, follow these

3497: 3468:

I don't agree in following statement: a search tree is a binary tree data structure.

2748: 2661: 2607: 2361: 2340: 2323:+1, which is a contradiction. So there's no need to assume the Archimedean property. 2212: 2106: 2047: 2016: 2001: 1981: 1969: 924:

Making this system more general to write fractions, we can generalize the formula as:

62: 3382:. Could you add your source so I can remove the 'unreferenced' tag on the section?-- 1680: 1651: 1545: 3617: 3613: 3252: 3085: 3063: 2808: 2696: 2692: 2631: 1925:

I should add that it's nice to give an example. This clears up lots of confusions.

4441:

Knowledge:Redirects for discussion/Log/2024 September 7 § Simple root (polynomial)

4326: 4238: 4124: 4007: 3934: 3847: 4454: 4397: 4308: 4224: 4194: 4110: 4102: 4066: 3993: 3906: 3832: 3777: 3751: 3654: 3625: 3572: 3505: 3457: 3440: 3432: 3425: 3410: 3383: 3364: 3347: 3288: 3260: 3224: 3097: 3071: 2816: 2792: 2756: 2708: 2669: 2615: 2592: 2572:{\displaystyle {\binom {n}{k}}={\frac {n^{\underline {k}}}{k^{\underline {k}}}}} 2494: 2386: 2366: 2345: 2311:-1 is not an upper bound for the prime subring, so it is less than some element 2289: 2217: 2183: 2164: 2148: 2135: 2124: 2095: 2055: 2024: 2009: 1986: 1910: 1502: 1177: 1146: 1123: 1115: 1099: 1091: 1082: 1063: 1035: 996: 886: 878: 870: 862: 855: 847: 821: 813: 807: 799: 792: 784: 777: 757: 750: 742: 730: 677: 642: 597: 568: 550: 519: 501: 471: 446: 419: 392: 366: 342: 327:

I will try to go back and re-include your edits. My apologizes. 24.96.130.30

313: 293: 243: 213: 157: 139:

but not equal when considered as formal polynomials, which I think is confusing.

82: 74: 55: 47: 3691: 2372:

OK, thanks for the insight. I still maintain that (1) it is hardly possible to

3335: 2926:{\displaystyle e_{2}(x_{1},\ldots ,x_{n})=\textstyle \sum _{i<j}x_{i}x_{j}} 2627: 1507: 1364: 897: 839: 670: 582: 430: 175:

expression that is a sum of no terms at all; while there is no doubt that the

144: 96: 89: 3493:

Therefore, search tree definition should not be limited to only binary tree.

4216: 2686:

the formulation is that not the point, but the entire space that is rotated.

2630:), rather than a sequence of rotations about three axes, by three different 2197: 3720: 4089:

Was that a year 2008 publication, translated by Mark E Saul as described

2676: 2357: 2336: 2208: 1977: 1965: 1008: 4420: 4366:

describes the Committee's roles and responsibilities in greater detail.

4278:

describes the Committee's roles and responsibilities in greater detail.

4164:

describes the Committee's roles and responsibilities in greater detail.

4086:). You provided a page number there, but without a year of publication. 4044:

describes the Committee's roles and responsibilities in greater detail.

3971:

describes the Committee's roles and responsibilities in greater detail.

3884:

describes the Committee's roles and responsibilities in greater detail.

4344:

are allowed to vote. Users with alternate accounts may only vote once.

4256:

are allowed to vote. Users with alternate accounts may only vote once.

4142:

are allowed to vote. Users with alternate accounts may only vote once.

3553:''λ'' in the spectrum equals the dimension of the ] of ''T'' for ''λ'' 3487: 1153: 3719: 1571:. However, this symmetry is present only in the binomial theorem with 1302:{\displaystyle {\binom {n}{k}}={\binom {n-1}{k-1}}+{\binom {n-1}{k}},} 846:

and explain, so I can try to understand what's going on. Thank you.

3766:

Program for Research In Mathematics, Engineering and Science (PRIMES)

3760:

Program for Research In Mathematics, Engineering and Science (PRIMES)

3533: 3472: 1901:. Anyway, I've done what seemed reasonable in the article as it was. 4096: 2205:+1" is meaningless, because the "+" operation isn't defined. — Carl 1516:

I can understand you concern for symmetry with respect to the cases

4438:. Anyone, including you, is welcome to comment on this redirect at 3703:

http://link.springer.com/article/10.1007/BF02022517?no-access=true

2771: 1506: 3799:

is the panel of editors responsible for conducting the Knowledge

3768:. It has been marked for deletion, and your opinion is welcomed. 4379:. If you no longer wish to receive these messages, you may add 4291:. If you no longer wish to receive these messages, you may add 4177:. If you no longer wish to receive these messages, you may add 4369:

If you wish to participate in the 2021 election, please review

4281:

If you wish to participate in the 2020 election, please review

4167:

If you wish to participate in the 2019 election, please review

4047:

If you wish to participate in the 2018 election, please review

3974:

If you wish to participate in the 2017 election, please review

3887:

If you wish to participate in the 2016 election, please review

3671: 4338:

is now open until 23:59 (UTC) on Monday, 6 December 2021. All

4250:

is now open until 23:59 (UTC) on Monday, 7 December 2020. All

3742:, and adding your comments on the discussion page. Thank you. 3216:

I've just read your reply on my question in the discussion of

1442:

that the constant term is always 1, via the initial condition

2044:

Talk:Symbolic computation#Merger with computer algebra system

2807:

necessary. Keep up the good work and collaborative mindset.

1410: 783:

be worth including this at the lagrange formula as well).

1804:

for binomial coefficients, rather than the more symmetric

607:

Sorry the removed sentence was intended for another page.

4078:

Hi, you have added a reference to the Hadamard's book in

1917:

New proof of fundamental theorem of symmetric polynomials

4136:

is now open until 23:59 on Monday, 2 December 2019. All

3483:

are not binary search trees, but they are search trees.

4426: 4350: