{"entities":{"Q1808670":{"pageid":1819412,"ns":120,"title":"Item:Q1808670","lastrevid":73004424,"modified":"2026-04-14T09:20:02Z","type":"item","id":"Q1808670","labels":{"en":{"language":"en","value":"A modular method to compute the rational univariate representation of zero-dimensional ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369547"}},"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":"Q1808670$A0836AAD-3752-4C77-93FE-F7C337B723FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b70c528c353b0f1eae867a9c92e425c327daaece","datavalue":{"value":{"text":"A modular method to compute the rational univariate representation of zero-dimensional ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1808670$3A84365D-6C43-45FA-AD8F-1E1F989538C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9f09a102b8a6463d293b8cd76df41a9b03f55fd","datavalue":{"value":"0945.13010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808670$38E699B3-8845-4E4F-9F33-BF022EDFE2DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ea08b4907947128b3d5333df2b16c93436b24a","datavalue":{"value":{"entity-type":"item","numeric-id":719343,"id":"Q719343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$9342AAED-4B02-4A85-98E2-927171BD30E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4459dfa268f1b18664a26dc8be0da4dbe9383800","datavalue":{"value":{"entity-type":"item","numeric-id":384994,"id":"Q384994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$5CAEEFE6-A189-447A-87D1-90258AE46520","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":"Q1808670$1C20BDF8-CEC6-4939-A492-C1E1781B4982","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"608c1b318739db736b624e7a22da3ffb3fdb48d9","datavalue":{"value":{"time":"+2000-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1808670$5905D762-24B5-426D-8A54-20B8A03DCFC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e7cac40013b489547cd93896f7978b520ca9dc9","datavalue":{"value":"Given an ideal \\(I \\subseteq K[x _1,\\ldots,x _n]\\), it is a difficult task to determine the set of zeros of \\(I\\), even if \\(I\\) is known to be zero-dimensional. An important tool for this is the use of Gr\u00f6bner bases, which by the so-called shape lemma often have a form suitable for finding zeros.    The authors propose a new method to find a rational univariate representation (RUR) for \\(I\\), as defined by \\textit{F. Rouillier} [Appl. Algebra Eng. Commun. Comput. 9, No.~5, 433-461 (1999; Zbl 0932.12008)]. This is another ideal basis which has the form  \\[ \\{f(u),g _1(u) x _1 - h _1(u),\\ldots,g _n(u) x _n - h _n(u)\\} \\]  with \\(u \\in K[x _1,\\ldots,x _n]\\) a ``separating element'' and \\(f,g _i,h _i\\) univariate polynomials. The advantage over a Gr\u00f6bner basis is that an RUR often has smaller coefficients.    The new method applies to the case where the ground field \\(K\\) is \\(\\mathbb Q\\) and uses reduction modulo a prime and Hensel lifting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808670$2ADF0E73-BBB7-4DC6-9729-880C3F485A5D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f0a90c1f5aea6a2864678fb1310d410e5cee5adb","datavalue":{"value":{"entity-type":"item","numeric-id":167099,"id":"Q167099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$CEDF9EA5-0E55-4241-82D6-7713D9970512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808670$680FCBA1-3049-4314-8E25-DC81D7D0376B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808670$2F8E2B2D-4E68-428F-87AA-67B10A627C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808670$C0AE02F2-381D-47FB-9DFF-0F47FCC2B205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808670$86AE4B2F-A1F6-4ADC-B025-8C85587F166D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfeeca08322cc7ea68a4362a3f1c005aea68f022","datavalue":{"value":"1369547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808670$A9247B43-5B08-49A0-9DFA-D1D24ABD48B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"441cc1062c38ce773359b6c0aead97ab1897f544","datavalue":{"value":"zeros of ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808670$F217E932-9F9F-4058-95F8-12AF3EF63536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e6be3ee39ba94949ad640641f42b473c64705b","datavalue":{"value":"modular methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808670$C7058CBE-EF77-4A92-A12D-C39B3624CD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16de9cacd7f9713356c97d1e9878816c1bbb1b1a","datavalue":{"value":"shape lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808670$7831AA6F-695F-4EE0-858D-CCA562E30EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"684fe88f3468ecd6043e1025b5c0e72b17b3a554","datavalue":{"value":"rational univariate representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808670$80C6979F-FC7D-45DE-8DAE-086F4DD53378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808670$D64C0577-2656-4429-B642-6D3E7173AF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f0ab9fdec218b2b7e057e49885caf41596fbd8","datavalue":{"value":"Hensel lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808670$6FF299C7-1036-47EF-B58C-596A2B3AC769","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":"Q1808670$0B45172D-6B55-4452-8FC4-863D5A3466FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7760afad4a99711075fdd528c30d801e2feb0a","datavalue":{"value":{"entity-type":"item","numeric-id":4714011,"id":"Q4714011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$CD950A0D-14CD-439A-8D77-94F6CA6B1A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c25bf4181496c43661fbc30b6ccdf31dcee2923","datavalue":{"value":{"entity-type":"item","numeric-id":4234296,"id":"Q4234296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$0696A8F7-6F83-4617-B8E2-109265CD0EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$9A830CE9-B75F-4FF5-9FEC-B2806750F3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d87900de754ad2a3f7d55a3f915d6adeffa7325","datavalue":{"value":{"entity-type":"item","numeric-id":2544438,"id":"Q2544438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$5ABE6032-F9D0-4391-9798-77FA7DE1C867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e5f9a114f9f2ed0c8a4550007deb312ddd2721","datavalue":{"value":{"entity-type":"item","numeric-id":1318849,"id":"Q1318849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$F6117B38-8F62-4F57-8AC6-7A700B65A161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560ef6361c899dfff47cfc477dc149ee19c2b0be","datavalue":{"value":{"entity-type":"item","numeric-id":3033872,"id":"Q3033872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$63254C71-3EBD-4A5E-8908-8F0EAACDF519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d04c3e6ea6ade6e6e12184844d9d7b4af6075c","datavalue":{"value":{"entity-type":"item","numeric-id":4352798,"id":"Q4352798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$2CD64963-1DEE-4919-9D3F-D1CDC7152CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7912369e3d1e55befe51e0446e136fb846865b9","datavalue":{"value":{"entity-type":"item","numeric-id":1260761,"id":"Q1260761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$7AC174F3-8CB8-436D-8C45-7E12382E62AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce09c7613908c43380805b2614c6aab7c0650052","datavalue":{"value":{"entity-type":"item","numeric-id":1201351,"id":"Q1201351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$ACA0B33C-07B1-496E-9710-EBF82597C06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0407800de1fa2b448410940ff45382db18325310","datavalue":{"value":{"entity-type":"item","numeric-id":911775,"id":"Q911775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$2B758A14-CA79-432F-ABF4-9E2D450BD668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580f55d60f0f4702070c6a2b66e9b269f57adcaf","datavalue":{"value":{"entity-type":"item","numeric-id":3951535,"id":"Q3951535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$A74ECD8E-8D10-4A0F-A3A7-FDBFB4C983D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a25a1fa95e7799812e4dba2e2a4326ed74549c9","datavalue":{"value":{"entity-type":"item","numeric-id":915342,"id":"Q915342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808670$A0563A68-80FF-40AA-A497-5B36E55A7F35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"308d8b4254f2743e24dd6eeb0527f1024ce532be","datavalue":{"value":{"entity-type":"item","numeric-id":2392952,"id":"Q2392952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6f3f22e478b3b02eb65f9e5f74f629c8d48333","datavalue":{"value":{"amount":"+0.8808639049530029","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":"Q1808670$F5D2DE83-9555-4D8F-9D52-95A262A8DCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95be4016fc277424495feff084be91b3edbbd8c","datavalue":{"value":{"entity-type":"item","numeric-id":3571559,"id":"Q3571559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e3c680521dc94e2c67f3578f3590ab7c9b9e4c","datavalue":{"value":{"amount":"+0.8094175457954407","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":"Q1808670$F7E9EEC3-6EC4-47B3-A6A5-7E541E64E9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0faad6633bf467df00e1754353f2fc60a42f6dd8","datavalue":{"value":{"entity-type":"item","numeric-id":6052531,"id":"Q6052531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1912c58c62bdb0d3316de2705b93235f05e66c90","datavalue":{"value":{"amount":"+0.7940435409545898","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":"Q1808670$934D59EF-EA6C-4AFF-A943-8D00402C549B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5d25c10a00c1dbc84a1abbb65e14e289b598e6","datavalue":{"value":{"entity-type":"item","numeric-id":1293968,"id":"Q1293968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c39ce1038eb64ed246fc89eedda53c2ac2d114","datavalue":{"value":{"amount":"+0.7926904559135437","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":"Q1808670$FFA59D96-D7EE-4621-8BC7-B1C213968AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e765979c3385f7a30f7647259105bfce21516a3","datavalue":{"value":{"entity-type":"item","numeric-id":1864896,"id":"Q1864896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec3aede4d2d3c9f28354f91928d8ee684c5d898","datavalue":{"value":{"amount":"+0.7750138640403748","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":"Q1808670$A295F542-D3C1-499F-8177-D6C0B2F817D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modular method to compute the rational univariate representation of zero-dimensional ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modular_method_to_compute_the_rational_univariate_representation_of_zero-dimensional_ideals"}}}}}