{"entities":{"Q755792":{"pageid":757641,"ns":120,"title":"Item:Q755792","lastrevid":49468903,"modified":"2026-01-07T05:18:48Z","type":"item","id":"Q755792","labels":{"en":{"language":"en","value":"Testing polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189863"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755792$C8CE473F-118A-434E-96D9-B13587EF4C09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28bc2b9b7538eb628b796ca8ca6e5e504b0e451c","datavalue":{"value":{"text":"Testing polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q755792$37F0C7C4-A710-4441-AEFA-4588E860CF6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7085112fabe97bae15c6f8f77e5990333c792705","datavalue":{"value":"0722.12002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755792$F35DB074-A7B4-4853-9329-AA3386104A7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47e962244ee6a3e6245505d5acd6c2528b91c8f4","datavalue":{"value":"10.1016/S0747-7171(08)80033-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755792$8AC3CAC2-C712-47A5-99B5-B8422E1C3EA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58127ac4e1c67b1f28ddc5a78e383ef686c24cf7","datavalue":{"value":{"entity-type":"item","numeric-id":184925,"id":"Q184925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755792$C71D7EAF-2932-462E-B219-74B9AE8881E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba012631fd3b7cbbef45284c30c80879319f28bd","datavalue":{"value":{"entity-type":"item","numeric-id":205491,"id":"Q205491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755792$2A873C7F-10C2-4B48-9354-34987B80DACC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755792$9DD1C37C-5742-433D-AAFA-AC50338364C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q755792$6ECBFB50-A0A7-4978-B730-5C221B0438E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4c0a4a198d320cb7406376dce27d5468729a498","datavalue":{"value":"In computer algebra, it is often assumed, in dealing with sparse polynomials, that a polynomial which evaluates to zero is identically zero. The purpose of the paper is to set conditions for a polynomial to be zero. Let \\(S\\subseteq\\mathbb{N}^n\\) be a finite subset. Let \\(\\mathbb{K}\\) be a field of characteristic zero. Denote by \\(P_S\\) the vector space of polynomials of type \\(S\\), i.e. polynomials of the form \\(\\sum_{\\alpha \\in S}a_{\\alpha}X^{\\alpha}\\), with coefficients in \\(\\mathbb{K}\\) and \\(\\alpha =X_1^{\\alpha^ 1}\\cdots X_n^{\\alpha^n}\\). A set of points \\(T_S\\subset {\\mathbb{K}}^n\\) is said to be a testing set for \\(S\\) if for any \\(P\\in P_S\\): \\(P\\vert T_S=0\\) implies \\(P=0\\). The authors prove the following theorem:   Let \\(S=\\alpha_1,\\dots,\\alpha_k\\) be a finite subset of \\(\\mathbb{N}^n\\) and set \\(T_i=(2^{\\alpha_i^1},\\dots,2^{\\alpha_i^n})\\in\\mathbb{K}^n\\) and \\(T_S=T_1,\\dots,T_k\\subset \\mathbb{K}^n\\). Then \\(T_S\\) is a testing set for \\(S\\). Any testing set must contain at least \\(k\\) elements.   In the case of real or complex polynomials in one variable, the theorem follows from Descartes' lemma: Let \\(P\\in \\mathbb{R}[X]\\) be a polynomial in one variable with \\(k\\) nonzero coefficients; then \\(P\\) has at most \\(k-1\\) strictly positive real roots.","type":"string"},"datatype":"string"},"type":"statement","id":"Q755792$83B258A0-600D-47A0-AF1F-253EF8E04C4F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c359134049d387de49bd767fdcc67a793b1facdc","datavalue":{"value":{"entity-type":"item","numeric-id":197074,"id":"Q197074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755792$C2101BBA-51AC-4AE2-8079-393160AC9110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56c7f76923b29a06e5df502ec9e72c901e9849fe","datavalue":{"value":"12E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755792$2DF32D98-0C00-4C67-A9A6-441F79A0DDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755792$3B372203-8243-4FAC-9ED0-5D0545509C77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"600dc49a2369b50c03e48ac2f16edcbc76d067cf","datavalue":{"value":"4189863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755792$A0BA07A2-11A7-4D2E-A5C0-F761DFCF8045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8581a4fe4c0d3571122fc96549003538cce73aa","datavalue":{"value":"sparse polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q755792$8A573B01-75D4-4853-A7BE-151B387F096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e299a043d7fe40203bec7d29d2a590df760f9eb","datavalue":{"value":"testing set","type":"string"},"datatype":"string"},"type":"statement","id":"Q755792$59C642EB-03F3-4A03-B498-9374B38D657F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"592e2c6c916e9085a05e443220c9e8f6605f8f81","datavalue":{"value":"Descartes' lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q755792$11863D69-34D7-4D09-B506-6CF449E61877","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755792$38893AE5-9B2B-4D84-BEB2-8C130BA4FA3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83242e24e9b5660d7bf880d2cc8101cebe60d6c1","datavalue":{"value":{"entity-type":"item","numeric-id":5187376,"id":"Q5187376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755792$0F3E1C25-6196-497D-8A1C-45743526EFAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676cb36956a8a20d2a74310f2e4b1d03ea7e6bbb","datavalue":{"value":{"entity-type":"item","numeric-id":1320441,"id":"Q1320441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90109fbd71f91536e813e87302677c0f0964dcaf","datavalue":{"value":{"amount":"+0.7924160957336426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q755792$119D7731-9481-4918-9907-2A8E7F2B9134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cda5bcd5712ff36cc35efe6f3324603ee9740e6","datavalue":{"value":{"entity-type":"item","numeric-id":4471369,"id":"Q4471369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6cd37c24ffe9f4d6bb572e757d9fc33073d6b41","datavalue":{"value":{"amount":"+0.7844754457473755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q755792$CFBBDEB8-4763-49C8-88BB-9D7ECD125BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b911bbe039ca01663df70d75da6b278d746c02","datavalue":{"value":{"entity-type":"item","numeric-id":2155632,"id":"Q2155632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c428c25bcce1f9c0c01a625e9b939be20a1e61","datavalue":{"value":{"amount":"+0.7835536003112793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q755792$65D0C0F1-B7E4-4E78-B45B-DBBD460E9361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7866366ffdb12fab3066fee6c8565d526c389806","datavalue":{"value":{"entity-type":"item","numeric-id":4279514,"id":"Q4279514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0c1b951962cdd74c1577a8cc98e95a09603954","datavalue":{"value":{"amount":"+0.7827267646789551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q755792$AE0833BF-5908-4E04-9D57-7DD276030AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b4969c39f13b14cba164656e0292b8df763ade","datavalue":{"value":{"entity-type":"item","numeric-id":1814140,"id":"Q1814140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275f0c11c5c1f4d8afcafbc924382c407476f75b","datavalue":{"value":{"amount":"+0.7774167060852051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q755792$E7BAA4AB-CE68-4522-97EC-97E2390B1B4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:755792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:755792"}}}}}