{"entities":{"Q1284279":{"pageid":1295029,"ns":120,"title":"Item:Q1284279","lastrevid":70072518,"modified":"2026-04-13T12:15:27Z","type":"item","id":"Q1284279","labels":{"en":{"language":"en","value":"Basic algorithms for rational function fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1271876"}},"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":"Q1284279$76263DAD-3F4C-481F-B8EA-CEA9C96613E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f81329bfd18388e4275bd2aac334c03a4a71594","datavalue":{"value":{"text":"Basic algorithms for rational function fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284279$901AE3A3-4F83-4C95-AF6B-2904DCB2C9FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc1c18b170b654b27fa0aa7a47944cc8e5c1a2e5","datavalue":{"value":"0935.11046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284279$48BF8FFB-8CAE-4612-9DC7-8CE0157D20EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41429d3ef8baee2def14b9d9fc29764876b8d756","datavalue":{"value":{"entity-type":"item","numeric-id":604631,"id":"Q604631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284279$A16AED6B-D51A-4693-9B96-64955A90634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c2be43a6213c57fb0b5b58b18d451e3304bb5c","datavalue":{"value":{"entity-type":"item","numeric-id":189267,"id":"Q189267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284279$BF96BC19-E9FC-4FB8-99D6-DB1A2CD41181","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":"Q1284279$F3AF4A6C-9DF0-432E-B85E-359C4B92D074","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc17136081e6b5d5fc40d3affb0beecbc4f23a8c","datavalue":{"value":{"time":"+2000-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284279$7DA4D8AD-121C-4F57-B551-D2E41EA14E4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2df1c144b89a3db5be80dc5e35653f65414beb1d","datavalue":{"value":"Using Gr\u00f6bner basis techniques the authors describe algorithms for solving various problems concerning subfields \\({\\mathbb{K}}({g}) = {\\mathbb{K}}(g_1, \\dots, g_m)\\) of a rational function field \\({\\mathbb{K}}({x}) = {\\mathbb{K}}(x_1, \\dots, x_n)\\):    Computation of a canonical generating set of \\({\\mathbb{K}}({g})\\), decide membership \\(f \\in {\\mathbb{K}}({g})\\) for \\(f \\in {\\mathbb{K}}({x})\\) and find all representations of \\(f\\) in \\({g}\\) in the affirmative case. Determination of the transcendence degree \\(t\\) of \\({\\mathbb{K}}({ x})\\) over \\({\\mathbb{K}}({g})\\), the algebraic and separability degree of \\({\\mathbb{K}}({x})\\) over \\({\\mathbb{K}}({g})\\) in case \\(t = 0\\), computation of a (separating) transcendence basis for \\({\\mathbb{K}}({x})\\) over \\({\\mathbb{K}}({g})\\) in case \\(t > 0\\). Decision of whether \\(f \\in {\\mathbb{K}}({x})\\) is algebraic over \\({\\mathbb{K}}({g})\\), computation of its minimal polynomial in the algebraic case. Given \\(f \\in {\\mathbb{K}}({a}, {x})\\) and \\({\\mathbb{K}}\\) algebraically closed, decide whether there is a specialization \\({a} \\rightarrow {\\mathbb{K}}^v\\) of the variables \\({a}\\) of \\(f\\) which yields an element of \\({\\mathbb{K}}({g})\\).    In their algorithms the authors make use of an ideal in \\({\\mathbb{K}}({g})[{Z}]\\), (partly) avoiding the introduction of tag variables. The last section contains a short discussion of some practical considerations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$F129B952-8E1D-4B30-A1CA-3F28DF60F318","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a72adba1a11c906281599addf12dc84dd5ff1773","datavalue":{"value":{"entity-type":"item","numeric-id":531771,"id":"Q531771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284279$86A7AC45-4A39-441D-9B76-C2834C450C34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d379f1f3728661c9d77f930d729b891dd925754","datavalue":{"value":"11Y40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284279$FA2AD99E-96B9-4C6E-9470-6A1858E997CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284279$52A44F1C-6415-4C05-BE02-EF1DFFE003E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284279$7FCCE2D3-6D63-4337-A8C6-5F0BD3E7760A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284279$33981D80-D72E-442E-8FF2-457450237BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284279$97309699-F0EC-4730-BEAB-982018F78C0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88d4cc2a1574bdc2e30e0c53bebf735a56d4384e","datavalue":{"value":"1271876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284279$302DCDCA-6E22-4CC8-8708-58D79A0C4EED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0c9a1c448c2d2fd676ea3fbdf69f9b70a881a3","datavalue":{"value":"rational function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$05CA4D47-CB6E-4A55-B3EA-0B7587AE8855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e980de179ec686794d8da8ea3de4eb0ff4d33510","datavalue":{"value":"subfields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$D742E7CF-F4A8-4BD6-B06C-B2C1DB57F2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0579b69c8aeabfbc3ae947d5c0c5b23528d88d35","datavalue":{"value":"transcendence basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$E86C25EE-11AE-4B1E-9685-D19ECC814BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a14adf17599def40f3b9ed02505ddedd7ab9237","datavalue":{"value":"canonical generating sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$64E2374E-E4F7-46A6-8DF7-1F7C9C5EB8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4a30d26d307698f7119d26d22cba1c4ec0d748a","datavalue":{"value":"field membership","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$1039BA28-8C60-4930-80C6-37A85E32D86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13bf1e82a002ea4f43c2a812d12a7f554ea61034","datavalue":{"value":"minimal polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$D172168E-5A3D-49EA-8266-A2E0DDF590E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7220036de781817b061b672b9cf96a8c3a08a7d","datavalue":{"value":"primary decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$6AAF69FC-7704-475A-A57C-83A3CF8882D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a93c8237f0647677a7624ff712cc7e7b3107d64","datavalue":{"value":"involution basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$C893B2F0-E8E4-4C46-92DC-9C0F17BE0E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf9c9a40e4df5d0ee22b5eee09b35ded530257f","datavalue":{"value":"tag variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$66DE7CB2-234C-42B1-BB31-42F5F964D142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284279$58C9273F-9D72-4A8C-8415-6DBEB578FF26","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":"Q1284279$6E6C275A-89FC-42E2-A494-D11EC01A0BCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55230a4d75451e3674e90a17a1bfc0280bc4e7d9","datavalue":{"value":"https://doi.org/10.1006/jsco.1998.0246","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284279$C7C0A123-F6A8-4673-BFE2-C8B235D22611","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f20ae1a280fb90df6910608d13b0ecfab90e7987","datavalue":{"value":"W2066029033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284279$354C7943-A057-4841-8AD3-FF5BABC0D24F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38388d3fc01cbe9e27ada111477c0f99f54265df","datavalue":{"value":"10.1006/JSCO.1998.0246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284279$F46301FA-889A-44FA-8250-959B152637D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f9d027bd6c224e73756887ddb1ebc81ba95ac0","datavalue":{"value":{"entity-type":"item","numeric-id":5472015,"id":"Q5472015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955a34555035f64d78ff2f2321fb8f309f322827","datavalue":{"value":{"amount":"+0.92756164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284279$930CBD51-AF06-4E7A-B53D-9E82DFE051D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df57bcf1feee1ee3f6b017b077e35b5e99631531","datavalue":{"value":{"entity-type":"item","numeric-id":4237384,"id":"Q4237384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695797d78817ecd3b81f0a43f1284a45242f4cf0","datavalue":{"value":{"amount":"+0.91566974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284279$A44B46CA-DB6F-4BAC-856B-680E8FAEFB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67be06f230ace937253930da3c1db05ce93d587","datavalue":{"value":{"entity-type":"item","numeric-id":5393299,"id":"Q5393299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8e0e794b6b1d7c58100f085f735fc28ce29481","datavalue":{"value":{"amount":"+0.9144774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284279$45A8A3B4-71D5-4FAE-AB87-BB8FB7E6A566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1927ccde9a6d4c525a2a45d7270ac8cd94b56b9e","datavalue":{"value":{"entity-type":"item","numeric-id":4380338,"id":"Q4380338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30a586f782151d826d5d3e8a4bc2d124e4012f8","datavalue":{"value":{"amount":"+0.9105536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284279$91501B81-E19D-4D05-9AB5-631B1058E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3146329011bd21350d766571d8be653f63ee23","datavalue":{"value":{"entity-type":"item","numeric-id":1892143,"id":"Q1892143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0cc2da750e1dc5d36290fa420bb64f1c0bcaf70","datavalue":{"value":{"amount":"+0.90705216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284279$20824920-2CB9-4F50-BB2D-1286256EAFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6584a4a458c81c7808bf151a24c782a01bdf26","datavalue":{"value":{"entity-type":"item","numeric-id":5898801,"id":"Q5898801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53592d7261dfd79ad368f3009e7609dabe3a9ec7","datavalue":{"value":{"amount":"+0.90555173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284279$822BB65A-C148-496B-A1A0-D017E78434D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520096a4498cea826ed8d824cc01051412f409a5","datavalue":{"value":{"entity-type":"item","numeric-id":3187191,"id":"Q3187191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a69270bf76ef341c0b16f15a1ec6aff85576a8","datavalue":{"value":{"amount":"+0.9006836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284279$266B5CDB-E5B9-4273-9859-48A64E1FE0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd76bad7322223ac4affb63d8d037812fb9e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":4657339,"id":"Q4657339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf51e45f5edcdb13394e29cf71c9f54608be65f","datavalue":{"value":{"amount":"+0.897457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284279$1083D7F7-7831-4150-9500-E6534B386A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b883074fc59c5127ed344b29868e5fd58cfaf62b","datavalue":{"value":{"entity-type":"item","numeric-id":5465640,"id":"Q5465640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7a9fc4bf57f9cfac0681964c10bb0f1ef71e6c","datavalue":{"value":{"amount":"+0.89599746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284279$A27F6984-E96D-4531-B430-882D4270991B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e982365a26c719359876a9c433f4642ca28306","datavalue":{"value":{"entity-type":"item","numeric-id":2819730,"id":"Q2819730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f7c95eccbf3246c86a86e19269396ad14ca00c","datavalue":{"value":{"amount":"+0.89397496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284279$8170C12A-EACC-499E-909E-D34A300E8177","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Basic algorithms for rational function fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Basic_algorithms_for_rational_function_fields"}}}}}